2 citations · 3 across the 9 of their papers we have counts for
5 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…
Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics
Mahdieh Zaker, David Angeli, Abolfazl Lavaei
Incremental input-to-state stability (delta-ISS) offers a robust framework to ensure that small input variations result in proportionally minor deviations in the state of a nonline…
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…
Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness
Mahdieh Zaker, Henk A. P. Blom, Sadegh Soudjani +1
This paper offers a formal framework for the rare collision risk estimation of autonomous vehicles (AVs) with multi-agent situation awareness, affected by different sources of nois…