11 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 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…
Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems
Mahdieh Zaker, Omid Akbarzadeh, Behrad Samari +1
In this work, we propose a compositional scheme based on small-gain reasoning to synthesize safety controllers for interconnected stochastic hybrid systems. In our proposed setting…
From Noisy Data to Hierarchical Control: A Model-Order-Reduction Framework
Behrad Samari, Henrik Sandberg, Karl H. Johansson +1
This paper develops a direct data-driven framework for constructing reduced-order models (ROMs) of discrete-time linear dynamical systems with unknown dynamics and process disturba…
Data-Driven Model Order Reduction of Nonlinear Systems with Noisy Data
Behrad Samari, Henrik Sandberg, Karl H. Johansson +1
Model order reduction techniques simplify high-dimensional dynamical systems by deriving lower-dimensional models that retain essential system characteristics. These techniques are…
Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach
Behrad Samari, Amy Nejati, Abolfazl Lavaei
This paper offers a data-driven divide-and-conquer strategy to analyze large-scale interconnected networks, characterized by both unknown mathematical models and interconnection to…