An improved algorithm for robust safety analysis of sampled data systems.

Ian M. Mitchell Shahab Kaynama

Published in: HSCC (2015)

Keyphrases

safety analysis
sampled data
safety critical
nuclear power plant
complex systems
formal methods
fault model
data sets
artificial intelligence
feature selection
expert systems
state space
fuzzy logic
intelligent agents