Skip to Main content Skip to Navigation
Journal articles

Safety verification for distributed parameter systems using barrier functionals

Abstract : 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 solutions of the PDE satisfy a set of constraints at a particular point in time. The proposed method is based on an extension of barrier certificates to infinite-dimensional systems. In this respect, we introduce barrier functionals, which are functionals of the dependent and independent variables. Given a set of initial conditions and an unsafe set, we demonstrate that if such a functional exists satisfying two (integral) inequalities, then the solutions of the system do not enter the unsafe set. Therefore, the proposed method does not require finite-dimensional approximations of the distributed parameter system. Furthermore, for PDEs with polynomial data, we solve the associated integral inequalities using semi-definite programming (SDP) based on a method that relies on a quadratic representation of the integrands of integral inequalities. The proposed method is illustrated through examples.
Complete list of metadatas

Cited literature [50 references]  Display  Hide  Download
Contributor : Giorgio Valmorbida <>
Submitted on : Monday, April 13, 2020 - 11:24:00 PM
Last modification on : Thursday, April 30, 2020 - 3:22:06 PM


Files produced by the author(s)



Mohamadreza Ahmadi, Giorgio Valmorbida, Antonis Papachristodoulou. Safety verification for distributed parameter systems using barrier functionals. Systems and Control Letters, Elsevier, 2017, 108, pp.33 - 39. ⟨10.1016/j.sysconle.2017.08.002⟩. ⟨hal-01721707⟩



Record views


Files downloads