首页|期刊导航|自动化学报（英文版）|State-Based Opacity Verification of Networked Dis-crete Event Systems Using Labeled Petri Nets

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

Yifan Dong Naiqi Wu Zhiwu Li

自动化学报（英文版）2024，Vol.11Issue(5)：1274-1291,18.

自动化学报（英文版）2024，Vol.11Issue(5)：1274-1291,18.DOI:10.1109/JAS.2023.124128

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

Yifan Dong ¹Naiqi Wu ¹Zhiwu Li¹

作者信息

1. Institute of Systems Engineering,Macau University of Science and Technology,Taipa 999078,Macau,China
折叠

摘要

关键词

Labeled Petri net/multi-valued decision diagram/networked discrete event system/state-based opacity

Key words

Labeled Petri net/multi-valued decision diagram/networked discrete event system/state-based opacity

引用本文复制引用

Yifan Dong,Naiqi Wu,Zhiwu Li..State-Based Opacity Verification of Networked Dis-crete Event Systems Using Labeled Petri Nets[J].自动化学报（英文版）,2024,11(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). （2018YFB 1700104）

自动化学报（英文版）

OACSTPCDEI

ISSN：2329-9266

访问量0

下载量0

段落导航