FOSSIL
From MaRDI portal
Publication:6120668
DOI10.1145/3447928.3456646OpenAlexW3158895321MaRDI QIDQ6120668
Unnamed Author, Mirco Giacobbe, Daniele Ahmed, Andrea Peruffo, Alessandro Abate
Publication date: 21 February 2024
Published in: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3447928.3456646
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)
Cites Work
- Unnamed Item
- Barrier certificates revisited
- Decision procedures. An algorithmic point of view
- A semi-algebraic approach for asymptotic stability analysis
- Nonlinear systems. Analysis, stability, and control
- Vector barrier certificates and comparison systems
- Automated and formal synthesis of neural barrier certificates for dynamical models
- Sum-of-squares methods for controlled invariant sets with applications to model-predictive control
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- Barrier certificates for nonlinear model validation
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
- Solving Non-linear Arithmetic
- Compositional safety analysis using barrier certificates
- Simulation-guided lyapunov analysis for hybrid dynamical systems
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis
- 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
This page was built for publication: FOSSIL
