Deadness and how to disprove liveness in hybrid dynamical systems.
Eva M. Navarro-LópezRebekah CarterPublished in: Theor. Comput. Sci. (2016)
Keyphrases
- dynamical systems
- dynamic systems
- differential equations
- state space
- nonlinear dynamical systems
- linear systems
- qualitative simulation
- partially observable
- phase space
- control theory
- dynamical behavior
- agent environment
- qualitative differential equations
- optimal solution
- predictive state representations
- nonlinear dynamics
- real valued
- topic models
- hidden markov models