Title: Multi-steps diagnosis of discrete event systems with Petri net models

Authors: Dimitri Lefebvre

Addresses: GREAH – University Le Havre, 25 rue Philippe Lebon, 76058 Le Havre – France

Abstract: The aim of diagnosis is to detect and isolate faults according to the observable traces generated by the system. This article concerns multi-steps diagnosis of discrete event systems modelled with ordinary Petri nets. The main contribution is to decide which sets of places must be considered for r-steps diagnosis of some fault transitions or groups of fault transitions. Conditions and algorithms are proposed that lead to sensor selection in order to design diagnosers in a systematic way without expanding the reachability graph of the Petri net models.

Keywords: fault diagnosis; discrete event systems; DES; Petri nets; sensor selection; modelling.

DOI: 10.1504/IJAIS.2010.032279

International Journal of Adaptive and Innovative Systems, 2010 Vol.1 No.2, pp.187 - 198

Published online: 28 Mar 2010 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article