Taylor T Johnson
Taylor T Johnson
Assistant Professor, Electrical Engineering and Computer Science (EECS), Vanderbilt University
Bestätigte E-Mail-Adresse bei vanderbilt.edu - Startseite
Zitiert von
Zitiert von
Output reachable set estimation and verification for multilayer neural networks
W Xiang, HD Tran, TT Johnson
IEEE Transactions on Neural Networks and Learning Systems (TNNLS), 1-7, 2018
HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
S Bak, S Bogomolov, TT Johnson
18th International Conference on Hybrid Systems: Computation and Control …, 2015
Detection of false-data injection attacks in cyber-physical DC microgrids
OA Beg, TT Johnson, A Davoudi
IEEE Transactions on industrial informatics 13 (5), 2693-2703, 2017
Real-Time Reachability for Verified Simplex Design
S Bak, TT Johnson, M Caccamo, L Sha
35th IEEE Real-Time Systems Symposium (RTSS), 2014
Parameterized verification of distributed cyber-physical systems: An aircraft landing protocol case study
TT Johnson, S Mitra
ACM/IEEE 3rd International Conference on Cyber-Physical Systems, 2012
Reachable set computation and safety verification for neural networks with relu activations
W Xiang, HD Tran, TT Johnson
arXiv preprint arXiv:1712.08163, 2017
Robust exponential stability and disturbance attenuation for discrete-time switched systems under arbitrary switching
W Xiang, HD Tran, TT Johnson
IEEE Transactions on Automatic Control 63 (5), 1450-1456, 2017
Virtual Prototyping for Distributed Control of a Fault-Tolerant Modular Multilevel Inverter for Photovoltaics
LV Nguyen, H Tran, TT Johnson
IEEE Transactions on Energy Conversion, 2014
A small model theorem for rectangular hybrid automata networks
TT Johnson, S Mitra
FORTE/FMOODS, ser. LNCS, H. Giese and G. Rosu, Eds. Springer, 2012
Output reachable set estimation for switched linear systems and its application in safety verification
W Xiang, HD Tran, TT Johnson
IEEE Transactions on Automatic Control 62 (10), 5380-5387, 2017
Event-triggered control for continuous-time switched linear systems
W Xiang, TT Johnson
IET Control Theory & Applications 11 (11), 1694-1703, 2017
Satellite rendezvous and conjunction avoidance: Case studies in verification of nonlinear hybrid systems
TT Johnson, J Green, S Mitra, R Dudley, RS Erwin
International Symposium on Formal Methods, 252-266, 2012
Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions
S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ...
International Journal on Software Tools for Technology Transfer (STTT) 18 (4), 2016
Verification for machine learning, autonomy, and neural networks survey
W Xiang, P Musau, AA Wild, DM Lopez, N Hamilton, X Yang, J Rosenfeld, ...
arXiv preprint arXiv:1810.01989, 2018
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems
S Bak, S Bogomolov, TA Henzinger, TT Johnson, P Prakash
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
Abstraction-based guided search for hybrid systems
S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ...
International SPIN Workshop on Model Checking of Software, 117-134, 2013
Static and dynamic analysis of timed distributed traces
PS Duggirala, TT Johnson, A Zimmerman, S Mitra
2012 IEEE 33rd Real-Time Systems Symposium, 173-182, 2012
Reachability analysis and safety verification for neural network control systems
W Xiang, TT Johnson
arXiv preprint arXiv:1805.09944, 2018
Hyperproperties of real-valued signals
LV Nguyen, J Kapinski, X Jin, JV Deshmukh, TT Johnson
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017
Large-scale linear systems from order-reduction
HD Tran, LV Nguyen, TT Johnson
EPiC Series in Computing 43, 60-67, 2017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20