ID PW
 
* Join the Member of ICROS 
* Need your ID or Password?
 
 
 
Subject Keyword Abstract Author
 
 
Optimistic Fault Diagnosis in Discrete Event Systems by Labeled Petri Nets and Basis Markings

Guanghui Zhu, Jiafeng Zhang, Zhong Zheng, Shan Luan, Te Chen, Qiang Ma, and Zhiwu Li*
International Journal of Control, Automation, and Systems, vol. 20, no. 6, pp.1891-1903, 2022

Abstract : This paper deals with the fault diagnosis problem of discrete event systems modeled with labeled Petri nets. Its main contributions are threefold. First, depending on whether a diagnosis function examines the fault transitions that possibly occur after the last observed event, we formally divide the diagnosis functions into two types: optimistic and pessimistic, which aims to facilitate the exploration of different diagnosis approaches. Second, a framework is proposed, which extends a given diagnosis approach for Petri nets to the case of labeled Petri nets. The main idea of the framework is to compute and combine the diagnosis results of observable transition sequences corresponding to an observed word. Third, we convert a basis-marking-based approach that is originally pessimistic to the optimistic case and prove the correctness of this conversion.

Keyword : Basis marking, discrete event system, fault diagnosis, Petri net.

 
Copyright ⓒ ICROS. All rights reserved.
Institute of Control, Robotics and Systems, Suseo Hyundai-Ventureville 723, Bamgogae-ro 1-gil 10, Gangnam-gu, Seoul 06349, Korea
Homepage http://eng.icros.org | Tel. +82-2-6949-5801 (ext. 3) | Fax. +82-2-6949-5807 | E-mail icros@icros.org