Sign in

Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction.

Robi MalikMarcelo Teixeira
Published in: Discret. Event Dyn. Syst. (2020)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • hidden markov models
  • regular expressions
  • functional decomposition
  • high level
  • neural network
  • program synthesis