Rigorous model-based safety analysis for nonlinear continuous-time systems.

Youdong Lin Mark A. Stadtherr

Published in: Comput. Chem. Eng. (2009)

Keyphrases

safety analysis
safety critical
distributed systems
nuclear power plant
fault model
artificial intelligence
cooperative
markov chain
learning systems
complex systems
dynamical systems
embedded systems