|
| [J24] | Diego Manzanas Lopez, Taylor T. Johnson, Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, "Evaluation of Neural Network Verification Methods for Air to Air Collision Avoidance", In AIAA Journal of Air Transportation (JAT), vol. , no. , pp. , 2022, October.
|
|
| [J23] | Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson, "Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach", In IEEE Transactions on Neural Networks and Learning Systems, vol. 32, no. 5, pp. 1821-1830, 2021, May.
|
| [J22] | Omar Ali Beg, Luan Viet Nguyen, Taylor T. Johnson, Ali Davoudi, "Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism", In IEEE Access, vol. 9, no. , pp. 20012-20021, 2021.
|
|
| [J21] | Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson, "Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems", In IEEE Design and Test, vol. , no. , pp. 1-1, 2020.
|
|
| [J20] | Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, "Hybrid Automata: From Verification to Implementation", In Int. Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag, vol. 21, no. 1, Berlin, Heidelberg, pp. 87–104, 2019, February.
|
| [J19] | Weiming Xiang, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson, "Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems", In (Huafeng Yu, Xin Li, Richard M. Murray, S. Ramesh, Claire J. Tomlin, eds.), Springer International Publishing, pp. 123–144, 2019.
|
| [J18] | Ziaur Rahman, Stephen P. Mattingly, Rahul Kawadgave, Dian Nostikasari, Nicole Roeglin, Colleen Casey, Taylor T. Johnson, "Using crowd sourcing to locate and characterize conflicts for vulnerable modes", In Accident Analysis and Prevention, vol. 128, pp. 32–39, 2019.
|
|
| [J17] | Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson, "Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants", In Journal of Automated Reasoning, 2018, Nov.
|
| [J16] | Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson, "Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems under Arbitrary Switching", In IEEE Transactions on Automatic Control (TAC), 2018, May.
|
| [J15] | Omar Ali Beg, Luan Viet Nguyen, Taylor T. Johnson, Ali Davoudi, "Signal Temporal Logic-based Attack Detection in DC Microgrids", In IEEE Transactions on Smart Grids (TSG), Institute of Electrical and Electronics Engineers (IEEE), 2018, April.
|
| [J14] | Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson, "Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks", In IEEE Transactions on Neural Networks and Learning Systems (TNNLS), 2018, March.
|
| [J13] | Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson, "Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations", In In Submission, IEEE, 2018, September.
|
| [J12] | Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson, "Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems under Minimum Dwell-Time Constraint", In IEEE Transactions on Automatic Control (TAC), 2018, September.
|
| [J11] | Luan Viet Nguyen, Khaza Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson, "Cyber-Physical Specification Mismatches", In ACM Transactions on Cyber-Physical Systems (TCPS), 2018.
|
|
| [J10] | Omar Ali Beg, Houssam Abbas, Taylor T. Johnson, Ali Davoudi, "Model Validation of PWM DC-DC Converters", In IEEE Transactions on Industrial Electronics. (TIE), Institute of Electrical and Electronics Engineers (IEEE), 2017, June.
|
| [J9] | Weiming Xiang, Taylor T. Johnson, "Event-triggered control for continuous-time switched linear systems", In IET Control Theory and Applications, Institution of Engineering and Technology, 2017, February.
|
| [J8] | Omar Ali Beg, Taylor T. Johnson, Ali Davoudi, "Detection of False-data Injection Attacks in Cyber-Physical DC Microgrids", In IEEE Transactions on Industrial Informatics, vol. , no. , pp. , 2017, .
|
| [J7] | Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson, "Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification", In IEEE Transactions on Automatic Control (TAC), 2017.
|
| [J6] | Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson, "Order-reduction abstractions for safety verification of high-dimensional linear systems", In Discrete Event Dynamic Systems (DEDS), 2017.
|
|
| [J5] | Sergiy Bogomolov, Alexandre Donze, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle, "Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions", In Software Tools for Technology Transfer (STTT), Springer, vol. 18, , pp. , 2016, August.
|
| [J4] | Taylor T. Johnson, Stanley Bak, Marco Caccamo, Lui Sha, "Real-Time Reachability for Verified Simplex Design", In ACM Transactions on Embedded Computing Systems (TECS), ACM, vol. 15, no. 2, New York, NY, USA, pp. 26:1–26:27, 2016, February.
|
|
| [J3] | Taylor T. Johnson, Sayan Mitra, "Safe and Stabilizing Distributed Multi-Path Cellular Flows", In Theoretical Computer Science, Elsevier, vol. , no. , , pp. 1–46, 2015, February.
|
|
| [J2] | Luan Viet Nguyen, Hoang-Dung Tran, Taylor T. Johnson, "Virtual Prototyping for Distributed Control of a Fault-Tolerant Modular Multilevel Inverter for Photovoltaics", In IEEE Transactions on Energy Conversion, vol. 29, , pp. 841–850, 2014, December. (arxiv preprint)
|
|
| [J1] | Taylor T. Johnson, Sayan Mitra, "Safe Flocking in Spite of Actuator Faults using Directional Failure Detectors", In Journal of Nonlinear Systems and Applications, Watam Press Inc., vol. 2, no. 1-2, Waterloo, Ontario, Canada, pp. 73–95, 2011, April. (pdf (publisher), doi)
|
|
| [C59] | Ziyan An, Taylor T. Johnson, Meiyi Ma, "Formal Logic Enabled Personalized Federated Learning through Property Inference", In Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI'24), vol. , no. , pp. , 2024, February.
|
|
| [C58] | Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson, "NNV 2.0: the neural network verification tool", In International Conference on Computer Aided Verification (CAV), vol. , no. , pp. , 2023, july.
|
| [C57] | Preston Robinette, Taylor T. Johnson, David Wang, Nishan Shehadeh, Daniel Moyer, "SUDS: Sanitizing Universal and Dependent Steganography", In 26th European Conference on Artificial Intelligence (ECAI), vol. , no. , pp. , 2023, September.
|
|
| [C56] | Nathaniel Hamilton, Preston K. Robinette, Taylor T. Johnson, "Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning", In 20th International Conference on Software Engineering and Formal Methods (SEFM), vol. , no. , pp. , 2022, September.
|
| [C55] | Bernard Serbinowski, Taylor T. Johnson, "BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees", In 20th International Conference on Software Engineering and Formal Methods (SEFM), vol. , no. , pp. , 2022, September.
|
| [C54] | Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Taylor T. Johnson, Danil Prokhorov, "Neural Network Repair with Reachability Analysis", In 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), vol. , no. , pp. , 2022, September.
|
| [C53] | Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson, "Reachability Analysis of a General Class of Neural Ordinary Differential Equations", In 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), vol. , no. , pp. , 2022, September.
|
| [C52] | Tianshu Bao, Shengyu Chen, Taylor T. Johnson, Peyman Givi, Shervin Sammak, Xiaowei Jia, "Physics Guided Neural Networks for Spatio-temporal Super-resolution of Turbulent Flows", In 38th Conference on Uncertainty in Artificial Intelligence (UAI), vol. , no. , pp. , 2022, August.
|
| [C51] | 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", In 2022 IEEE International Conference on Assured Autonomy (ICAA), vol. , no. , pp. 1-10, 2022.
|
| [C50] | Nathaniel Hamilton, Patrick Musau, Diego Manzanas Lopez, Taylor T. Johnson, "Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning", In 2022 IEEE International Conference on Assured Autonomy (ICAA), vol. , no. , pp. 11-20, 2022.
|
|
| [C49] | Tianshu Bao, Xiaowei Jia, Jacob Zwart, Jeffrey Sadler, Alison Appling, Samantha Oliver, Taylor T. Johnson, "Partial Differential Equation Driven Dynamic Graph Networks for Predicting Stream Water Temperature", In 2021 IEEE International Conference on Data Mining (ICDM), vol. , no. , pp. 11-20, 2021, December.
|
| [C48] | Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Xiaodong Yang, Nathaniel P. Hamilton, Diego Manzanas Lopez, Stanley Bak, Taylor T. Johnson, "Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability", In 33rd International Conference on Computer-Aided Verification (CAV), Springer, 2021, July.
|
| [C47] | Diego Manzanas Lopez, Taylor T. Johnson, Hoang-Dung Tran, Stanley Bak, Xin Chen, Kerianne Hobbs, "Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability", In AIAA Scitech 2021 Forum, AIAA, 2021, January.
|
| [C46] | Krishna Muvva, Justin M. Bradley, Marilyn Wolf, Taylor T. Johnson, "Assuring Learning-Enabled Components in Small Unmanned Aircraft Systems", In AIAA Scitech 2021 Forum, AIAA, 2021, January.
|
| [C45] | Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, Danil Prokhorov, "Reachability Analysis of Deep ReLU Neural Networks Using Facet-Vertex Incidence", In Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (HSCC), Association for Computing Machinery, New York, NY, USA, 2021.
|
|
| [C44] | Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson, "Verification of Deep Convolutional Neural Networks Using ImageStars", In 32nd International Conference on Computer-Aided Verification (CAV), Springer, 2020, July.
|
| [C43] | 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", In 32nd International Conference on Computer-Aided Verification (CAV), 2020, July.
|
| [C42] | Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson, "Improved Geometric Path Enumeration for Verifying ReLU Neural Networks", In 32nd International Conference on Computer-Aided Verification (CAV), 2020, July.
|
| [C41] | 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", In 42nd ACM/IEEE International Conference on Software Engineering (ICSE), 2020, May.
|
|
| [C40] | Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson, "Star-Based Reachability Analysis for Deep Neural Networks", In 23rd International Symposium on Formal Methods (FM'19) (, ed.), Springer International Publishing, 2019, October.
|
| [C39] | Hoang-Dung Tran, Feiyang Cei, Diego Manzanas Lopez, Taylor T. Johnson, Xenofon Koutsoukos, "Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control", In ACM SIGBED International Conference on Embedded Software (EMSOFT'19), ACM, 2019, October.
|
| [C38] | Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson, "Reachability Analysis for High-Index Linear Differential Algebraic Equations (DAEs)", In 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'19) (, ed.), Springer International Publishing, 2019, August.
|
| [C37] | Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson, "Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems", In Formal Techniques for Distributed Objects, Components, and Systems (FORTE'19) (Jorge A. Pérez, Nobuko Yoshida, eds.), Springer International Publishing, Cham, pp. 261–277, 2019, June.
|
| [C36] | Stephen A. Rees, Tamas Kecskes, 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", In Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ACM, New York, NY, USA, pp. 340–341, 2019, April.
|
| [C35] | Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson, "Numerical Verification of Affine Systems with Up to a Billion Dimensions", In Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, New York, NY, USA, pp. 23–32, 2019, April.
|
|
| [C34] | Hoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T. Johnson, "Reachability Analysis for One Dimensional Linear Parabolic Equation", In IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2018), IFAC, 2018, July.
|
| [C33] | Luan-Viet Nguyen, Bardh Hoxha, Georgios Fainekos, Taylor T. Johnson, "Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS", In IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2018), IFAC, 2018, July.
|
| [C32] | Weiming Xiang, Hoang-Dung Tran, Joel Rosenfeld, Taylor T. Johnson, "Reachable Set Estimation and Verification for a Class of Piecewise Linear Systems with Neural Network Controllers", In American Control Conference (ACC 2018), Special Session on Formal Methods in Controller Synthesis I, IEEE, 2018, June.
|
| [C31] | 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", In 40th International Conference on Software Engineering (ICSE 2018), ACM, 2018, May.
|
|
| [C30] | Andrew Sogokon, Khalil Ghorbhal, Taylor T. Johnson, "Operational models of piecewise-smooth systems", In 17th ACM SIGBED International Conference on Embedded Software (EMSOFT 2017), 2017, October.
|
| [C29] | Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh, Taylor T. Johnson, "Hyperproperties of real-valued signals", In 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017), IEEE, 2017, October.
|
| [C28] | Weiming Xiang, Taylor T. Johnson, "On Reachable Set Estimation for Discrete-Time Switched Linear Systems under Arbitrary Switching", In 30th IEEE American Control Conference (ACC 2017), 2017, july.
|
| [C27] | Andrew Sogokon, Paul Jackson, Taylor T. Johnson, "Verifying safety and persistence properties of hybrid systems using flowpipes and continuous invariants", In 9th NASA Formal Methods Symposium (NFM 2017), 2017, May.
|
| [C26] | Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh, Ken Butts, Taylor T. Johnson, "Abnormal Data Classification Using Time-Frequency Temporal Logic", In 20th Intl. Conf. on Hybrid Systems: Computation and Control (HSCC 2017), ACM, 2017, April.
|
|
| [C25] | Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson, "Decoupled simulating abstractions of non-linear ordinary differential equations", Chapter in Proceedings of the 21st International Symposium on Formal Methods (FM 2016), Limassol, Cyprus, 2016, December.
|
| [C24] | Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson, "Reachable Set Estimation and Control for Switched Linear Systems with Dwell-Time Restriction", In Proceedings of the 55th IEEE Conference on Decision and Control (CDC 2016), Las Vegas, NV, USA, 2016, December.
|
| [C23] | 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", In Proceedings of the IEEE Multi-Conference on Systems and Control (MSC 2016), Las Vegas, NV, USA, 2016, September.
|
| [C22] | Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson, Osman Hasan, "Probabilistic Formal Verification of the SATS Concept of Operation", In Proceedings of the 8th NASA Formal Methods (NFM 2016) International Symposium (Sanjai Rayadurgam, Oksana Tkachuk, eds.), Springer International Publishing, pp. 191–205, 2016, june.
|
| [C21] | Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash, "Scalable Static Hybridization Methods for Analysis of Nonlinear Systems", In 19th Intl. Conf. on Hybrid Systems: Computation and Control (HSCC 2016), ACM, 2016, April.
|
|
| [C20] | Stanley Bak, Taylor T. Johnson, "Periodically-Scheduled Controller Analysis using Hybrid Systems Reachability and Continuization", In 36th IEEE Real-Time Systems Symposium (RTSS 2015), IEEE Computer Society, San Antonio, Texas, 2015, December.
|
| [C19] | Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson, "Runtime Verification of Model-based Development Environments", In 15th International Conference on Runtime Verification (RV 2015), Vienna, Austria, 2015, September.
|
| [C18] | Taylor T. Johnson, Raghunath Gannamaraju, Sebastian Fischmeister, "A Survey of Electrical and Electronic (E/E) Notifications for Motor Vehicles", In 24th NHTSA International Technical Conference on the Enhanced Safety of Vehicles (ESV), Gothenburg, Sweden, pp. 1–15, 2015, June. (publisher PDF)
|
| [C17] | Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, "HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models", In 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015), ACM, Seattle, Washington, 2015, April. (Hyst software tool)
|
| [C16] | Taylor T. Johnson, Stanley Bak, Steven Drager, "Cyber-Physical Specification Mismatch Identification with Dynamic Analysis", In 6th International Conference on Cyber-Physical Systems (ICCPS 2015), ACM/IEEE, Seattle, Washington, 2015, April. (Hynger software tool)
|
| [C15] | Leonardo Bobadilla, Taylor T. Johnson, Amy LaViers, Umer Huzaifa, "Verified Planar Formation Control Algorithms by Composition of Primitives", In AIAA SciTech, AIAA, Kissimmee, Florida, 2015, January.
|
|
| [C14] | Stanley Bak, Taylor T. Johnson, Marco Caccamo, Lui Sha, "Real-Time Reachability for Verified Simplex Design", In 35th IEEE Real-Time Systems Symposium (RTSS 2014), IEEE Computer Society, Rome, Italy, 2014, December.
|
| [C13] | Taylor T. Johnson, Sayan Mitra, "Anonymized Reachability of Hybrid Automata Networks", In Proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2014), Florence, Italy, pp. , 2014, September.
|
|
| [C12] | Taylor T. Johnson, Sayan Mitra, "Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems", In Proceedings of the AIAA Infotech at Aerospace Conference (AIAA Infotech 2013) (, ed.), AIAA, vol. , Boston, MA, pp. , 2013, August.
|
| [C11] | Sergiy Bogomolov, Alexandre Donze, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle, "Abstraction-Based Guided Search for Hybrid Systems", In Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN 2013), Stony Brook, New York, USA, pp. , 2013, July.
|
| [C10] | Shamina Hossain, Sairaj Dhople, Taylor T. Johnson, "Reachability Analysis of Closed-Loop Switching Power Converters", In Proceedings of the 4th IEEE Power and Energy Conference at Illinois (PECI 2013), Urbana, Illinois, USA, pp. , 2013, February.
|
|
| [C9] | Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra, "Static and Dynamic Analysis of Timed Distributed Traces", In Proceedings of the 33rd IEEE Real-Time Systems Symposium (RTSS 2012), San Juan, Puerto Rico, pp. 173–182, 2012, December.
|
| [C8] | Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel Dudley, Richard Scott Erwin, "Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems", Chapter in Proceedings of the 18th International Conference on Formal Methods (FM 2012) (Dimitra Giannakopoulou, Dominique Méry, eds.), Springer Berlin Heidelberg, vol. 7436, Paris, France, pp. 252–266, 2012, August.
|
| [C7] | Taylor T. Johnson, Sayan Mitra, "A Small Model Theorem for Rectangular Hybrid Automata Networks", In Proceedings of the IFIP International Conference on Formal Techniques for Distributed Systems, Joint 14th Formal Methods for Open Object-Based Distributed Systems and 32nd Formal Techniques for Networked and Distributed Systems (FORTE/FMOODS 2012), Stockholm, Sweden, pp. , 2012, June. (Best Paper Award for DisCoTec, Passel tool and specification source, Passel tool overview)
|
| [C6] | Taylor T. Johnson, Sayan Mitra, "Parameterized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study", In Proceedings of the 3rd ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2012), Beijing, China, pp. 161–170, 2012, April. (source code)
|
| [C5] | Taylor T. Johnson, Zhihao Hong, Akash Kapoor, "Design Verification Methods for Switching Power Converters", In Proceedings of the 3rd IEEE Power and Energy Conference at Illinois (PECI 2012), Urbana, Illinois, USA, pp. 1–6, 2012, February.
|
|
| [C4] | Taylor T. Johnson, Sayan Mitra, Cedric Langbort, "Stability of Digitally Interconnected Linear Systems", In Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC ECC 2011), Orlando, Florida, USA, pp. 2687–2692, 2011, December.
|
| [C3] | Taylor T. Johnson, Albert Hoefel, "Turbo-Alternator Stalling Protection using Available Power Estimate", In Proceedings of the 2nd Annual IEEE Power and Energy Conference at Illinois (PECI 2011), Urbana, Illinois, USA, 2011, February. (Best Paper Award)
|
|
| [C2] | Taylor T. Johnson, Sayan Mitra, "Safe Flocking in Spite of Actuator Faults", Chapter in 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010) (Shlomi Dolev, Jorge Cobb, Michael Fischer, Moti Yung, eds.), Springer Berlin / Heidelberg, vol. 6366, pp. 588–602, 2010, September.
|
| [C1] | Taylor T. Johnson, Sayan Mitra, Karthik Manamcheri, "Safe and Stabilizing Distributed Cellular Flows", In 30th IEEE International Conference on Distributed Computing Systems (ICDCS 2010), Genoa, Italy, pp. 577–578, 2010, June.
|
|
| [W27] | Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastian 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", In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) (Goran Frehse, Matthias Althoff, eds.), EasyChair, vol. 80, pp. 90–119, 2021.
|
| [W26] | Taylor T. Johnson, "ARCH-COMP21 Repeatability Evaluation Report", In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) (Goran Frehse, Matthias Althoff, eds.), EasyChair, vol. 80, pp. 153–160, 2021.
|
|
| [W25] | 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", In Proceedings of the 7th International Workshop on Formal Methods in Software Engineering (FormaliSE'19), IEEE Press, Piscataway, NJ, USA, pp. 31–40, 2019, May.
|
| [W24] | Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson, "Verification of Closed-loop Systems with Neural Network Controllers", In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (Goran Frehse, Matthias Althoff, eds.), EasyChair, vol. 61, pp. 201–210, 2019, April.
|
| [W23] | Taylor T. Johnson, "ARCH-COMP19 Repeatability Evaluation Report", In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (Goran Frehse, Matthias Althoff, eds.), EasyChair, vol. 61, pp. 162–169, 2019, April.
|
| [W22] | 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", In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (Goran Frehse, Matthias Althoff, eds.), EasyChair, vol. 61, pp. 103–119, 2019, April.
|
| [W21] | Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon Koutsoukos, Janos Sztipanovits, Gabor Karsai, "Model-based Design for CPS with Learning-enabled Components", In Proceedings of the Workshop on Design Automation for CPS and IoT, ACM, New York, NY, USA, pp. 1–9, 2019, April.
|
| [W20] | Tamas Kecskes, Patrik Meijer, Taylor T. Johnson, Marcus Lucas, "Demo: A Design Studio for Verification Tools", In Proceedings of the Workshop on Design Automation for CPS and IoT, ACM, New York, NY, USA, pp. 60–61, 2019, April.
|
|
| [W19] | Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson, "Differential Algebraic Equations (DAEs) with Varying Index (Benchmark Proposal)", In 5th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Oxford, UK, 2018, july.
|
| [W18] | Hoang-Dung Tran, Tianshu Bao, Taylor T. Johnson, "Discrete-Space Analysis of Partial Differential Equations (PDEs) (Benchmark Proposal)", In 5th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Oxford, UK, 2018, july.
|
| [W17] | Patrick Musau, Taylor T. Johnson, "Continuous-Time Recurrent Neural Networks (CTRNNs) (Benchmark Proposal)", In 5th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Oxford, UK, 2018, july.
|
| [W16] | Shafiul Azam Chowdhury, Lina Sera Varghese, Soumik Mohian, Taylor T. Johnson, Christoph Csallner, "A curated corpus of Simulink models for model-based empirical studies", In Proc. 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), ACM, pp. 45–48, 2018, May.
|
| [W15] | Taylor T. Johnson, "ARCH-COMP18 Repeatability Evaluation Report", In ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (Goran Frehse, ed.), EasyChair, vol. 54, pp. 128–134, 2018.
|
|
| [W14] | Omar Ali Beg, Luan Viet Nguyen, Ali Davoudi, Taylor T. Johnson, "Computer-Aided Formal Verification of Power Electronics Circuits", In 8th International Workshop on Frontiers in Analog CAD (FAC), Frankfurt, Germany, 2017, july.
|
| [W13] | Taylor T. Johnson, "ARCH-COMP17 Repeatability Evaluation Report", In 4th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Pittsburgh, PA, 2017, April.
|
| [W12] | Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson, "Distributed Autonomous Systems (Benchmark Proposal)", In 4th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Pittsburgh, PA, 2017, April.
|
| [W11] | Omar Ali Beg, Ali Davoudi, Taylor T. Johnson, "Reachability Analysis of Transformer-Isolated DC-DC Converters (Benchmark Proposal)", In 4th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Pittsburgh, PA, 2017, April.
|
|
| [W10] | Shafiul Azam Chowdhury, Taylor T. Johnson, Christoph Csallner, "CyFuzz: : A Differential Testing Framework for Cyber-Physical Systems Development Environments", In 6th International Workshop Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2016), Pittsburgh, PA, 2016, August.
|
| [W9] | Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson, "Large-Scale Linear Systems from Order-Reduction (Benchmark Proposal)", In 3rd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Vienna, Austria, 2016, April.
|
| [W8] | Omar Ali Beg, Ali Davoudi, Taylor T. Johnson, "Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis (Benchmark Proposal)", In 3rd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Vienna, Austria, 2016, April.
|
| [W7] | Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson, "Non-linear Continuous Systems for Safety Verification (Benchmark Proposal)", In 3rd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Vienna, Austria, 2016, April.
|
|
| [W6] | Luan Viet Nguyen, Djordje Maksimovic, Taylor T. Johnson, Andreas Veneris, "Quantified Bounded Model Checking for Rectangular Hybrid Automata", In 9th International Workshop on Constraints in Formal Verification (CFV 2015), Austin, Texas, 2015, November.
|
| [W5] | Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, "HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models", In 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2015), Co-Located with the 27th International Conference on Computer Aided Verification (CAV 2015), San Francisco, California, 2015, July.
|
| [W4] | Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson, "Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis", In 2nd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH 2015), Seattle, Washington, pp. , 2015, April. (model source code)
|
| [W3] | Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson, "Benchmark Generator for Stratified Controllers of Tank Networks", In 2nd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH 2015), Seattle, Washington, pp. , 2015, April. (model source code)
|
|
| [W2] | Luan Viet Nguyen, Eric Nelson, Amol Vengurlekar, Ruoshi Zhang, Kristopher I White, Victor Salinas, Taylor T. Johnson, "Model-Based Design and Analysis of a Reconfigurable Continuous-Culture Bioreactor (Work-in-Progress)", In Fourth ACM Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy 2014), Berlin, Germany, pp. , 2014, April. (ACM Authorizer)
|
| [W1] | Luan Viet Nguyen, Taylor T. Johnson, "Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)", In Applied Verification for Continuous and Hybrid Systems Workshop (ARCH 2014), Berlin, Germany, pp. , 2014, April.
|