Diagnosability of Vector Discrete-Event Systems Using Predicates
The diagnosability problem of faults is studied in the framework of vector discrete-event system (VDES). A VDES is a discrete-event system model in which a system state is represented by a vector with integer components, and state transitions are represented by integer vector addition. Predicates ar...
Main Authors: | , , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2019-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/8863894/ |
id |
doaj-5633402c5466402abc7adc8f09f56a16 |
---|---|
record_format |
Article |
spelling |
doaj-5633402c5466402abc7adc8f09f56a162021-03-30T00:35:08ZengIEEEIEEE Access2169-35362019-01-01714714314715510.1109/ACCESS.2019.29451328863894Diagnosability of Vector Discrete-Event Systems Using PredicatesQinrui Chen0Li Yin1Naiqi Wu2https://orcid.org/0000-0001-6782-458XMohammed A. El-Meligy3Mohamed Abdel Fattah Sharaf4Zhiwu Li5https://orcid.org/0000-0003-1547-5503School of Electro-Mechanical Engineering, Xidian University, Xi’an, ChinaInstitute of Systems Engineering, Macau University of Science and Technology, Macau, ChinaInstitute of Systems Engineering, Macau University of Science and Technology, Macau, ChinaAdvanced Manufacturing Institute, King Saud University, Riyadh, Saudi ArabiaIndustrial Engineering Department, College of Engineering, King Saud University, Riyadh, Saudi ArabiaSchool of Electro-Mechanical Engineering, Xidian University, Xi’an, ChinaThe diagnosability problem of faults is studied in the framework of vector discrete-event system (VDES). A VDES is a discrete-event system model in which a system state is represented by a vector with integer components, and state transitions are represented by integer vector addition. Predicates are employed to verify the fault diagnosability of VDES, since, defined as functions, predicates can conveniently identify particular state sets of interests. Specifically, system states are partitioned into different subsets by predicates, and the fault diagnosability of a system is verified by checking a subset of states. A sufficient condition for fault diagnosability of VDES is presented first. A necessary and sufficient condition is then developed. According to the two conditions, two types of predicates are given to partition the states in a VDES. In this work, a diagnoser or a full state enumeration is not constructed, whose complexity is exponential with respect to the system state size. In order to verify whether a system satisfies the proposed conditions, several polynomial algorithms and an algorithm by constructing a tree automaton are developed. Several examples are provided to illustrate the results obtained in this paper.https://ieeexplore.ieee.org/document/8863894/Vector discrete-event systemPetri netdiagnosabilitypredicatelinear constraint |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Qinrui Chen Li Yin Naiqi Wu Mohammed A. El-Meligy Mohamed Abdel Fattah Sharaf Zhiwu Li |
spellingShingle |
Qinrui Chen Li Yin Naiqi Wu Mohammed A. El-Meligy Mohamed Abdel Fattah Sharaf Zhiwu Li Diagnosability of Vector Discrete-Event Systems Using Predicates IEEE Access Vector discrete-event system Petri net diagnosability predicate linear constraint |
author_facet |
Qinrui Chen Li Yin Naiqi Wu Mohammed A. El-Meligy Mohamed Abdel Fattah Sharaf Zhiwu Li |
author_sort |
Qinrui Chen |
title |
Diagnosability of Vector Discrete-Event Systems Using Predicates |
title_short |
Diagnosability of Vector Discrete-Event Systems Using Predicates |
title_full |
Diagnosability of Vector Discrete-Event Systems Using Predicates |
title_fullStr |
Diagnosability of Vector Discrete-Event Systems Using Predicates |
title_full_unstemmed |
Diagnosability of Vector Discrete-Event Systems Using Predicates |
title_sort |
diagnosability of vector discrete-event systems using predicates |
publisher |
IEEE |
series |
IEEE Access |
issn |
2169-3536 |
publishDate |
2019-01-01 |
description |
The diagnosability problem of faults is studied in the framework of vector discrete-event system (VDES). A VDES is a discrete-event system model in which a system state is represented by a vector with integer components, and state transitions are represented by integer vector addition. Predicates are employed to verify the fault diagnosability of VDES, since, defined as functions, predicates can conveniently identify particular state sets of interests. Specifically, system states are partitioned into different subsets by predicates, and the fault diagnosability of a system is verified by checking a subset of states. A sufficient condition for fault diagnosability of VDES is presented first. A necessary and sufficient condition is then developed. According to the two conditions, two types of predicates are given to partition the states in a VDES. In this work, a diagnoser or a full state enumeration is not constructed, whose complexity is exponential with respect to the system state size. In order to verify whether a system satisfies the proposed conditions, several polynomial algorithms and an algorithm by constructing a tree automaton are developed. Several examples are provided to illustrate the results obtained in this paper. |
topic |
Vector discrete-event system Petri net diagnosability predicate linear constraint |
url |
https://ieeexplore.ieee.org/document/8863894/ |
work_keys_str_mv |
AT qinruichen diagnosabilityofvectordiscreteeventsystemsusingpredicates AT liyin diagnosabilityofvectordiscreteeventsystemsusingpredicates AT naiqiwu diagnosabilityofvectordiscreteeventsystemsusingpredicates AT mohammedaelmeligy diagnosabilityofvectordiscreteeventsystemsusingpredicates AT mohamedabdelfattahsharaf diagnosabilityofvectordiscreteeventsystemsusingpredicates AT zhiwuli diagnosabilityofvectordiscreteeventsystemsusingpredicates |
_version_ |
1724188121575194624 |