Login / Signup

Supervisory Control Theory in System Safety Analysis.

Yuvaraj SelvarajZhennan FeiMartin Fabian
Published in: SAFECOMP Workshops (2020)
Keyphrases
  • safety analysis
  • supervisory control
  • control system
  • nuclear power plant
  • data acquisition
  • discrete event
  • power grid
  • safety critical
  • fault model
  • high speed
  • symbolic model checking