BDD-based supervisory control on extended finite automata.

Sajed Miremadi Bengt Lennartson Knut Åkesson

Published in: CASE (2011)

Keyphrases

finite automata
supervisory control
regular expressions
discrete event
grammatical inference
data acquisition
power grid
tree automata
finite automaton
databases
machine learning
control system
hidden markov models
mobile robot
data processing
human operators