Peak Estimation Recovery and Safety Analysis.

Jared Miller Didier Henrion Mario Sznaier

Published in: IEEE Control. Syst. Lett. (2021)

Keyphrases

safety analysis
nuclear power plant
control system
safety critical
symbolic model checking
fault model
real time
decision making
low cost
agent architecture