State based control of timed discrete event systems using binary decision diagrams.

Ali Saadatpoor Walter Murray Wonham

Published in: Syst. Control. Lett. (2007)

Keyphrases

discrete event systems
petri net
discrete event
binary decision diagrams
failure diagnosis
dynamic systems
complex systems
model based diagnosis
databases
boolean functions
telecommunication networks
timed petri nets
state space
dynamical systems
symbolic model checking