Weilin Deng

According to our database, Weilin Deng authored at least 15 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

AGVTS: Automated Generation and Verification of Temporal Specifications for Aeronautics SCADE Models.

Hanfeng Wang, Zhibin Yang, Yong Zhou, Xilong Wang, Weilin Deng, Wei Li

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms.

Weilin Deng, Daowen Qiu, Jingkai Yang

CoRR, 2023

2022

Fuzzy Infinite-Step Opacity Measure of Discrete Event Systems and Its Applications.

Weilin Deng, Daowen Qiu, Jingkai Yang

IEEE Trans. Fuzzy Syst., 2022

Current-state opacity and initial-state opacity of modular discrete event systems.

Jingkai Yang, Weilin Deng, Daowen Qiu

Int. J. Control, 2022

2021

Opacity Measures of Fuzzy Discrete Event Systems.

Weilin Deng, Daowen Qiu, Jingkai Yang

IEEE Trans. Fuzzy Syst., 2021

Intersection-Based Decentralized Supervisory Control of Probabilistic Discrete Event Systems.

Weilin Deng, Daowen Qiu, Jingkai Yang

IEEE Trans. Autom. Control., 2021

Opacity of networked discrete event systems.

Jingkai Yang, Weilin Deng, Daowen Qiu, Cheng Jiang

Inf. Sci., 2021

2020

Library Readers Flow Control Based on the Supervisory Control Theory of Discrete-event Systems.

Chongqing Lin, Daowen Qiu, Weilin Deng

Proceedings of the CSAE 2020: The 4th International Conference on Computer Science and Application Engineering, 2020

2019

Supervisory Control of Probabilistic Discrete Event Systems Under Partial Observation.

Weilin Deng, Jingkai Yang, Daowen Qiu

IEEE Trans. Autom. Control., 2019

An improved backtracking search algorithm for casting heat treatment charge plan problem.

Jianxin Zhou, Hu Ye, Xiaoyuan Ji, Weilin Deng

J. Intell. Manuf., 2019

2018

Economical Decentralized Safe-diagnosis Architecture for Discrete-Event Systems.

Weilin Deng, Daowen Qiu

Proceedings of the 15th International Conference on Control, 2018

2017

State-Based Decentralized Diagnosis of Bi-Fuzzy Discrete Event Systems.

Weilin Deng, Daowen Qiu

IEEE Trans. Fuzzy Syst., 2017

2016

Bi-Fuzzy Discrete Event Systems and Their Supervisory Control Theory.

Weilin Deng, Daowen Qiu

CoRR, 2016

2015

Bifuzzy Discrete Event Systems and Their Supervisory Control Theory.

Weilin Deng, Daowen Qiu

IEEE Trans. Fuzzy Syst., 2015

Supervisory Control of Fuzzy Discrete-Event Systems for Simulation Equivalence.

Weilin Deng, Daowen Qiu

IEEE Trans. Fuzzy Syst., 2015