9 citations · 31 across the 12 of their papers we have counts for
8 papers · 1 filter
Optimal Safe Controller Synthesis: A Density Function Approach
Yuxiao Chen, Mohamadreza Ahmadi, Aaron D. Ames
This paper considers the synthesis of optimal safe controllers based on density functions. We present an algorithm for robust constrained optimal control synthesis using the dualit…
Entropy-Regularized Stochastic Games
Yagiz Savas, Mohamadreza Ahmadi, Takashi Tanaka +1
In two-player zero-sum stochastic games, where two competing players make decisions under uncertainty, a pair of optimal strategies is traditionally described by Nash equilibrium a…
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets
Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu +1
We consider the stability and the input-output analysis problems of a class of large-scale hybrid systems composed of continuous dynamics coupled with discrete dynamics defined ove…
Distributed Synthesis Using Accelerated ADMM
Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu +1
We propose a convex distributed optimization algorithm for synthesizing robust controllers for large-scale continuous time systems subject to exogenous disturbances. Given a large…
Controller Synthesis for Safety of Physically-Viable Data-Driven Models
Mohamadreza Ahmadi, Arie Israel, Ufuk Topcu
We consider the problem of designing finite-horizon safe controllers for a dynamical system for which no explicit analytical model exists and limited data only along a single traje…
Safety Verification for Distributed Parameter Systems Using Barrier Functionals
Mohamadreza Ahmadi, Giorgio Valmorbida, Antonis Papachristodoulou
We study the safety verification problem for a class of distributed parameter systems described by partial differential equations (PDEs), i.e., the problem of checking whether the…