Supervisory Control of Fuzzy Discrete-Event Systems for Simulation Equivalence. - Weilin Deng; Daowen Qiu (IEEE Trans. Fuzzy Syst., 2015)

Bifuzzy Discrete Event Systems and Their Supervisory Control Theory. - Weilin Deng; Daowen Qiu (IEEE Trans. Fuzzy Syst., 2015)

Bi-Fuzzy Discrete Event Systems and Their Supervisory Control Theory. - Weilin Deng; Daowen Qiu (CoRR, 2016)

State-Based Decentralized Diagnosis of Bi-Fuzzy Discrete Event Systems. - Weilin Deng; Daowen Qiu (IEEE Trans. Fuzzy Syst., 2017)

Economical Decentralized Safe-diagnosis Architecture for Discrete-Event Systems. - Weilin Deng; Daowen Qiu (ICARCV, 2018)

An improved backtracking search algorithm for casting heat treatment charge plan problem. - Jianxin Zhou; Hu Ye; Xiaoyuan Ji; Weilin Deng (J. Intell. Manuf., 2019)

Supervisory Control of Probabilistic Discrete Event Systems Under Partial Observation. - Weilin Deng; Jingkai Yang; Daowen Qiu (IEEE Trans. Autom. Control., 2019)

Library Readers Flow Control Based on the Supervisory Control Theory of Discrete-event Systems. - Chongqing Lin; Daowen Qiu; Weilin Deng (CSAE, 2020)

Opacity of networked discrete event systems. - Jingkai Yang; Weilin Deng; Daowen Qiu; Cheng Jiang (Inf. Sci., 2021)

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

Opacity Measures of Fuzzy Discrete Event Systems. - Weilin Deng; Daowen Qiu; Jingkai Yang (IEEE Trans. Fuzzy Syst., 2021)

Current-state opacity and initial-state opacity of modular discrete event systems. - Jingkai Yang; Weilin Deng; Daowen Qiu (Int. J. Control, 2022)

Fuzzy Infinite-Step Opacity Measure of Discrete Event Systems and Its Applications. - Weilin Deng; Daowen Qiu; Jingkai Yang (IEEE Trans. Fuzzy Syst., 2022)

Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms. - Weilin Deng; Daowen Qiu; Jingkai Yang (CoRR, 2023)

AGVTS: Automated Generation and Verification of Temporal Specifications for Aeronautics SCADE Models. - Hanfeng Wang; Zhibin Yang; Yong Zhou; Xilong Wang; Weilin Deng; Wei Li (FM (2), 2024)

Opacity Verification for a Class of Modular Discrete Event Systems. - Jingkai Yang; Weilin Deng (IEEE Access, 2025)

Initial-Location Opacity and Infinite-Step Opacity of Timed Automata With Integer Resets. - Weilin Deng; Daowen Qiu; Jingkai Yang (IEEE Control. Syst. Lett., 2025)

New Insights into the Decidability of Opacity in Timed Automata. - Weilin Deng; Daowen Qiu; Jingkai Yang (CoRR, 2025)