Abstract:In practice, it is often infeasible to initialize the diagnoser and the system under diagnosis synchronously. Moreover, many real-world systems tend to be uncertain and imprecise. In this study, we investigate asynchronous fault diagnosis of stochastic discrete-event systems (DESs). First, we introduce the notion of asynchronous A-diagnosability, which characterizes the ability to diagnose a fault with an arbitrarily large probability by observing a finite number of events when the diagnoser and the system are asynchronously initialized. Then, we propose a diagnosis structure called asynchronous stochastic diagnoser and derive a necessary and sufficient condition for asynchronous A-diagnosability. Furthermore, we discuss and prove the relationship between asynchronous A-diagnosability and synchronous A-diagnosability. Using the presented diagnosis framework, we have developed a diagnostic system specifically tailored for an aircraft. This case study exemplifies the effectiveness of the proposed method in computing the probability of a system being in a faulty state based on the observed event sequence under unknown initial conditions. Additionally, in cases where the diagnoser misses an observation, it can be restarted to record the system's behaviors without requiring the restart of the system.

Discrete-Event System Diagnosis Upon Incomplete Model

Fault Diagnosis for Discrete Event Systems Using Partially Observed Petri Nets

Fault Diagnosis for Discrete Event Systems Modeled By Bounded Petri Nets: Fault Diagnosis of Petri Nets

Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model

Model-based Diagnosis of Incomplete Discrete-Event System with Rough Set Theory

Conflict-based Diagnosis of Discrete Event System

Progress on Model-based Diagnosis of Discrete-event Systems

Algorithm of Dynamic Event System's Synchronization Diagnosis

On-line Diagnosis of Discrete Event Systems with Two Successive Temporal Windows

Method of Searching Diagnosis Trajectory in Discrete Event System

An Extended Hierarchical Framework for Definitions of Diagnosability of Discrete Event Systems

Approach of diagnosis of higher-order discrete event systems

On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach

A Design Approach of Model-Based Optimal Fault Diagnosis

Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata

Construction of causality diagram model for diagnostics

Realtime Model-based Diagnostic Method Based on Model Checking

Asynchronous Fault Diagnosis of Stochastic Discrete-Event Systems in Industrial Applications

Kernel Model-Based Diagnosis

Disassembling and Reconstructing Algorithms for Discrete Event Systems

An Approach to Accelerate Diagnosis by Isomorphic Determining