Abstractions for nonblocking supervisory control of Extended Finite Automata.

Mohammad Reza Shoaei Lei Feng Bengt Lennartson

Published in: CASE (2012)

Keyphrases

finite automata
supervisory control
data acquisition
regular expressions
discrete event
grammatical inference
tree automata
power grid
finite automaton
hidden markov models
high level
real time
low cost
data collection
dynamic systems