1 citations · 1 across the 11 of their papers we have counts for
4 papers · 1 filter
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…