Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach

Research output: Contribution to journalArticlepeer-review

Standard

Fault diagnosis in labelled Petri nets : a Fourier-Motzkin based approach. / Al-Ajeli, Ahmed ; Parker, David.

In: Automatica, Vol. 132, 109831, 10.2021.

Research output: Contribution to journalArticlepeer-review

Harvard

APA

Vancouver

Author

Bibtex

@article{9f069a195b1d484f92146f14d55c8e7f,
title = "Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach",
abstract = "We propose techniques for fault diagnosis in discrete-event systems modelled by labelled Petri nets, where fault events are modelled as unobservable transitions. The proposed approach combines an offline and an online algorithm. The offline algorithm constructs a diagnoser in the form of sets of inequalities that capture the legal, normal and faulty behaviour. To implement the offline algorithm, we adopt the Fourier–Motzkin method for elimination of variables from these sets of inequalities. Upon observing an event, the diagnoser is used to determine whether a fault occurred or might have occurred. The occurrence of a fault can be verified by checking the observed sequence against the sets of inequalities. This approach has the advantage that the tradeoff between the size of the diagnoser and the time for computing the diagnosis is achieved. In addition, fault diagnosis in both bounded and unbounded Petri nets can be addressed.",
keywords = "Discrete-event systems, Petri nets, Fault diagnosis, Fourier–Motzkin elimination",
author = "Ahmed Al-Ajeli and David Parker",
year = "2021",
month = oct,
doi = "10.1016/j.automatica.2021.109831",
language = "English",
volume = "132",
journal = "Automatica",
issn = "0005-1098",
publisher = "Elsevier",

}

RIS

TY - JOUR

T1 - Fault diagnosis in labelled Petri nets

T2 - a Fourier-Motzkin based approach

AU - Al-Ajeli, Ahmed

AU - Parker, David

PY - 2021/10

Y1 - 2021/10

N2 - We propose techniques for fault diagnosis in discrete-event systems modelled by labelled Petri nets, where fault events are modelled as unobservable transitions. The proposed approach combines an offline and an online algorithm. The offline algorithm constructs a diagnoser in the form of sets of inequalities that capture the legal, normal and faulty behaviour. To implement the offline algorithm, we adopt the Fourier–Motzkin method for elimination of variables from these sets of inequalities. Upon observing an event, the diagnoser is used to determine whether a fault occurred or might have occurred. The occurrence of a fault can be verified by checking the observed sequence against the sets of inequalities. This approach has the advantage that the tradeoff between the size of the diagnoser and the time for computing the diagnosis is achieved. In addition, fault diagnosis in both bounded and unbounded Petri nets can be addressed.

AB - We propose techniques for fault diagnosis in discrete-event systems modelled by labelled Petri nets, where fault events are modelled as unobservable transitions. The proposed approach combines an offline and an online algorithm. The offline algorithm constructs a diagnoser in the form of sets of inequalities that capture the legal, normal and faulty behaviour. To implement the offline algorithm, we adopt the Fourier–Motzkin method for elimination of variables from these sets of inequalities. Upon observing an event, the diagnoser is used to determine whether a fault occurred or might have occurred. The occurrence of a fault can be verified by checking the observed sequence against the sets of inequalities. This approach has the advantage that the tradeoff between the size of the diagnoser and the time for computing the diagnosis is achieved. In addition, fault diagnosis in both bounded and unbounded Petri nets can be addressed.

KW - Discrete-event systems

KW - Petri nets

KW - Fault diagnosis

KW - Fourier–Motzkin elimination

U2 - 10.1016/j.automatica.2021.109831

DO - 10.1016/j.automatica.2021.109831

M3 - Article

VL - 132

JO - Automatica

JF - Automatica

SN - 0005-1098

M1 - 109831

ER -