Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach

Yu Wang,Alper Kamil Bozkurt,Nathan Smith,Miroslav Pajic
2023-06-29
Abstract:Resilience to sensor and actuator attacks is a major concern in the supervisory control of discrete events in cyber-physical systems (CPS). In this work, we propose a new framework to design supervisors for CPS under attacks using finite-state transducers (FSTs) to model the effects of the discrete events. FSTs can capture a general class of regular-rewriting attacks in which an attacker can nondeterministically rewrite sensing/actuation events according to a given regular relation. These include common insertion, deletion, event-wise replacement, and finite-memory replay attacks. We propose new theorems and algorithms with polynomial complexity to design resilient supervisors against these attacks. We also develop an open-source tool in Python based on the results and illustrate its applicability through a case study
Formal Languages and Automata Theory,Systems and Control
What problem does this paper attempt to address?
The paper aims to address the issue of supervisory control in Cyber-Physical Systems (CPS) when sensors and actuators are under attack. Specifically, the authors propose a new framework that uses Finite-State Transducers (FST) to model the impact of discrete events and design supervisory controllers that can withstand these attacks. In CPS, sensors and actuators may suffer from various types of attacks, such as insertion, deletion, substitution, and limited-memory replay attacks. Existing research typically deals with simple and history-independent attack strategies, whereas this paper considers more complex and history-dependent attack strategies. The main contributions of the paper include: 1. **Proposing the use of FST to model attack behaviors**: FST can capture complex, history-dependent attack strategies and intuitively represent the attacker's behavior. 2. **Developing a synthesis algorithm**: A constructive algorithm with polynomial complexity is proposed to synthesize supervisory controllers that can keep the system's execution within the allowable set under attack. 3. **Developing open-source tools**: Based on the theoretical results, a Python tool was developed and its application was demonstrated through case studies. This work improves upon the authors' previous results by extending the use of FST to model plant models and developing an open-source tool to demonstrate its practicality. Additionally, the paper provides a detailed comparison with other related works, highlighting its advantages in handling complex attack strategies.