Diagnosis of modular discrete event systems 1

Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis

doi:10.1016/s1474-6670(17)30767-x

Cited by 15 publications

(11 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The same consideration motivates our choice of Petri net structures as a means to mitigate the combinatorial explosion that occurs when modular models are converted to monolithic ones. Our approach is different from that in related work such as [4], [8], [13], [14] and thus our work is complementary to these references.…”

Section: Introductionmentioning

confidence: 96%

“…The methodology termed the "Diagnoser Approach", introduced in [2] and subsequently extended in several works including [3], [4], is of particular relevance to the present paper. The key feature of the Diagnoser Approach is the use of a special discrete-event process called the diagnoser.…”

Section: Introductionmentioning

confidence: 99%

“…Systems possessing modular structures are receiving more and more attention in the recent literature on diagnosis, verification, and control of discrete-event systems; see, e.g., [4], [8], [9], [12], [13]. The suitability of Petri nets to model distributed systems was a key motivation for the use of Petri net structures in the work in [8] on alarm supervision in telecommunication networks.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Distributed Diagnosis of Place-Bordered Petri Nets

Genç

Lafortune

2007

IEEE Trans. Automat. Sci. Eng.

124

View full text Add to dashboard Cite

Abstract-This paper studies on-line fault detection and isolation of modular dynamic systems modeled as sets of place-bordered Petri nets. The common places among the set of Petri nets modeling a system capture coupling of various system components. The transitions are labeled by events, some of which are unobservable, i.e., not directly recorded by the sensors attached to the system. The events whose occurrence must be diagnosed have unobservable transition labels. These events model faults or other significant changes in the system state. The existing theory of diagnosis of discrete-event systems is extended in the context of the above model. The modular structure of the system is exploited by a distributed algorithm for fault diagnosis. A Petri net diagnoser is associated to every Petri net and the diagnosers communicate in real-time during the diagnostic process when the token count of common places changes. A merge function is defined to combine the individual diagnoser states and recover the complete diagnoser state that would be obtained under a monolithic approach. Strategies that reduce the communication overhead are presented. The software implementation of the distributed algorithm is discussed.Note to practitioner -In the last decade monitoring, fault detection, and diagnosis methodologies based on the use of discrete-event models have been successfully used in a variety of technological systems ranging from document processing systems to intelligent transportation systems. This paper was motivated by the problem of fault diagnosis for modular (distributed) dynamic discreteevent systems (DES). As a DES modeling formalism, Petri nets offer potential advantages in terms of the distributed representation of the system and of the ability to represent coupling of the system components. The systems studied in this paper are sets of modules coupled with each other through various system components and modeled using Petri nets. We present a distributed fault diagnosis algorithm which allows each module in the distributed system to diagnose its faults independently unless completion of a task requires the use of coupled components.

show abstract

Section: Introductionmentioning

confidence: 96%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Distributed Diagnosis of Place-Bordered Petri Nets

Genç

Lafortune

2007

IEEE Trans. Automat. Sci. Eng.

124

View full text Add to dashboard Cite

show abstract

“…The cycles in the diagnoser are used to determine when the DES is diagnosable. Recently, fault diagnosis of DES has been addressed through a distributed approach allowing breaking down the complexity when dealing with large and complex systems (Benveniste, et al, 2003;O. Contant, et al, 2004;Debouk, et al, 2000;Genc & Lafortune, 2003;Jiroveanu & Boel, 2003;Pencolé, 2004;Arámburo-Lizárraga, et al, 2005).…”

Section: Introductionmentioning

confidence: 99%

“…In (Debouk, et al, 2000) it is proposed a decentralized and modular approach to perform failure diagnosis based on Sampath's results (Sampath, et al, 1995). In (Contant, et al, 2004) and (Pencolé, 2004) the authors presented incremental algorithms to perform diagnosability analysis based on (Sampath, et al, 1995) in a distributed way; they consider systems whose components evolve by the occurrence of events; the parallel composition leads to a complete system model intractable. In (Genc & Lafortune, 2003) it is proposed a method that handles the reachability graph of the PN model in order to perform the analysis similarly to (Sampath, et al, 1995); based on design considerations the model is partitioned into two labelled PN and it is proven that the distributed diagnosis is equivalent to the centralized diagnosis; later, (Genc & Lafortune, 2005) extend the results to systems modeled by several labelled PN that share places, and present an algorithm to determine distributed diagnosis.…”

Section: Introductionmentioning

confidence: 99%

Fault Diagnosis in Discrete Event Systems Using Interpreted Petri Nets

Jesus¹,

Ramírez-Treviño²,

López-Mellado³

et al. 2008

Advances in Robotics, Automation and Control

View full text Add to dashboard Cite

Trellis Processes : A Compact Representation for Runs of Concurrent Systems

Fabre

2007

Discrete Event Dyn Syst

View full text Add to dashboard Cite

The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offline) to failure diagnosis (on-line). Their factorization properties form the basis of modular/distributed algorithms to achieve these tasks. The trellis structure proposed here is an alternate and more compact representation for the trajectory set of a concurrent system. In this structure, time is unfolded, but not the conflict relations. Trellis nets are the generalization to concurrent systems of the usual notion of trellis for an automaton. As for unfoldings, factorization properties are evidenced on trellises, which makes these more compact structures a possible candidate for distributed model checking or diagnosis algorithms. As an example, we show how trellises can be used for diagnosis purposes in a distributed observation setting.

show abstract

Diagnosis of modular discrete event systems 1

Cited by 15 publications

References 9 publications

Distributed Diagnosis of Place-Bordered Petri Nets

Distributed Diagnosis of Place-Bordered Petri Nets

Fault Diagnosis in Discrete Event Systems Using Interpreted Petri Nets

Trellis Processes : A Compact Representation for Runs of Concurrent Systems

Contact Info

Product

Resources

About