Weilin Deng - RankMe

23 papers C 1Journal 19Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	New insights into opacity verification in timed discrete-event systems. Autom. Weilin Deng, Daowen Qiu, Jingkai Yang
2026	J	`jnl`	Opacity of Extended Finite Automata With Event Parameters. IEEE Trans. Autom. Control. Weilin Deng, Daowen Qiu, Jingkai Yang
2025	J	`jnl`	Initial-Location Opacity and Infinite-Step Opacity of Timed Automata With Integer Resets. IEEE Control. Syst. Lett. Weilin Deng, Daowen Qiu, Jingkai Yang
2025	J	`jnl`	New Insights into the Decidability of Opacity in Timed Automata. CoRR Weilin Deng, Daowen Qiu, Jingkai Yang
2025	J	`jnl`	Opacity Verification for a Class of Modular Discrete Event Systems. IEEE Access Jingkai Yang, Weilin Deng
2024	—	`conf`	AGVTS: Automated Generation and Verification of Temporal Specifications for Aeronautics SCADE Models. FM (2) Hanfeng Wang, Zhibin Yang, Yong Zhou, Xilong Wang, Weilin Deng, Wei Li
2023	J	`jnl`	Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms. CoRR Weilin Deng, Daowen Qiu, Jingkai Yang
2022	J	`jnl`	Current-state opacity and initial-state opacity of modular discrete event systems. Int. J. Control Jingkai Yang, Weilin Deng, Daowen Qiu
2022	J	`jnl`	Fuzzy Infinite-Step Opacity Measure of Discrete Event Systems and Its Applications. IEEE Trans. Fuzzy Syst. Weilin Deng, Daowen Qiu, Jingkai Yang
2021	J	`jnl`	Intersection-Based Decentralized Supervisory Control of Probabilistic Discrete Event Systems. IEEE Trans. Autom. Control. Weilin Deng, Daowen Qiu, Jingkai Yang
2021	J	`jnl`	Opacity Measures of Fuzzy Discrete Event Systems. IEEE Trans. Fuzzy Syst. Weilin Deng, Daowen Qiu, Jingkai Yang
2021	J	`jnl`	Opacity of networked discrete event systems. Inf. Sci. Jingkai Yang, Weilin Deng, Daowen Qiu, Cheng Jiang
2020	—	`conf`	Library Readers Flow Control Based on the Supervisory Control Theory of Discrete-event Systems. CSAE Chongqing Lin, Daowen Qiu, Weilin Deng
2019	J	`jnl`	An improved backtracking search algorithm for casting heat treatment charge plan problem. J. Intell. Manuf. Jianxin Zhou, Hu Ye, Xiaoyuan Ji, Weilin Deng
2019	—	`conf`	Opacity of Networked Discrete Event Systems. CDC Jingkai Yang, Weilin Deng, Cheng Jiang, Daowen Qiu
2019	J	`jnl`	Supervisory Control of Probabilistic Discrete Event Systems Under Partial Observation. IEEE Trans. Autom. Control. Weilin Deng, Jingkai Yang, Daowen Qiu
2018	C	`conf`	Economical Decentralized Safe-diagnosis Architecture for Discrete-Event Systems. ICARCV Weilin Deng, Daowen Qiu
2018	J	`jnl`	Supervisory Control of Probabilistic Discrete Event Systems under Partial Observation. CoRR Weilin Deng, Jingkai Yang, Daowen Qiu
2017	J	`jnl`	State-Based Decentralized Diagnosis of Bi-Fuzzy Discrete Event Systems. IEEE Trans. Fuzzy Syst. Weilin Deng, Daowen Qiu
2016	J	`jnl`	Bi-Fuzzy Discrete Event Systems and Their Supervisory Control Theory. CoRR Weilin Deng, Daowen Qiu
2016	J	`jnl`	Supervisory Control of Fuzzy Discrete Event Systems for Simulation Equivalence. CoRR Weilin Deng, Daowen Qiu
2015	J	`jnl`	Bifuzzy Discrete Event Systems and Their Supervisory Control Theory. IEEE Trans. Fuzzy Syst. Weilin Deng, Daowen Qiu
2015	J	`jnl`	Supervisory Control of Fuzzy Discrete-Event Systems for Simulation Equivalence. IEEE Trans. Fuzzy Syst. Weilin Deng, Daowen Qiu