9 citations · 31 across the 12 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.OC2017
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…
math.OC2017
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…