Safety verification for distributed parameter systems using barrier functionals

DOI10.1016/j.sysconle.2017.08.002zbMath1375.93015arXiv1708.03219OpenAlexW2964252321WikidataQ120717358 ScholiaQ120717358MaRDI QIDQ1678571

Mohamadreza Ahmadi, Antonis Papachristodoulou, Giorgio Valmorbida

Publication date: 17 November 2017

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1708.03219

zbMATH Keywords

distributed parameter systemssum-of-squares programmingsafety verificationbarrier certificates

Mathematics Subject Classification ID

Semidefinite programming (90C22) Control/observation systems governed by partial differential equations (93C20) Attainable sets, reachability (93B03)

Related Items (5)

Convex Relaxations of Integral Variational Problems: Pointwise Dual Relaxation and Sum-of-Squares Optimization ⋮ Control barrier functionals: Safety‐critical control for time delay systems ⋮ Finite energy Lyapunov function candidate for fractional order general nonlinear systems ⋮ Minimum wave speeds in monostable reaction–diffusion equations: sharp bounds by polynomial optimization ⋮ Bounding Extreme Events in Nonlinear Dynamics Using Convex Optimization

Uses Software

• Sostools
• SeDuMi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stabilization with guaranteed safety using control Lyapunov-Barrier function
• Dissipation inequalities for the analysis of a class of PDEs
• Construction of an optimal background profile for the Kuramoto-Sivashinsky equation using semidefinite programming
• An optimal Poincaré inequality for convex domains
• Dissipative operators in a Banach space
• On global stabilization of Burgers' equation by boundary control.
• Ellipsoidal techniques for reachability analysis: Internal approximation
• A `universal' construction of Artstein's theorem on nonlinear stabilization
• Bounds on linear PDEs via semidefinite optimization
• Barrier certificates for nonlinear model validation
• Stability Analysis for a Class of Partial Differential Equations via Semidefinite Programming
• Converse Barrier Certificate Theorems
• Stabilization with relaxed controls
• Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
• Applied Analysis of the Navier-Stokes Equations
• The Mathematics of Financial Derivatives
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Global Stabilization of a Korteweg--De Vries Equation With Saturating Distributed Control
• A Survey of the S-Lemma

This page was built for publication: Safety verification for distributed parameter systems using barrier functionals