Abstract: This research focuses on the forbidden state problem in the framework of labeled Petri nets (LPNs), i.e., to design a supervisor for a plant modeled by an LPN such that the closed-loop ...
Abstract: This article formalizes and solves the problems of diagnosability verification and enforcement in discrete event systems modeled with labeled Petri nets (LPNs) under sensor attacks. Given a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results