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...

Full description

Saved in:
Bibliographic Details
Published in:IEEE access 2019, Vol.7, p.147143-147155
Main Authors: Chen, Qinrui, Yin, Li, Wu, Naiqi, El-Meligy, Mohammed A., Sharaf, Mohamed Abdel Fattah, Li, Zhiwu
Format: Article
Language:English
Subjects:
Algorithms
Automata
Computational modeling
diagnosability
Discrete event systems
Enumeration
Fault diagnosis
Integers
linear constraint
Manufacturing
Partitioning algorithms
Petri net
Polynomials
predicate
Supervisory control
Vector discrete-event system
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2169-3536
2169-3536
DOI:10.1109/ACCESS.2019.2945132