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

Abstract

This work 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)
JournalIEEE Transactions on Automatic Control
DOIs
StateAccepted/In press - 2021

All Science Journal Classification (ASJC) codes

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

Keywords

  • attacks
  • Automata
  • Discrete event systems
  • Firing
  • Monitoring
  • Optimal control
  • Petri nets
  • Petri nets
  • Robust control
  • supervisory control
  • 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