The Verification and Control of Interacting Similar Discrete-Event Systems.

Kurt Rohloff Stéphane Lafortune

Published in: SIAM J. Control. Optim. (2006)

Keyphrases

discrete event systems
discrete event
petri net
model based diagnosis
complex systems
telecommunication networks
failure diagnosis
control system
control method
timed petri nets
cooperative
model checking
dynamic systems
simulation model
signature verification
control strategy
user defined