ArticleSensors (Basel, Switzerland)2025
State-Based Fault Diagnosis of Finite-State Vector Discrete-Event Systems via Integer Linear Programming.
Article in Sensors (Basel, Switzerland), 2025. The graph could read no effect estimate from its abstract, so it casts no vote on the map. Not yet cited in PubMed.
What it found
Each row is one number read from the abstract, on the scale the paper reported it, with its interval. Left of the dashed line favours the treatment, right favours the comparator. Under each row is the sentence it came from. New to these charts? A ten-minute tutorial.
The abstract states no effect estimate the extractor could read, or names no intervention and outcome on the map, so this paper lights no cell and moves no belief. It is still indexed, cited and linked below.
The trial behind it
Trials whose registry record cites this paper, or whose number appears in the abstract. A trial that started after this paper was published is citing it as background, not reporting it.
Neither the registry nor the abstract names a trial number. If this is a trial report, that itself is worth knowing.
Who cites it
0 citing papers in PubMed.
No citing paper in PubMed yet.
Corrections and comments
PubMed lists nothing against this paper. Absence here is not a guarantee, only a check that was made.
Authors and funding
3 authors.
Funding
Abstract
This paper presents a state-based method to address the verification of K-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 K-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.
Indexed as
Identifiers
What OpenQuestion holds
Registered trials
Read under generation 80e0d062 · epoch 390. Bibliography from PubMed, PubMed Central and OpenAlex; grants from NIH RePORTER; trial links from ClinicalTrials.gov; estimates, votes and beliefs from the OpenQuestion graph.