Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control.

H. Tran, F. Cai, D. Lopez, P. Musau, T. Johnson, und X. Koutsoukos. ACM Trans. Embedded Comput. Syst., 18 (5s): 105:1-105:22 (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Nam Tran University of Stuttgart

Trung-Hieu Tran University of Stuttgart

Hoang-Huy Nguyen University of Stuttgart

Dr. Hoang Trinh Thao Nguyen University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis.H. Tran, L. Nguyen, und T. Johnson. ARCH@CPSWeek, Volume 34 von EPiC Series in Computing, Seite 89-97. EasyChair, (2015)Output Reachable Set Estimation and Verification for Multilayer Neural Networks.W. Xiang, H. Tran, und T. Johnson. IEEE Trans. Neural Netw. Learning Syst., 29 (11): 5777-5783 (2018)Star-Based Reachability Analysis of Deep Neural Networks.H. Tran, D. Lopez, P. Musau, X. Yang, L. Nguyen, W. Xiang, und T. Johnson. FM, Volume 11800 von Lecture Notes in Computer Science, Seite 670-686. Springer, (2019)Parallelizable reachability analysis algorithms for feed-forward neural networks.H. Tran, P. Musau, D. Lopez, X. Yang, L. Nguyen, W. Xiang, und T. Johnson. FormaliSE@ICSE, Seite 31-40. IEEE / ACM, (2019)Verification of Closed-loop Systems with Neural Network Controllers.D. Lopez, P. Musau, H. Tran, und T. Johnson. ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 201-210. EasyChair, (2019)Guaranteed cost static output feedback for networked control systems.H. Tran, Q. Ha, und Q. Dang. ICARCV, Seite 1267-1272. IEEE, (2014)Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.P. Duggirala, C. Fan, M. Potok, B. Qi, S. Mitra, M. Viswanathan, S. Bak, S. Bogomolov, T. Johnson, L. Nguyen und 4 andere Autor(en). CCA, Seite 1024-1029. IEEE, (2016)Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability.S. Bak, und H. Tran. CoRR, (2022)Reachable set estimation and control for switched linear systems with dwell-time restriction.W. Xiang, H. Tran, und T. Johnson. CDC, Seite 7246-7251. IEEE, (2016)Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification.W. Xiang, H. Tran, und T. Johnson. IEEE Trans. Automat. Contr., 62 (10): 5380-5387 (2017)