Abstract—The notions of potential and real latent times of fault detection in finite automata were introduced. The potential latent time is the minimal theoretical time of automaton fault detection, the real time is defined as the time of fault manifestation at a certain point. A method for determination of the statistical characteristics of both times for the automaton tested in the course of its real operation was proposed. It is based on selection of the trajectories of the Markov chain describing behavior of the operable and faulty automata. Additionally, a method for determination of the upper bound of the mean latent time in the case of limited information about the automaton characteristics was proposed. PACS number: 89.20.Ff DOI: 10...
grantor: University of TorontoA framework for on-line passive fault diagnosis in discrete-...
6 pagesInternational audienceThis paper deals with the diagnosis problem of discrete-event systems T...
International audienceWe consider the problems of efficiently diagnosing (and predicting) what did (...
International audienceGenerally, diagnostic involves two interrelated phases: the detection and the ...
In this paper, we propose a framework for fault diagnosis in discreteevent systems. In this approach...
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an erro...
International audienceWith the explosion of new technologies, a new type of systems has been designe...
International audienceThis paper proposes an effective way for the diagnosis of discrete-event syste...
In this paper we introduce concepts of a potential fault latency and a real fault latency for Finite...
Abstract: This paper presents the model–based diagnosis in the framework of discrete–event systems. ...
This chapter presents the salient features of a general methodology for fault diagnosis in partially...
When a real-time model checker detects the violation of a timed reachability property for a given Ti...
A common model for discrete event systems is a deterministic finite automaton (DFA). An advantage of...
International audienceThis paper deals with the problem of fault diagnosis of complex discrete event...
.This chapter presents the salient features of a general methodology for fault diagnosis in partiall...
grantor: University of TorontoA framework for on-line passive fault diagnosis in discrete-...
6 pagesInternational audienceThis paper deals with the diagnosis problem of discrete-event systems T...
International audienceWe consider the problems of efficiently diagnosing (and predicting) what did (...
International audienceGenerally, diagnostic involves two interrelated phases: the detection and the ...
In this paper, we propose a framework for fault diagnosis in discreteevent systems. In this approach...
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an erro...
International audienceWith the explosion of new technologies, a new type of systems has been designe...
International audienceThis paper proposes an effective way for the diagnosis of discrete-event syste...
In this paper we introduce concepts of a potential fault latency and a real fault latency for Finite...
Abstract: This paper presents the model–based diagnosis in the framework of discrete–event systems. ...
This chapter presents the salient features of a general methodology for fault diagnosis in partially...
When a real-time model checker detects the violation of a timed reachability property for a given Ti...
A common model for discrete event systems is a deterministic finite automaton (DFA). An advantage of...
International audienceThis paper deals with the problem of fault diagnosis of complex discrete event...
.This chapter presents the salient features of a general methodology for fault diagnosis in partiall...
grantor: University of TorontoA framework for on-line passive fault diagnosis in discrete-...
6 pagesInternational audienceThis paper deals with the diagnosis problem of discrete-event systems T...
International audienceWe consider the problems of efficiently diagnosing (and predicting) what did (...