Sign in
Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction.
Marcelo Teixeira
Robi Malik
José Eduardo Ribeiro Cury
Max Hering de Queiroz
Published in:
IEEE Trans. Autom. Control. (2015)
Keyphrases
</>
finite state machines
supervisory control
data acquisition
model checking
finite state automata
discrete event
power grid
hidden markov models
high level
data mining
decision making
control system
human operators
control architecture