O-Minimal Invariants for Discrete-Time Dynamical Systems.
Shaull AlmagorDmitry ChistikovJoël OuaknineJames WorrellPublished in: ACM Trans. Comput. Log. (2022)
Keyphrases
- dynamical systems
- linear quadratic
- dynamic systems
- differential equations
- nonlinear dynamical systems
- linear systems
- control theory
- qualitative simulation
- state space
- markov chain
- partially observable
- phase space
- finite state
- agent environment
- dynamical behavior
- discrete dynamical systems
- predictive state representations
- level set