Login / Signup

On the relation between reactive synthesis and supervisory control of non-terminating processes.

Anne-Kathrin SchmuckThomas MoorRupak Majumdar
Published in: Discret. Event Dyn. Syst. (2020)
Keyphrases
  • supervisory control
  • data acquisition
  • discrete event
  • power grid
  • control system
  • long term
  • real time
  • artificial intelligence
  • power system
  • short term
  • fault detection and diagnosis