FAULT DIAGNOSIS OF ELECTROHYDRAULIC SYSTEMS

Fault Diagnosis of Timed Systems

For more than two decades, researchers have tried to develop tools and algorithms to increase the dependability of computerized systems. All the verification techniques can be gathered under the generic name of formal methods, the most famous and successful one being certainly model checking [SCH 99], which consists in building a mathematical model of a system S, and then check that it satisfie...

Fault Diagnosis for Linear Systems

This chapter outlines the basic principles and most important approaches of modelbased fault detection and isolation (FDI) and, to a certain degree, fault diagnosis, using linear models. Both the parity space approach and the concept of observer-based residual generation are described in input-output format. The well established parameter estimation approach to fault analysis is briefly describ...

Fault Diagnosis for Nonlinear Systems

Complete Fault Diagnosis Of Uncertain Polynomial Systems

The increase in complexity in process control goes along with an increasing need for complete and guaranteed fault diagnosis. In this contribution, we propose a set-based method for complete fault diagnosis for polynomial systems. It is based on a reformulation of the diagnosis problem as a nonlinear feasibility problem, which is subsequently relaxed into a semidefinite program. This is done by...

Chapter 4 Fault Diagnosis of Timed Systems

In this Chapter, we review the main results pertaining to the problem of fault diagnosis of timed automata. Timed automata are introduced in Chapter 1 and Chapter 2 in this book, and the reader not familiar with this model is invited to read them first.