Attackable detectability of partially-observed discrete-event systems under sensor attack
Qinrui Chen, Rong Su, Zhiwu Li · IFAC-PapersOnLine · 2022
This paper focuses on the problem of the detectability in the setting of partially-observed discrete event systems subject to sensor attackers. We assume the attacker can arbitrarily alter sensor readings after intercepting them from a target system, aiming to trick a given supervisor to issue improper control commands, which may lead the system not be strongly or weakly detectable. The definitions of attackable strong detectability and attackable weak detectability are presented. Necessary and sufficient conditions for two types of detectability are then presented respectively based on the observer construction.