Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference.
Navid HashemiXin QinLars LindemannJyotirmoy V. DeshmukhPublished in: CDC (2023)
Keyphrases
- dynamical systems
- data driven
- reachability analysis
- state space
- markov decision processes
- model checking
- dynamic systems
- differential equations
- nonlinear dynamical systems
- timed automata
- qualitative simulation
- phase space
- bayesian networks
- partially observable
- inference process
- planning problems
- incremental algorithms
- dynamic programming
- agent environment
- linear quadratic
- markov chain
- predictive state representations
- stochastic processes
- temporal logic
- linear dynamical systems
- petri net