Algebraic Approach for Model Decomposition: Application for Fault Detection and Isolation in Discrete-Event Systems

Denis Berdjag (1) , Vincent Cocquempot (2) , Cyrille Christophe (3) , Alexey Shumsky (4) , Alexey Zhirabok (4)

1 LAMIH - Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201
2 STF - Systèmes Tolérants aux Fautes
3 LAGIS - Laboratoire d'Automatique, Génie Informatique et Signal
4 Institute for Marine Technology Problems

This paper presents a constrained decomposition methodology with output injection to obtain decoupled partial models. Measured process outputs and decoupled partial model outputs are used to generate structured residuals for Fault Detection and Isolation (FDI). An algebraic framework is chosen to describe the decomposition method. The constraints of the decomposition ensure that the resulting partial model is decoupled from a given subset of inputs. Set theoretical notions are used to describe the decomposition methodology in the general case. The methodology is then detailed for discrete-event model decomposition using pair algebra concepts, and an extension of the output injection technique is used to relax the conservatism of the decomposition.

Mots clés: algebraic approaches; decomposition methods; decoupling; discrete-event systems.; discrete-event systems

Domaines: Automatique / Robotique

Denis Berdjag, Vincent Cocquempot, Cyrille Christophe, Alexey Shumsky, Alexey Zhirabok. Algebraic Approach for Model Decomposition: Application for Fault Detection and Isolation in Discrete-Event Systems. International Journal of Applied Mathematics and Computer Science, 2011, 21 (1), pp.109-125. ⟨10.2478/v10006-011-0008-z⟩. ⟨hal-00710155⟩