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

  • Lutz-Ley A
  • Mellado E
  • 10


    Mendeley users who have this article in their library.
  • N/A


    Citations of this article.


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.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Alberto Lutz-Ley

  • Ernesto López Mellado

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free