Supervisor localization for large-scale discrete-event systems.

Kai Cai Walter Murray Wonham

Published in: CDC (2009)

Keyphrases

discrete event systems
petri net
complex systems
telecommunication networks
model based diagnosis
failure diagnosis
discrete event
timed petri nets
small scale
temporal constraints
databases
dynamic systems
management system
localization algorithm
state space
search algorithm
real world