Synthesizing barrier certificates using neural networks
From MaRDI portal
Publication:5146391
DOI10.1145/3365365.3382222OpenAlexW3021850381MaRDI QIDQ5146391
Zhi-Ming Liu, Taolue Chen, Xia Zeng, Heng-Jun Zhao
Publication date: 25 January 2021
Published in: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3365365.3382222
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications ⋮ Lyapunov-barrier characterization of robust reach-avoid-stay specifications for 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 ⋮ 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
