Online fault diagnosis in Petri net models of discrete-event systems using Fourier-Motzkin

Ahmed Al-Ajeli, David Parker

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
156 Downloads (Pure)

Abstract

This paper presents a new approach for the fault diagnosis problem in partially observable discrete-event systems modelled with Petri nets. Our approach is based on the use of the Integer Fourier-Motzkin Elimination (IFME) method. The fault diagnosis problem is solved by first creating an initial set of inequalities from the state equation of a Petri net. The occurrence or absence of faults can also be expressed by inequalities. After adding these inequalities to the initial set, we apply the IFME method to eliminate the variables corresponding to unobservable transitions. The resulting set of inequalities is used for the purpose of diagnosis. We prove the correctness of our approach for both bounded and unbounded Petri nets with no cycles of unobservable transitions.
Original languageEnglish
Title of host publicationProceedings of the 12th UKACC International Conference on Control
PublisherIEEE Xplore
Pages397-402
Number of pages6
DOIs
Publication statusPublished - 1 Nov 2018
Event12th UKACC International Conference on Control (Control 2018) - Sheffield, United Kingdom
Duration: 5 Sep 20187 Sep 2018

Conference

Conference12th UKACC International Conference on Control (Control 2018)
Country/TerritoryUnited Kingdom
CitySheffield
Period5/09/187/09/18

Fingerprint

Dive into the research topics of 'Online fault diagnosis in Petri net models of discrete-event systems using Fourier-Motzkin'. Together they form a unique fingerprint.

Cite this