Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
From MaRDI portal
Publication:2864837
DOI10.1007/978-3-642-39799-8_17zbMath1357.68113arXiv1303.6885OpenAlexW2129729773MaRDI QIDQ2864837
Fei He, Xiaoyu Song, William N. N. Hung, Hui Kong, Ming Gu
Publication date: 26 November 2013
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1303.6885
nonlinear systemhybrid systemsum of squaressafety verificationbarrier certificateinductive invariant
Semidefinite programming (90C22) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (16)
Synthesizing invariant barrier certificates via difference-of-convex programming ⋮ Implicit semi-algebraic abstraction for polynomial dynamical systems ⋮ Pegasus: sound continuous invariant generation ⋮ Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming ⋮ Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems ⋮ Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions ⋮ An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems ⋮ Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems ⋮ FOSSIL ⋮ Verifying Neural Network Controlled Systems Using Neural Networks ⋮ Linearization, model reduction and reachability in nonlinear ODEs ⋮ Barrier certificates revisited ⋮ Vector barrier certificates and comparison systems ⋮ 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
This page was built for publication: Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
