Architecture pour la reconfiguration en temps réel des systèmes complexes

Abstract : We propose a methodology for the design of fault tolerant control systems for the supervision of complex systems. First, the system is exhaustively described through a hybrid automaton which is enriched with parameters that quantifies the possible complete or partial faults. In the offline stage, the complex system is abstracted into a useful discrete event system with dedicated approaches. After, a supervisor is designed according to the standard objectives.In the online stage, fault detection can be interpreted by prohibiting some behaviours and introducing uncertainties. Thereafter, the diagnosis and identification modules (that are not treated in this work) reduce progressively the hybrid system. In order to update the abstract model, we developed some algorithms for reachability calculus, verification and generation of stabilized regions.In order to supervise the faulty system, the use of abstraction methodologies is necessary in order to transform the low level exhaustive model into an abstract and appropriate model. This abstraction is realized through algorithms that takes into account the abstraction context (objectives, constraints…). When a fault is detected, the reconfiguration is triggered by trying, as the abstract model is enriched, to reduce the behaviour of the faulty system into a preconceived model
Document type :
Autre. Ecole Centrale de Lille, 2009. Français. 〈NNT : 2009ECLI0023〉
Liste complète des métadonnées

Cited literature [71 references]  Display  Hide  Download
Contributor : Abes Star <>
Submitted on : Thursday, March 24, 2011 - 10:34:06 AM
Last modification on : Thursday, May 17, 2018 - 2:29:13 PM
Document(s) archivé(s) le : Saturday, June 25, 2011 - 2:25:09 AM


Version validated by the jury (STAR)


  • HAL Id : tel-00579518, version 1



Ahmed Guadri. Architecture pour la reconfiguration en temps réel des systèmes complexes. Autre. Ecole Centrale de Lille, 2009. Français. 〈NNT : 2009ECLI0023〉. 〈tel-00579518〉



Record views


Files downloads