Login / Signup

A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata.

Sajed MiremadiBengt LennartsonKnut Å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