Login / Signup
A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata.
Sajed Miremadi
Bengt Lennartson
Knut Åkesson
Published in:
IEEE Trans. Control. Syst. Technol. (2012)
Keyphrases
</>
finite automata
deterministic automata
regular expressions
grammatical inference
probabilistic automata
data analysis
finite automaton
databases
information extraction
tree automata
regular languages