Bisimilarity Enforcing Supervisory Control for Deterministic Specifications

Yajuan Sun Hai Lin Ben M. Chen

Published in: CoRR (2012)

Keyphrases

supervisory control
data acquisition
discrete event
power grid
human operators
control architecture
dynamic systems
fault detection and diagnosis
control system
monitoring system
real time
simulation model
multi agent learning
high speed
intelligent agents