Optimal Attack Strategy Compromising Diagnosability of Automated Manufacturing Systems in Labeled Petri Nets

This paper addresses the diagnosability analysis problem under malicious attacks of a discrete event system modeled by labeled Petri net. We focus on a stealthy replacement attack to alter or corrupt the observation of the system. The aim of this work is, from an attacker viewpoint, to design a stealthy replacement attack for violating the diagnosability of system. To this end, we first build a new structure, called attack verifier that is used to enumerate all the attack paths. Then an optimal attack synthesis problem in terms of minimum energy cost is formulated by determining whether a bad path is generated via solving a set of integer linear programming problems. Finally, an automated manufacturing system is provided to illustrate the proposed attack strategy.