Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification AttacksOACSTPCD

In this paper,we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur.In particular,we focus on the problem of liveness enforcement and consider a sensor-reading modification attack(SM-attack)that may disguise the occurrence of an event as that of another event by intruding sensor communication channels.To solve the problem,we introduce non-deterministic supervisors in the paper,which associate to every observed sequence a set of possible control actions offline and choose a control action from the set randomly online to control the system.Specifically,given a bounded Petri net(PN)as the reference formalism and an SM-attack,an algorithm that synthesizes a liveness-enforcing non-deterministic supervisor tolerant to the SM-attack is proposed for the first time.