Detection of Actuator Enablement Attacks by Petri Nets in Supervisory Control Systems

Zhenhua Yu, Xudong Duan, Xuya Cong (), Xiangning Li () and Li Zheng
Additional contact information
Zhenhua Yu: College of Computer Science and Technology, Xi’an University of Science and Technology, Xi’an 710054, China
Xudong Duan: College of Computer Science and Technology, Xi’an University of Science and Technology, Xi’an 710054, China
Xuya Cong: College of Computer Science and Technology, Xi’an University of Science and Technology, Xi’an 710054, China
Xiangning Li: School of Mechano-Electronic Engineering, Xidian University, Xi’an 710071, China
Li Zheng: School of Foreign Languages, Changji College, Changji 831100, China

Mathematics, 2023, vol. 11, issue 4, 1-23

Abstract: The feedback control system with network-connected components is vulnerable to cyberattacks. We study a problem of attack detection in supervisory control of discrete-event systems. The scenario of a system subjected to actuator enablement attacks is considered in this article. We also consider that some unsafe places that should be protected from an attacker exist in the system, and some controllable events that are disabled by a supervisor might be re-enabled by an attacker. This article proposes a defense strategy to detect actuator enablement attacks and disable all controllable events after detecting an attack. We design algorithmic procedures to determine whether the system can be protected against damage caused by actuator enablement attacks, where the damage is predefined as a set of “unsafe” places. In this way, the system property is called “AE-safe controllability”. The safe controllability can be verified by using a basis diagnoser or a basis verifier. Finally, we explain the approach with a cargo system example.

Keywords: Petri nets; discrete event systems; actuator enablement attacks; supervisory control (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2023
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (3)

Downloads: (external link)
https://www.mdpi.com/2227-7390/11/4/943/pdf (application/pdf)
https://www.mdpi.com/2227-7390/11/4/943/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:11:y:2023:i:4:p:943-:d:1066513

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().