Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm.

Fuchun Liu Hai Lin Zbigniew Dziong

Published in: Autom. (2011)

Keyphrases

detection algorithm
preprocessing
cost function
partially observed
learning algorithm
computational complexity
search space
dynamic programming
worst case
expectation maximization
np hard
matching algorithm
optimal solution
similarity measure
contextual information
control system
mathematical model