1 citations · 1 across the 11 of their papers we have counts for
13 papers
Data-Driven Formal Methods for Complex Dynamical Systems: A Survey
Behrad Samari, Alessandro Abate, Antoine Girard +3
Data-driven approaches with formal guarantees have recently emerged as a powerful means for the verification and controller synthesis of complex dynamical systems. Interest in thes…
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…
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
Omid Akbarzadeh, Behrad Samari, Amy Nejati +1
In this work, we propose a data-driven scheme within a compositional framework with noisy data to design robust safety controllers in a fully decentralized fashion for large-scale…
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 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…
ARCH-COMP25 Category Report: Stochastic Models
Alessandro Abate, Omid Akbarzadeh, Henk A. P. Blom +14
This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks a…
Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems
Behrad Samari, Abolfazl Lavaei
Synthesizing safety controllers for general nonlinear systems is a highly challenging task, particularly when the system models are unknown, and input constraints are present. Whil…
From Data to Sliding Mode Control of Uncertain Large-Scale Networks with Unknown Dynamics
Behrad Samari, Gian Paolo Incremona, Antonella Ferrara +1
In this paper, we develop a compositional data-driven approach for the global stabilization of large-scale nonlinear networks with unknown dynamics and external perturbations. We f…
Model Order Reduction from Data with Certification
Behrad Samari, Amy Nejati, Abolfazl Lavaei
Model order reduction (MOR) involves offering low-dimensional models that effectively approximate the behavior of complex high-order systems. Due to potential model complexities an…
Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories
Behrad Samari, Mahdieh Zaker, Abolfazl Lavaei
Finite abstractions (a.k.a. symbolic models) offer an effective scheme for approximating the complex continuous-space systems with simpler models in the discrete-space domain. A cr…
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…
From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems
Behrad Samari, Omid Akbarzadeh, Mahdieh Zaker +1
This work is concerned with developing a data-driven approach for learning control barrier certificates (CBCs) and associated safety controllers for discrete-time nonlinear polynom…
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…