Compositional Verification in Supervisory Control.

Hugo Flordal Robi Malik

Published in: SIAM J. Control. Optim. (2009)

Keyphrases

supervisory control
data acquisition
power grid
discrete event
human operators
control system
dynamic systems
distributed control
power system
control architecture
cooperative
fault detection and diagnosis
dynamical systems
real time
data processing
multi agent learning
reinforcement learning