Author:Taylor T. Johnson

Publications
Numerical Verification of Affine Systems with up to a Billion Dimensions Stanley Bak, Hoang-Dung Tran and Taylor T. Johnson EasyChair Preprint 812
ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Clemens Blab, Marcelo Forets, Yuhao Jia, Taylor T Johnson, Manuel Kranzl, Tobias Ladner, Lukas Linauer, Philipp Neubauer, Sophie Neubauer, Christian Schilling, Huan Zhang and Xiangru Zhong In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP23 Repeatability Evaluation Report Taylor T Johnson In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T Johnson, Tobias Ladner and Christian Schilling In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP22 Repeatability Evaluation Report Taylor T Johnson In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
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-COMP21 Repeatability Evaluation Report Taylor T. Johnson In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
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-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)
ARCH-COMP20 Repeatability Evaluation Report Taylor T Johnson In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH-COMP19 Repeatability Evaluation Report 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
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-COMP18 Repeatability Evaluation Report 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
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
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
ARCH-COMP17 Repeatability Evaluation Report 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
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
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
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
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
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
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 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

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 Network Verification, 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.