14 citations · 46 across the 58 of their papers we have counts for
13 papers · 1 filter
Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
Ben Wooding, Abolfazl Lavaei
This work is concerned with synthesizing safety controllers for discrete-time nonlinear systems beyond polynomials with unknown mathematical models using the notion of k-inductive…
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…
A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems
Ali Aminzadeh, MohammadHossein Ashoori, Amy Nejati +1
This paper develops a physics-informed scenario approach for safety verification of nonlinear systems using barrier certificates (BCs) to ensure that system trajectories remain wit…
Learning Robust Safety Controllers for Uncertain Input-Affine Polynomial Systems
Omid Akbarzadeh, MohammadHossein Ashoori, Abolfazl Lavaei
This paper offers a direct data-driven approach for learning robust control barrier certificates (R-CBCs) and robust safety controllers (R-SCs) for discrete-time input-affine polyn…
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…
Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach
P Sangeerth, Abolfazl Lavaei, Pushpak Jagtap
In this paper, we introduce the notion of simulation-gap functions to formally quantify the potential gap between an approximate nominal mathematical model and the high-fidelity si…
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…
From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks
Omid Akbarzadeh, Amy Nejati, Abolfazl Lavaei
We introduce a compositional data-driven methodology with noisy data for designing fully-decentralized safety controllers applicable to large-scale interconnected networks, encompa…
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…
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei
We develop an open-source software tool, called PRoTECT, for the parallelized construction of safety barrier certificates (BCs) for nonlinear polynomial systems. This tool employs…
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems
Ben Wooding, Abolfazl Lavaei
This paper is concerned with developing a software tool, called IMPaCT, for the parallelized verification and controller synthesis of large-scale stochastic systems using interval…