


Остановите войну!
for scientists:
Taylor T. Johnson
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j22]Hoang-Dung Tran
, Weiming Xiang, Taylor T. Johnson
:
Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems. IEEE Des. Test 39(1): 24-34 (2022) - [j21]Joel A. Rosenfeld
, Rushikesh Kamalapurkar, L. Forest Gruss, Taylor T. Johnson:
Dynamic Mode Decomposition for Continuous Time Systems with the Liouville Operator. J. Nonlinear Sci. 32(1): 5 (2022) - [j20]Xiaodong Yang, Omar Ali Beg, Matthew Kenigsberg, Taylor T. Johnson:
A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces. ACM Trans. Cyber Phys. Syst. 6(2): 13:1-13:24 (2022) - [c76]Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson:
On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers. ICAA 2022: 1-10 - [c75]Nathaniel Hamilton, Patrick Musau, Diego Manzanas Lopez, Taylor T. Johnson:
Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning. ICAA 2022: 11-20 - [i24]Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson:
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles. CoRR abs/2205.01419 (2022) - [i23]Nathaniel Hamilton, Kyle Dunlap, Taylor T. Johnson, Kerianne L. Hobbs:
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents. CoRR abs/2207.04117 (2022) - [i22]Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson:
Reachability Analysis of a General Class of Neural Ordinary Differential Equations. CoRR abs/2207.06531 (2022) - 2021
- [j19]Omar Ali Beg
, Luan Viet Nguyen, Taylor T. Johnson
, Ali Davoudi
:
Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism. IEEE Access 9: 20012-20021 (2021) - [j18]Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
:
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. Formal Aspects Comput. 33(4-5): 519-545 (2021) - [j17]Weiming Xiang
, Hoang-Dung Tran, Xiaodong Yang
, Taylor T. Johnson
:
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach. IEEE Trans. Neural Networks Learn. Syst. 32(5): 1821-1830 (2021) - [c74]Joel A. Rosenfeld, Rushikesh Kamalapurkar, L. Forest Gruss, Taylor T. Johnson:
On Occupation Kernels, Liouville Operators, and Dynamic Mode Decomposition. ACC 2021: 3957-3962 - [c73]Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet
, Marcelo Forets, Sebastián Guadalupe, Christian Schilling
, Radoslav Ivanov, Taylor J. Carpenter
, James Weimer, Insup Lee:
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@ADHS 2021: 90-119 - [c72]Taylor T. Johnson:
ARCH-COMP21 Repeatability Evaluation Report. ARCH@ADHS 2021: 153-160 - [c71]Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson
:
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability. CAV (1) 2021: 263-286 - [c70]Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov:
Reachability analysis of deep ReLU neural networks using facet-vertex incidence. HSCC 2021: 18:1-18:7 - [c69]Tianshu Bao, Xiaowei Jia, Jacob Zwart, Jeffrey Sadler, Alison P. Appling, Samantha Oliver, Taylor T. Johnson:
Partial Differential Equation Driven Dynamic Graph Networks for Predicting Stream Water Temperature. ICDM 2021: 11-20 - [c68]Luan Viet Nguyen, Wesam Haddad, Taylor T. Johnson:
Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach. SNR 2021: 9-23 - [c67]Neelanjana Pal, Taylor T. Johnson:
Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool. SNR 2021: 79-88 - [i21]Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov:
Reachability Analysis of Convolutional Neural Networks. CoRR abs/2106.12074 (2021) - [i20]Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov:
Neural Network Repair with Reachability Analysis. CoRR abs/2108.04214 (2021) - [i19]Stanley Bak, Changliu Liu, Taylor T. Johnson:
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results. CoRR abs/2109.00498 (2021) - 2020
- [c66]Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang:
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH 2020: 107-139 - [c65]Taylor T. Johnson:
ARCH-COMP20 Repeatability Evaluation Report. ARCH 2020: 175-183 - [c64]Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
:
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. CAV (1) 2020: 3-17 - [c63]Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson
:
Verification of Deep Convolutional Neural Networks Using ImageStars. CAV (1) 2020: 18-42 - [c62]Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson
:
Improved Geometric Path Enumeration for Verifying ReLU Neural Networks. CAV (1) 2020: 66-96 - [c61]Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner:
SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI). ICSE (Companion Volume) 2020: 1-4 - [c60]Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner:
SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink. ICSE 2020: 335-346 - [c59]Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson:
Case Study: Safety Verification of an Unmanned Underwater Vehicle. SP Workshops 2020: 189-195 - [i18]Xiaodong Yang, Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson:
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices. CoRR abs/2003.01226 (2020) - [i17]Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson:
Verification of Deep Convolutional Neural Networks Using ImageStars. CoRR abs/2004.05511 (2020) - [i16]Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen
, Weiming Xiang, Stanley Bak, Taylor T. Johnson:
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. CoRR abs/2004.05519 (2020) - [i15]Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson:
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach. CoRR abs/2004.12273 (2020)
2010 – 2019
- 2019
- [j16]Andrew Sogokon
, Paul B. Jackson
, Taylor T. Johnson
:
Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants. J. Autom. Reason. 63(4): 1005-1029 (2019) - [j15]Stanley Bak, Omar Ali Beg, Sergiy Bogomolov
, Taylor T. Johnson
, Luan Viet Nguyen
, Christian Schilling
:
Hybrid automata: from verification to implementation. Int. J. Softw. Tools Technol. Transf. 21(1): 87-104 (2019) - [j14]Weiming Xiang
, Hoang-Dung Tran
, Taylor T. Johnson
:
Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint. IEEE Trans. Autom. Control. 64(8): 3407-3414 (2019) - [j13]Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson
, Xenofon D. Koutsoukos:
Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. ACM Trans. Embed. Comput. Syst. 18(5s): 105:1-105:22 (2019) - [j12]Omar Ali Beg
, Luan Viet Nguyen
, Taylor T. Johnson
, Ali Davoudi
:
Signal Temporal Logic-Based Attack Detection in DC Microgrids. IEEE Trans. Smart Grid 10(4): 3585-3595 (2019) - [c58]Joel A. Rosenfeld
, Rushikesh Kamalapurkar, Benjamin Russo
, Taylor T. Johnson
:
Occupation Kernels and Densely Defined Liouville Operators for System Identification. CDC 2019: 6455-6460 - [c57]Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey
, Theodore Bapty, Taylor T. Johnson
, Xenofon D. Koutsoukos, Janos Sztipanovits
, Gabor Karsai
:
Model-based design for CPS with learning-enabled components. DESTION@CPSIoTWeek 2019: 1-9 - [c56]Tamás Kecskés, Patrik Meijer, Taylor T. Johnson
, Marcus Lucas:
Demo: a design studio for verification tools. DESTION@CPSIoTWeek 2019: 60-61 - [c55]Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter
, Radoslav Ivanov, Taylor T. Johnson
:
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@CPSIoTWeek 2019: 103-119 - [c54]Taylor T. Johnson
:
ARCH-COMP19 Repeatability Evaluation Report. ARCH@CPSIoTWeek 2019: 162-169 - [c53]Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson
:
Verification of Closed-loop Systems with Neural Network Controllers. ARCH@CPSIoTWeek 2019: 201-210 - [c52]Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen
, Weiming Xiang
, Taylor T. Johnson
:
Star-Based Reachability Analysis of Deep Neural Networks. FM 2019: 670-686 - [c51]Hoang-Dung Tran, Luan Viet Nguyen
, Nathaniel Hamilton
, Weiming Xiang
, Taylor T. Johnson
:
Reachability Analysis for High-Index Linear Differential Algebraic Equations. FORMATS 2019: 160-177 - [c50]Hoang-Dung Tran, Luan Viet Nguyen
, Patrick Musau, Weiming Xiang, Taylor T. Johnson
:
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems. FORTE 2019: 261-277 - [c49]Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson
:
Numerical verification of affine systems with up to a billion dimensions. HSCC 2019: 23-32 - [c48]Stephen A. Rees
, Tamás Kecskés, Patrik Meijer, Taylor T. Johnson
, Katie Dey, Paulo Tabuada, Marcus Lucas:
Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry. ICCPS 2019: 340-341 - [c47]Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen
, Weiming Xiang, Taylor T. Johnson
:
Parallelizable reachability analysis algorithms for feed-forward neural networks. FormaliSE@ICSE 2019: 31-40 - [c46]Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey
, Theodore Bapty, Taylor T. Johnson
, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
:
CPS Design with Learning-Enabled Components: A Case Study. RSP 2019: 57-63 - [i14]Hoang-Dung Tran, Luan Viet Nguyen
, Patrick Musau, Weiming Xiang, Taylor T. Johnson:
Real-Time Verification for Distributed Cyber-Physical Systems. CoRR abs/1909.09087 (2019) - 2018
- [j11]Weiming Xiang
, Hoang-Dung Tran, Taylor T. Johnson
:
Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems Under Arbitrary Switching. IEEE Trans. Autom. Control. 63(5): 1450-1456 (2018) - [j10]Luan Viet Nguyen
, Khaza Anuarul Hoque
, Stanley Bak, Steven Drager, Taylor T. Johnson
:
Cyber-Physical Specification Mismatches. ACM Trans. Cyber Phys. Syst. 2(4): 23:1-23:26 (2018) - [j9]Weiming Xiang
, Hoang-Dung Tran, Taylor T. Johnson
:
Output Reachable Set Estimation and Verification for Multilayer Neural Networks. IEEE Trans. Neural Networks Learn. Syst. 29(11): 5777-5783 (2018) - [c45]Luan Viet Nguyen
, Bardh Hoxha, Taylor T. Johnson
, Georgios Fainekos
:
Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. ADHS 2018: 67-72 - [c44]Taylor T. Johnson:
ARCH-COMP18 Repeatability Evaluation Report. ARCH@ADHS 2018: 128-134 - [c43]Hoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T. Johnson
:
Reachability Analysis for One Dimensional Linear Parabolic Equations. ADHS 2018: 133-138 - [c42]Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson:
Linear Differential-Algebraic Equations (Benchmark Proposal). ARCH@ADHS 2018: 174-184 - [c41]Hoang-Dung Tran, Tianshu Bao, Taylor T. Johnson:
Discrete-Space Analysis of Partial Differential Equations. ARCH@ADHS 2018: 185-195 - [c40]Patrick Musau, Taylor T. Johnson:
Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal). ARCH@ADHS 2018: 196-207 - [c39]Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld
, Taylor T. Johnson
:
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers. ACC 2018: 1574-1579 - [c38]Shafiul Azam Chowdhury, Lina Sera Varghese, Soumik Mohian, Taylor T. Johnson
, Christoph Csallner:
A curated corpus of simulink models for model-based empirical studies. SEsCPS@ICSE 2018: 45-48 - [c37]Shafiul Azam Chowdhury, Soumik Mohian, Sidharth Mehra, Siddhant Gawsane, Taylor T. Johnson
, Christoph Csallner:
Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge. ICSE 2018: 981-992 - [e1]Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson:
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018. EPiC Series in Computing 54, EasyChair 2018 [contents] - [i13]Weiming Xiang, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson:
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems. CoRR abs/1802.03557 (2018) - [i12]Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld, Taylor T. Johnson:
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers. CoRR abs/1802.06981 (2018) - [i11]Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson:
Numerical Verification of Affine Systems with up to a Billion Dimensions. CoRR abs/1804.01583 (2018) - [i10]Hoang-Dung Tran, Weiming Xiang, Nathaniel Hamilton, Taylor T. Johnson:
Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations. CoRR abs/1804.03227 (2018) - [i9]Weiming Xiang, Taylor T. Johnson:
Reachability Analysis and Safety Verification for Neural Network Control Systems. CoRR abs/1805.09944 (2018) - [i8]Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson:
Cyber-Physical Specification Mismatches. CoRR abs/1806.09224 (2018) - [i7]Weiming Xiang, Patrick Musau, Ayana A. Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, Taylor T. Johnson:
Verification for Machine Learning, Autonomy, and Neural Networks Survey. CoRR abs/1810.01989 (2018) - [i6]Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson:
Specification-Guided Safety Verification for Feedforward Neural Networks. CoRR abs/1812.06161 (2018) - 2017
- [j8]Hoang-Dung Tran, Luan Viet Nguyen
, Weiming Xiang, Taylor T. Johnson
:
Order-reduction abstractions for safety verification of high-dimensional linear systems. Discret. Event Dyn. Syst. 27(2): 443-461 (2017) - [j7]Weiming Xiang
, Hoang-Dung Tran, Taylor T. Johnson
:
Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification. IEEE Trans. Autom. Control. 62(10): 5380-5387 (2017) - [j6]Andrew Sogokon
, Khalil Ghorbal
, Taylor T. Johnson
:
Operational Models for Piecewise-Smooth Systems. ACM Trans. Embed. Comput. Syst. 16(5s): 185:1-185:19 (2017) - [j5]Omar Beg
, Houssam Abbas, Taylor T. Johnson
, Ali Davoudi
:
Model Validation of PWM DC-DC Converters. IEEE Trans. Ind. Electron. 64(9): 7049-7059 (2017) - [j4]Omar Beg
, Taylor T. Johnson
, Ali Davoudi
:
Detection of False-Data Injection Attacks in Cyber-Physical DC Microgrids. IEEE Trans. Ind. Informatics 13(5): 2693-2703 (2017) - [c36]Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
:
On reachable set estimation for discrete-time switched linear systems under arbitrary switching. ACC 2017: 4534-4539 - [c35]Hoang-Dung Tran, Luan Viet Nguyen
, Weiming Xiang, Taylor T. Johnson:
Distributed Autonomous Systems. ARCH@CPSWeek 2017: 33-43 - [c34]Omar Beg
, Ali Davoudi, Taylor T. Johnson:
Reachability Analysis of Transformer-Isolated DC-DC Converters. ARCH@CPSWeek 2017: 52-64 - [c33]Taylor T. Johnson:
ARCH-COMP17 Repeatability Evaluation Report. ARCH@CPSWeek 2017: 175-180 - [c32]Umair Siddique, Khaza Anuarul Hoque, Taylor T. Johnson
:
Formal specification and dependability analysis of optical communication networks. DATE 2017: 1564-1569 - [c31]Luan Viet Nguyen
, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson
:
Abnormal Data Classification Using Time-Frequency Temporal Logic. HSCC 2017: 237-242 - [c30]Luan Viet Nguyen
, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson
:
Hyperproperties of real-valued signals. MEMOCODE 2017: 104-113 - [c29]Andrew Sogokon
, Paul B. Jackson
, Taylor T. Johnson
:
Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants. NFM 2017: 194-211 - [i5]Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson:
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks. CoRR abs/1708.03322 (2017) - [i4]Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson:
Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations. CoRR abs/1712.08163 (2017) - 2016
- [j3]Sergiy Bogomolov
, Alexandre Donzé
, Goran Frehse
, Radu Grosu, Taylor T. Johnson
, Hamed Ladan, Andreas Podelski, Martin Wehrle:
Guided search for hybrid systems based on coarse-grained space abstractions. Int. J. Softw. Tools Technol. Transf. 18(4): 449-467 (2016) - [j2]Taylor T. Johnson
, Stanley Bak, Marco Caccamo, Lui Sha:
Real-Time Reachability for Verified Simplex Design. ACM Trans. Embed. Comput. Syst. 15(2): 26:1-26:27 (2016) - [c28]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:
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA 2016: 1024-1029 - [c27]Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
:
Reachable set estimation and control for switched linear systems with dwell-time restriction. CDC 2016: 7246-7251 - [c26]Omar Beg
, Ali Davoudi, Taylor T. Johnson:
Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis. ARCH@CPSWeek 2016: 27-35 - [c25]Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson:
Non-linear Continuous Systems for Safety Verification. ARCH@CPSWeek 2016: 42-51 - [c24]Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson:
Large-Scale Linear Systems from Order-Reduction. ARCH@CPSWeek 2016: 60-67 - [c23]Shafiul Azam Chowdhury, Taylor T. Johnson
, Christoph Csallner:
CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments. CyPhy 2016: 46-60 - [c22]Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson
:
Decoupling Abstractions of Non-linear Ordinary Differential Equations. FM 2016: 628-644 - [c21]Stanley Bak, Sergiy Bogomolov
, Thomas A. Henzinger, Taylor T. Johnson
, Pradyot Prakash:
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems. HSCC 2016: 155-164 - [c20]Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson
, Osman Hasan
:
Probabilistic Formal Verification of the SATS Concept of Operation. NFM 2016: 191-205 - [i3]Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson:
Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems. CoRR abs/1602.06417 (2016) - 2015
- [j1]Taylor T. Johnson
, Sayan Mitra:
Safe and stabilizing distributed multi-path cellular flows. Theor. Comput. Sci. 579: 9-32 (2015) - [c19]Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson:
Benchmark Generator for Stratified Controllers of Tank Networks. ARCH@CPSWeek 2015: 73-79 - [c18]Hoang-Dung Tran, Luan Viet Nguyen
, Taylor T. Johnson:
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis. ARCH@CPSWeek 2015: 89-97 - [c17]Stanley Bak, Sergiy Bogomolov
, Taylor T. Johnson
:
HYST: a source transformation and translation tool for hybrid automaton models. HSCC 2015: 128-133 - [c16]Luan Viet Nguyen
, Christian Schilling
, Sergiy Bogomolov
, Taylor T. Johnson
:
HyRG: a random generation tool for affine hybrid automata. HSCC 2015: 289-290 - [c15]Taylor T. Johnson
, Stanley Bak, Steven Drager:
Cyber-physical specification mismatch identification with dynamic analysis. ICCPS 2015: 208-217 - [c14]Stanley Bak, Taylor T. Johnson
:
Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization. RTSS 2015: 195-205 - [c13]Luan Viet Nguyen, Christian Schilling
, Sergiy Bogomolov
, Taylor T. Johnson
:
Runtime Verification for Hybrid Analysis Tools. RV 2015: 281-286 - 2014
- [c12]Luan Viet Nguyen
, Taylor T. Johnson:
Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters). ARCH@CPSWeek 2014: 19-24 - [c11]Luan Viet Nguyen
, Eric J. Nelson, Amol Vengurlekar, Ruoshi Zhang
, Kristopher I. White
, Victor Salinas
, Taylor T. Johnson
:
Model-based design and analysis of a reconfigurable continuous-culture bioreactor. CyPhy 2014: 48-51 - [c10]Taylor T. Johnson
, Sayan Mitra:
Anonymized Reachability of Hybrid Automata Networks. FORMATS 2014: 130-145 - [c9]Stanley Bak, Taylor T. Johnson
, Marco Caccamo, Lui Sha:
Real-Time Reachability for Verified Simplex Design. RTSS 2014: 138-148 - [i2]Luan Viet Nguyen
, Taylor T. Johnson:
Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter. CoRR abs/1404.2259 (2014) - 2013
- [c8]Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson
, Hamed Ladan, Andreas Podelski, Martin Wehrle:
Abstraction-Based Guided Search for Hybrid Systems. SPIN 2013: 117-134 - 2012
- [c7]Taylor T. Johnson
, Jeremy Green, Sayan Mitra, Rachel F. Dudley, Richard Scott Erwin
:
Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems. FM 2012: 252-266 - [c6]