Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems.
Hyejin HanRicardo G. SanfelicePublished in: ADHS (2018)
Keyphrases
- sufficient conditions
- dynamical systems
- temporal logic
- concurrent systems
- model checking
- transition systems
- model checker
- reactive systems
- bounded model checking
- qualitative differential equations
- linear systems
- formal specification language
- fixed point
- differential equations
- control theory
- dynamic systems
- formal specification
- qualitative simulation
- state space
- formal verification
- nonlinear dynamical systems
- predictive state representations
- exponential stability
- verification method
- asymptotic stability
- lyapunov function
- partially observable
- phase space
- reinforcement learning
- optimal policy
- petri net
- finite state
- control law
- heuristic search
- equilibrium point