Fault diagnosis of lithium-ion battery pack based on hybrid system and dual extended Kalman filter algorithm

T Lin, Z Chen, C Zheng, D Huang… - IEEE transactions on …, 2020 - ieeexplore.ieee.org
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 …

Bridging control and artificial intelligence theories for diagnosis: A survey

L Travé-Massuyès - Engineering Applications of Artificial Intelligence, 2014 - Elsevier
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 …

A comprehensive diagnosis methodology for complex hybrid systems: A case study on spacecraft power distribution systems

MJ Daigle, I Roychoudhury, G Biswas… - … on Systems, Man …, 2010 - ieeexplore.ieee.org
The application of model-based diagnosis schemes to real systems introduces many
significant challenges, such as building accurate system models for heterogeneous systems …

[PDF][PDF] FDI (R) for satellites: How to deal with high availability and robustness in the space domain?

X Olive - International Journal of Applied Mathematics and …, 2012 - intapi.sciendo.com
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 …

Vers l'intégration diagnostic/pronostic pour la maintenance des systèmes complexes

P Ribot - 2009 - theses.hal.science
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é …

Diagnosability analysis of hybrid systems cast in a discrete-event framework

M Bayoudh, L Travé-Massuyès - Discrete Event Dynamic Systems, 2014 - Springer
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 …

Fault detection and isolation for a multi-cellular converter based on sliding mode observer

H Meziane, C Labarre, S Lefteriu, M Defoort… - IFAC-PapersOnLine, 2015 - Elsevier
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 …

Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates

B Zhong, W Dong, X Yin, M Zamani - IFAC-PapersOnLine, 2024 - Elsevier
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 …

An integrated framework for diagnosis and prognosis of hybrid systems

E Chanthery, P Ribot - arXiv preprint arXiv:1308.5332, 2013 - arxiv.org
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 …

Coupling continuous and discrete event system techniques for hybrid system diagnosability analysis

M Bayoudh, L Travé-Massuyes, X Olive - ECAI 2008, 2008 - ebooks.iospress.nl
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 …