Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems.
Tommaso DreossiPublished in: HSCC (2017)
Keyphrases
- dynamical systems
- state space
- differential equations
- dynamic systems
- nonlinear dynamical systems
- partially observable
- phase space
- control theory
- qualitative simulation
- predictive state representations
- linear systems
- dynamical behavior
- dynamical models
- neural network
- partially observable markov decision processes
- discrete dynamical systems