Enforcement of Current-State Opacity in Signal Interpreted Petri Nets

被引：0
|
作者：
Koehler, Andreas [1 ]
Marijan, Pascal [1 ]
Zhang, Ping [1 ]
机构：
[1] Univ Kaiserslautern Landau, Inst Automat Control, D-67653 Kaiserslautern, Germany
来源：
IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2024年 / 69卷 / 11期
关键词：
Actuators; Petri nets; Vectors; Iterative methods; Encryption; Automata; Supervisory control; Discrete event systems (DES); opacity; Petri nets (PNs); production systems;
D O I：
10.1109/TAC.2024.3412008
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This article proposes a new approach for the enforcement of current-state opacity in signal interpreted Petri nets (SIPN). In order to enforce current-state opacity in SIPNs, the properties of iterative firing and simultaneous firing of transitions are considered. To prevent the intruder from inferring the current marking, signals associated with the secret marking are compared to signals associated with alternative markings. This allows to determine which signals need to be encrypted to confuse the secret marking with markings leading to the secret marking, markings directly reachable from the secret marking or markings reachable from the premarking of the secret marking. The proposed approach applies to any system that can be described by an SIPN.
引用
收藏
页码：8104 / 8111
页数：8
相关论文
共 50 条
  • [31] Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets
    Habbachi, Salwa
    Li, Zhiwu
    Wu, Naiqi
    Khalgui, Mohamed
    SCIENCE PROGRESS, 2022, 105 (01)
  • [32] INTERPRETED PETRI NETS AND GRAFCET
    MOALLA, M
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 17 - 30
  • [33] State estimation in DES modeled by a class of Interpreted Petri Nets
    Aguirre-Salas, L
    Begovich, O
    Ramirez-Treviño, A
    PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL, 2002, : 574 - 579
  • [34] Current-state opacity of incomplete discrete-event systems
    Liu F.-C.
    Zhang X.
    Zhao R.
    Kongzhi Lilun Yu Yingyong/Control Theory and Applications, 2019, 36 (07): : 1067 - 1071
  • [35] Visual PLC-programming using Signal Interpreted Petri Nets
    Minas, M
    Frey, G
    PROCEEDINGS OF THE 2002 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2002, 1-6 : 5019 - 5024
  • [36] Pareto Modeling of Discrete Manufacturing Systems by Signal Interpreted Petri Nets
    Koehler, Andreas
    Zhang, Ping
    2023 AMERICAN CONTROL CONFERENCE, ACC, 2023, : 4339 - 4344
  • [37] Verification of State-Based Opacity Using Petri Nets
    Tong, Yin
    Li, Zhiwu
    Seatzu, Carla
    Giua, Alessandro
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (06) : 2823 - 2837
  • [38] Enforcing current-state opacity through shuffle and deletions of event observations
    Barcelos, Raphael Julio
    Basilio, Joao Carlos
    AUTOMATICA, 2021, 133
  • [39] Game current-state opacity formulation in probabilistic resource automata q
    Li, Dong
    Yin, Li
    Wang, Jianzhou
    Wu, Naiqi
    INFORMATION SCIENCES, 2022, 613 : 96 - 113
  • [40] LOGICAL INFERENCE ON INTERPRETED PETRI NETS
    VAGIN, VN
    ZAKHAROV, VN
    ROZENBLYUM, LY
    SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1988, 26 (03): : 98 - 105
12345