Sensors selection for K-diagnosability of Petri nets via Integer Linear Programming

Basile, Francesco; Tommasi, G. De; Sterle, Claudio

doi:10.1109/med.2015.7158746

Cited by 9 publications

(10 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In (Basile, Tommasi and Sterle 2015) an Integer Linear Programming to find a minimal set of sensors of PN is presented to detect faults in at most k observations after their occurrence (k-diagnosable) ; in (Ran, Su, Giua and Seatzu, 2018) a verifier net is presented to make a codiagnosability analysis of bounded nets in decentralized PN models.…”

Section: Fault Diagnosis Of Des Have Been Widelymentioning

confidence: 99%

“…On other hands, in (Ran, Giua and Seatzu, 2019) new sensors are added to enforce the diagnosability to labelled PN under a new labelling function that implies detect faults in at most k observations after their occurrence, based on works of (Basile, Tommasi and Sterle 2015) and (Ran, Su, Giua and Seatzu, 2018), although it can cope with the state explosion problem of both works and considers a Integer Lineal Problem instead of graph analysis, it implies two algorithms to obtain the k parameter using an automaton.…”

Section: Fault Diagnosis Of Des Have Been Widelymentioning

confidence: 99%

“…If the initial marking is 3 tokens, M(p7)=3, then the firing transition sequence σ= t4t5 can be fired three times, its language is £(Q,M0)'=(t1(t2V(t4t5) 3 )*t4t3) and DH(t2,t5) = 3 < ∞, and so on. So, it is possible to determine if a fault occurs after k steps with the initial marking k in the Cr (M(p7)=k), i.e., the IPN is kdiagnosable according to (Basile, Tommasi and Sterle 2015). Moreover, if the initial marking is k the language of the IPN is £(Q,M0)'=(t1(t2V(t4t5) k )*t4t3), the language is less limited and DH(t2,t5) = k < ∞.…”

Section: Regulation Circuit Proposalmentioning

confidence: 99%

See 2 more Smart Citations

Forcing faults diagnosis in K steps in discrete event systems

2021

EJT

View full text Add to dashboard Cite

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.

show abstract

Section: Fault Diagnosis Of Des Have Been Widelymentioning

confidence: 99%