Fourier-Motzkin method for failure diagnosis in petri net models of discrete event systems

Ahmed Al-Ajeli; Behzad Bordbar

doi:10.1109/WODES.2016.7497843

Fourier-Motzkin method for failure diagnosis in petri net models of discrete event systems

Ahmed Al-Ajeli, Behzad Bordbar

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Citations (Scopus)

218 Downloads (Pure)

Abstract

This paper presents a new technique for failure diagnosis in partially observable discrete event systems modelled as Petri nets. In this new technique we adopt Integer Fourier-Motzkin Elimination (IFME) method. We start with a Petri net and produce the state equations. The state equations are a set of integer valued inequalities in variables that represent number of firing of transitions. Occurrences of failure can also be expressed by inequalities. Then we extend the set of inequalities obtained from the state equations to two new sets. The first is created from adding the inequality for failure. The second is created from adding the negation of the inequality for failure. Applying the IFME method to the two resulting sets of inequalities, the variables corresponding to unobservable transitions will be eliminated. Then we prove that for acyclic Petri nets, the reduced set of inequalities after the elimination can be used to diagnose failures.

Original language	English
Title of host publication	Proceedings of the 13th International Workshop on Discrete Event Systems (WODES 2016)
Publisher	IEEE Computer Society Press
Number of pages	6
DOIs	https://doi.org/10.1109/WODES.2016.7497843
Publication status	E-pub ahead of print - 23 Jun 2016
Event	13th International Workshop on Discrete Event Systems (WODES 2016) - Xi'an, China Duration: 30 May 2016 → 1 Jun 2016

Conference

Conference	13th International Workshop on Discrete Event Systems (WODES 2016)
Period	30/05/16 → 1/06/16

Access to Document

10.1109/WODES.2016.7497843

Al-Ajeli_Bordbar_Fourier-Motzkin_Method_Accepted
2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works Validated 17/6/2016
Accepted author manuscript, 366 KBLicence: None: All rights reserved

Cite this

@inproceedings{1fb40ccbc29644c0b47832afafaef831,

title = "Fourier-Motzkin method for failure diagnosis in petri net models of discrete event systems",

abstract = "This paper presents a new technique for failure diagnosis in partially observable discrete event systems modelled as Petri nets. In this new technique we adopt Integer Fourier-Motzkin Elimination (IFME) method. We start with a Petri net and produce the state equations. The state equations are a set of integer valued inequalities in variables that represent number of firing of transitions. Occurrences of failure can also be expressed by inequalities. Then we extend the set of inequalities obtained from the state equations to two new sets. The first is created from adding the inequality for failure. The second is created from adding the negation of the inequality for failure. Applying the IFME method to the two resulting sets of inequalities, the variables corresponding to unobservable transitions will be eliminated. Then we prove that for acyclic Petri nets, the reduced set of inequalities after the elimination can be used to diagnose failures.",

author = "Ahmed Al-Ajeli and Behzad Bordbar",

year = "2016",

month = jun,

day = "23",

doi = "10.1109/WODES.2016.7497843",

language = "English",

booktitle = "Proceedings of the 13th International Workshop on Discrete Event Systems (WODES 2016)",

publisher = "IEEE Computer Society Press",

note = "13th International Workshop on Discrete Event Systems (WODES 2016) ; Conference date: 30-05-2016 Through 01-06-2016",

}

TY - GEN

T1 - Fourier-Motzkin method for failure diagnosis in petri net models of discrete event systems

AU - Al-Ajeli, Ahmed

AU - Bordbar, Behzad

PY - 2016/6/23

Y1 - 2016/6/23

N2 - This paper presents a new technique for failure diagnosis in partially observable discrete event systems modelled as Petri nets. In this new technique we adopt Integer Fourier-Motzkin Elimination (IFME) method. We start with a Petri net and produce the state equations. The state equations are a set of integer valued inequalities in variables that represent number of firing of transitions. Occurrences of failure can also be expressed by inequalities. Then we extend the set of inequalities obtained from the state equations to two new sets. The first is created from adding the inequality for failure. The second is created from adding the negation of the inequality for failure. Applying the IFME method to the two resulting sets of inequalities, the variables corresponding to unobservable transitions will be eliminated. Then we prove that for acyclic Petri nets, the reduced set of inequalities after the elimination can be used to diagnose failures.

AB - This paper presents a new technique for failure diagnosis in partially observable discrete event systems modelled as Petri nets. In this new technique we adopt Integer Fourier-Motzkin Elimination (IFME) method. We start with a Petri net and produce the state equations. The state equations are a set of integer valued inequalities in variables that represent number of firing of transitions. Occurrences of failure can also be expressed by inequalities. Then we extend the set of inequalities obtained from the state equations to two new sets. The first is created from adding the inequality for failure. The second is created from adding the negation of the inequality for failure. Applying the IFME method to the two resulting sets of inequalities, the variables corresponding to unobservable transitions will be eliminated. Then we prove that for acyclic Petri nets, the reduced set of inequalities after the elimination can be used to diagnose failures.

U2 - 10.1109/WODES.2016.7497843

DO - 10.1109/WODES.2016.7497843

M3 - Conference contribution

BT - Proceedings of the 13th International Workshop on Discrete Event Systems (WODES 2016)

PB - IEEE Computer Society Press

T2 - 13th International Workshop on Discrete Event Systems (WODES 2016)

Y2 - 30 May 2016 through 1 June 2016

ER -

Fourier-Motzkin method for failure diagnosis in petri net models of discrete event systems

Abstract

Conference

Access to Document

Fingerprint

Cite this