Conservative Safety Monitors of Stochastic Dynamical Systems.
Matthew CleavelandOleg SokolskyInsup LeeIvan RuchkinPublished in: NFM (2023)
Keyphrases
- dynamical systems
- timed petri nets
- nonlinear dynamical systems
- state space
- dynamic systems
- differential equations
- phase space
- qualitative simulation
- linear systems
- linear quadratic
- dynamical models
- neural network
- control theory
- dynamical behavior
- partially observable markov decision processes
- stochastic processes
- linear dynamical systems
- partially observable
- monte carlo
- spatio temporal
- reinforcement learning