Vector barrier certificates and comparison systems
type: Item
instance of: scholarly article
title: Vector barrier certificates and comparison systems
zbMATH Open document ID: 1460.93012
DOI: 10.1007/978-3-319-95582-7_25
author: Andrew Sogokon
author: Khalil Ghorbal
author: Yong Kiam Tan
author: André Platzer
publication date: 2021-05-04T00:00:00Z
full work available at URL: fm 2018 vector barrier certificates.pdf
Mathematics Subject Classification ID: 93B03
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 93D30
zbMATH DE Number: 7343225
zbMATH Keywords: ordinary differential equations
zbMATH Keywords: safety verification
zbMATH Keywords: vector barrier certificates
zbMATH Keywords: comparison systems
MaRDI profile type: Publication
OpenAlex ID: W2809309384
cites work: Q3276750
cites work: Vector Lyapunov Functions
cites work: Q3285764
cites work: Set invariance in control
cites work: Construction of parametric barrier functions for dynamical systems using interval analysis
cites work: Global behavior of solutions of ordinary differential equations
cites work: Some Refinements of Lyapunov's Second Method
cites work: Partial cylindrical algebraic decomposition for quantifier elimination
cites work: Q3235972
cites work: Barrier certificates revisited
cites work: A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
cites work: A stability condition for linear comparison systems
cites work: Classification of stability-like concepts and their study using vector Lyapunov functions
cites work: Q5440982
cites work: Differential Equations: Linearity vs. Nonlinearity
cites work: Representing polynomials by positive linear functions on compact convex polyhedra
cites work: Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
cites work: Q5569338
cites work: Q3999518
cites work: On the theory of stability of motion
cites work: Qualitative analysis of large scale dynamical systems
cites work: Q4953402
cites work: Computing sum of squares decompositions with rational coefficients
cites work: The Structure of Differential Invariants and Differential Cut Elimination
cites work: Computing differential invariants of hybrid systems as fixed points
cites work: Differential Equation Axiomatization
cites work: Hybrid Systems: Computation and Control
cites work: A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
cites work: Efficient solving of quantified inequality constraints over the real numbers
cites work: Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
cites work: Some undecidable problems involving elementary functions of a real variable
cites work: Stability theory by Liapunov's direct method
cites work: Validating numerical semidefinite programming solvers for polynomial invariants
cites work: Compositional safety analysis using barrier certificates
cites work: Robust Stability of positive continuous time systems
cites work: Abstractions for hybrid systems
cites work: Differential inequalities and maximum principles: theory, new methods and applications
cites work: Q3838091
cites work: A linear programming relaxation based approach for generating barrier certificates of hybrid systems
cites work: Q5520199
Recommended article: Barrier certificates revisited
Recommended article: Converse Barrier Certificate Theorems
Recommended article: Barrier certificates for nonlinear model validation
Recommended article: Vector Commitments and Their Applications
Recommended article: Comparing barrier algorithms
Recommended article: Converse Theorems for Safety and Barrier Certificates
Recommended article: Compositional safety analysis using barrier certificates
Recommended article: Synthesizing invariant barrier certificates via difference-of-convex programming
Recommended article: Hybrid Systems: Computation and Control
description: scientific article; zbMATH DE number 7343225