A new efficient and flexible algorithm for the design of testable subsystems

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

Cassar, J. and Staroswiecki, M. (1997). A structural approach for the design of failure detection and identification systems, IFAC, IFIP, IMACS Conference on Control of Industrial Systems, Belfort, France, pp. 329-334.Search in Google Scholar

Chittaro, L. and Ranon, R. (2004). Hierarchical model-based diagnosis based on structural abstraction, Artificial Intelligence 155(1-2): 147-182.10.1016/j.artint.2003.06.003Search in Google Scholar

Codd, E. (1970). A relational model of data for large shared data banks, Communications of the ACM 13(6): 377-387.10.1145/362384.362685Search in Google Scholar

Console, L., Picardi, C. and Ribando, M. (2000). Diagnosis and diagnosability analysis using process algebra, Proceedings of the Eleventh International Workshop on Principles of Diagnosis (DX-00), MX, Morelia, Mexico, pp. 25-32.Search in Google Scholar

Dague, P. (2001). Théorie logique du diagnostic à base de modèles, in B. Dubuisson (Ed.), Diagnostic, Intelligence artificielle et reconnaissance de formes, Hermès Science, Paris, pp. 17-104.Search in Google Scholar

Davis, R. (1984). Diagnostic reasoning based on structure and behavior, Artificial Intelligence 24(1-3): 347-410.10.1016/0004-3702(84)90042-0Search in Google Scholar

De Kleer, J. and Williams, B. C. (1987). Diagnosing multiple faults, Artificial Intelligence 32(1): 97-130.10.1016/0004-3702(87)90063-4Search in Google Scholar

de Kleer, J. and Williams, B. C. (1992). Diagnosis with behavioral modes, in W.C. Hamscher, I.de Kleer and L. Console (Eds), Readings in Model-Based Diagnosis, Morgan Kaufmann Publishers Inc., San Francisco, CA, pp. 124-130.Search in Google Scholar

Dechetr, R. (2003). Constraint Processing, Morgan Kaufmann Publishers, San Francisco, CA.Search in Google Scholar

Declerck, P. and Staroswiecki, M. (1991). Characterization of the canonical components of a structural graph for fault detection in large scale industrial plants, European Control Conference, Grenoble, France, pp. 298-303.Search in Google Scholar

Dulmage, A. L. and Mendelsohn, N. S. (1959). A structure theory of bi-partite graphs of finite exterior extension, Transactions of the Royal Society of Canada 53(III): 1-13.Search in Google Scholar

Frank, P. M. (1990). Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy—A survey and some new results, Automatica 26(3): 459-471.10.1016/0005-1098(90)90018-DSearch in Google Scholar

Frisk, E. (2000). Residual generator for non-linear polynomial systems—A Grobner basis approach, IFAC Fault Detection, Supervision and Safety for Technical Processes, Budapest, Hungary, pp. 979-984.Search in Google Scholar

Fron, A. (1994). Programmation par contraintes, Addison-Wesley, Paris.Search in Google Scholar

Górny, B. and Ligeza, A. (2001). Review of systematic conflict generation in model-based diagnosis of dynamic systems, IFAC Workshop on Manufacturing, Modelling Manageent and Control, Prague, Czech Republic, pp. 86-91.Search in Google Scholar

Iwasaki, Y. and Simo, H. A. (1994). Causality and model abstraction, Artificial Intelligence 67(1): 143-194.10.1016/0004-3702(94)90014-0Search in Google Scholar

Krysander, M., Åslund, J. and Nyberg, M. (2008). An efficient algorithm for finding minimal overconstrained subsystems for model-based-diagnosis, IEEE Transactions on Systems, Man, and Cybernetics—Part A: Systems and Humans 38(1): 197-206.10.1109/TSMCA.2007.909555Search in Google Scholar

Krysander, M., Aslund, J. and Nyberg, M. (2005). An efficient algorithm for finding over-constrained sub-systems for construction of diagnostic tests, 16th International Workshop on Principles of Diagnosis (DX-05), Pacific Grove, CA, USA.Search in Google Scholar

Ligeza, A. and Górny, B. (2000). Systematic conflict generation in model-based diagnosis, SAFEPROCESS'2000: 4th IFAC Symposium on Fault Detection and Supervision and Safety for Technological Processes, Budapest, Hungary, Vol. II, pp. 1103-1108.Search in Google Scholar

Mishra, P. and Eich, M. (1992). Join processing in relational databases, ACM Computing Surveys 24(1): 63-113.10.1145/128762.128764Search in Google Scholar

Nayak, P. P. and Levy, A. Y. (1995). A semantic theory of abstractions, 14th International Joint Conference on Artificial Intelligence IJCAI-95, Montreal, Canada, pp. 196-203.Search in Google Scholar

Nyberg, M. and Krysander, M. (2003). Combining AI, FDI, and statistical hypothesis-testing in a framework for diagnosis, IFAC SAFEPROCESS'03, Washington, DC, USA, pp. 813-818.Search in Google Scholar

Patton, R., Frank, P. and Clark, R. (Eds) (1989). Fault Diagnosis in Dynamic Systems, International Series in Systems and Control Engineering, Prentice Hall, London.Search in Google Scholar

Ploix, S., Désinde, M. and Michau, F. (2004). Assessment and diagnosis for virtual reality training, International Symposium on Advanced Robot Systems and Virtual Reality, Grenoble, France.Search in Google Scholar

Ploix, S., Desinde, M. and Touaf, S. (2005). Automatic design of detection tests in complex dynamic systems, 16th IFAC World Congress, Prague, Czech Republic.10.3182/20050703-6-CZ-1902.01882Search in Google Scholar

Ploix, S., Touaf, S. and Flaus, J. M. (2003). A logical framework for isolation in fault diagnosis, SAFEPROCESS'2003, Washington, DC, USA.10.1016/S1474-6670(17)36592-8Search in Google Scholar

Pulido, B. and Alonso, C. (2002). Possible conflicts, arrs, and conflicts, 13th International Workshop on Principles of Diagnosis (DX02), Semmering, Austria, pp. 122-128.Search in Google Scholar

Reiter, R. (1987). A theory of diagnosis from first principles, Artificial Intelligence 32(1): 57-95.10.1016/0004-3702(87)90062-2Search in Google Scholar

Russell, S. and Norvig, P. (2003). Artificial Intelligence, A Modern Approach, 2nd Ed., Prentice Hall, Upper Saddle River, NJ.Search in Google Scholar

Staroswiecki, M., Cocquempot, V. and Cassar, J. P. (1991). Observer based and parity space approaches for failure detection and identification, IMACS-IFAC International Symposium, Lille, France, Vol. 25, pp. 536-541.Search in Google Scholar

Staroswiecki, M. and Declerck, P. (1989). Analytical redundancy in nonlinear interconnected systems by means of structural analysis, IFAC AIPAC'89 Symposium, Nantes, France, Vol. 2, pp. 23-27.Search in Google Scholar

Struss, P. (1992). What's in SD? Towards a theory of modeling for diagnosis, in W. Hamscher, L. Console and J. De Kleer (Eds), Readings in Model-Based Diagnosis, Morgan Kaufman, San Francisco, CA, pp. 419-448.Search in Google Scholar

Travé-Massuyès, L., Escobet, T. and Olive, X. (2006). Diagnosability analysis based on component supported analytical redundancy relations, IEEE Transactions on Systems, Man, And Cybernetics—Part A: Systems and Humans 36(6): 1146-1160.10.1109/TSMCA.2006.878984Search in Google Scholar

Travé-Massuyès, L., Escobet, T. and Spanache, S. (2003). Diagnosability analysis based on component supported analytical redundancy relations, IFAC Workshop SAFEPROCESS'2003, Washington, DC, USA, pp.897-902.Search in Google Scholar

Willsky, A. (1976). A survey of design methods for failure detection in dynamic systems, Automatica 21(4): 601-611.10.1016/0005-1098(76)90041-8Search in Google Scholar