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

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.Search in Google Scholar

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.10.1109/TAC.2003.811249Search in Google Scholar

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.10.1016/B978-008044485-7/50009-9Search in Google Scholar

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.10.1109/CDC.2006.377518Search in Google Scholar

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.10.1109/CDC.2006.377518Search in Google Scholar

Blanke, M., Kinnaert, M., Lunze, J. and Staroswiecki, M. (2003). Diagnosis and Fault-Tolerant Control, Springer, Berlin.10.1007/978-3-662-05344-7Search in Google Scholar

Boel, R. and Jiroveanu, G. (2004). Distributed contextual diagnosis for very large systems, International Workshop on Discrete Event Systems, Reims, France, pp. 343-348.Search in Google Scholar

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.Search in Google Scholar

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.10.1109/TAC.1984.1103593Search in Google Scholar

Cox, D., Little, J. and O'Shea, D. (1991). Ideals, Varieties, and Algorithms, Springer-Verlag, New York, NY.10.1007/978-1-4757-2181-2Search in Google Scholar

Diop, S. (1991). Elimination in control theory, Mathematics of Control, Signals, and Systems 4: 17-32.10.1007/BF02551378Search in Google Scholar

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.Search in Google Scholar

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.10.1080/002071704200024374Search in Google Scholar

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.Search in Google Scholar

Gertler, J. J. (1998). Fault Detection and Diagnosis in Engineering Systems, Marcel Dekker, New York, NY.Search in Google Scholar

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.Search in Google Scholar

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/3-540-48745-X_12.10.1007/3-540-48745-X_12Search in Google Scholar

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.10.1109/9.948476Search in Google Scholar

Hamscher, W., Console, L. and Kleer, J. D. (1992). Readings in Model-Based Diagnosis, Morgan Kaufmann Publishers, San Mateo, CA.Search in Google Scholar

Hartmanis, J. and Stearns, R. (1966). The Algebraic Structure Theory of Sequential Machines, Prentice-Hall, New York, NY.Search in Google Scholar

Hillston, J. (1996). A Compositional Approach to Performance Modelling, Cambridge University Press, Cambridge.10.1017/CBO9780511569951Search in Google Scholar

Isermann, R. (1984). Process fault-detection based on modelling and estimation methods—A survey, Automatica 20(4): 387-404.10.1016/0005-1098(84)90098-0Search in Google Scholar

Isermann, R. (2005). Model-based filt detection and analysis—Status and application, Annual Reviews in Control 29(1): 71-85.10.1016/j.arcontrol.2004.12.002Search in Google Scholar

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.10.1115/1.2896466Search in Google Scholar

Isidori, A. (1995). Nonlinear Control Systems, 3rd Edn., Springer-Verlag, Berlin.Search in Google Scholar

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.10.1080/00207170410001669673Search in Google Scholar

Jiang, B., Staroswiecki, M. and Cocquempot, V. (2006). Fault accommodation for nonlinear dynamic systems, IEEE Transactions on Automatic Control 51(9): 1578-1583.10.1109/TAC.2006.878732Search in Google Scholar

Kinnaert, M. (1999). Robust fault detection based on observers for bilinear systems, Automatica 35(11): 1829-1842.10.1016/S0005-1098(99)00067-9Search in Google Scholar

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.Search in Google Scholar

Lefebvre, D. (1999). Failure detection and isolation for manufacturing systems, Revue internationale d'ingenierie des systemes de production mecanique 2: V.33-V.44.Search in Google Scholar

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.10.1109/TCST.2004.839577Search in Google Scholar

Lin, F. (1994). Diagnosability of discrete event systems and its applications, Discrete Event Dynamic Systems 4(2): 197-212, DOI: 10.1007/BF01441211.10.1007/BF01441211Search in Google Scholar

Lootsma, T. (2001). Observer-based Fault Detection and Isolation for Nonlinear Systems, Ph.D. thesis, Aalborg University, Aalborg.Search in Google Scholar

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.Search in Google Scholar

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.Search in Google Scholar

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.Search in Google Scholar

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.10.1109/9.412626Search in Google Scholar

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.10.1109/87.486338Search in Google Scholar

Shumsky, A. (1991). Fault isolation in nonlinear dynamic systems by functional diagnosis, Automation and Remote Control 12: 148-155.Search in Google Scholar

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.10.2478/v10006-007-0040-1Search in Google Scholar

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.Search in Google Scholar

Staroswiecki, M. and Comtet-Varga, G. (2001). Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems, Automatica 37(5): 687-699.10.1016/S0005-1098(01)00005-XSearch in Google Scholar

Vereshchagin, N. and Shen, A. (2002). Basic Set Theory, Student Mathematical Library, Vol 17, American Mathematical Society, Providence, RI.Search in Google Scholar

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.10.1109/TAC.2003.814099Search in Google Scholar

Zad, S. H. (1999). Fault Diagnosis in Discrete-event and Hybrid Systems, Ph.D. thesis, University of Toronto, Toronto.Search in Google Scholar

Zhirabok, A. (2006). Nonlinear dynamic systems: Their canonical decomposition based on invariant functions, Automation and Remote Control 67(4): 517-528.10.1134/S0005117906040011Search in Google Scholar

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.Search in Google Scholar