Infinite-step opacity of stochastic discrete-event systems

Xiang Yin, Zhaojian Li, Weilin Wang, Shaoyuan Li. Infinite-step opacity of stochastic discrete-event systems. In 11th Asian Control Conference, ASCC 2017, Gold Coast, Australia, December 17-20, 2017. pages 102-107, IEEE, 2017. [doi]

Abstract

Abstract is missing.