Control of nondeterministic discrete-event systems for bisimulation equivalence.

Changyan Zhou Ratnesh Kumar Shengbing Jiang

Published in: IEEE Trans. Autom. Control. (2006)

Keyphrases

discrete event systems
discrete event
petri net
telecommunication networks
complex systems
model based diagnosis
timed petri nets
control system
equivalence relation
finite state
control method
databases
temporal constraints
dynamic systems
rough sets
failure diagnosis
image sequences