Sign in

Modular supervisor synthesis for extended finite-state machines subject to controllability.

Robi MalikMarcelo Teixeira
Published in: WODES (2016)
Keyphrases
  • finite state machines
  • finite state automata
  • model checking
  • regular expressions
  • knowledge base
  • derivation rules
  • neural network
  • functional decomposition
  • hidden markov models
  • digital circuits