Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems.

Changyan Zhou Ratnesh Kumar

Published in: CDC/ECC (2005)

Keyphrases

discrete event systems
discrete event
complex systems
petri net
model based diagnosis
control system
failure diagnosis
telecommunication networks
timed petri nets
databases
control strategy
image sequences
search algorithm
lower bound
simulation model
control method