Journals Information
Universal Journal of Control and Automation(CEASE PUBLICATION) Vol. 1(2), pp. 28 - 33
DOI: 10.13189/ujca.2013.010202
Reprint (PDF) (1127Kb)
Decentralized Diagnosis and Diagnosability by Model Checking
A. Philippot1,*, P. Marang茅2, F. Gellot1, R. Riera1
1 Research Centre of STIC (CReSTIC), University of Reims Champagne-Ardenne (URCA), Reims, France
2 Research Centre in Automation of Nancy (CRAN), University of Lorraine, CNRS, Vand艙uvre-l猫s-Nancy, France
ABSTRACT
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.
KEYWORDS
Discrete Events Systems, Diagnosis, Model Checking, Manufacturing systems
Cite This Paper in IEEE or APA Citation Styles
(a). IEEE Format:
[1] A. Philippot , P. Marang茅 , F. Gellot , R. Riera , "Decentralized Diagnosis and Diagnosability by Model Checking," Universal Journal of Control and Automation(CEASE PUBLICATION), Vol. 1, No. 2, pp. 28 - 33, 2013. DOI: 10.13189/ujca.2013.010202.
(b). APA Format:
A. Philippot , P. Marang茅 , F. Gellot , R. Riera (2013). Decentralized Diagnosis and Diagnosability by Model Checking. Universal Journal of Control and Automation(CEASE PUBLICATION), 1(2), 28 - 33. DOI: 10.13189/ujca.2013.010202.