Output Reachable Set Estimation and Verification for Multilayer Neural Networks von Xiang, Weiming, Tran, Hoang-Dung, Johnson, Taylor T.

Volltext

Detection of False-Data Injection Attacks in Cyber-Physical DC Microgrids von Beg, Omar Ali, Johnson, Taylor T., Davoudi, Ali

Volltext

Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism von Beg, Omar Ali, Nguyen, Luan Viet, Johnson, Taylor T., Davoudi, Ali

Volltext

Safe and stabilizing distributed multi-path cellular flows von Johnson, Taylor T., Mitra, Sayan

Volltext

Event-triggered control for continuous-time switched linear systems von Xiang, Weiming, T. Johnson, Taylor

Volltext

Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach von Xiang, Weiming, Tran, Hoang-Dung, Yang, Xiaodong, Johnson, Taylor T.

Volltext

Signal Temporal Logic-Based Attack Detection in DC Microgrids von Beg, Omar Ali, Nguyen, Luan V., Johnson, Taylor T., Davoudi, Ali

Volltext

First three years of the international verification of neural networks competition (VNN-COMP) von Brix, Christopher, Müller, Mark Niklas, Bak, Stanley, Johnson, Taylor T., Liu, Changliu

Volltext

Model Validation of PWM DC-DC Converters von Beg, Omar Ali, Abbas, Houssam, Johnson, Taylor T., Davoudi, Ali

Volltext

AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings von Avni, Guy, Giacobbe, Mirco, Johnson, Taylor T, Katz, Guy, Lukina, Anna, Narodytska, Nina, Schilling, Christian

Volltext

Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint von Xiang, Weiming, Tran, Hoang-Dung, Johnson, Taylor T.

Volltext

Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach von Pal, Neelanjana, Johnson, Taylor T

Volltext

Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool von Pal, Neelanjana, Johnson, Taylor T

Volltext

Dynamic Mode Decomposition for Continuous Time Systems with the Liouville Operator von Rosenfeld, Joel A., Kamalapurkar, Rushikesh, Gruss, L. Forest, Johnson, Taylor T.

Volltext

Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants von Sogokon, Andrew, Jackson, Paul B., Johnson, Taylor T.

Volltext

Virtual Prototyping for Distributed Control of a Fault-Tolerant Modular Multilevel Inverter for Photovoltaics von Luan Viet Nguyen, Hoang-Dung Tran, Johnson, Taylor T.

Volltext

Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers von Manzanas Lopez, Diego, Johnson, Taylor T.

Volltext

Benchmark: Formal Verification of Semantic Segmentation Neural Networks von Pal, Neelanjana, Lee, Seojin, Johnson, Taylor T.

Volltext

Operational Models for Piecewise-Smooth Systems von Sogokon, Andrew, Ghorbal, Khalil, Johnson, Taylor T.

Volltext

Track C1: Safety Verification of Deep Neural Networks (DNNs) von Neider, Daniel, Johnson, Taylor T.

Volltext