Data-Driven Approach for Uncertainty Propagation and Reachability Analysis in Dynamical Systems.
Amarsagar Reddy Ramapuram MatavalamUmesh VaidyaVenkataramana AjjarapuPublished in: CoRR (2020)
Keyphrases
- dynamical systems
- reachability analysis
- state space
- markov decision processes
- model checking
- dynamic systems
- differential equations
- timed automata
- incremental algorithms
- nonlinear dynamical systems
- qualitative simulation
- difference equations
- partially observable
- dynamical behavior
- linear systems
- finite state
- conditional probabilities
- expected utility
- phase space
- nonlinear dynamics
- decision theory
- markov chain
- learning algorithm