Synthesis of Fault Recovery Sequences in a Class of Controlled Discrete Event Systems Modelled With Petri Nets

In this paper a fault recovery method for controlled discrete event systems is presented. It focuses on systems that are modeled by a class on Interpreted Petri nets which describes modularly the controller, the plant components, and the closed loop relationship. First, the notion of fault recovery is introduced, which is based on the state stability property. Then, a class of output tracking closed-loop model is described. Afterwards, a method for the synthesis of fault tolerant controllers based on the augmenting of the existing specification is proposed and illustrated with a case study from the manufacturing area.