Supervisory Control of Discrete Event Systems in the Presence of Sensor and Actuator Attacks

Conference Paper

This work focuses on control of discrete event systems (DES) in the presence of attacks on their inputs and outputs. We propose to model such attacks as nondeterministic finite state transducers (FSTs) and show how FSTs can be used to capture a very wide class of attacks including all previously considered attacks on DES, as well as additional attacks and attack features reported in recent security incidents. We study the supervisory control problem in cases when attacks occur: (i) only on the sensors, (ii) only on the actuators, and (iii) both on the actuators and sensors of the plant. For each case, we present new sets of controllability theorems and synthesizing algorithms for attack-resilient supervisors. On a series of examples, we illustrate the use of our approach for modeling and design of such security-aware supervisory control.

Full Text

Duke Authors

Cited Authors

  • Wang, Y; Pajic, M

Published Date

  • December 1, 2019

Published In

Volume / Issue

  • 2019-December /

Start / End Page

  • 5350 - 5355

Electronic International Standard Serial Number (EISSN)

  • 2576-2370

International Standard Serial Number (ISSN)

  • 0743-1546

International Standard Book Number 13 (ISBN-13)

  • 9781728113982

Digital Object Identifier (DOI)

  • 10.1109/CDC40024.2019.9029767

Citation Source

  • Scopus