Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Diagnosability of stochastic discrete-event systems
We investigate diagnosability of stochastic discrete-event systems. We define the notions of
A-and AA-diagnosability for stochastic automata; these notions are weaker than the …
A-and AA-diagnosability for stochastic automata; these notions are weaker than the …
Failure diagnosis of discrete-event systems with linear-time temporal logic specifications
The paper studies failure diagnosis of discrete-event systems (DESs) with linear-time
temporal logic (LTL) specifications. The LTL formulas are used for specifying failures in the …
temporal logic (LTL) specifications. The LTL formulas are used for specifying failures in the …
Possible conflicts: a compilation technique for consistency-based diagnosis
Consistency-based diagnosis is one of the most widely used approaches to model-based
diagnosis within the artificial intelligence community. It is usually carried out through an …
diagnosis within the artificial intelligence community. It is usually carried out through an …
Model-based diagnosis using structured system descriptions
This paper presents a comprehensive approach for model-based diagnosis which includes
proposals for characterizing and computing preferred diagnoses, assuming that the system …
proposals for characterizing and computing preferred diagnoses, assuming that the system …
Diagnosis of intermittent faults
The diagnosis of “intermittent” faults in dynamic systems modeled as discrete event systems
is considered. In many systems, faulty behavior often occurs intermittently, with fault events …
is considered. In many systems, faulty behavior often occurs intermittently, with fault events …
Failure diagnosis of dynamic systems: An approach based on discrete event systems
We present the salient features of a methodology for failure diagnosis of dynamic systems
that can be modeled as discrete event systems. This methodology was introduced by …
that can be modeled as discrete event systems. This methodology was introduced by …
Diagnosability of fuzzy discrete event systems
In this paper, discrete event systems (DESs) are reformulated as fuzzy discrete event
systems (FDESs) and fuzzy discrete event dynamical systems (FDEDSs). These frameworks …
systems (FDESs) and fuzzy discrete event dynamical systems (FDEDSs). These frameworks …
[HTML][HTML] Sequential model-based diagnosis by systematic search
P Rodler - Artificial Intelligence, 2023 - Elsevier
Abstract Model-based diagnosis aims at identifying the real cause of a system's malfunction
based on a formal system model and observations of the system behavior. To discriminate …
based on a formal system model and observations of the system behavior. To discriminate …
Decentralized diagnosis of stochastic discrete event systems
F Liu, D Qiu, H **ng, Z Fan - IEEE Transactions on Automatic …, 2008 - ieeexplore.ieee.org
We investigate the decentralized diagnosis of stochastic discrete event systems (SDESs) by
using multiple local stochastic diagnosers, each possessing its own sensors to deal with …
using multiple local stochastic diagnosers, each possessing its own sensors to deal with …
Diagnosis of deep discrete-event systems
An abduction-based diagnosis technique for a class of discrete-event systems (DESs),
called deep DESs (DDESs), is presented. A DDES has a tree structure, where each node is …
called deep DESs (DDESs), is presented. A DDES has a tree structure, where each node is …