Sign in
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