1 citations · 1 across the 5 of their papers we have counts for
7 papers
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…
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
Large-scale interconnected networks, composed of multiple low-dimensional subsystems, serve as a crucial framework for modeling a wide range of real-world applications. Despite off…
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…