Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion.
Thao DangRomain TestylierPublished in: Reliab. Comput. (2012)
Keyphrases
- dynamical systems
- reachability analysis
- state space
- markov decision processes
- model checking
- differential equations
- dynamic systems
- timed automata
- incremental algorithms
- nonlinear dynamical systems
- qualitative simulation
- linear systems
- phase space
- control theory
- partially observable
- finite state
- agent environment
- temporal logic
- markov chain
- linear programming
- dynamic programming
- hidden markov models
- dynamical behavior
- qualitative differential equations
- predictive state representations
- action space
- reinforcement learning algorithms