Discretization of Continuous Dynamical Systems Using UPPAAL.
Stefano SchivoRom LangerakPublished in: ModelEd, TestEd, TrustEd (2017)
Keyphrases
- dynamical systems
- dynamic systems
- differential equations
- continuous variables
- phase space
- discrete space
- control theory
- qualitative simulation
- partially observable
- model checking
- state space
- linear systems
- nonlinear dynamical systems
- dynamical models
- qualitative differential equations
- discrete data
- partially observable markov decision processes
- predictive state representations
- learning algorithm