Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems.
Tommaso DreossiPublished in: CoRR (2016)
Keyphrases
- dynamical systems
- state space
- differential equations
- dynamic systems
- linear systems
- nonlinear dynamical systems
- qualitative simulation
- agent environment
- partially observable
- phase space
- control theory
- nonlinear dynamics
- dynamical behavior
- partially observable markov decision processes
- neural network
- dynamical models
- discrete dynamical systems
- initial conditions
- ordinary differential equations
- control parameters
- dynamic programming
- hidden markov models
- reinforcement learning