Skip to Main content Skip to Navigation
Theses

An Efficient Approach for Diagnosability and Diagnosis of DES Based on Labeled Petri Nets : Untimed and Timed Contexts

Abstract : This PhD thesis deals with fault diagnosis of discrete event systems using Petri net models. Some on-the-fly and incremental techniques are developed to reduce the state explosion problem while analyzing diagnosability. In the untimed context, an algebraic representation for labeled Petri nets (LPNs) is developed for featuring system behavior. The diagnosability of LPN models is tackled by analyzing a series of K-diagnosability problems. Two models called respectively FM-graph and FM-set tree are developed and built on the fly to record the necessary information for diagnosability analysis. Finally, a diagnoser is derived from the FM-set tree for online diagnosis. In the timed context, time interval splitting techniques are developed in order to make it possible to generate a state representation of labeled time Petri net (LTPN) models, for which techniques from the untimed context can be used to analyze diagnosability. Based on this, necessary and sufficient conditions for the diagnosability of LTPN models are determined. Moreover, we provide the solution for the minimum delay ∆ that ensures diagnosability. From a practical point of view, diagnosability analysis is performed on the basis of on-the-fly building of a structure that we call ASG and which holds fault information about the LTPN states. Generally, using on-the-fly analysis and incremental technique makes it possible to build and investigate only a part of the state space, even in the case when the system is diagnosable. Simulation results obtained on some chosen benchmarks show the efficiency in terms of time and memory compared with the traditional approaches using state enumeration
Document type :
Theses
Complete list of metadata

Cited literature [126 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01267284
Contributor : Abes Star :  Contact
Submitted on : Thursday, February 4, 2016 - 11:05:06 AM
Last modification on : Saturday, December 18, 2021 - 3:05:09 AM
Long-term archiving on: : Saturday, November 12, 2016 - 9:05:00 AM

File

Liu_Baisi_DLE.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01267284, version 1

Citation

Baisi Liu. An Efficient Approach for Diagnosability and Diagnosis of DES Based on Labeled Petri Nets : Untimed and Timed Contexts. Automatic. Ecole Centrale de Lille, 2014. English. ⟨NNT : 2014ECLI0007⟩. ⟨tel-01267284⟩

Share

Metrics

Les métriques sont temporairement indisponibles