Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems.
Meilun LiPeter Nazier MosaadMartin FränzleZhikun SheBai XuePublished in: FORMATS (2018)
Keyphrases
- dynamical systems
- dynamic systems
- differential equations
- state space
- nonlinear dynamical systems
- control theory
- predictive state representations
- difference equations
- agent environment
- qualitative simulation
- linear systems
- partially observable
- dynamical behavior
- dynamical models
- phase space
- partially observable markov decision processes
- markov chain