Bisimilarity enforcing supervisory control for deterministic specifications.

Yajuan Sun Hai Lin Ben M. Chen

Published in: Autom. (2014)

Keyphrases

supervisory control
data acquisition
discrete event
power grid
human operators
control architecture
control system
fault detection and diagnosis
dynamic systems
distributed control
long term
data processing
fault diagnosis
ground truth
machine learning
vision system
high speed
low cost
mobile robot