首页|期刊导航|自动化学报（英文版）|Strong Current-State Opacity Verification of Discrete-Event Systems Modeled With Time Labeled Petri Nets

Strong Current-State Opacity Verification of Discrete-Event Systems Modeled With Time Labeled Petri Nets

Tao Qin Li Yin Gaiyun Liu Naiqi Wu Zhiwu Li

自动化学报（英文版）2025，Vol.12Issue(1)：54-68,15.

自动化学报（英文版）2025，Vol.12Issue(1)：54-68,15.DOI:10.1109/JAS.2024.124560

Strong Current-State Opacity Verification of Discrete-Event Systems Modeled With Time Labeled Petri Nets

Tao Qin ¹Li Yin ¹Gaiyun Liu ²Naiqi Wu ¹Zhiwu Li¹

作者信息

1. Institute of Systems Engineering,Macau University of Science and Technology,Macao SAR,China
2. School of Electro-Mechanical Engineering,Xidian University,Xi'an 710071,China
折叠

摘要

关键词

Discrete-event system/real-time observation/strong current-state opacity/time labeled Petri net

Key words

Discrete-event system/real-time observation/strong current-state opacity/time labeled Petri net

引用本文复制引用

Tao Qin,Li Yin,Gaiyun Liu,Naiqi Wu,Zhiwu Li..Strong Current-State Opacity Verification of Discrete-Event Systems Modeled With Time Labeled Petri Nets[J].自动化学报（英文版）,2025,12(1):54-68,15.

基金项目

This work was supported by the Special Fund for Scientific and Technological Innovation Strategy of Guangdong Province(2022A0505030025)and the Science and Technology Fund,FDCT,Macau SAR(0064/2021/A2). （2022A0505030025）

自动化学报（英文版）

ISSN：2329-9266

访问量0

下载量0

段落导航