For guaranteeing the performance and safety of battery systems, a valid fault diagnostic
method is quite essential. This article presents a systematic fault diagnostic scheme based …

Diagnosis is the process of identifying or determining the nature and root cause of a failure,
problem, or disease from the symptoms resulting from selected measurements, checks or …

The application of model-based diagnosis schemes to real systems introduces many
significant challenges, such as building accurate system models for heterogeneous systems …

The European leader for satellite systems and at the forefront of orbital infrastructures,
Thales Alenia Space, is a joint venture between Thales (67%) and Finmeccanica (33%) and …

L'efficacité de la maintenance des systèmes industriels est un enjeu économique majeur
pour leur exploitation commerciale. Les principales difficultés et sources d'inefficacité …

This paper addresses the problem of assessing the diagnosability of hybrid systems
modeled by a hybrid automaton coupling methods from the continuous and the discrete …

This paper presents a model-based approach for the fault diagnosis of three-cell power
converters. The goal is to design a fault detection and isolation (FDI) scheme which …

In this paper, we provide an automata-based framework for verifying diagnosability property
of Cyber-Physical Systems leveraging a notion of so-called hybrid barrier certificates …

Complex systems are naturally hybrid: their dynamic behavior is both continuous and
discrete. For these systems, maintenance and repair are an increasing part of the total cost …

In this paper we propose a hybrid system modeling framework aimed at analyzing
diagnosability. In this framework, the hybrid system is seen as the composition of an …