Safety verification for distributed parameter systems using barrier functionals
From MaRDI portal
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.
Recommendations
- Safety verification of interconnected hybrid systems using barrier certificates
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Hybrid Systems: Computation and Control
- A Dissipativity Approach to Safety Verification for Interconnected Systems
- Exponential-condition-based barrier certificate generation for safety verification of hybrid systems
- Safety verification for probabilistic hybrid systems
- A barrier function approach to finite-time stochastic system verification and control
- Safety verification of hybrid systems using certified multiple Lyapunov-like functions
- Characterizations of safety in hybrid inclusions via barrier functions
Cites work
- scientific article; zbMATH DE number 2136427 (Why is no real title available?)
- scientific article; zbMATH DE number 1869203 (Why is no real title available?)
- scientific article; zbMATH DE number 798179 (Why is no real title available?)
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- A Survey of the S-Lemma
- A `universal' construction of Artstein's theorem on nonlinear stabilization
- An optimal Poincaré inequality for convex domains
- Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
- Applied Analysis of the Navier-Stokes Equations
- Barrier certificates for nonlinear model validation
- Bounds on linear PDEs via semidefinite optimization
- Construction of an optimal background profile for the Kuramoto-Sivashinsky equation using semidefinite programming
- Converse Barrier Certificate Theorems
- Dissipation inequalities for the analysis of a class of PDEs
- Dissipative operators in a Banach space
- Ellipsoidal techniques for reachability analysis: Internal approximation
- Global stabilization of a Korteweg-de Vries equation with saturating distributed control
- On global stabilization of Burgers' equation by boundary control.
- Stability Analysis for a Class of Partial Differential Equations via Semidefinite Programming
- Stabilization with guaranteed safety using control Lyapunov-Barrier function
- Stabilization with relaxed controls
- The Mathematics of Financial Derivatives
Cited in
(9)- A study of the double pendulum using polynomial optimization
- Minimum wave speeds in monostable reaction-diffusion equations: sharp bounds by polynomial optimization
- Convex Relaxations of Integral Variational Problems: Pointwise Dual Relaxation and Sum-of-Squares Optimization
- Finite energy Lyapunov function candidate for fractional order general nonlinear systems
- Control barrier functionals: Safety‐critical control for time delay systems
- Bounding extreme events in nonlinear dynamics using convex optimization
- Converse Theorems for Safety and Barrier Certificates
- Distributed safe resource allocation using barrier functions
- The safety problem for nonlinear systems with delay in terms of barrier functions
This page was built for publication: Safety verification for distributed parameter systems using barrier functionals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1678571)
