Abstract
Diagnosis of real world problems demands the integration of different techniques from several research fields. In Model-based Diagnosis, both Artificial Intelligence and Control Theory communities have provided different but complementary approaches. Recent works, known as BRIDGE proposal, provided a common framework for the integration of techniques for static systems.
This work proposes the extension of the BRIDGE framework for a specific class of dynamic systems, thus analyzing the influence of dynamic constraints in the behavior estimation capabilities for two Model-based Diagnosis techniques: Possible Conflicts and Analytical Redundancy Relations obtained through structural analysis. Results show the strong similarities between them, and provide new ways for integration of techniques from both areas. Additionally, algorithms computing Possible Conflicts provide the implicit structural model for state observer design with no extra knowledge added in the model. Results on a case study are provided, then compared and discussed against existing proposals.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Biswas, G., Cordier, M., Lunze, J., Travé-Massuyès, L., Staroswiecki, M.: Diagnosis of complex systems: bridging the methodologies of the FDI and DX communities. IEEE Trans. on Syst., Man, and Cyb. Part B: Cybernetics 34(5), 2159–2162 (2004)
Cordier, M., Dague, P., Lévy, F., Montmain, J., Staroswiecki, M., Travé-Massuyès, L.: Conflicts versus Analytical Redundancy Relations: a comparative analysis of the Model-based Diagnosis approach from the Artificial Intelligence and Automatic Control perspectives. IEEE Trans. on Syst., Man, and Cyb. Part B: Cybernetics 34(5), 2163–2177 (2004)
Hamscher, W., Console, L., de Kleer, J. (eds.): Readings in Model based Diagnosis. Morgan-Kaufmann Pub., San Mateo (1992)
Blanke, M., Kinnaert, M., Lunze, J., Staroswiecki, M.: Diagnosis and Fault-Tolerant Control, 2nd edn. Springer, Heidelberg (2006)
Pulido, B., Alonso-González, C.: Possible conflicts: a compilation technique for consistency-based diagnosis. IEEE Trans. on Syst., Man, and Cyb. Part B: Cybernetics 34(5), 2192–2206 (2004)
de Kleer, J., Kurien, J.: Fundamentals of model-based diagnosis. In: Procs. of DX’03 (2003)
Brusoni, V., Console, L., Terenziani, P., Dupre, D.: A spectrum of definitions for temporal model-based diagnosis. In: Procs. of DX’96, Val Morin, Quebec, Canada, pp. 44–52 (1996)
Gertler, J.: Fault detection and diagnosis in Engineering Systems. Marcel Dekker, Inc., Basel (1998)
Armengol, J., Bregon, A., Escobet, T., Gelso, E., Krysander, M., Nyberg, M., Olive, X., Pulido, B., Travé-Massuyès, L.: Minimal structurally overdetermined sets for residual generation: A comparison of alternative approaches. In: Procs. of IFAC-Safeprocess’09, Barcelone, Spain (2009)
Dressler, O.: On-line diagnosis and monitoring of dynamic systems based on qualitative models and dependency-recording diagnosis engines. In: Procs. of ECAI’96, pp. 461–465 (1996)
Chantler, M., Daus, S., Vikatos, T., Coghill, G.: The use of quantitative dynamic models and dependency recording engines. In: Procs. of DX’96, Val Morin, Quebec, Canada, pp. 59–68 (1996)
Dustegör, D., Frisk, E., Coquempot, V., Krysander, M., Staroswiecki, M.: Structural analysis of fault isolability in the DAMADICS benchmark. Control Engineering Practice 14(6), 597–608 (2006)
Svärd, C., Nyberg, M.: A mixed causality approach to residual generation utilizing equation system solvers and differential-algebraic equation theory. In: Procs. of DX’08, Blue Mountains, Australia (September 2008)
Pulido, B., Alonso, C., Bregón, A., Puig, V., Escobet, T.: Analyzing the influence of temporal constraints in Possible Conflicts calculation for model-based diagnosis. In: Procs. of DX’07, Nashville, TN, USA (2007)
Katsillis, G., Chantler, M.: Can dependency-based diagnosis cope with simultaneous equations? In: Procs. of DX’97, Le Mont Saint Michel, France, pp. 51–59 (1997)
Puig, V., Quevedo, J., Escobet, T., Meseguer, J.: Toward a better integration of passive robust interval-based FDI algorithms. In: IFAC Safeprocess’06, China (2006)
Krysander, M., Åslund, J., Nyberg, M.: An efficient algorithm for finding minimal over-constrained sub-systems for model-based diagnosis. IEEE Trans. on Systems, Man, and Cybernetics – Part A: Systems and Humans 38(1) (2008)
Christophe, C., Cocquempot, V., Jiang, B.: Link between high-gain observer-based and parity space residuals for FDI. Trans. of the Institute of Measurement and Control 26(325) (2004)
Pulido, B., Bregón, A., Alonso, C.: Improving robustness in consistency-based diagnosis using Possible Conflicts. In: Procs. of ECAI’2008, Patras, Greece (2008)
Bregón, A., Pulido, B., Alonso-González, C.: Combination of simulation and state observers for consistency-based diagnosis. In: Procs. of the Annual Conference of the Prognostics and Health Management Society, PHM’09, San Diego, CA, USA (September 2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pulido, B., Bregón, A., Alonso-González, C.J. (2010). Analyzing the Influence of Differential Constraints in Possible Conflict and ARR Computation. In: Meseguer, P., Mandow, L., Gasca, R.M. (eds) Current Topics in Artificial Intelligence. CAEPIA 2009. Lecture Notes in Computer Science(), vol 5988. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14264-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-14264-2_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14263-5
Online ISBN: 978-3-642-14264-2
eBook Packages: Computer ScienceComputer Science (R0)