Decentralized diagnosis and diagnosability by model checking - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Universal Journal of Control and Automation Année : 2013

Decentralized diagnosis and diagnosability by model checking

Résumé

This paper talks about a decentralized approach for diagnosis of discrete event systems based on the plant decomposition. A decentralized structure is used to avoid state space explosion found in centralized structure or decentralized structure with composition step. From plant models, all possible faults are identified to construct abnormal behavior models called diagnosers. Originality of this proposition is also to used model-checking to verify diagnosability of the system. The approach is illustrated using an academic benchmark.
Fichier principal
Vignette du fichier
ujca.2013.010202_2.pdf (1.1 Mo) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-00870135 , version 1 (05-10-2013)

Identifiants

Citer

Philippot Alexandre, Pascale Marangé, François Gellot, Bernard Riera. Decentralized diagnosis and diagnosability by model checking. Universal Journal of Control and Automation, 2013, 1 (2), pp.28-33. ⟨10.13189/ujca.2013.010202⟩. ⟨hal-00870135⟩
158 Consultations
170 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More