Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control.

Changyan Zhou Ratnesh Kumar

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

Keyphrases

discrete event systems
discrete event
petri net
complex systems
control system
failure diagnosis
model based diagnosis
timed petri nets
telecommunication networks
dynamic systems
simulation model
control strategy
control method
image sequences
cost effective
access control
search algorithm