. Fault monitoring is the online analysis of process observations to determine if they correspond to correct process operation. In automated manufacturing systems, the observed input and output signals can commonly be characterized as observed time functions of discrete events, and fault monitoring can only rely on the analysis of the timing and sequencing of these events. In many situations, these timing and sequencing relationships are not fixed, but rather depend upon underlying continuous state dynamics of the system. In this paper, we examine the issue of on-line fault monitoring of a class of hybrid dynamical systems in which the evolution of a continuous state is observed through and influenced by discrete events. Specifically, we co...
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an erro...
International audienceThis paper proposes an effective way for the diagnosis of discrete-event syste...
Fault diagnosis in physical systems turn out to become very complex as soon as the considered system...
The input and output signals of automated manufacturing systems can be characterized as observed tim...
This paper presents an online monitoring and fault diagnosis architecture for hybrid systems with no...
This paper proposes a method to track the system mode and diagnose a hybrid system without building ...
Physical systems can fail. For this reason the problem of identifying and reacting to faults has rec...
grantor: University of TorontoA framework for on-line passive fault diagnosis in discrete-...
In this paper, a design methodology for building diagnosers for hybrid systems is proposed. The desi...
In this paper we aim at checking fault reconfigurability in hybrid systems. A hybrid system is a sys...
This paper presents a centralized fault detection scheme for hybrid systems with nonlinear uncertain...
We propose to combine timed automata and linear hybrid automata model checkers for formal testing an...
As part of this thesis, we focus on the monitoring of hybrid systems with high dynamic event. The ai...
Physical systems can fail. For this reason the problem of identifying and reacting to faults has rec...
International audiencen this paper, we develop a method for fault detection based on Stopwatch autom...
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an erro...
International audienceThis paper proposes an effective way for the diagnosis of discrete-event syste...
Fault diagnosis in physical systems turn out to become very complex as soon as the considered system...
The input and output signals of automated manufacturing systems can be characterized as observed tim...
This paper presents an online monitoring and fault diagnosis architecture for hybrid systems with no...
This paper proposes a method to track the system mode and diagnose a hybrid system without building ...
Physical systems can fail. For this reason the problem of identifying and reacting to faults has rec...
grantor: University of TorontoA framework for on-line passive fault diagnosis in discrete-...
In this paper, a design methodology for building diagnosers for hybrid systems is proposed. The desi...
In this paper we aim at checking fault reconfigurability in hybrid systems. A hybrid system is a sys...
This paper presents a centralized fault detection scheme for hybrid systems with nonlinear uncertain...
We propose to combine timed automata and linear hybrid automata model checkers for formal testing an...
As part of this thesis, we focus on the monitoring of hybrid systems with high dynamic event. The ai...
Physical systems can fail. For this reason the problem of identifying and reacting to faults has rec...
International audiencen this paper, we develop a method for fault detection based on Stopwatch autom...
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an erro...
International audienceThis paper proposes an effective way for the diagnosis of discrete-event syste...
Fault diagnosis in physical systems turn out to become very complex as soon as the considered system...