Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems.
Hyejin HanRicardo G. SanfelicePublished in: CoRR (2018)
Keyphrases
- sufficient conditions
- dynamical systems
- temporal logic
- concurrent systems
- model checking
- transition systems
- bounded model checking
- model checker
- reactive systems
- linear systems
- formal specification language
- qualitative differential equations
- formal specification
- fixed point
- qualitative simulation
- exponential stability
- differential equations
- phase space
- nonlinear dynamical systems
- dynamic systems
- linear temporal logic
- control theory
- lyapunov function
- asymptotic stability
- formal verification
- partially observable
- computation tree logic
- formal methods
- belief revision
- control law
- verification method
- qualitative reasoning
- neural network