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

Ryan J. Leduc Robi 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