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 条

[21] State Estimation in Discrete Event Systems Modeled by Signal Interpreted Petri Nets
Koehler, Andreas
Zhang, Ping
IEEE CONTROL SYSTEMS LETTERS, 2022, 6 : 2078 - 2083
[22] Current-State Opacity Formulations in Probabilistic Finite Automata
Saboori, Anooshiravan
Hadjicostis, Christoforos N.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (01) : 120 - 133
[23] On-line Algorithm for Current State Opacity Enforcement in a Petri Net Framework
Cong, X. Y.
Fanti, M. P.
Mangini, A. M.
Li, Z. W.
IFAC PAPERSONLINE, 2018, 51 (07): : 349 - 354
[24] Ensuring utility while enforcing current-state opacity
Barcelos, Raphael J.
Basilio, Joao C.
IFAC PAPERSONLINE, 2023, 56 (02): : 4595 - 4600
[25] Trajectory Planning under Current-State Opacity Constraints
Hadjicostis, Christoforos N.
IFAC PAPERSONLINE, 2018, 51 (07): : 337 - 342
[26] Current-state opacity and initial-state opacity of modular discrete event systems
Yang, Jingkai
Deng, Weilin
Qiu, Daowen
INTERNATIONAL JOURNAL OF CONTROL, 2022, 95 (11) : 3037 - 3049
[27] Deadlock Detection and Avoidance using Signal Interpreted Petri Nets
Aspar, Z.
Khalil-Hani, Mohamed
Shaikh-Husin, Nasir
2012 IEEE INTERNATIONAL CONFERENCE ON CIRCUITS AND SYSTEMS (ICCAS), 2012, : 150 - 155
[28] Current-State Opacity Verification in Modular Discrete Event Systems
Tong, Yin
Lan, Hao
2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 7665 - 7670
[29] Verification of Initial-State Opacity in Petri Nets
Tong, Yin
Li, Zhiwu
Seatzu, Carla
Giua, Alessandro
2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2015, : 344 - 349
[30] Enforcing current-state opacity through shuffle in event observations
Barcelos, Raphael Julio
Basilio, Joao Carlos
IFAC PAPERSONLINE, 2018, 51 (07): : 100 - 105

← 1 2 3 4 5 →