A self_updating model for analysing system reconfigurability

Gehin, Anne-Lise; Hu, Hexuan; Merchez, Mireille

Document type :

Compte-rendu et recension critique d'ouvrage

DOI :

10.1016/j.engappai.2011.08.001

Title :

A self_updating model for analysing system reconfigurability

Author(s) :

Gehin, Anne-Lise [Auteur]

Systèmes Tolérants aux Fautes [STF]
Hu, Hexuan [Auteur]
Merchez, Mireille [Auteur]

Systèmes Tolérants aux Fautes [STF]

Journal title :

Engineering Applications of Artificial Intelligence

Pages :

20-30

Publisher :

Elsevier

Publication date :

2012-02-01

ISSN :

0952-1976

English keyword(s) :

self-updating model
reconfigurability analysis
fault-tolerant control
model checking

HAL domain(s) :

Sciences de l'ingénieur [physics]/Automatique / Robotique

English abstract : [en]

Systems are built by connecting different components (e.g., sensors, actuators, process components) that are, in turn, organized to achieve system objectives. But, when a system component fails, the system's objectives can ...
Show more >Systems are built by connecting different components (e.g., sensors, actuators, process components) that are, in turn, organized to achieve system objectives. But, when a system component fails, the system's objectives can no longer be achieved. For many years, numerous studies have proposed efficient fault detection and isolation (FDI) and fault-tolerant control (FTC) algorithms. This paper considers faults that lead to the complete failure of actuators. In this specific case, the system's physical structure changes, and the system model thus becomes incorrect. The potential that the system has to continue to achieve its objectives has to be re-evaluated from a qualitative point of view, before recalculating or modifying the control algorithms. To this end, this paper proposes a self-updating system model to reflect the current system potential, a formulation of system objectives using temporal logic, and a verification method based on model checking to verify if the objectives can still be achieved by the faulty system. The systems considered are discrete-continuous systems.Show less >

Language :

Anglais

Popular science :

Non

Collections :