Synthesis of Lyapunov Functions using Formal Verification.
Lukas MunserGrigory DevadzeStefan StreifPublished in: CoRR (2021)
Keyphrases
- formal verification
- model checking
- bounded model checking
- model checker
- stability analysis
- dynamical systems
- symbolic model checking
- automated verification
- functional programs
- closed loop
- functional verification
- temporal logic
- formal specification
- control theory
- sufficient conditions
- asymptotic stability
- program slicing