Supervisory Control of Petri Nets in the Presence of Replacement Attacks

• 成果类型: Article
• 署名作者: You, Dan; Wang, Shouguang; Zhou, Mengchu; Seatzu, Carla
• 署名单位: University of Cagliari; Zhejiang Gongshang University; New Jersey Institute of Technology
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2021.3063699
• 发表日期: 2022
• 页码: 1466-1473
• 关键词: Supervisory control; Petri nets; Firing; Automata; Robust control; optimal control; monitoring; Cyber-physical systems; discrete event systems (DESs); network attack; Petri nets (PNs); Supervisory control

摘要

This article addresses the robust control problem of discrete event systems assuming that replacement attacks may occur, thus making it appear that an event that has occurred looks like another event. In particular, we assume that this is done by tampering with the sensor-readings in the sensor communication channel. Specifically, we use Petri nets as the reference formalism to model the plant and assume a control specification in terms of a generalized mutual exclusion constraint. We propose three different methods to derive a control policy that is robust to the possible replacement attacks. The first two methods lead to an optimal (i.e., maximally permissive) policy but are computationally inefficient when applied to large-size systems. On the contrary, the third method computes a policy more efficiently and reveals more easily implementable in practice. However, this is done at the expense of optimality.