Control of nondeterministic discrete event systems for bisimulation equivalence.

Changyan Zhou Ratnesh Kumar Shengbing Jiang

Published in: ACC (2004)

Keyphrases

discrete event systems
discrete event
petri net
complex systems
failure diagnosis
telecommunication networks
model based diagnosis
timed petri nets
simulation model
dynamic systems
control method
control system
equivalence relation
finite automata
temporal constraints
rough sets
special case