What topology tells us about diagnosability in partial order semantics
- 124 Downloads
From a partial observation of the behaviour of a labeled Discrete Event System, fault diagnosis strives to determine whether or not a given “invisible” fault event has occurred. The diagnosability problem can be stated as follows: does the labeling allow for an outside observer to determine the occurrence of the fault, no later than a bounded number of events after that unobservable occurrence? When this problem is investigated in the context of concurrent systems, partial order semantics adds to the difficulty of the problem, but also provides a richer and more complex picture of observation and diagnosis. In particular, it is crucial to clarify the intuitive notion of “time after fault occurrence”. To this end, we will use a unifying metric framework for event structures, providing a general topological description of diagnosability in both sequential and nonsequential semantics for Petri nets.
KeywordsDiscrete event systems Diagnosis Petri nets Events Observability Partial order semantics Event structures
This work was partly supported by the European Community’s 7th Framework Programme under project DISC (DIstributed Supervisor Control of large plants), Grant Agreement INFSO-ICT-224498.
- Bauer A, Pinchinat S (2008) A topological perspective on diagnosis. In: 9th international workshop on discrete event systems, Gothenburg, SwedenGoogle Scholar
- Bonizzoni P, Mauri G, Pighizzini G (1990) About infinite traces. Report TUM-I9002, TU MünchenGoogle Scholar
- Haar S (2007) Unfold and cover: qualitative diagnosability for Petri nets. In: Proceedings of the 46th IEEE conference on decision and control (CDC’07), New Orleans, LA, USA. IEEE Control System Society, pp 1886–1891Google Scholar
- Haar S (2009) Qualitative diagnosability of labeled Petri nets revisited. In: Proceedings of the joint 48th IEEE conference on decision and control (CDC’09) and 28th Chinese control conference (CCC’09), Shanghai, China. IEEE Control System Society, pp 1248–1253Google Scholar
- Haar S (2010a) What topology tells us about diagnosability in partial order semantics. In: Proceedings of the 10th workshop on discrete event systems (WODES’10), Berlin, GermanyGoogle Scholar
- Haar S, Benveniste A, Fabre É, Jard C (2003) Partial order diagnosability of discrete event systems using Petri net unfoldings. In: Proceedings of the 42nd IEEE conference on decision and control (CDC’03), vol 4, Hawaii, USA. IEEE Control System Society, pp 3748–3753Google Scholar
- Lafortune S, Seatzu C, Cabasino MP, Giua A (2009) Diagnosability analysis of unbounded Petri nets. In: Proc of 48th IEEE conference on decision and control (CDC)Google Scholar
- Madalinski A, Nouioua F, Dague P (2010) Diagnosability verification with petri net unfoldings. KES J 14(2):49–55Google Scholar
- Seatzu C, Cabasino MP, Giua A (2009) Diagnosability of bounded Petri nets. In: Proc. of 48th IEEE conference on decision and control (CDC)Google Scholar
- Wang Y, Lafortune S, Yoo T-S (2005) Decentralized diagnosis of discrete event systems using unconditional and conditional decisions. In: Proc 44th CDCGoogle Scholar
- Winskel G (1987) Event structures. In: Advances in Petri nets, no. 255 in LNCS. Springer, New York, pp 325–392Google Scholar