Reachability computation for polynomial dynamical systems.
Tommaso DreossiThao DangCarla PiazzaPublished in: Formal Methods Syst. Des. (2017)
Keyphrases
- dynamical systems
- state space
- differential equations
- dynamic systems
- nonlinear dynamical systems
- control theory
- linear systems
- qualitative simulation
- partially observable
- agent environment
- machine learning
- reinforcement learning
- partially observable markov decision processes
- dynamical behavior
- nonlinear dynamics
- numerical solution
- markov decision processes
- multi agent