Sign in

A compositional approach for verifying hierarchical interface-based supervisory control.

Ryan J. LeducRobi Malik
Published in: WODES (2010)
Keyphrases
  • supervisory control
  • data acquisition
  • power grid
  • discrete event
  • real time
  • user interface
  • data processing
  • fault detection and diagnosis
  • long term
  • dynamic systems