From the 1 of 32 linked papers with an AI index.
32 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…
Safe Packetized Control for Stochastic Constrained Networked Systems
Omid Akbarzadeh, MohammadHossein Ashoori, Mohammad H. Mamduhi +1
This work develops a formal framework for the synthesis of packetized safety controllers for discrete-time polynomial stochastic networked control systems (dt-PSNCS) operating unde…
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-Driven Adaptive Second-Order Sliding Mode Control with Noisy Data
Behrad Samari, Gian Paolo Incremona, Antonella Ferrara +1
This paper proposes a data-driven approach to designing adaptive suboptimal second-order sliding mode (ASSOSM) controllers for a class of single-input nonlinear systems with partia…
Data-Driven Stochastic Control: Foundations and Guarantees
Abolfazl Lavaei
This work establishes a step forward in advancing data-driven trajectory-based methods for stochastic systems with unknown mathematical dynamics. In contrast to scenario-based appr…
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…