Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach
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...
Main Authors: | Yu Wang, Alper Kamil Bozkurt, Nathan Smith, Miroslav Pajic |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2023-01-01
|
Series: | IEEE Open Journal of Control Systems |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/10167797/ |
Similar Items
-
A Formal Model and Verification for HESTIA: An Automated, Adversary-Aware Risk Assessment Process for Cyber Infrastructure
by: Ananth A. Jillepalli, et al.
Published: (2022-01-01) -
On specification-based cyber-attack detection in smart grids
by: Ömer Sen, et al.
Published: (2022-09-01) -
Detecting and Localizing Cyber-Physical Attacks in Water Distribution Systems without Records of Labeled Attacks
by: Mashor Housh, et al.
Published: (2022-08-01) -
Language Recovery in Discrete-Event Systems against Sensor Deception Attacks
by: Abdeldjalil Labed, et al.
Published: (2023-05-01) -
On the Vulnerabilities Due to Manipulative Zero-Stealthy Attacks in Cyber-Physical Systems
by: Takumi Shinohara, et al.
Published: (2017-11-01)