Reachability Analysis for Solvable Dynamical Systems.
Ting GanMingshuai ChenYangjia LiBican XiaNaijun ZhanPublished in: IEEE Trans. Autom. Control. (2018)
Keyphrases
- dynamical systems
- reachability analysis
- state space
- markov decision processes
- model checking
- np complete
- np hard
- timed automata
- dynamic systems
- differential equations
- computational complexity
- incremental algorithms
- linear systems
- control theory
- qualitative simulation
- agent environment
- phase space
- reinforcement learning
- dynamical behavior
- nonlinear dynamics
- dynamic programming
- markov chain
- linear dynamical systems
- temporal logic
- search space
- nonlinear dynamical systems
- predictive state representations