Modular supervisory control of asynchronous and hierarchical finite state machines.

Benoit Gaudin Hervé Marchand

Published in: ECC (2003)

Keyphrases

finite state machines
supervisory control
finite state automata
data acquisition
discrete event
model checking
power grid
hidden markov models
regular expressions
data mining
vision system
collaborative learning
simulation model
dynamic systems
human operators