Generation of safe plant operation sequences using reachability analysis.

Thomas Cochard David Gouyon Jean-François Pétin

Published in: ETFA (2015)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
nuclear power plant
power plant
control system
hidden markov models
machine learning
incremental algorithms
water treatment
production processes
state space
sequence alignment
random walk
sufficient conditions
artificial intelligence