Reduced supervisors for timed discrete-event systems.

Peyman Gohari Walter Murray Wonham

Published in: IEEE Trans. Autom. Control. (2003)

Keyphrases

discrete event systems
petri net
discrete event
failure diagnosis
dynamic systems
complex systems
simulation model
timed petri nets
colored petri nets
telecommunication networks
model based diagnosis
dynamical systems
state space
databases
management system
computational complexity
data streams