Forcing faults diagnosis in K steps in discrete event systems

Abstract

Discrete Event Systems occur naturally in engineering practice and include industrial processes, production systems, robotics, among others. So, its diagnosis is important. The aim of this work is to present a new approach to enforce faults diagnosis in Discrete Event Systems modeled by Interpreted Petri nets without limited to much its language. This approach is based on a Regulation Circuit that reduces the relative distance between any two pair of transitions that prevent the detection of the firing of transitions whose occurrence indicates that a fault occurred. By modifying the initial marks of the net that make up the Regulation Circuit, language limitation is avoided, and the diagnosis is established in k steps. First, the terminology used in the Interpreted Petri nets and the diagnosis are established, then the relationship between theses nets and the Regulation Circuit is reviewed to determine the characterization of nets where they can be added, they are analysed and then the proposal is made. The proposal is an option to force faults diagnosis in binary Interpreted Petri nets that are not diagnosable without limiting so much its language that represents their behavior.