Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems

  • Authors:
  • Denis Berdjag;Vincent Cocquempot;Cyrille Christophe;Alexey Shumsky;Alexey Zhirabok

  • Affiliations:
  • Automatic Control Laboratory, LAMIH, University of Valenciennes (UVHC), Bât. Malvache, Le Mont Houy, 59313 Valenciennes cedex 9, France;Automatic Control Laboratory, LAGIS, Polytech'Lille, Lille 1 University, 59655 Villeneuve d'Ascq, France;Automatic Control Laboratory, LAGIS, Polytech'Lille, Lille 1 University, 59655 Villeneuve d'Ascq, France;Institute for Marine Technology Problems, Far Eastern Branch of the Russian Academy of Sciences, 5a Sukhanova St, Vladivostok, 690600, Russia;Institute for Marine Technology Problems, Far Eastern Branch of the Russian Academy of Sciences, 5a Sukhanova St, Vladivostok, 690600, Russia

  • Venue:
  • International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.