Pages that link to "Item:Q5039505"
From MaRDI portal
The following pages link to Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers (Q5039505):
Displaying 4 items.
- Automated and formal synthesis of neural barrier certificates for dynamical models (Q2044214) (← links)
- Deductive stability proofs for ordinary differential equations (Q2233505) (← links)
- Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems (Q6165341) (← links)
- Computation of feedback control laws based on switched tracking of demonstrations (Q6669736) (← links)
