Sign in
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