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

Full description

Bibliographic Details
Published in:Sensors
Main Authors: Qinrui Chen, Mubariz Garayev, Ding Liu
Format: Article
Language:English
Published: MDPI AG 2025-02-01
Subjects:
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
Online Access:https://www.mdpi.com/1424-8220/25/5/1452

Internet

https://www.mdpi.com/1424-8220/25/5/1452

Similar Items