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

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