Vector barrier certificates and comparison systems
From MaRDI portal
Publication:2024361
DOI10.1007/978-3-319-95582-7_25zbMath1460.93012OpenAlexW2809309384MaRDI QIDQ2024361
Yong Kiam Tan, André Platzer, Andrew Sogokon, Khalil Ghorbal
Publication date: 4 May 2021
Full work available at URL: https://eprints.soton.ac.uk/434326/1/fm_2018_vector_barrier_certificates.pdf
Lyapunov and storage functions (93D30) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03)
Related Items (7)
Synthesizing invariant barrier certificates via difference-of-convex programming ⋮ Pegasus: sound continuous invariant generation ⋮ Vector Control Lyapunov and Barrier Functions for Safe Stabilization of Interconnected Systems ⋮ FOSSIL ⋮ Learning safe neural network controllers with barrier certificates ⋮ Automated and formal synthesis of neural barrier certificates for dynamical models ⋮ Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Barrier certificates revisited
- Construction of parametric barrier functions for dynamical systems using interval analysis
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
- Classification of stability-like concepts and their study using vector Lyapunov functions
- Global behavior of solutions of ordinary differential equations
- Computing differential invariants of hybrid systems as fixed points
- Representing polynomials by positive linear functions on compact convex polyhedra
- Qualitative analysis of large scale dynamical systems
- Partial cylindrical algebraic decomposition for quantifier elimination
- Stability theory by Liapunov's direct method
- Set invariance in control
- A linear programming relaxation based approach for generating barrier certificates of hybrid systems
- Computing sum of squares decompositions with rational coefficients
- Abstractions for hybrid systems
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
- Compositional safety analysis using barrier certificates
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Differential inequalities and maximum principles: theory, new methods and applications
- Robust Stability of positive continuous time systems
- The Structure of Differential Invariants and Differential Cut Elimination
- Differential Equation Axiomatization
- Efficient solving of quantified inequality constraints over the real numbers
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Hybrid Systems: Computation and Control
- On the theory of stability of motion
- Differential Equations: Linearity vs. Nonlinearity
- Vector Lyapunov Functions
- Some Refinements of Lyapunov's Second Method
- Some undecidable problems involving elementary functions of a real variable
- A stability condition for linear comparison systems
- Validating numerical semidefinite programming solvers for polynomial invariants
This page was built for publication: Vector barrier certificates and comparison systems
