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…