CVaR-based Safety Analysis in the Infinite Time Horizon Setting.

Chuanning Wei Michael Fauß Margaret P. Chapman

Published in: ACC (2022)

Keyphrases

safety analysis
safety critical
control system
nuclear power plant
fault model
symbolic model checking
information systems
knowledge based systems
orders of magnitude
real time
low cost
fault tolerant