Fault diagnosis of discrete-event systems based on the symbolic observation graph
by Abderraouf Boussif; Mohamed Ghazel; Kais Klai
International Journal of Critical Computer-Based Systems (IJCCBS), Vol. 8, No. 2, 2018

Abstract: Fault diagnosis of discrete-event systems (DESs) has received a lot of attention in industry and academia during the last two decades. In DES based diagnosis, the two main discussed topics are offline diagnosability analysis and online diagnosis. A pioneering approach that led to the development of various techniques is based on the so-called diagnose. However, this approach suffers from the combinatorial explosion problem due to the exponential complexity of construction. To partially overcome this problem, an efficient approach to construct a symbolic diagnoser is proposed in this paper. The proposed approach consists in constructing a diagnoser based on the symbolic observation graph (SOG), which combines symbolic and enumarative representations. The construction of the diagnoser as well as the verification of diagnosability are performed simultaneously on the fly, which can considerably reduce the state space of the diagnoser and thus the overall running time. To evaluate the efficiency and the scalability of the approach, some experimental results are presented and discussed based on a DES benchmark.

Online publication date: Thu, 15-Nov-2018

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Critical Computer-Based Systems (IJCCBS):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com