default search action
Weilin Deng
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c4]Hanfeng Wang, Zhibin Yang
, Yong Zhou, Xilong Wang, Weilin Deng, Wei Li:
AGVTS: Automated Generation and Verification of Temporal Specifications for Aeronautics SCADE Models. FM (2) 2024: 338-355 - 2023
- [i4]Weilin Deng, Daowen Qiu, Jingkai Yang:
Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms. CoRR abs/2307.03870 (2023) - 2022
- [j10]Jingkai Yang
Current-state opacity and initial-state opacity of modular discrete event systems. Int. J. Control 95(11): 3037-3049 (2022) - [j9]Weilin Deng
Fuzzy Infinite-Step Opacity Measure of Discrete Event Systems and Its Applications. IEEE Trans. Fuzzy Syst. 30(3): 885-892 (2022) - 2021
- [j8]Jingkai Yang, Weilin Deng, Daowen Qiu
Opacity of networked discrete event systems. Inf. Sci. 543: 328-344 (2021) - [j7]Weilin Deng
Intersection-Based Decentralized Supervisory Control of Probabilistic Discrete Event Systems. IEEE Trans. Autom. Control. 66(12): 6171-6178 (2021) - [j6]Weilin Deng
Opacity Measures of Fuzzy Discrete Event Systems. IEEE Trans. Fuzzy Syst. 29(9): 2612-2622 (2021) - 2020
- [c3]Chongqing Lin, Daowen Qiu, Weilin Deng:
Library Readers Flow Control Based on the Supervisory Control Theory of Discrete-event Systems. CSAE 2020: 87:1-87:5
2010 – 2019
- 2019
- [j5]Jianxin Zhou, Hu Ye, Xiaoyuan Ji
An improved backtracking search algorithm for casting heat treatment charge plan problem. J. Intell. Manuf. 30(3): 1335-1350 (2019) - [j4]Weilin Deng
Supervisory Control of Probabilistic Discrete Event Systems Under Partial Observation. IEEE Trans. Autom. Control. 64(12): 5051-5065 (2019) - [c2]Jingkai Yang, Weilin Deng, Cheng Jiang, Daowen Qiu:
Opacity of Networked Discrete Event Systems. CDC 2019: 6736-6741 - 2018
- [c1]Weilin Deng, Daowen Qiu:
Economical Decentralized Safe-diagnosis Architecture for Discrete-Event Systems. ICARCV 2018: 1122-1127 - [i3]Weilin Deng, Jingkai Yang, Daowen Qiu:
Supervisory Control of Probabilistic Discrete Event Systems under Partial Observation. CoRR abs/1805.07196 (2018) - 2017
- [j3]Weilin Deng, Daowen Qiu
State-Based Decentralized Diagnosis of Bi-Fuzzy Discrete Event Systems. IEEE Trans. Fuzzy Syst. 25(4): 854-867 (2017) - 2016
- [i2]Weilin Deng, Daowen Qiu:
Supervisory Control of Fuzzy Discrete Event Systems for Simulation Equivalence. CoRR abs/1610.02465 (2016) - [i1]Weilin Deng, Daowen Qiu:
Bi-Fuzzy Discrete Event Systems and Their Supervisory Control Theory. CoRR abs/1610.02470 (2016) - 2015
- [j2]Weilin Deng, Daowen Qiu:
Supervisory Control of Fuzzy Discrete-Event Systems for Simulation Equivalence. IEEE Trans. Fuzzy Syst. 23(1): 178-192 (2015) - [j1]Weilin Deng, Daowen Qiu:
Bifuzzy Discrete Event Systems and Their Supervisory Control Theory. IEEE Trans. Fuzzy Syst. 23(6): 2107-2121 (2015)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: