Minimal area merger of finite state machine controllers.

Debaditya Mukherjee Massoud Pedram Melvin A. Breuer

Published in: EURO-DAC (1992)

Keyphrases

finite state machines
model checking
finite state automata
hidden markov models
state machine
control system
state transition
regular expressions
cellular automaton
digital circuits
databases
reinforcement learning
controller design
database
pattern matching