State-Based Opacity Verification of Networked Dis-crete Event Systems Using Labeled Petri NetsOACSTPCDEI

作者：Yifan Dong;Naiqi Wu;Zhiwu Li

作者单位：Institute of Systems Engineering,Macau University of Science and Technology,Taipa 999078,Macau,ChinaInstitute of Systems Engineering,Macau University of Science and Technology,Taipa 999078,Macau,ChinaInstitute of Systems Engineering,Macau University of Science and Technology,Taipa 999078,Macau,China

中文关键词：Labeled Petri netmulti-valued decision diagramnetworked discrete event systemstate-based opacity

英文关键词：Labeled Petri netmulti-valued decision diagramnetworked discrete event systemstate-based opacity

刊名：《自动化学报（英文版）》 2024 (5)

页码/页数：1274-1291,18

基金：This work was supported by the National R&D Program of China(2018YFB 1700104)and the Science and Technology Development Fund,Macao Special Administrative Region(MSAR)(0029/2023/RIA1).

DOI：10.1109/JAS.2023.124128