Intersection-Based Decentralized Supervisory Control of Probabilistic Discrete Event Systems. - Deng, Weilin; Qiu, Daowen; Yang, Jingkai (IEEE Trans. Autom. Control., 2021)