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…