Automated and formal synthesis of neural barrier certificates for dynamical models
From MaRDI portal
Publication:2044214
DOI10.1007/978-3-030-72016-2_20zbMath1467.68091arXiv2007.03251OpenAlexW3148337675MaRDI QIDQ2044214
Alessandro Abate, Andrea Peruffo, Daniele Ahmed
Publication date: 4 August 2021
Full work available at URL: https://arxiv.org/abs/2007.03251
Computational learning theory (68Q32) Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
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 ⋮ Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
Cites Work
- Barrier certificates revisited
- Decision procedures. An algorithmic point of view
- Box invariance in biologically-inspired dynamical systems
- Nonlinear systems. Analysis, stability, and control
- Vector barrier certificates and comparison systems
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- Sum-of-squares methods for controlled invariant sets with applications to model-predictive control
- Barrier certificates for nonlinear model validation
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
- δ-Complete Decision Procedures for Satisfiability over the Reals
- Compositional safety analysis using barrier certificates
- Computing Differential Invariants of Hybrid Systems as Fixedpoints
- dReal: An SMT Solver for Nonlinear Theories over the Reals
- Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
- Synthesizing barrier certificates using neural networks
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Hybrid Systems: Computation and Control
- Counterexample guided inductive synthesis modulo theories
This page was built for publication: Automated and formal synthesis of neural barrier certificates for dynamical models
