2 papers
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.OC2016
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…