On Fault Predictability in Stochastic Discrete Event Systems

Ming Chang,Wei Dong,Yindong Ji,Lang Tong

DOI: https://doi.org/10.1002/asjc.748

IF: 2.4

2013-01-01

Asian Journal of Control

Abstract:Fault predictability in stochastic discrete event systems is considered. The notion of asymptotically almost sure predictability (or AAS-predictability) is introduced, and a necessary and sufficient condition for AAS-predictability is obtained.

What problem does this paper attempt to address?

A new approach to almost-sure asymptotic stability of stochastic systems of higher dimension

z l huang,w q zhu

DOI: https://doi.org/10.1016/S0020-7462(01)00059-2

IF: 3.336

2003-01-01

International Journal of Non-Linear Mechanics

Abstract:The almost sure asymptotic stability of higher-dimensional linear stochastic systems and of a special class of nonlinear stochastic systems with homogeneous drift and diffusion coefficients of order one is studied. Based on the well-known Khasminskii's theorem, a new approach for obtaining the regions of almost sure asymptotic stability and instability without evaluating the stationary probability density of the diffusion process defined on unit hypersphere is proposed. Two examples of two and three degree-of-freedom linear stochastic systems are given to illustrate the application and effectiveness of the proposed approach combined with stochastic averaging.
Event-triggered Fault Estimation for Stochastic State-Delay Systems Against Adversaries with Application to a DC Motor System

Yunji Li,Yi Gao,Quansheng Liu,Li Peng

DOI: https://doi.org/10.1504/ijcse.2020.106057

2020-01-01

International Journal of Computational Science and Engineering

Abstract:This paper is concerned with the problem of fault estimation for stochastic state-delay systems subject to adversaries under an event-triggered data-transmission framework. An adversarial fault estimator is designed for remote state and fault estimation simultaneously. Furthermore, a sufficient condition is provided for exponential stability in the mean-squared of the proposed event-triggered fault estimator. The corresponding event-triggered sensor data transmission scheme is to reduce the overall communication burden. Finally, an application example on a DC motor system is presented and the benefits of the obtained theoretical results are demonstrated by comparative experiments.
Reliability of a Class of Nonlinear Systems under Switching Random Excitations

Jiao-Jiao Sun,Wei-qiu Zhu,Wen-dong Jiang,Fai Ma,Rong-Hua Huan

DOI: https://doi.org/10.1007/s11071-019-05405-8

IF: 5.741

2019-01-01

Nonlinear Dynamics

Abstract:Systems subjected to switching random excitations are practically significant because they include many safety-critical systems such as power plants and communication networks. In this paper, the reliability of multi-degree, nonlinear, non-integrable Hamiltonian systems subjected to switching random excitations is investigated. Such a system is formulated as a continuous–discrete hybrid based upon the Markov jump theory. Stochastic averaging is applied to suppress the rapidly varying parameters of the Markov jump process in order to generate a probability-weighted diffusion equation. The associated backward Kolmogorov equation is then set up, from which the approximate reliability function and probability density of first passage time are obtained. The utility and accuracy of this approximate procedure are demonstrated by two examples.
Fault Prediction for Dynamic Systems with State-Dependent Faults

Guibin Xu,Donghua Zhou

DOI: https://doi.org/10.1109/ICICIC.2009.206

2009-01-01

Abstract:This paper is concerned with the fault prediction problem for a class of systems with state-dependent faults. we first bring forward the idea of separating the internal stimulated faults from the external stimulated ones. The fault is modeled as the product of the external and internal stimulation sources. A State Dependent Fault Prediction (SDFP) recursive algorithm is proposed to solve this problem. Simulation results validate the effectiveness of the proposed method.
Online prognosis of stochastic discrete event systems with guaranteed performance bound

Yu Liu,Shaolong Shu,Feng Lin,Qijun Chen,Chengju Liu,Fengjiao Lian

DOI: https://doi.org/10.1016/j.automatica.2023.111139

IF: 6.4

2023-10-01

Automatica

Abstract:In this paper, we consider the online prognosis of stochastic discrete event systems. Even though it is easy to predict the occurrence of faults in advance accurately for a prognosable discrete event system, it is much more difficult to do so for systems that are not prognosable. In this paper, we solve the online prognosis problem in a stochastic discrete event system framework. Our idea is to calculate the probability of the occurrence of faults in the future when a no-fault observable string is observed. We say an observable string is no-fault if no faults have occurred when it is observed. We then compare the probability with a pre-set threshold to decide whether to issue an alert or not. We develop a method to calculate the lower bound for possible thresholds, which has the fewest false alerts and no missed alerts of faults. For a given threshold, we use the rate of missed fault alerts and the rate of false fault alerts to evaluate the performance of fault prognosis. We formally define these two rates and develop algorithms to calculate them. These results can guide us in choosing a proper threshold to achieve the best trade-off between false fault alerts and missed alerts of faults.

automation & control systems,engineering, electrical & electronic
Asymptotic Stability with Probability One of Random-Time-Delay-Controlled Quasi-Integrable Hamiltonian Systems

R. H. Huan,W. Q. Zhu,R. C. Hu,Z. G. Ying

DOI: https://doi.org/10.1115/1.4033944

2016-01-01

Journal of Applied Mechanics

Abstract:A new procedure for determining the asymptotic stability with probability one of random-time-delay-controlled quasi-integrable Hamiltonian systems is proposed. Such a system is formulated as continuous–discrete hybrid system and the random time delay is modeled as a Markov jump process. A three-step approximation is taken to simplify such hybrid system: (i) the randomly periodic approximate solution property of the system is used to convert the random time delay control into the control without time delay but with delay time as parameter; (ii) a limit theorem is used to transform the hybrid system with Markov jump parameter into one without jump parameter; and (iii) the stochastic averaging method for quasi-integrable Hamiltonian systems is applied to reduce the system into a set of averaged Itô stochastic differential equations. An approximate expression for the largest Lyapunov exponent of the system is derived from the linearized averaged Itô equations and the necessary and sufficient condition for the asymptotic stability with probability one of the system is obtained. The application and effectiveness of the proposed procedure are demonstrated by using an example of stochastically driven two-degrees-of-freedom networked control system (NCS) with random time delay.
Asymptotics for A Class of Dependent Random Variables

Li-Xin Zhang,Yang Zhang

DOI: https://doi.org/10.1016/j.spl.2015.05.018

IF: 0.718

2015-01-01

Statistics & Probability Letters

Abstract:We consider a class of dependent random variables where the dependence structure involves a factor driven by Sn/n. Under very mild conditions for the innovation, we obtain several asymptotic results for the partial sums including basic asymptotics and strong limit theorems. The fact that the asymptotic properties differ strikingly in a neighbour of a critical point makes the model very interesting.
Asymptotic stability of switching diffusions having sub-exponential rates of decay

Haibo Li,George Yin,Jun Ye

2013-01-01

Dynamic Systems and Applications

Abstract:This work focuses on stability of switching diffusions, in which both continuous dynamics and discrete events coexist. Our attention is devoted to the case that one has asymptotic stability but the decay rates are slower than exponential. The main effort is on obtaining asymptotic results in the almost sure sense. Sufficient conditions are provided for switching diffusion systems whose switching component depends on the diffusion process. Then Markovian regime-switching diffusions are treated, in which weaker conditions are needed. In addition, systems with delays are also treated. Examples are provided to demonstrate our results.
Dissipativity Based Fault Detection for 2D Markov Jump Systems with Asynchronous Modes

Ying Shen,Zheng-Guang Wu,Peng Shi,Guanghui Wen

DOI: https://doi.org/10.1016/j.automatica.2019.04.020

IF: 6.4

2019-01-01

Automatica

Abstract:The problem of fault detection for two-dimensional (2D) Markov jump systems characterized in the form of Roesser model is considered in this paper. An asynchronous fault detection filter is designed to produce a residual signal. The fault detection filter changes from one mode to another asynchronously with the plant’s transitions. More specifically, the filter’s mode transitions depend on the plant’s mode through some conditional probabilities. Moreover, the transition probabilities of the plant and the conditional probabilities are only partially accessible, which appears more practical in real application systems. Under such a framework, sufficient conditions are developed to ensure the asymptotic mean square stability and (Q, R, S)-μ-dissipativity of the overall fault detection system. The parameters in the fault detection filter are given in terms of solutions of an optimization problem. Finally, some simulations are carried out to demonstrate the validity of the presented design techniques.
Stochastic Stability Analysis for Discrete-Time Singular Markov Jump Systems with Time-Varying Delay and Piecewise-Constant Transition Probabilities

Zheng-Guang Wu,Ju H. Park,Hongye Su,Jian Chu

DOI: https://doi.org/10.1016/j.jfranklin.2012.08.012

IF: 4.246

2012-01-01

Journal of the Franklin Institute

Abstract:This paper concerns the stochastic stability analysis for discrete-time singular Markov jump systems with time-varying delay and time-varying transition probabilities. The time-varying transition probabilities in the underlying systems are assumed to be finite piecewise-constant. Based on the delay partitioning technique, a delay-dependent stochastic stability condition is derived for these systems, which is formulated by linear matrix inequalities and thus can be checked easily. Some special cases are also considered. Finally, two numerical examples are provided to demonstrate the application and less conservativeness of the developed approaches.
Probabilistic approaches to fault detection in networked discrete event systems

Eleftheria Athanasopoulou,Christoforos N Hadjicostis

DOI: https://doi.org/10.1109/TNN.2005.853430

Abstract:In this paper, we consider distributed systems that can be modeled as finite state machines with known behavior under fault-free conditions, and we study the detection of a general class of faults that manifest themselves as permanent changes in the next-state transition functionality of the system. This scenario could arise in a variety of situations encountered in communication networks, including faults occurred due to design or implementation errors during the execution of communication protocols. In our approach, fault diagnosis is performed by an external observer/diagnoser that functions as a finite state machine and which has access to the input sequence applied to the system but has only limited access to the system state or output. In particular, we assume that the observer/diagnoser is only able to obtain partial information regarding the state of the given system at intermittent time intervals that are determined by certain synchronizing conditions between the system and the observer/diagnoser. By adopting a probabilistic framework, we analyze ways to optimally choose these synchronizing conditions and develop adaptive strategies that achieve a low probability of aliasing, i.e., a low probability that the external observer/diagnoser incorrectly declares the system as fault-free. An application of these ideas in the context of protocol testing/classification is provided as an example.
Probabilistic Predictability of Stochastic Dynamical Systems

Tao Xu,Yushan Li,Jianping He

2024-07-13

Abstract:To assess the quality of a probabilistic prediction for stochastic dynamical systems (SDSs), scoring rules assign a numerical score based on the predictive distribution and the measured state. In this paper, we propose an $\epsilon$-logarithm score that generalizes the celebrated logarithm score by considering a neighborhood with radius $\epsilon$. We characterize the probabilistic predictability of an SDS by optimizing the expected score over the space of probability measures. We show how the probabilistic predictability is quantitatively determined by the neighborhood radius, the differential entropies of process noises, and the system dimension. Given any predictor, we provide approximations for the expected score with an error of scale $\mathcal{O}(\epsilon)$. In addition to the expected score, we also analyze the asymptotic behaviors of the score on individual trajectories. Specifically, we prove that the score on a trajectory can converge to the expected score when the process noises are independent and identically distributed. Moreover, the convergence speed against the trajectory length $T$ is of scale $\mathcal{O}(T^{-\frac{1}{2}})$ in the sense of probability. Finally, numerical examples are given to elaborate the results.

Information Theory,Dynamical Systems
Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness

Weijie Dong,Shang Gao,Xiang Yin,Shaoyuan Li

DOI: https://doi.org/10.48550/arXiv.2204.02617

2022-04-06

Systems and Control

Abstract:In this paper, we revisit the fault diagnosis problem of discrete-event systems (DES) under non-deterministic observations. Non-deterministic observation is a general observation model that includes the case of intermittent loss of observations. In this setting, upon the occurrence of an event, the sensor reading may be non-deterministic such that a set of output symbols are all possible. Existing works on fault diagnosis under non-deterministic observations require to consider all possible observation realizations. However, this approach includes the case where some possible outputs are permanently disabled. In this work, we introduce the concept of output fairness by requiring that, for any output symbols, if it has infinite chances to be generated, then it will indeed be generated infinite number of times. We use an assume-guarantee type of linear temporal logic formulas to formally describe this assumption. A new notion called output-fair diagnosability (OF-diagnosability) is proposed. An effective approach is provided for the verification of OF-diagnosability. We show that the proposed notion of OF-diagnosability is weaker than the standard definition of diagnosability under non-deterministic observations, and it better captures the physical scenario of observation non-determinism or intermittent loss of observations.
A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems

Kuize Zhang

DOI: https://doi.org/10.48550/arXiv.2001.04729

2020-01-14

Optimization and Control

Abstract:The state inference problem and fault diagnosis/prediction problem are fundamental topics in many areas. In this paper, we consider discrete-event systems (DESs) modeled by finite-state automata (FSAs). There exist results for decentralized versions of the latter problem but there is almost no result for a decentralized version of the former problem. We propose a decentralized version of strong detectability called co-detectability which implies that once a system satisfies this property, for each generated infinite-length event sequence, at least one local observer can determine the current and subsequent states after a common observation time delay. We prove that the problem of verifying co-detectability of FSAs is coNP-hard. Moreover, we use a unified concurrent-composition method to give PSPACE verification algorithms for co-detectability, co-diagnosability, and co-predictability of FSAs, without any assumption or modifying the FSAs under consideration, where co-diagnosability is firstly studied by [Debouk & Lafortune & Teneketzis 2000], while co-predictability is firstly studied by [Kumar \& Takai 2010]. By our proposed unified method, one can see that in order to verify co-detectability, more technical difficulties will be met compared to verifying the other two properties, because in co-detectability, generated outputs are counted, but in the latter two properties, only occurrences of events are counted. For example, when one output was generated, any number of unobservable events could have occurred. The PSPACE-hardness of verifying co-diagnosability is already known in the literature. In this paper, we prove the PSPACE-hardness of verifying co-predictability.
Fault prediction approach for dynamic system

艾红,周东华

DOI: https://doi.org/10.3321/j.issn:1671-4512.2009.z1.056

2009-01-01

Abstract:Fault prediction means predicting whether faults occuror not based on historical and present data. This paper first illustrates abrupt fault and slow change fault. The performance parameter of false alarm rates and missed alarm rates are expatiated. The key problem in fault prediction is pointed out. The main methods of fault prediction for dynamic systems are outlined, including neural network, expert system and fuzzy neural network methods. Gray system, particle filter and time series methods are analyzed. Fault prediction disadvantage of gray system and particle filter are illustrated. Excellence and disadvantage of neural network are expounded. The characteristics and typical applications of main fault prediction methods are introduced. Finally, the actual research actuality and existent problem of fault prediction are brought forward. The research trend of fault prediction is pointed out.
Prediction with eventual almost sure guarantees

Changlong Wu,Narayana Santhanam

2024-02-07

Abstract:We study the problem of sequentially predicting properties of a probabilistic model and its next outcome over an infinite horizon, with the goal of ensuring that the predictions incur only finitely many errors with probability 1. We introduce a general framework that models such prediction problems, provide general characterizations for the existence of successful prediction rules, and demonstrate the application of these characterizations through several concrete problem setups, including hypothesis testing, online learning, and risk domination. In particular, our characterizations allow us to recover the findings of Dembo and Peres (1994) with simple and elementary proofs, and offer a partial resolution to an open problem posed therein.

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

Jiahan He,Deguang Wang,Ming Yang,Yuhong Hu

DOI: https://doi.org/10.1109/jsen.2023.3346653

IF: 4.3

2024-02-16

IEEE Sensors Journal

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.

engineering, electrical & electronic,instruments & instrumentation,physics, applied
Safe diagnosis of pattern faults of stochastic discrete‐event systems and verification algorithm

Hongzhen Zhu,Fuchun Liu

DOI: https://doi.org/10.1002/asjc.3546

IF: 2.4

2024-12-05

Asian Journal of Control

Abstract:In many real‐world applications, faults often result from specific events occurring in succession (i.e., pattern faults) rather than from a single failure event. This paper investigates the safe diagnosis of pattern faults in stochastic discrete‐event systems (SDESs). First, the notions of S ‐type and T ‐type pattern safe diagnosability for SDESs are formalized. Roughly speaking, a stochastic automaton is called S ‐type (or T ‐type) pattern safe diagnosable if the detection of S ‐type (or T ‐type) pattern faults is achieved with high probability (i.e., the probability of not detecting pattern faults is sufficiently low) before the system performs risky actions. The necessary and sufficient conditions for the pattern safe diagnosability of SDESs are then presented after constructing a pattern safe diagnoser and recognizer of a forbidden language from a given stochastic system. Consequently, an algorithm for verifying the pattern safe diagnosability of SDESs is proposed, demonstrating how the pattern‐safe diagnoser can be used for the safe diagnosis of pattern faults.

automation & control systems
Non-autonomous stochastic lattice systems with Markovian switching

Dingshi Li,Yusen Lin,Zhe Pu,School of Mathematics, Southwest Jiaotong University, Chengdu, Sichuan 610031, China

DOI: https://doi.org/10.3934/dcds.2022181

2022-12-26

Discrete and Continuous Dynamical Systems

Abstract:The aim of this paper is to study the dynamical behavior of non-autonomous stochastic lattice systems with Markovian switching. We first show existence of an evolution system of measures of the stochastic system. We then study the pullback (or forward) asymptotic stability in distribution of the evolution system of measures. We finally prove that any limit point of a tight sequence of an evolution system of measures of the stochastic lattice systems must be an evolution system of measures of the corresponding limiting system as the intensity of noise converges zero. In particular, when the coefficients are periodic with respect to time, we show every limit point of a sequence of periodic measures of the stochastic system must be a periodic measure of the limiting system as the noise intensity goes to zero.

mathematics, applied
A Stochastic Approach for the Analysis of Dynamic Fault Trees with Spare Gates under Probabilistic Common Cause Failures

Peican Zhu,Jie Han,Leibo Liu,Fabrizio Lombardi

DOI: https://doi.org/10.1109/tr.2015.2419214

IF: 5.883

2015-01-01

IEEE Transactions on Reliability

Abstract:A redundant system usually consists of primary and standby modules. The so-called spare gate is extensively used to model the dynamic behavior of redundant systems in the application of dynamic fault trees (DFTs). Several methodologies have been proposed to evaluate the reliability of DFTs containing spare gates by computing the failure probability. However, either a complex analysis or significant simulation time are usually required by such an approach. Moreover, it is difficult to compute the failure probability of a system with component failures that are not exponentially distributed. Additionally, probabilistic common cause failures (PCCFs) have been widely reported, usually occurring in a statistically dependent manner. Failure to account for the effect of PCCFs overestimates the reliability of a DFT. In this paper, stochastic computational models are proposed for an efficient analysis of spare gates and PCCFs in a DFT. Using these models, a DFT with spare gates under PCCFs can be efficiently evaluated. In the proposed stochastic approach, a signal probability is encoded as a non-Bernoulli sequence of random permutations of fixed numbers of ones and zeros. The component's failure probability is not limited to an exponential distribution, thus this approach is applicable to a DFT analysis in a general case. Several case studies are evaluated to show the accuracy and efficiency of the proposed approach, compared to both an analytical approach and Monte Carlo (MC) simulation.

On Fault Predictability in Stochastic Discrete Event Systems

A new approach to almost-sure asymptotic stability of stochastic systems of higher dimension

Event-triggered Fault Estimation for Stochastic State-Delay Systems Against Adversaries with Application to a DC Motor System

Reliability of a Class of Nonlinear Systems under Switching Random Excitations

Fault Prediction for Dynamic Systems with State-Dependent Faults

Online prognosis of stochastic discrete event systems with guaranteed performance bound

Asymptotic Stability with Probability One of Random-Time-Delay-Controlled Quasi-Integrable Hamiltonian Systems

Asymptotics for A Class of Dependent Random Variables

Asymptotic stability of switching diffusions having sub-exponential rates of decay

Dissipativity Based Fault Detection for 2D Markov Jump Systems with Asynchronous Modes

Stochastic Stability Analysis for Discrete-Time Singular Markov Jump Systems with Time-Varying Delay and Piecewise-Constant Transition Probabilities

Probabilistic approaches to fault detection in networked discrete event systems

Probabilistic Predictability of Stochastic Dynamical Systems

Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness

A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems

Fault prediction approach for dynamic system

Prediction with eventual almost sure guarantees

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

Safe diagnosis of pattern faults of stochastic discrete‐event systems and verification algorithm

Non-autonomous stochastic lattice systems with Markovian switching

A Stochastic Approach for the Analysis of Dynamic Fault Trees with Spare Gates under Probabilistic Common Cause Failures