Control synthesis of timed discrete event systems based on predicate invariance.

Haoxun Chen Hans-Michael Hanisch

Published in: IEEE Trans. Syst. Man Cybern. Part B (2000)

Keyphrases

discrete event systems
discrete event
petri net
dynamic systems
simulation model
model based diagnosis
control system
failure diagnosis
dynamical systems
timed petri nets
complex systems
telecommunication networks
control strategy
database
cooperative
user defined
sensor networks