Login / Signup

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata.

Zhennan FeiSajed MiremadiKnut ÅkessonBengt Lennartson
Published in: IEEE Trans. Control. Syst. Technol. (2014)
Keyphrases
  • finite automata
  • deterministic automata
  • high level
  • grammatical inference
  • hidden markov models
  • regular expressions
  • probabilistic automata
  • databases
  • semantic information
  • sequence data