Complexity of Verifying Nonblockingness in Modular Supervisory Control.

Tomás Masopust

Published in: CoRR (2017)

Keyphrases

supervisory control
data acquisition
neural network
discrete event
fault detection and diagnosis
power grid
machine learning
mobile robot
monitoring system
decision problems
control architecture