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

Denis Berdjag; Vincent Cocquempot; Cyrille Christophe; Alexey Shumsky; Alexey Zhirabok

International Journal of Applied Mathematics and Computer Science (2011)

  • Volume: 21, Issue: 1, page 109-125
  • ISSN: 1641-876X

Abstract

top
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.

How to cite

top

Denis Berdjag, et al. "Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems." International Journal of Applied Mathematics and Computer Science 21.1 (2011): 109-125. <http://eudml.org/doc/208027>.

@article{DenisBerdjag2011,
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.},
author = {Denis Berdjag, Vincent Cocquempot, Cyrille Christophe, Alexey Shumsky, Alexey Zhirabok},
journal = {International Journal of Applied Mathematics and Computer Science},
keywords = {algebraic approaches; decomposition methods; decoupling; discrete-event systems},
language = {eng},
number = {1},
pages = {109-125},
title = {Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems},
url = {http://eudml.org/doc/208027},
volume = {21},
year = {2011},
}

TY - JOUR
AU - Denis Berdjag
AU - Vincent Cocquempot
AU - Cyrille Christophe
AU - Alexey Shumsky
AU - Alexey Zhirabok
TI - Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems
JO - International Journal of Applied Mathematics and Computer Science
PY - 2011
VL - 21
IS - 1
SP - 109
EP - 125
AB - 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.
LA - eng
KW - algebraic approaches; decomposition methods; decoupling; discrete-event systems
UR - http://eudml.org/doc/208027
ER -

References

top
  1. Bavishi, S. and Chong, E. (1994). Automated fault diagnosis using a discrete event systems framework, IEEE Symposium on Intelligent Control, Columbus, OH, USA, pp. 213-218. 
  2. Benveniste, A., Fabre, E., Haar, S. and Jard, C. (2003). Diagnosis of asynchronous discrete event systems: A net unfolding approach, IEEE Transactions of Automatic Control 48(5): 714-727. 
  3. Berdjag, D., Christophe, C. and Cocquempot, V. (2006a). An algebraic method for nonlinear system decomposition, 6th IFAC Symposium on Fault Detection Supervision ans Safety for Technical Processes, SAFEPROCESS'2006, Beijing, China, pp. 42-53. 
  4. Berdjag, D., Christophe, C. and Cocquempot, V. (2006b). Nonlinear model decomposition for fault detection and isolation system design, 45th IEEE Conference on Decision and Control, San Diego, CA, USA, pp. 3321-3326. 
  5. Berdjag, D., Christophe, C., Cocquempot, V. and Jiang, B. (2006c). Nonlinear model decomposition for robust fault detection and isolation using algebraic tools, International Journal of Innovative Computing, Information and Control 2(6): 1337-1353. 
  6. Blanke, M., Kinnaert, M., Lunze, J. and Staroswiecki, M. (2003). Diagnosis and Fault-Tolerant Control, Springer, Berlin. Zbl1023.93001
  7. Boel, R. and Jiroveanu, G. (2004). Distributed contextual diagnosis for very large systems, International Workshop on Discrete Event Systems, Reims, France, pp. 343-348. 
  8. Boubour, R., Jard, C., Aghasaryan, A., Fabre, E. and Benveniste, A. (1997). A Petri net approach to fault detection and diagnosis in distributed systems (Parts 1 and 2), IEEE 36th International Conference on Decision and Control, San Diego, CA, USA, pp. 720-731. Zbl0916.93074
  9. Chow, E. and Willsky, A. (1984). Analytical redundancy and the design of robust failure detection systems, IEEE Transactions on Automatic Control 29(7): 603-614. Zbl0542.90040
  10. Cox, D., Little, J. and O'Shea, D. (1991). Ideals, Varieties, and Algorithms, Springer-Verlag, New York, NY. 
  11. Diop, S. (1991). Elimination in control theory, Mathematics of Control, Signals, and Systems 4: 17-32. Zbl0727.93025
  12. Fliess, M. and Join, C. (2003). An algebraic approach to fault diagnosis for linear systems, Proceedings of the International Conference on Computational Engineering in System Applications, CESA, Lille, France, pp. 1-9. 
  13. Fliess, M., Join, C. and Sira-Ramírez, H. (2004). Robust residual generation for linear fault diagnosis: An algebraic setting with examples, International Journal of Control 77(20): 1223-1242. Zbl1073.93527
  14. Gertler, J. (1991). Analytical redundancy methods in fault detection and isolation-Survey and synthesis, Proceedings of the 1st IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, SAFEPROCESS'91, Baden Baden, Germany, Vol. 1, pp. 9-21. 
  15. Gertler, J.J. (1998). Fault Detection and Diagnosis in Engineering Systems, Marcel Dekker, New York, NY. 
  16. Giua, A. (1997). Petri net state estimators based on event observation, Proceedings of the 36th IEEE International Conference on Decision and Control, San Diego, CA, USA, pp. 4086-4091. 
  17. Hadjicostis, C. and Verghese, G. (1999). Monitoring discrete event systems using Petri net embeddings, in S. Donatelli and J. Kleijn (Eds.), Application and Theory of Petri Nets, Lecture Notes in Computer Science, Vol. 1639, Springer Verlag, Berlin/Heidelberg, pp. 188-207, DOI: 10.1007/3540-48745-X_12. Zbl0934.93046
  18. Hammouri, H., Kinnaert, M. and El Yaagoubi, E. (2001). A geometric approach to fault detection and isolation for bilinear systems, IEEE Transactions on Automatic Control 46(9): 1451-1455. Zbl1006.93014
  19. Hamscher, W., Console, L. and Kleer, J.D. (1992). Readings in Model-Based Diagnosis, Morgan Kaufmann Publishers, San Mateo, CA. 
  20. Hartmanis, J. and Stearns, R. (1966). The Algebraic Structure Theory of Sequential Machines, Prentice-Hall, New York, NY. Zbl0154.41701
  21. Hillston, J. (1996). A Compositional Approach to Performance Modelling, Cambridge University Press, Cambridge. Zbl1080.68003
  22. Isermann, R. (1984). Process fault-detection based on modelling and estimation methods-A survey, Automatica 20(4): 387-404. Zbl0539.90037
  23. Isermann, R. (2005). Model-based filt detection and analysis - Status and application, Annual Reviews in Control 29(1): 71-85. 
  24. Isermann, R. and Freyermuth, B. (1991). Process fault diagnosis based on process model knowledge, Part 1: Principles for fault diagnosis with parameter estimation, Transactions of the American Society of Mechanical Engineers 113(4): 620-626. Zbl0744.93006
  25. Isidori, A. (1995). Nonlinear Control Systems, 3rd Edn., Springer-Verlag, Berlin. Zbl0878.93001
  26. Jiang, B., Staroswiecki, M. and Cocquempot, V. (2004). Fault diagnosis based on adaptive observer for a class of nonlinear systems with unknown parameters, International Journal of Control 77(4): 415-426. Zbl1098.93013
  27. Jiang, B., Staroswiecki, M. and Cocquempot, V. (2006). Fault accommodation for nonlinear dynamic systems, IEEE Transactions on Automatic Control 51(9): 1578-1583. 
  28. Kinnaert, M. (1999). Robust fault detection based on observers for bilinear systems, Automatica 35(11): 1829-1842. Zbl0942.93010
  29. Lafortune, S., Teneketzis, D., Sengupta, R., Sampath, M. and Sinnamohideen, K. (2001). Failure diagnosis of dynamic systems: An approach based on discrete event systems, Proceedings of the American Control Conference, Arlington, VA, USA, pp. 2058-2071. Zbl0941.68613
  30. Lefebvre, D. (1999). Failure detection and isolation for manufacturing systems, Revue internationale d'ingenierie des systemes de production mecanique 2: V.33-V.44. 
  31. Leuschen, M., Walker, I. and Cavallaro, J. (2005). Fault residual generation via nonlinear analytical redundancy, IEEE Transactions on Control Systems Technology 13(3): 452-458. 
  32. Lin, F. (1994). Diagnosability of discrete event systems and its applications, Discrete Event Dynamic Systems 4(2): 197-212, DOI: 10.1007/BF01441211. Zbl0800.93030
  33. Lootsma, T. (2001). Observer-based Fault Detection and Isolation for Nonlinear Systems, Ph.D. thesis, Aalborg University, Aalborg. 
  34. Maquin, D., Cocquempot, V., Cassar, J., Staroswiecki, M. and Ragot, J. (1997). Generation of analytical redundancy relations for FDI purposes, IEEE International Symposium on Diagnostics for Electrical Machines, Power Electronics and Drives, SDEMPED'97, Carry-le Rouet, France, pp. 270-276. 
  35. Maquin, D., Luong, M. and Ragot, J. (1997). Fault detection and isolation and sensor network design, Journal européen des systèmes automatisés 31(2): 393-406. 
  36. Patton, R. (1994). Robust model-based fault diagnosis: The state of the art, Proceedings of the 2nd IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes, SAFEPROCESS'94, Espoo, Finland, Vol. 1, pp. 1-24. 
  37. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K. and Teneketzis, D. (1995). Diagnosability of discreteevent systems, IEEE Transactions on Automatic Control 40(9): 1555-1575. Zbl0839.93072
  38. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K. and Teneketzis, D. (1996). Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology 4(2): 105-124. Zbl0941.68613
  39. Shumsky, A. (1991). Fault isolation in nonlinear dynamic systems by functional diagnosis, Automation and Remote Control 12: 148-155. 
  40. Shumsky, A. (2007). Redundancy relations for fault diagnosis in nonlinear uncertain systems, International Journal of Applied Mathematics and Computer Science 17(4): 477-489, DOI: 10.2478/v10006-007-0040-1. Zbl1228.62129
  41. Shumsky, A. and Zhirabok, A. (2006). Nonlinear diagnostic filter design: Algebraic and geometric points of view, International Journal of Applied Mathematics and Computer Science 16(1): 115-127. Zbl1334.93081
  42. Staroswiecki, M. and Comtet-Varga, G. (2001). Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems, Automatica 37(5): 687-699. Zbl1007.93029
  43. Vereshchagin, N. and Shen, A. (2002). Basic Set Theory, Student Mathematical Library, Vol 17, American Mathematical Society, Providence, RI. Zbl1007.03001
  44. Zad, H., Kwong, R. and Wonham, W. (2003). Fault diagnosis in discrete-event systems: Framework and model reduction, IEEE Transactions on Automatic Control 48(7): 1199-1212. 
  45. Zad, S.H. (1999). Fault Diagnosis in Discrete-event and Hybrid Systems, Ph.D. thesis, University of Toronto, Toronto. Zbl0958.93536
  46. Zhirabok, A. (2006). Nonlinear dynamic systems: Their canonical decomposition based on invariant functions, Automation and Remote Control 67(4): 517-528. Zbl1125.93323
  47. Zhirabok, A. and Shumsky, A. (1993). A new mathematical techniques for nonlinear systems research, Proceedings of the 12th IFAC World Congress, Sydney, Australia, pp. 485-488. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.