Sign in

State-Labeled Safety Analysis of Modular Observers for Opacity Verification.

Bengt LennartsonMona Noori HosseiniChristoforos N. Hadjicostis
Published in: IEEE Control. Syst. Lett. (2022)
Keyphrases
  • safety analysis
  • fault model
  • safety critical
  • information systems
  • control system
  • nuclear power plant
  • real time
  • dynamic programming
  • state space
  • fault diagnosis
  • symbolic model checking