Compositional safety analysis using barrier certificates

DOI10.1145/2185632.2185639MaRDI QIDQ2986748zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Christoffer Sloth, George Pappas, Rafał Wisniewski

Publication date 16 May 2017

Published in Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2185632.2185639

zbMATH Keywords

compositionalitydynamical systemsreachable setssafety analysissum of squares

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Large-scale systems (93A15) Attainable sets, reachability (93B03)

Recommendations

• Hybrid Systems: Computation and Control
• Safety verification of interconnected hybrid systems using barrier certificates
• Simulation based computation of certificates for safety of dynamical systems
• Construction of parametric barrier functions for dynamical systems using interval analysis
• Hybrid Systems: Computation and Control

Cited in

(17)

• Simulation based computation of certificates for safety of dynamical systems
• Safety verification of interconnected hybrid systems using barrier certificates
• Vector barrier certificates and comparison systems
• Automated and formal synthesis of neural barrier certificates for dynamical models
• Guaranteed cost \(H_\infty \) controller synthesis for switched systems defined on semi-algebraic sets
• Safety analysis of integrated adaptive cruise and Lane keeping control using multi-modal port-Hamiltonian systems
• Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems
• Assume-guarantee contracts for continuous-time systems
• Converse Theorems for Safety and Barrier Certificates
• Barrier certificates revisited
• Construction of parametric barrier functions for dynamical systems using interval analysis
• Hybrid Systems: Computation and Control
• Learning safe neural network controllers with barrier certificates
• Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems
• FOSSIL
• Data-driven verification and synthesis of stochastic systems via barrier certificates
• On sufficient and necessary conditions of compositional input-to-state safety for nonlinear systems

This page was built for publication: Compositional safety analysis using barrier certificates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986748)