Compositional synthesis of supervisors in the form of state machines and state maps.

Sahar Mohajerani Robi Malik Martin Fabian

Published in: Autom. (2017)

Keyphrases

state machines
state machine
artificial intelligence
model checking
real time
fault tolerant
recurrent networks