15 papers
Data-Driven Formal Methods for Complex Dynamical Systems: A Survey
Behrad Samari, Alessandro Abate, Antoine Girard +3
The paper surveys recent data‑driven techniques that provide formal verification and controller synthesis guarantees for complex deterministic and stochastic dynamical systems with…
Data-Driven Stabilizing Controller Design for Linear Infinite Networks
Mahdieh Zaker, Andrii Mironchenko, Amy Nejati +1
We propose a direct data-driven method for controller synthesis of infinite networks composed of unknown linear time-invariant subsystems. Using a single set of noise-corrupted inp…
Data-Efficient Control of Polynomial Systems via Physics-Guided Quadratic Constraints
MohammadHossein Ashoori, Ali Aminzadeh, Amy Nejati +1
This work addresses the critical challenge of guaranteeing safety for complex dynamical systems where precise mathematical models are uncertain and data measurements are corrupted…
Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei
Infinite networks are complex interconnected systems comprising a countably infinite number of subsystems, for which no fixed upper bound on the number of participating subsystems…
A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems
Ali Aminzadeh, MohammadHossein Ashoori, Amy Nejati +1
This paper develops a physics-informed scenario approach for safety verification of nonlinear systems using barrier certificates (BCs) to ensure that system trajectories remain wit…
Data-Driven Global Stabilization of Unknown Infinite Networks
Mahdieh Zaker, Andrii Mironchenko, Amy Nejati +1
This paper develops a direct data-driven framework for infinite networks with unknown nonlinear polynomial subsystems, enabling the synthesis of controllers that ensure the entire…