Conservative Safety Monitors of Stochastic Dynamical Systems.
Matthew CleavelandIvan RuchkinOleg SokolskyInsup LeePublished in: CoRR (2023)
Keyphrases
- dynamical systems
- differential equations
- dynamic systems
- timed petri nets
- qualitative simulation
- dynamical behavior
- state space
- phase space
- nonlinear dynamical systems
- linear systems
- control theory
- linear dynamical systems
- linear quadratic
- partially observable
- predictive state representations
- neural network
- partially observable markov decision processes
- monte carlo
- markov chain