default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Weilin Deng
@article{DBLP:journals/access/YangD25,
author = {Jingkai Yang and
Weilin Deng},
title = {Opacity Verification for a Class of Modular Discrete Event Systems},
journal = {{IEEE} Access},
volume = {13},
pages = {54080--54089},
year = {2025},
url = {https://doi.org/10.1109/ACCESS.2025.3554636},
doi = {10.1109/ACCESS.2025.3554636},
timestamp = {Fri, 09 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/YangD25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/DengQY25,
author = {Weilin Deng and
Daowen Qiu and
Jingkai Yang},
title = {Initial-Location Opacity and Infinite-Step Opacity of Timed Automata
With Integer Resets},
journal = {{IEEE} Control. Syst. Lett.},
volume = {9},
pages = {2031--2036},
year = {2025},
url = {https://doi.org/10.1109/LCSYS.2025.3590422},
doi = {10.1109/LCSYS.2025.3590422},
timestamp = {Tue, 19 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/DengQY25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2504-00625,
author = {Weilin Deng and
Daowen Qiu and
Jingkai Yang},
title = {New Insights into the Decidability of Opacity in Timed Automata},
journal = {CoRR},
volume = {abs/2504.00625},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2504.00625},
doi = {10.48550/ARXIV.2504.00625},
eprinttype = {arXiv},
eprint = {2504.00625},
timestamp = {Sun, 18 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2504-00625.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WangYZWDL24,
author = {Hanfeng Wang and
Zhibin Yang and
Yong Zhou and
Xilong Wang and
Weilin Deng and
Wei Li},
editor = {Andr{\'{e}} Platzer and
Kristin Yvonne Rozier and
Matteo Pradella and
Matteo Rossi},
title = {{AGVTS:} Automated Generation and Verification of Temporal Specifications
for Aeronautics {SCADE} Models},
booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy,
September 9-13, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14934},
pages = {338--355},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71177-0\_21},
doi = {10.1007/978-3-031-71177-0\_21},
timestamp = {Mon, 09 Dec 2024 22:46:02 +0100},
biburl = {https://dblp.org/rec/conf/fm/WangYZWDL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-03870,
author = {Weilin Deng and
Daowen Qiu and
Jingkai Yang},
title = {Opacity of Parametric Discrete Event Systems: Models, Decidability,
and Algorithms},
journal = {CoRR},
volume = {abs/2307.03870},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.03870},
doi = {10.48550/ARXIV.2307.03870},
eprinttype = {arXiv},
eprint = {2307.03870},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-03870.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcon/YangDQ22,
author = {Jingkai Yang and
Weilin Deng and
Daowen Qiu},
title = {Current-state opacity and initial-state opacity of modular discrete
event systems},
journal = {Int. J. Control},
volume = {95},
number = {11},
pages = {3037--3049},
year = {2022},
url = {https://doi.org/10.1080/00207179.2021.1951357},
doi = {10.1080/00207179.2021.1951357},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcon/YangDQ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/DengQY22,
author = {Weilin Deng and
Daowen Qiu and
Jingkai Yang},
title = {Fuzzy Infinite-Step Opacity Measure of Discrete Event Systems and
Its Applications},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {30},
number = {3},
pages = {885--892},
year = {2022},
url = {https://doi.org/10.1109/TFUZZ.2020.3044359},
doi = {10.1109/TFUZZ.2020.3044359},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/DengQY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/YangDQJ21,
author = {Jingkai Yang and
Weilin Deng and
Daowen Qiu and
Cheng Jiang},
title = {Opacity of networked discrete event systems},
journal = {Inf. Sci.},
volume = {543},
pages = {328--344},
year = {2021},
url = {https://doi.org/10.1016/j.ins.2020.07.017},
doi = {10.1016/J.INS.2020.07.017},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/YangDQJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/DengQY21,
author = {Weilin Deng and
Daowen Qiu and
Jingkai Yang},
title = {Intersection-Based Decentralized Supervisory Control of Probabilistic
Discrete Event Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {66},
number = {12},
pages = {6171--6178},
year = {2021},
url = {https://doi.org/10.1109/TAC.2021.3061673},
doi = {10.1109/TAC.2021.3061673},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/DengQY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/DengQY21,
author = {Weilin Deng and
Daowen Qiu and
Jingkai Yang},
title = {Opacity Measures of Fuzzy Discrete Event Systems},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {29},
number = {9},
pages = {2612--2622},
year = {2021},
url = {https://doi.org/10.1109/TFUZZ.2020.3005335},
doi = {10.1109/TFUZZ.2020.3005335},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/DengQY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csae/LinQD20,
author = {Chongqing Lin and
Daowen Qiu and
Weilin Deng},
editor = {Ali Emrouznejad and
Jui{-}Sheng Rayson Chou},
title = {Library Readers Flow Control Based on the Supervisory Control Theory
of Discrete-event Systems},
booktitle = {{CSAE} 2020: The 4th International Conference on Computer Science
and Application Engineering, Sanya, China, October 20-22, 2020},
pages = {87:1--87:5},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3424978.3425066},
doi = {10.1145/3424978.3425066},
timestamp = {Mon, 03 Mar 2025 21:01:05 +0100},
biburl = {https://dblp.org/rec/conf/csae/LinQD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/ZhouYJD19,
author = {Jianxin Zhou and
Hu Ye and
Xiaoyuan Ji and
Weilin Deng},
title = {An improved backtracking search algorithm for casting heat treatment
charge plan problem},
journal = {J. Intell. Manuf.},
volume = {30},
number = {3},
pages = {1335--1350},
year = {2019},
url = {https://doi.org/10.1007/s10845-017-1328-0},
doi = {10.1007/S10845-017-1328-0},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jim/ZhouYJD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/DengYQ19,
author = {Weilin Deng and
Jingkai Yang and
Daowen Qiu},
title = {Supervisory Control of Probabilistic Discrete Event Systems Under
Partial Observation},
journal = {{IEEE} Trans. Autom. Control.},
volume = {64},
number = {12},
pages = {5051--5065},
year = {2019},
url = {https://doi.org/10.1109/TAC.2019.2905305},
doi = {10.1109/TAC.2019.2905305},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/DengYQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/YangDJQ19,
author = {Jingkai Yang and
Weilin Deng and
Cheng Jiang and
Daowen Qiu},
title = {Opacity of Networked Discrete Event Systems},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {6736--6741},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9030250},
doi = {10.1109/CDC40024.2019.9030250},
timestamp = {Fri, 04 Mar 2022 13:30:46 +0100},
biburl = {https://dblp.org/rec/conf/cdc/YangDJQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icarcv/DengQ18,
author = {Weilin Deng and
Daowen Qiu},
title = {Economical Decentralized Safe-diagnosis Architecture for Discrete-Event
Systems},
booktitle = {15th International Conference on Control, Automation, Robotics and
Vision, {ICARCV} 2018, Singapore, November 18-21, 2018},
pages = {1122--1127},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICARCV.2018.8581171},
doi = {10.1109/ICARCV.2018.8581171},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icarcv/DengQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-07196,
author = {Weilin Deng and
Jingkai Yang and
Daowen Qiu},
title = {Supervisory Control of Probabilistic Discrete Event Systems under
Partial Observation},
journal = {CoRR},
volume = {abs/1805.07196},
year = {2018},
url = {http://arxiv.org/abs/1805.07196},
eprinttype = {arXiv},
eprint = {1805.07196},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-07196.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/DengQ17,
author = {Weilin Deng and
Daowen Qiu},
title = {State-Based Decentralized Diagnosis of Bi-Fuzzy Discrete Event Systems},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {25},
number = {4},
pages = {854--867},
year = {2017},
url = {https://doi.org/10.1109/TFUZZ.2016.2584642},
doi = {10.1109/TFUZZ.2016.2584642},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/DengQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DengQ16,
author = {Weilin Deng and
Daowen Qiu},
title = {Supervisory Control of Fuzzy Discrete Event Systems for Simulation
Equivalence},
journal = {CoRR},
volume = {abs/1610.02465},
year = {2016},
url = {http://arxiv.org/abs/1610.02465},
eprinttype = {arXiv},
eprint = {1610.02465},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DengQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DengQ16a,
author = {Weilin Deng and
Daowen Qiu},
title = {Bi-Fuzzy Discrete Event Systems and Their Supervisory Control Theory},
journal = {CoRR},
volume = {abs/1610.02470},
year = {2016},
url = {http://arxiv.org/abs/1610.02470},
eprinttype = {arXiv},
eprint = {1610.02470},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DengQ16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/DengQ15,
author = {Weilin Deng and
Daowen Qiu},
title = {Supervisory Control of Fuzzy Discrete-Event Systems for Simulation
Equivalence},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {23},
number = {1},
pages = {178--192},
year = {2015},
url = {https://doi.org/10.1109/TFUZZ.2014.2310466},
doi = {10.1109/TFUZZ.2014.2310466},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/DengQ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/DengQ15a,
author = {Weilin Deng and
Daowen Qiu},
title = {Bifuzzy Discrete Event Systems and Their Supervisory Control Theory},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {23},
number = {6},
pages = {2107--2121},
year = {2015},
url = {https://doi.org/10.1109/TFUZZ.2015.2403866},
doi = {10.1109/TFUZZ.2015.2403866},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/DengQ15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2025-08-21 01:53 CEST 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:
