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 …

We propose a new approach to diagnosis of hybrid systems. In this approach, questions
about the behavior of the system are asked and translated into Satisfiability Modulo Theory …

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 …

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 …

The purpose of the research is to develop formulations to measure the testability of a
program. Testability is a program's property which is introduced with the intention of …

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

Given a partially observable dynamic system and a diagnoser observing its evolution over
time, diagnosability analysis formally verifies (at design time) if the diagnosis system will be …

Hybrid systems, whose behavior exhibit continuous and discrete event dynamics, are
present in many industrial environments. The complexity of such behavior makes the online …

Hybrid systems are complex systems that combine both discrete and continuous behaviors.
Verifying behavioral or safety properties of such systems, either at design stage such as …