Safety Analysis of Stochastic Dynamical Systems.

Christoffer Sloth Rafael Wisniewski

Published in: ADHS (2015)

Keyphrases

dynamical systems
safety analysis
nuclear power plant
control system
safety critical
dynamic systems
fault model
symbolic model checking
nonlinear dynamical systems
state space
partially observable
formal methods
artificial intelligence
complex systems
control strategy
predictive state representations