State-Based Fault Diagnosis of Finite-State Vector Discrete-Event Systems via Integer Linear Programming

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

Saved in:
Bibliographic Details
Main Authors: Qinrui Chen, Mubariz Garayev, Ding Liu
Format: Article
Language:English
Published: MDPI AG 2025-02-01
Series:Sensors
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
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items