FOSSIL
From MaRDI portal
Cites work
- A semi-algebraic approach for asymptotic stability analysis
- Automated and formal synthesis of neural barrier certificates for dynamical models
- Automated and sound synthesis of Lyapunov functions with SMT solvers
- Barrier certificates for nonlinear model validation
- Barrier certificates revisited
- Compositional safety analysis using barrier certificates
- Decision procedures. An algorithmic point of view
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- Exponential-condition-based barrier certificate generation for safety verification of hybrid systems
- Feedback systems: an introduction for scientists and engineers.
- Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis
- Nonlinear systems. Analysis, stability, and control
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Simulation-guided Lyapunov analysis for hybrid dynamical systems
- Solving non-linear arithmetic
- Sum-of-squares methods for controlled invariant sets with applications to model-predictive control
- Synthesizing barrier certificates using neural networks
- Vector barrier certificates and comparison systems
- dReal: an SMT solver for nonlinear theories over the reals
Cited in
(13)- A learner-verifier framework for neural network controllers and certificates of stochastic systems
- Fossil 2.0: formal certificate synthesis for the verification and control of dynamical models
- LyZNet: a lightweight Python tool for learning and verifying neural Lyapunov functions and regions of attraction
- Safe controller synthesis for nonlinear systems using Bayesian optimization enhanced reinforcement learning
- Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification
- Data-driven certificate synthesis
- Unsafe probabilities and risk contours for stochastic processes using convex optimization
- A contract negotiation scheme for safety verification of interconnected systems
- TRUST: stabili\underline{T}y and safety cont\underline{R}oller synthesis for \underline{U}nknown dynamical models using a \underline{S}ingle \underline{T}rajectory
- Polyhedral control Lyapunov functions for switched affine systems
- Certifying Lyapunov stability of black-box nonlinear systems via counterexample guided synthesis
- Scalable synthesis of formally verified neural value function for Hamilton-Jacobi reachability analysis
- Verification of quantum systems using barrier certificates
This page was built for publication: FOSSIL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6120668)
