Author:Taylor T. Johnson

Publications
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling and Qi Zhu In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
ARCH-COMP22 Repeatability Evaluation Report Taylor T. Johnson In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer and Insup Lee In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
ARCH-COMP21 Repeatability Evaluation Report Taylor T. Johnson In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
ARCH-COMP20 Repeatability Evaluation Report Taylor T. Johnson In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan and Chao Huang In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Verification of Closed-loop Systems with Neural Network Controllers Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran and Taylor T. Johnson In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov and Taylor T. Johnson In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP19 Repeatability Evaluation Report Taylor T. Johnson In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Numerical Verification of Affine Systems with up to a Billion Dimensions Stanley Bak, Hoang-Dung Tran and Taylor T. Johnson EasyChair Preprint no. 812
Linear Differential-Algebraic Equations (Benchmark Proposal) Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran and Taylor T. Johnson In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Discrete-Space Analysis of Partial Differential Equations Hoang-Dung Tran, Tianshu Bao and Taylor T. Johnson In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal) Patrick Musau and Taylor T. Johnson In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP18 Repeatability Evaluation Report Taylor T. Johnson In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Reachability Analysis of Transformer-Isolated DC-DC Converters Omar Beg, Ali Davoudi and Taylor T. Johnson In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Distributed Autonomous Systems Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang and Taylor T. Johnson In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP17 Repeatability Evaluation Report Taylor T. Johnson In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis Omar Beg, Ali Davoudi and Taylor T. Johnson In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Non-linear Continuous Systems for Safety Verification Andrew Sogokon, Khalil Ghorbal and Taylor T. Johnson In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Large-Scale Linear Systems from Order-Reduction Hoang-Dung Tran, Luan Viet Nguyen and Taylor T. Johnson In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Benchmark Generator for Stratified Controllers of Tank Networks Stanley Bak, Sergiy Bogomolov, Marius Greitschus and Taylor T. Johnson In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis Hoang-Dung Tran, Luan Viet Nguyen and Taylor T. Johnson In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters) Luan Viet Nguyen and Taylor T. Johnson In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

Academic³, Affine systems, AMS, analog mixed signal circuits, Artifact Evaluation², Artificial Intelligence², autonomous systems, benchmark⁹, circuits, closed-loop system, continuous systems², control systems, DC-DC power converters, differential-algebraic equations, dynamical systems, finite difference method, Flow*, formal methods², formal verification, formation control, generator, hybrid automata², Hybrid automaton model, hybrid systems⁶, Hyst, intelligent control systems, Krylov subspace, large-scale systems, linear systems², machine learning, MATLAB, Neural Network Control Systems³, neural network controller, neural networks⁴, nonlinear differential algebraic equations, Nonlinear ordinary differential equations, nonlinear systems, Order reduction, ordinary differential equations, partial differential equations, PLL, Polynomial dynamics, reachability⁹, reachability analysis⁴, Rectifiers, Recurrent Neural Networks, repeatability², Repeatability Evaluation², reproducibility, reproducible research, RNNs, safety, Simulink, SpaceEx³, Stateflow, switched systems, tank, verification⁷, verification benchmark, VHDL-AMS.