10 papers
Safe Packetized Control for Stochastic Constrained Networked Systems
Omid Akbarzadeh, MohammadHossein Ashoori, Mohammad H. Mamduhi +1
This work develops a formal framework for the synthesis of packetized safety controllers for discrete-time polynomial stochastic networked control systems (dt-PSNCS) operating unde…
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…
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…
Safety Controller Synthesis for Stochastic Networked Systems under Communication Constraints
Omid Akbarzadeh, Mohammad H. Mamduhi, Abolfazl Lavaei
This paper develops a framework for synthesizing safety controllers for discrete-time stochastic linear control systems (dt-SLS) operating under communication imperfections. The co…
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…