A self_updating model for analysing system reconfigurability

Anne-Lise Gehin (1) , Hexuan Hu (2) , Mireille Bayart (1)

1 STF - Systèmes Tolérants aux Fautes
2 College of Energy and Electrical Engineering

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.

Mots clés: self-updating model; reconfigurability analysis; fault-tolerant control; model checking

Domaines: Automatique / Robotique

Anne-Lise Gehin, Hexuan Hu, Mireille Bayart. A self_updating model for analysing system reconfigurability. Engineering Applications of Artificial Intelligence, 2012, 25 (1), pp.20-30. ⟨10.1016/j.engappai.2011.08.001⟩. ⟨hal-00647449⟩