A Moment-Based Safety Analysis for Stochastic Dynamical Systems.
Peter DuKatherine Rose Driggs-CampbellRoy DongPublished in: CoRR (2021)
Keyphrases
- dynamical systems
- safety analysis
- nuclear power plant
- safety critical
- fault model
- control system
- dynamic systems
- nonlinear dynamical systems
- symbolic model checking
- state space
- partially observable
- predictive state representations
- stochastic models
- linear dynamical systems
- reliability analysis
- formal methods
- partially observable markov decision processes
- real time
- fault tolerant
- monte carlo
- low cost
- search algorithm
- knowledge base
- artificial intelligence
- learning algorithm
- machine learning