3 citations · 3 across the 3 of their papers we have counts for
6 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…
Data-Efficient Control of Polynomial Systems via Physics-Guided Quadratic Constraints
MohammadHossein Ashoori, Ali Aminzadeh, Amy Nejati +1
This work addresses the critical challenge of guaranteeing safety for complex dynamical systems where precise mathematical models are uncertain and data measurements are corrupted…
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…
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…
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…