Weilin Deng

23 papers C 1Journal 19Unranked 3
YearRankTypeTitle / 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