7 papers
Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems
Omid Akbarzadeh, MohammadHossein Ashoori, Amy Nejati +1
This work develops a theoretical framework for safety controller synthesis in discrete-time stochastic nonlinear polynomial systems subject to time-invariant delays (dt-SNPS-td). W…
A Data-Driven Krasovskii-Based Approach for Safety Controller Design of Time-Delayed Uncertain Polynomial Systems
Omid Akbarzadeh, MohammadHossein Ashoori, Amy Nejati +1
We develop a data-driven framework for the synthesis of robust Krasovskii control barrier certificates (RK-CBC) and corresponding robust safety controllers (R-SC) for discrete-time…
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…
TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory
Jamie Gardner, Ben Wooding, Amy Nejati +1
TRUST is an open-source software tool developed for data-driven controller synthesis of dynamical systems with unknown mathematical models, ensuring either stability or safety prop…
From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees
Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei
We offer a compositional data-driven scheme for synthesizing controllers that ensure global asymptotic stability (GAS) across large-scale interconnected networks, characterized by…