Data-Driven Approach for Uncertainty Propagation and Reachability Analysis in Dynamical Systems.
Amarsagar Reddy Ramapuram MatavalamUmesh VaidyaVenkataramana AjjarapuPublished in: ACC (2020)
Keyphrases
- dynamical systems
- reachability analysis
- state space
- markov decision processes
- model checking
- differential equations
- dynamic systems
- timed automata
- nonlinear dynamical systems
- phase space
- qualitative simulation
- linear systems
- incremental algorithms
- dynamical behavior
- agent environment
- finite state
- first order logic
- difference equations
- decision theory
- expected utility
- machine learning
- temporal logic
- objective function
- reinforcement learning