Supervisor State Size Reduction for Timed Discrete-Event Systems.

Ali Saadatpoor W. M. Wonham

Published in: ACC (2007)

Keyphrases

discrete event systems
petri net
discrete event
timed petri nets
state space
computational complexity
complex systems
failure diagnosis
data model
database applications
simulation model
dynamic systems
model based diagnosis
telecommunication networks