A Dynamical Systems Construction of a Counterexample to the Finiteness Conjecture.
Victor KozyakinPublished in: CDC/ECC (2005)
Keyphrases
- dynamical systems
- dynamic systems
- differential equations
- nonlinear dynamical systems
- linear systems
- control theory
- partially observable
- qualitative simulation
- predictive state representations
- state space
- model checking
- dynamical behavior
- agent environment
- qualitative differential equations
- petri net
- dynamical models