State observer for des under partial observation with time petri nets

Discrete Event Dynamic Systems: Theory and Applications

Volumn 19, Issue 2, 2009, Pages 137-165

  Ghazel, Mohamed ^a   Toguyéni, Armand ^b   Yim, Pascal ^b  

^a UNIVERSITÉ GUSTAVE EIFFEL   (France)

^b ECOLE CENTRALE DE LILLE   (France)

Author keywords

Diagnosis; Discrete event systems; Monitoring; Partial observability; State observer; Time Petri net

Indexed keywords

COMPLETE SYSTEMS; DISCRETE EVENT SYSTEMS; ON-LINE FAULT DETECTIONS; PARTIAL OBSERVABILITY; PARTIAL OBSERVATIONS; STATE OBSERVATIONS; STATE OBSERVER; SYSTEM BEHAVIORS; SYSTEM STATE; TEMPORAL CONSTRAINTS; TIME PETRI NET;

FAULT DETECTION; GRAPH THEORY; MARINE BIOLOGY; OBSERVABILITY; STATE ESTIMATION;

PETRI NETS;

EID: 64249115322     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-009-0060-0     Document Type: Article

References (16)

1. B Berthomieu M Diaz 1991 Modeling and verification of time dependent systems using Petri nets IEEE Trans Software Eng 17 259 273
2. B Berthomieu PO Ribet F Vernadat 2004 The tool TINA-construction of abstract state spaces for petri nets and time petri nets Int J Prod Res 42 2741 2756
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
5. Diaz M (2001) Les réseaux de Petri, modèles fondamentaux, Hermès
6. M Ghazel M Bigand AKA Toguyéni 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. DN Pandalai LE Holloway 2000 Template languages for fault monitoring of discrete event processes IEEE Trans Automat Contr 45 868 882 May
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. R Sampath K Sinnamohideen S Lafortune D Teneketzis 1996 Failure diagnosis using discrete event models IEEE Trans Control Syst Technol 4 105 124
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
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