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

Fuchun Liu, Hai Lin, Zbigniew Dziong. Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm. Automatica, 47(4):782-788, 2011. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.