5 citations · 5 across the 3 of their papers we have counts for
4 papers
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…
On Robust Stability of Switched Systems in the Context of Filippov Solutions
Mohamadreza Ahmadi, Hamed Mojallali, Rafael Wisniewski
The stability problem of a class of nonlinear switched systems defined on compact sets with state-dependent switching is considered. Instead of the Caratheodory solutions, the gene…
Barrier Functionals for the Analysis of Complex Systems: An Optimization-Based Approach
Mohamadreza Ahmadi, Giorgio Valmorbida, Antonis Papachristodoulou
We propose a methodology to address two analysis problems concerning complex systems, namely bounding state functionals of stochastic differential equations (SDEs) and verifying se…