×

State observer for DES under partial observation with time Petri nets. (English) Zbl 1169.93366

Summary: This paper deals with a state observation approach for discrete event systems with a known behavior. The system behavior is modeled using a time Petri net model. The proposed approach exploits temporal constraints to assess the system state and therefore detect and determine faults given partial observability of events. The goal here is to track the system state and to identify the event scenarios which occur on the system. Our approach uses the class graph of the time Petri net which models the complete system behavior to develop a state observer which is a base to perform online fault detection and diagnosing.

MSC:

93C65 Discrete event control/observation systems
93B07 Observability

Software:

TINA
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using Petri nets. IEEE Trans Software Eng 17:259–273 · Zbl 05113493 · doi:10.1109/32.75415
[2] Berthomieu B, Ribet PO, Vernadat F (2004) The tool TINA–construction of abstract state spaces for petri nets and time petri nets. Int J Prod Res 42:2741–2756 · Zbl 1060.68695 · doi:10.1080/00207540412331312688
[3] Boel RK, Jiroveanu G (2004) Distributed contextual diagnosis for very large systems. In 17th workshop on discrete event systems (WODES’04). Reims, France
[4] Chatain T, Jard C (2005) Time supervision of concurrent systems using symbolic unfolding of time Petri nets. In: International conference on formal modeling and analysis of time systems. Uppsala, Sweden · Zbl 1175.68274
[5] Diaz M (2001) Les réseaux de Petri, modèles fondamentaux, Hermès
[6] Ghazel M, Bigand M, Toguyéni AKA (2005) Exploitation des contraintes temporelles pour le suivi temps-réel des SEDs. Journal Européen des Systèmes Automatisés (JESA) 39:143–158
[7] Ghazel M, Toguyéni A, Bigand M (2006) A semi-formal approach to build the functional graph of an automated production system for supervision purposes. In: Internation journal of computer integrated manufacturing (IJCIM), vol 19. Taylor & Francis, London, pp 234–247
[8] Lafortune S, Sampath M (2000) Discrete event systems approach to failure diagnosis: theory and applications. In: 11th international workshop on principles of diagnosis
[9] Merlin P (1974) A study of the recoverability of computer system. PhD thesis, University of California
[10] Pandalai DN, Holloway LE (2000) Template languages for fault monitoring of discrete event processes. IEEE Trans Automat Contr 45:868–882, May · Zbl 0979.93071 · doi:10.1109/9.855548
[11] Pradin B, Valette R (2001) Accessibilité de marquage et logique linéaire dans un réseau de Petri t-temporel, Journ’ees Formalisation des Activités Concurrentes, FAC’2000, CERT-IRIT-LAAS, Toulouse 18–19 mai , pp 123–134
[12] Sampath R, Sinnamohideen K, Lafortune S, Teneketzis D (1996) Failure diagnosis using discrete event models. IEEE Trans Control Syst Technol 4:105–124 · doi:10.1109/87.486338
[13] Toguyéni A, Craye E, Gentina JC (1997) Time and reasoning for on-line diagnosis of failures in flexible manufacturing systems. In: Proceedings of the 15th IMACS world congress on scientific computation, modeling, and applied mathematics, vol. 6. Berlin, Germany, pp 709–714
[14] Tripakis S (2002) Fault diagnosis for timed automata. In: Formal techniques in real time and fault tolerant systems, LNCS2469, Springer, New York · Zbl 1278.68140
[15] Ushio T, Onishi I, Okuda K (1998) Fault detection based on Petri net models with faulty behaviors. In: Proceeding of IEEE international conference on systems, man, and cybernetics, pp 113–118
[16] Zad SH, Kwong RH, Wonham WM (1999) Fault diagnosis in timed discrete-event systems. In: 38th conference on decision & control. Phoenix, Arizona, USA, pp. 1756–1761
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.