Login / Signup

Complexity of Verifying Nonblockingness in Modular Supervisory Control.

Tomás Masopust
Published in: IEEE Trans. Autom. Control. (2018)
Keyphrases
  • supervisory control
  • data acquisition
  • discrete event
  • power grid
  • data processing