State-Based Fault Diagnosis of Finite-State Vector Discrete-Event Systems via Integer Linear Programming
This paper presents a state-based method to address the verification of <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi mathvariant="script">K</mi></semantics></math></inline-f...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2025-02-01
|
| Series: | Sensors |
| Subjects: | |
| Online Access: | https://www.mdpi.com/1424-8220/25/5/1452 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850050688158007296 |
|---|---|
| author | Qinrui Chen Mubariz Garayev Ding Liu |
| author_facet | Qinrui Chen Mubariz Garayev Ding Liu |
| author_sort | Qinrui Chen |
| collection | DOAJ |
| description | This paper presents a state-based method to address the verification of <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi mathvariant="script">K</mi></semantics></math></inline-formula>-diagnosability and fault diagnosis of a finite-state vector discrete-event system (Vector DES) with partially observable state outputs due to limited sensors. Vector DES models consist of an arithmetic additive structure in both the state space and state transition function. This work offers a necessary and sufficient condition for verifying the <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi mathvariant="script">K</mi></semantics></math></inline-formula>-diagnosability of a finite-state Vector DES based on state sensor outputs, employing integer linear programming and the mathematical representation of a Vector DES. Predicates are employed to diagnose faults in a Vector DES online. Specifically, we use three different kinds of predicates to divide system state outputs into different subsets, and the fault occurrence in a system is detected by checking a subset of outputs. Online diagnosis is achieved via solving integer linear programming problems. The conclusions obtained in this work are explained by means of several examples. |
| format | Article |
| id | doaj-art-29f7b2cbe58d40489fa2def080f8d767 |
| institution | DOAJ |
| issn | 1424-8220 |
| language | English |
| publishDate | 2025-02-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Sensors |
| spelling | doaj-art-29f7b2cbe58d40489fa2def080f8d7672025-08-20T02:53:22ZengMDPI AGSensors1424-82202025-02-01255145210.3390/s25051452State-Based Fault Diagnosis of Finite-State Vector Discrete-Event Systems via Integer Linear ProgrammingQinrui Chen0Mubariz Garayev1Ding Liu2School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, ChinaDepartment of Mathematics, College of Science, King Saud University, Riyadh P.O. Box 2455, Saudi ArabiaSchool of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, ChinaThis paper presents a state-based method to address the verification of <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi mathvariant="script">K</mi></semantics></math></inline-formula>-diagnosability and fault diagnosis of a finite-state vector discrete-event system (Vector DES) with partially observable state outputs due to limited sensors. Vector DES models consist of an arithmetic additive structure in both the state space and state transition function. This work offers a necessary and sufficient condition for verifying the <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi mathvariant="script">K</mi></semantics></math></inline-formula>-diagnosability of a finite-state Vector DES based on state sensor outputs, employing integer linear programming and the mathematical representation of a Vector DES. Predicates are employed to diagnose faults in a Vector DES online. Specifically, we use three different kinds of predicates to divide system state outputs into different subsets, and the fault occurrence in a system is detected by checking a subset of outputs. Online diagnosis is achieved via solving integer linear programming problems. The conclusions obtained in this work are explained by means of several examples.https://www.mdpi.com/1424-8220/25/5/1452vector discrete-event systemfault diagnosis<named-content content-type="inline-formula"><inline-formula> <mml:math id="mm617"> <mml:semantics> <mml:mi mathvariant="script">K</mml:mi> </mml:semantics> </mml:math> </inline-formula></named-content>-diagnosabilitypredicateinteger linear programming |
| spellingShingle | Qinrui Chen Mubariz Garayev Ding Liu State-Based Fault Diagnosis of Finite-State Vector Discrete-Event Systems via Integer Linear Programming Sensors vector discrete-event system fault diagnosis <named-content content-type="inline-formula"><inline-formula> <mml:math id="mm617"> <mml:semantics> <mml:mi mathvariant="script">K</mml:mi> </mml:semantics> </mml:math> </inline-formula></named-content>-diagnosability predicate integer linear programming |
| title | State-Based Fault Diagnosis of Finite-State Vector Discrete-Event Systems via Integer Linear Programming |
| title_full | State-Based Fault Diagnosis of Finite-State Vector Discrete-Event Systems via Integer Linear Programming |
| title_fullStr | State-Based Fault Diagnosis of Finite-State Vector Discrete-Event Systems via Integer Linear Programming |
| title_full_unstemmed | State-Based Fault Diagnosis of Finite-State Vector Discrete-Event Systems via Integer Linear Programming |
| title_short | State-Based Fault Diagnosis of Finite-State Vector Discrete-Event Systems via Integer Linear Programming |
| title_sort | state based fault diagnosis of finite state vector discrete event systems via integer linear programming |
| topic | vector discrete-event system fault diagnosis <named-content content-type="inline-formula"><inline-formula> <mml:math id="mm617"> <mml:semantics> <mml:mi mathvariant="script">K</mml:mi> </mml:semantics> </mml:math> </inline-formula></named-content>-diagnosability predicate integer linear programming |
| url | https://www.mdpi.com/1424-8220/25/5/1452 |
| work_keys_str_mv | AT qinruichen statebasedfaultdiagnosisoffinitestatevectordiscreteeventsystemsviaintegerlinearprogramming AT mubarizgarayev statebasedfaultdiagnosisoffinitestatevectordiscreteeventsystemsviaintegerlinearprogramming AT dingliu statebasedfaultdiagnosisoffinitestatevectordiscreteeventsystemsviaintegerlinearprogramming |