Supervisory Control of Petri Nets in the Presence of Replacement Attacks

Dan You, Shouguang Wang, Mengchu Zhou, Carla Seatzu

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

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.

Original languageEnglish (US)
Pages (from-to)1466-1473
Number of pages8
JournalIEEE Transactions on Automatic Control
Volume67
Issue number3
DOIs
StatePublished - Mar 1 2022

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Computer Science Applications
  • Electrical and Electronic Engineering

Keywords

  • Cyber-physical systems
  • Petri nets (PNs)
  • discrete event systems (DESs)
  • network attack
  • supervisory control

Fingerprint

Dive into the research topics of 'Supervisory Control of Petri Nets in the Presence of Replacement Attacks'. Together they form a unique fingerprint.

Cite this