Taylor T. Johnson

According to our database, Taylor T. Johnson authored at least 159 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

The Occupation Kernel Method for Nonlinear System Identification.

Joel A. Rosenfeld, Benjamin P. Russo, Rushikesh Kamalapurkar, Taylor T. Johnson

SIAM J. Control. Optim., 2024

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results.

Christopher Brix, Stanley Bak, Taylor T. Johnson, Haoze Wu

CoRR, 2024

EditScout: Locating Forged Regions from Diffusion-based Edited Images with Multimodal LLM.

Quang Nguyen, Truong Vu, Trong-Tung Nguyen, Yuxin Wen, Preston K. Robinette, Taylor T. Johnson, Tom Goldstein, Anh Tran, Khoi Nguyen

CoRR, 2024

PBP: Post-training Backdoor Purification for Malware Classifiers.

Dung Thuy Nguyen, Ngoc N. Tran, Taylor T. Johnson, Kevin Leach

CoRR, 2024

Formalizing Stateful Behavior Trees.

Serena Serafina Serbinowska, Preston Robinette, Gabor Karsai, Taylor T. Johnson

CoRR, 2024

Verification of Behavior Trees with Contingency Monitors.

Serena Serafina Serbinowska, Nicholas Potteiger, Anne M. Tumlin, Taylor T. Johnson

CoRR, 2024

Formal Logic-guided Robust Federated Learning against Poisoning Attacks.

Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson, Meiyi Ma, Kevin Leach

CoRR, 2024

FISC: Federated Domain Generalization via Interpolative Style Transfer and Contrastive Learning.

Dung Thuy Nguyen, Taylor T. Johnson, Kevin Leach

CoRR, 2024

Trigger-Based Fragile Model Watermarking for Image Transformation Networks.

Preston K. Robinette, Dung Thuy Nguyen, Samuel Sasaki, Taylor T. Johnson

CoRR, 2024

A New Hybrid Automaton Framework with Partial Differential Equation Dynamics.

Tianshu Bao, Hengrong Du, Weiming Xiang, Taylor T. Johnson

CoRR, 2024

Spatial-Temporal PDE Networks for Traffic Flow Forecasting.

Tianshu Bao, Hua Wei, Junyi Ji, Daniel B. Work, Taylor T. Johnson

Proceedings of the Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track, 2024

Transfer Learning Using Inaccurate Physics Rule for Streamflow Prediction.

Tianshu Bao, Taylor T. Johnson, Xiaowei Jia

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets.

Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach, Taylor T. Johnson

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

FairNNV: The Neural Network Verification Tool For Certifying Fairness.

Anne M. Tumlin, Diego Manzanas Lopez, Preston Robinette, Yuying Zhao, Tyler Derr, Taylor T. Johnson

Proceedings of the 5th ACM International Conference on AI in Finance, 2024

Sanitizing Hidden Information with Diffusion Models.

Preston K. Robinette, Daniel Moyer, Taylor T. Johnson

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV.

Taylor T. Johnson, Diego Manzanas Lopez, Hoang-Dung Tran

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

Formal Logic Enabled Personalized Federated Learning through Property Inference.

Ziyan An, Taylor T. Johnson, Meiyi Ma

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Decentralized Safe Control for Distributed Cyber-Physical Systems Using Real-Time Reachability Analysis.

Luan Viet Nguyen, Hoang-Dung Tran, Taylor T. Johnson, Vijay Gupta

IEEE Trans. Control. Netw. Syst., September, 2023

First three years of the international verification of neural networks competition (VNN-COMP).

Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu

Int. J. Softw. Tools Technol. Transf., June, 2023

The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results.

Christopher Brix, Stanley Bak, Changliu Liu, Taylor T. Johnson

CoRR, 2023

Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes.

Xia Wang, Anda Liang, Jonathan Sprinkle, Taylor T. Johnson

CoRR, 2023

Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach.

Neelanjana Pal, Taylor T. Johnson

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Online Reachability Analysis and Space Convexification for Autonomous Racing.

Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Monsters in the Dark: Sanitizing Hidden Threats with Diffusion Models.

Preston K. Robinette, Daniel Moyer, Taylor T. Johnson

CoRR, 2023

EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability.

Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor T. Johnson

CoRR, 2023

Benchmark: Neural Network Malware Classification.

Preston K. Robinette, Diego Manzanas Lopez, Taylor T. Johnson

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Benchmark: Formal Verification of Semantic Segmentation Neural Networks.

Neelanjana Pal, Seojin Lee, Taylor T. Johnson

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Track C1: Safety Verification of Deep Neural Networks (DNNs).

Daniel Neider, Taylor T. Johnson

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers.

Diego Manzanas Lopez, Taylor T. Johnson

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models.

Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma

Proceedings of the Runtime Verification - 23rd International Conference, 2023

DEMO: Self-Preserving Genetic Algorithms vs. Safe Reinforcement Learning in Discrete Action Spaces.

Preston K. Robinette, Nathaniel P. Hamilton, Taylor T. Johnson

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Self-Preserving Genetic Algorithms for Safe Learning in Discrete Action Spaces.

Preston K. Robinette, Nathaniel P. Hamilton, Taylor T. Johnson

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input.

Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy.

Hoang-Dung Tran, Diego Manzanas Lopez, Taylor T. Johnson

Proceedings of the International Conference on Embedded Software, 2023

SUDS: Sanitizing Universal and Dependent Steganography.

Preston K. Robinette, Hanchen D. Wang, Nishan Shehadeh, Daniel Moyer, Taylor T. Johnson

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

NNV 2.0: The Neural Network Verification Tool.

Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

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, Christian Schilling

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

ARCH-COMP23 Repeatability Evaluation Report.

Taylor T. Johnson

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces.

Xiaodong Yang, Omar Ali Beg, Matthew Kenigsberg, Taylor T. Johnson

ACM Trans. Cyber Phys. Syst., 2022

Real-Time Verification for Distributed Cyber-Physical Systems.

Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson

Leibniz Trans. Embed. Syst., 2022

Dynamic Mode Decomposition for Continuous Time Systems with the Liouville Operator.

Joel A. Rosenfeld, Rushikesh Kamalapurkar, L. Forest Gruss, Taylor T. Johnson

J. Nonlinear Sci., 2022

Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems.

Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson

IEEE Des. Test, 2022

The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results.

Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor T. Johnson

CoRR, 2022

BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees.

Serena Serafina Serbinowska, Taylor T. Johnson

CoRR, 2022

Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents.

Nathaniel Hamilton, Kyle Dunlap, Taylor T. Johnson, Kerianne L. Hobbs

CoRR, 2022

An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles.

Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson

CoRR, 2022

Physics guided neural networks for spatio-temporal super-resolution of turbulent flows.

Tianshu Bao, Shengyu Chen, Taylor T. Johnson, Peyman Givi, Shervin Sammak, Xiaowei Jia

Proceedings of the Uncertainty in Artificial Intelligence, 2022

BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees.

Bernard Serbinowski, Taylor T. Johnson

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning.

Nathaniel Hamilton, Preston Robinette, Taylor T. Johnson

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.

Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson

Proceedings of the IEEE International Conference on Assured Autonomy, 2022

Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning.

Nathaniel Hamilton, Patrick Musau, Diego Manzanas Lopez, Taylor T. Johnson

Proceedings of the IEEE International Conference on Assured Autonomy, 2022

Neural Network Repair with Reachability Analysis.

Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

Reachability Analysis of a General Class of Neural Ordinary Differential Equations.

Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

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, Qi Zhu

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

ARCH-COMP22 Repeatability Evaluation Report.

Taylor T. Johnson

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach.

Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson

IEEE Trans. Neural Networks Learn. Syst., 2021

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter.

Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson

Formal Aspects Comput., 2021

Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach.

Luan Viet Nguyen, Wesam Haddad, Taylor T. Johnson

Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021

Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool.

Neelanjana Pal, Taylor T. Johnson

Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021

The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results.

Stanley Bak, Changliu Liu, Taylor T. Johnson

CoRR, 2021

Reachability Analysis of Convolutional Neural Networks.

Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov

CoRR, 2021

Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism.

Omar Ali Beg, Luan Viet Nguyen, Taylor T. Johnson, Ali Davoudi

IEEE Access, 2021

Partial Differential Equation Driven Dynamic Graph Networks for Predicting Stream Water Temperature.

Tianshu Bao, Xiaowei Jia, Jacob Zwart, Jeffrey M. Sadler, Alison P. Appling, Samantha Oliver, Taylor T. Johnson

Proceedings of the IEEE International Conference on Data Mining, 2021

Reachability analysis of deep ReLU neural networks using facet-vertex incidence.

Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability.

Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

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, Insup Lee

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

ARCH-COMP21 Repeatability Evaluation Report.

Taylor T. Johnson

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

On Occupation Kernels, Liouville Operators, and Dynamic Mode Decomposition.

Joel A. Rosenfeld, Rushikesh Kamalapurkar, L. Forest Gruss, Taylor T. Johnson

Proceedings of the 2021 American Control Conference, 2021

2020

Reachability Analysis for Feed-Forward Neural Networks using Face Lattices.

Xiaodong Yang, Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson

CoRR, 2020

Case Study: Safety Verification of an Unmanned Underwater Vehicle.

Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI).

Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink.

Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.

Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Verification of Deep Convolutional Neural Networks Using ImageStars.

Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks.

Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

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, Chao Huang

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

ARCH-COMP20 Repeatability Evaluation Report.

Taylor T. Johnson

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Signal Temporal Logic-Based Attack Detection in DC Microgrids.

Omar Ali Beg, Luan Viet Nguyen, Taylor T. Johnson, Ali Davoudi

IEEE Trans. Smart Grid, 2019

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

Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson, Xenofon D. Koutsoukos

ACM Trans. Embed. Comput. Syst., 2019

Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint.

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson

IEEE Trans. Autom. Control., 2019

Hybrid automata: from verification to implementation.

Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling

Int. J. Softw. Tools Technol. Transf., 2019

Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants.

Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson

J. Autom. Reason., 2019

CPS Design with Learning-Enabled Components: A Case Study.

Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai

Proceedings of the 30th International Workshop on Rapid System Prototyping, 2019

Parallelizable reachability analysis algorithms for feed-forward neural networks.

Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry.

Stephen A. Rees, Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Katie Dey, Paulo Tabuada, Marcus Lucas

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Numerical verification of affine systems with up to a billion dimensions.

Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.

Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Reachability Analysis for High-Index Linear Differential Algebraic Equations.

Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Star-Based Reachability Analysis of Deep Neural Networks.

Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Verification of Closed-loop Systems with Neural Network Controllers.

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

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, Taylor T. Johnson

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Demo: a design studio for verification tools.

Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Marcus Lucas

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

ARCH-COMP19 Repeatability Evaluation Report.

Taylor T. Johnson

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Model-based design for CPS with learning-enabled components.

Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

Occupation Kernels and Densely Defined Liouville Operators for System Identification.

Joel A. Rosenfeld, Rushikesh Kamalapurkar, Benjamin Russo, Taylor T. Johnson

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Output Reachable Set Estimation and Verification for Multilayer Neural Networks.

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson

IEEE Trans. Neural Networks Learn. Syst., 2018

Cyber-Physical Specification Mismatches.

Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson

ACM Trans. Cyber Phys. Syst., 2018

Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems Under Arbitrary Switching.

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson

IEEE Trans. Autom. Control., 2018

Specification-Guided Safety Verification for Feedforward Neural Networks.

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson

CoRR, 2018

Verification for Machine Learning, Autonomy, and Neural Networks Survey.

Weiming Xiang, Patrick Musau, Ayana A. Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, Taylor T. Johnson

CoRR, 2018

Reachability Analysis and Safety Verification for Neural Network Control Systems.

Weiming Xiang, Taylor T. Johnson

CoRR, 2018

Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations.

Hoang-Dung Tran, Weiming Xiang, Nathaniel Hamilton, Taylor T. Johnson

CoRR, 2018

Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems.

Weiming Xiang, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson

CoRR, 2018

A curated corpus of simulink models for model-based empirical studies.

Shafiul Azam Chowdhury, Lina Sera Varghese, Soumik Mohian, Taylor T. Johnson, Christoph Csallner

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018

Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge.

Shafiul Azam Chowdhury, Soumik Mohian, Sidharth Mehra, Siddhant Gawsane, Taylor T. Johnson, Christoph Csallner

Proceedings of the 40th International Conference on Software Engineering, 2018

Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers.

Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld, Taylor T. Johnson

Proceedings of the 2018 Annual American Control Conference, 2018

Reachability Analysis for One Dimensional Linear Parabolic Equations.

Hoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T. Johnson

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Discrete-Space Analysis of Partial Differential Equations.

Hoang-Dung Tran, Tianshu Bao, Taylor T. Johnson

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS.

Luan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Linear Differential-Algebraic Equations (Benchmark Proposal).

Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal).

Patrick Musau, Taylor T. Johnson

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

ARCH-COMP18 Repeatability Evaluation Report.

Taylor T. Johnson

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Detection of False-Data Injection Attacks in Cyber-Physical DC Microgrids.

Omar Beg, Taylor T. Johnson, Ali Davoudi

IEEE Trans. Ind. Informatics, 2017

Model Validation of PWM DC-DC Converters.

Omar Beg, Houssam Abbas, Taylor T. Johnson, Ali Davoudi

IEEE Trans. Ind. Electron., 2017

Operational Models for Piecewise-Smooth Systems.

Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson

ACM Trans. Embed. Comput. Syst., 2017

Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification.

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson

IEEE Trans. Autom. Control., 2017

Order-reduction abstractions for safety verification of high-dimensional linear systems.

Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson

Discret. Event Dyn. Syst., 2017

Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations.

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson

CoRR, 2017

Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks.

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson

CoRR, 2017

Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants.

Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Hyperproperties of real-valued signals.

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Abnormal Data Classification Using Time-Frequency Temporal Logic.

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Formal specification and dependability analysis of optical communication networks.

Umair Siddique, Khaza Anuarul Hoque, Taylor T. Johnson

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Distributed Autonomous Systems.

Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

ARCH-COMP17 Repeatability Evaluation Report.

Taylor T. Johnson

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Reachability Analysis of Transformer-Isolated DC-DC Converters.

Omar Beg, Ali Davoudi, Taylor T. Johnson

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

On reachable set estimation for discrete-time switched linear systems under arbitrary switching.

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the 2017 American Control Conference, 2017

2016

Real-Time Reachability for Verified Simplex Design.

Taylor T. Johnson, Stanley Bak, Marco Caccamo, Lui Sha

ACM Trans. Embed. Comput. Syst., 2016

Guided search for hybrid systems based on coarse-grained space abstractions.

Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle

Int. J. Softw. Tools Technol. Transf., 2016

Probabilistic Formal Verification of the SATS Concept of Operation.

Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson, Osman Hasan

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Scalable Static Hybridization Methods for Analysis of Nonlinear Systems.

Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Decoupling Abstractions of Non-linear Ordinary Differential Equations.

Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson

Proceedings of the FM 2016: Formal Methods, 2016

CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments.

Shafiul Azam Chowdhury, Taylor T. Johnson, Christoph Csallner

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

Large-Scale Linear Systems from Order-Reduction.

Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson

Proceedings of the ARCH@CPSWeek 2016, 2016

Non-linear Continuous Systems for Safety Verification.

Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson

Proceedings of the ARCH@CPSWeek 2016, 2016

Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis.

Omar Beg, Ali Davoudi, Taylor T. Johnson

Proceedings of the ARCH@CPSWeek 2016, 2016

Reachable set estimation and control for switched linear systems with dwell-time restriction.

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.

Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

Safe and stabilizing distributed multi-path cellular flows.

Taylor T. Johnson, Sayan Mitra

Theor. Comput. Sci., 2015

Runtime Verification for Hybrid Analysis Tools.

Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson

Proceedings of the Runtime Verification - 6th International Conference, 2015

Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization.

Stanley Bak, Taylor T. Johnson

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Cyber-physical specification mismatch identification with dynamic analysis.

Taylor T. Johnson, Stanley Bak, Steven Drager

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

HyRG: a random generation tool for affine hybrid automata.

Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

HYST: a source transformation and translation tool for hybrid automaton models.

Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis.

Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Benchmark Generator for Stratified Controllers of Tank Networks.

Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

2014

Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter.

Luan Viet Nguyen, Taylor T. Johnson

CoRR, 2014

Anonymized Reachability of Hybrid Automata Networks.

Taylor T. Johnson, Sayan Mitra

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Model-based design and analysis of a reconfigurable continuous-culture bioreactor.

Luan Viet Nguyen, Eric J. Nelson, Amol Vengurlekar, Ruoshi Zhang, Kristopher I. White, Victor Salinas, Taylor T. Johnson

Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters).

Luan Viet Nguyen, Taylor T. Johnson

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014

2013

Uniform verification of safety for parameterized networks of hybrid automata

Taylor T. Johnson

PhD thesis, 2013

Abstraction-Based Guided Search for Hybrid Systems.

Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle

Proceedings of the Model Checking Software - 20th International Symposium, 2013

2012

Static and Dynamic Analysis of Timed Distributed Traces.

Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study.

Taylor T. Johnson, Sayan Mitra

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

A Small Model Theorem for Rectangular Hybrid Automata Networks.

Taylor T. Johnson, Sayan Mitra

Proceedings of the Formal Techniques for Distributed Systems, 2012

Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems.

Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel F. Dudley, Richard Scott Erwin

Proceedings of the FM 2012: Formal Methods, 2012

2011

Stability of digitally interconnected linear systems.

Taylor T. Johnson, Sayan Mitra, Cédric Langbort

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Safe Flocking in Spite of Actuator Faults.

Taylor T. Johnson, Sayan Mitra

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Safe and Stabilizing Distributed Cellular Flows.

Taylor T. Johnson, Sayan Mitra, Karthik Manamcheri

Proceedings of the 2010 International Conference on Distributed Computing Systems, 2010