Skip to main content
SpringerLink
Log in

Bridges between Diagnosis Theories from Control and AI Perspectives

  • Conference paper
Intelligent Systems in Technical and Medical Diagnostics

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 230))

Abstract

Diagnosis is the process of identifying or determining the nature and root cause of a failure, problem, or disease from the symptoms arising from selected measurements, checks or tests. The different facets of the diagnosis problem and the wide spectrum of classes of systems make this problem interesting to several communities and call for bridging theories. This paper presents diagnosis theories proposed by the Control and the AI communities and exemplifies how they can be synergically integrated to provide better diagnostic solutions and to interactively contribute in fault management architectures.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Ackerson, G., Fu, K.: On state estimation in switching environments. IEEE Transactions on Automatic Control 15, 10–17 (1970)

    Article  Google Scholar 

  2. Adrot, O., Maquin, D., Ragot, J.: Fault detection with model parameter structured uncertainties. In: Proceedings of the European Control Conference, ECC 1999, Karlsruhe, vol. 99 (1999)

    Google Scholar 

  3. Aguilar-Castro, J., Subias, A., Travé-Massuyès, L., Zouaoui, K.: Situation assessment in autonomous systems. In: Proceeding of the 4th Global Information Infrastructure and Networking Symposium, GIIS 2012, Choroni, Venezuela, pp. 1–6 (2012)

    Google Scholar 

  4. Aguilar-Martin, J., López de Mántaras, R.: The process of classification and learning the meaning of linguistic descriptors of concepts. Approximate Reasoning in Decision Analysis, 165–175 (1982)

    Google Scholar 

  5. 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: Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes Safeprocess 2009, Barcelona, Spain (2009)

    Google Scholar 

  6. Artikis, A., Skarlatidis, A., Portet, F., Paliouras, G.: Logic-based event recognition. Knowledge Engineering Review 27(4), 469–506 (2012)

    Article  Google Scholar 

  7. Basseville, M.: Detecting changes in signals and systems: a survey. Automatica 24(3), 309–326 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  8. Basseville, M., Nikiforov, I.: Detection of abrupt changes: theory and application. Citeseer (1993)

    Google Scholar 

  9. Basseville, M., Mevel, L., Goursat, M.: Statistical model-based damage detection and localization: subspace-based residuals and damage-to-noise sensitivity ratios. Journal of Sound and Vibration 275(3-5), 769–794 (2004)

    Article  Google Scholar 

  10. Bayoudh, M., Travé-Massuyès, L., Olive, X.: Hybrid systems diagnosis by coupling continuous and discrete event techniques. In: Proceedings of the IFAC World Congress, Seoul, Korea, pp. 7265–7270 (2008)

    Google Scholar 

  11. Bayoudh, M., Travé-Massuyès, L., Olive, X.: Towards Active Diagnosis of Hybrid Systems. In: Proceedings of the 19th International Workshop on Principles of Diagnosis, DX 2008, Blue Mountains, Australia, pp. 231–237 (2008)

    Google Scholar 

  12. Bayoudh, M., Travé-Massuyès, L., Olive, X.: Coupling continuous and discrete event system techniques for hybrid system diagnosability analysis. In: Proceedings of the 18th European Conference on Artificial Intelligence, ECAI 2008, July 21-25, pp. 219–223. IOS Press, Patras (2008)

    Google Scholar 

  13. Bayoudh, M., Travé-Massuyès, L., Olive, X.: Active diagnosis of hybrid systems guided by diagnosability properties. In: Proceeding of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Safeprocess 2009, Barcelona, Spain, pp. 1498–1503 (2009)

    Google Scholar 

  14. Bayoudh, M., Travé-Massuyès, L.: Diagnosability analysis of hybrid systems cast in a discrete-event framework. Journal of Discrete Event Dynamic Systems, JDEDS (2012), doi:10.1007/s10626-012-0153-z

    Google Scholar 

  15. Benazera, E., Travé-Massuyès, L., Dague, P.: State tracking of uncertain hybrid concurrent systems. In: Proceedings of the 13th International Workshop on Principles of Diagnosis, DX 2002, Semmering, Austria, pp. 106–114 (2002)

    Google Scholar 

  16. Benazera, E., Travé-Massuyès, L.: The Consistency approach to the on-line prediction of hybrid system configurations. In: Proceedings of the International IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2003, St. Malo, Brittany, France, June 16-18, pp. 241–247. Elsevier Science (2003)

    Google Scholar 

  17. Benazera, E., Travé-Massuyès, L.: Set-theoretic estimation of hybrid system configurations. IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics: A Publication of the IEEE Systems, Man, and Cybernetics Society 39(6), 1277–1291 (2009)

    Article  Google Scholar 

  18. Benazera, E.: On the Articulation of Planning and Diagnosis. Contract report: ROSACE, RTRA Project, LAAS internal report N 09536, 29 p. (2009)

    Google Scholar 

  19. 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 Transactions on Systems, Man, and Cybernetics, Part B 34(5), 2159–2162 (2004)

    Article  Google Scholar 

  20. Blanke, M., Kinnaert, M., Lunze, J., Staroswiecki, M.: Diagnosis and fault-tolerant control. Springer (2003)

    Google Scholar 

  21. Blom, H., Bar-Shalom, Y.: The interacting multiple model algorithm for systems with markovian switching coefficients. IEEE Transactions on Automatic Control 33, 780–783 (1988)

    Article  MATH  Google Scholar 

  22. Chanthery, E., Pencole, Y., Bussac, N.: An AO*-like algorithm implementation for active diagnosis. In: Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space, i-SAIRAS 2010, Sapporo, Japan, pp. 378–385 (2010)

    Google Scholar 

  23. Chow, E., Willsky, A.: Analytical redundancy and the design of robust failure detection systems. IEEE Transactions on automatic control 29(7), 603–614 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  24. 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 Transactions on Systems, Man, and Cybernetics, Part B 34(5), 2163–2177 (2004)

    Article  Google Scholar 

  25. Cram, D., Mathern, B., Mille, A.: A complete chronicle discovery approach: application to activity analysis. Expert Systems 29(4), 321–346 (2012)

    Article  Google Scholar 

  26. Dague, P., Travé-Massuyès, L.: Raisonnement causal en physique qualitative. Intellectica 38, 247–290 (2004)

    Google Scholar 

  27. Daigle, M., Koutsoukos, X., Biswas, G.: Improving diagnosability of hybrid systems through active diagnosis. In: Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Safeprocess 2009, Barcelona, Spain (2009)

    Google Scholar 

  28. De Kleer, J., Williams, B.: Diagnosing multiple faults. Artificial Intelligence 32(1), 97–130 (1987)

    Article  MATH  Google Scholar 

  29. Dousson, C., Gaborit, P., Ghallab, M.: Situation recognition: representation and algorithms. In: Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI 1993, Chambéry, France, pp. 166–172 (1993)

    Google Scholar 

  30. Dousson, C., Duong, T.V.: Discovering chronicles with numerical time constraints from alarm togs for monitoring dynamic systems. In: Proceedings of the Int. Joint Conf. on Artificial Intelligence, pp. 620–626. Lawrence Erlbaum Associates Ltd. (1999)

    Google Scholar 

  31. Dubuisson, B.: Automatique et statistiques pour le diagnostic. Hermes Science Europe Ltd. (2001)

    Google Scholar 

  32. Feenstra, P., Mosterman, P., Biswas, G., Breedveld, P.: Bond graph modeling procedures for fault detection and isolation of complex flow processes. Simulation Series 33(1), 77–84 (2001)

    Google Scholar 

  33. Fillatre, L., Nikiforov, I.: Non-Bayesian detection and detectability of anomalies from a few noisy tomographic projections. IEEE Transactions on Signal Processing 55(2), 401–413 (2007)

    Article  MathSciNet  Google Scholar 

  34. Fouladirad, M., Freitag, L., Nikiforov, I.: Optimal fault detection with nuisance parameters and a general covariance matrix. International Journal of Adaptive Control and Signal Processing 22(5), 431–439 (2008)

    Article  MathSciNet  Google Scholar 

  35. Frank, P.: On-line fault detection in uncertain nonlinear systems using diagnostic observers: a survey. International Journal of Systems Science 25(12), 2129–2154 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  36. de Freitas, N.: Rao-blackwellised particle filtering for fault diagnosis. In: Proceedings of the IEEE Aerospace Conference 2002, vol. 4, pp. 1767–1772 (2002)

    Google Scholar 

  37. Fukunaga, K.: Introduction to statistical pattern recognition. Academic Press, New York (1972)

    Google Scholar 

  38. Gentil, S., Montmain, J., Combastel, C.: Combining FDI and AI approaches within causal-model-based diagnosis. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics 34(5), 2207–2221 (2004)

    Article  Google Scholar 

  39. Gertler, J.: Fault Detection and Diagnosis in Engineering Systems. Marcel Deker (1998)

    Google Scholar 

  40. Ghallab, M., Nau, D., Traverso, P.: Automated Planning: theory and practice. Morgan Kaufmann (2004)

    Google Scholar 

  41. Grewal, M., Glover, K.: Identifiability of linear and nonlinear dynamical systems. IEEE Transactions on Automatic Control 21(6), 833–837 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  42. Henzinger, T.: The theory of hybrid automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, LICS 1996, New Brunswick, New Jersey, pp. 278–292 (1996)

    Google Scholar 

  43. Hofbaur, M.W., Williams, B.C.: Mode estimation of probabilistic hybrid systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 253–266. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  44. Hofbaur, M.W., Williams, B.C.: Hybrid diagnosis with unknown behavioral modes. In: Proceedings of the Thirteenth Internatinal Workshop on Principles of Diagnosis, DX 2002, Semmering, Austria, pp. 97–105 (2002)

    Google Scholar 

  45. Hofbaur, M.W., Williams, B.C.: Hybrid estimation of complex systems. IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics 34(5), 2178–2191 (2004)

    Article  Google Scholar 

  46. Ingrand, F., Chatila, R., Alami, R.: An architecture for dependable autonomous robots. In: Proceedings of the 8th IEEE International Conference on Emerging Technologies and Factory Automation, vol. 2, pp. 657–658 (2001)

    Google Scholar 

  47. Jauberthie, C., Verdière, N., Travé-Massuyès, L.: Set-membership identifiability: Definitions and analysis. In: Proceedings of the IFAC World Congress, Milan, Italy, pp. 12024–12029 (2011)

    Google Scholar 

  48. de Jonge, F., Roos, N., Witteveen, C.: Diagnosis of multi-agent plan execution. In: Fischer, K., Timm, I.J., André, E., Zhong, N. (eds.) MATES 2006. LNCS (LNAI), vol. 4196, pp. 86–97. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  49. Katsillis, G., Chantler, M.: Can dependency-based diagnosis cope with simultaneous equations. In: Proceedings of the 8th International Workshop on Principles of Diagnosis, DX 1997, pp. 51–59 (1997)

    Google Scholar 

  50. Kempowsky, T., Aguilar-Martin, J., Subias, A., Le Lann, M.V.: Classification tool based on interactivity between expertise and self-learning techniques. In: Proceedings of the International Symposium on Fault Detection, Supervision and Safety of Technical Processes, Safeprocess 2003, Washington DC, USA (2003)

    Google Scholar 

  51. Kempowsky, T., Subias, A., Aguilar-Martin, J., Travé-Massuyès, L.: A discrete event model for situation awareness purposes. In: Proceedings of the International Symposium on Fault Detection, Supervision and Safety of Technical Processes, Safeprocess 2006, Beijing, China, pp. 1288–1293 (2006)

    Google Scholar 

  52. Kempowsky, T., Subias, A., Aguilar-Martin, J.: Process Situation Assessment: From a fuzzy partition to a finite state machine. Eng. App. of Artificial Intelligence 19, 461–477 (2006)

    Article  Google Scholar 

  53. Kieffer, M., Walter, E.: Guaranteed estimation of the parameters of nonlinear continuous time models: Contributions of interval analysis. Int. Journal of Adaptive Cont. and Signal Processing 25(3), 191–207 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  54. Kleer, J., Mackworth, A., Reiter, R.: Characterizing diagnoses and systems. Artificial Intelligence 56(2-3), 197–222 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  55. Krysander, M., Aslund, J., Nyberg, M.: 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 (2008)

    Article  Google Scholar 

  56. Kuhn, L., Price, B., Do, M., Liu, J., Zhou, R.: Pervasive diagnosis: The Integration of Diagnostic Goals into Production Plans. In: Proceedings of the 23rd AAAI Conference on Artificial Intelligence, Chicago, USA, pp. 1306–1312 (2008)

    Google Scholar 

  57. Kurien, J., Nayak, P.P.: Back to the future for consistency-based trajectory tracking. In: Proceedings of the National Conference on Artificial Intelligence, pp. 370–377. AAAI Press, MIT Press, Menlo Park, CA (2000)

    Google Scholar 

  58. Hedjazi, L., Le Lann, M.V., Kempowsky, T., Aguilar-Martin, J., Dalenc, G.F., Despenes, S.L.: From chemical process diagnosis to cancer prognosis: an integrated approach for diagnosis and sensor/marker selection. In: Proceedings of the European Symposium on Computer-Aided Process Engineering, ESCAPE 21, Chalkidiki, Greece, pp. 1510–1514 (2011)

    Google Scholar 

  59. Lerner, U., Moses, B., Scott, M., McIlraith, S., Koller, D.: Monitoring a complex physical system using a hybrid dynamic bayes net. In: Proceedings of the Eighteenth Conference on Uncertainty in Artificial Intelligence, UAI 2002, pp. 301–310. Morgan Kaufmann Publishers Inc. (2002)

    Google Scholar 

  60. Lerner, U., Parr, R., Koller, D., Biswas, G.: Bayesian fault detection and diagnosis in dynamic systems. In: Proceedings of the National Conference on Artificial Intelligence, AAAI 2000, Menlo Park, CA, pp. 531–537 (2000)

    Google Scholar 

  61. Leyval, L., Gentil, S., Feray-Beaumont, S.: Model-based causal reasoning for process supervision. Automatica 30(8), 1295–1306 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  62. Li, X., Bar-Shalom, Y.: Multiple-model estimation with variable structure. IEEE Transactions on Automatic Control 41, 478–493 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  63. Liu, F., Qiu, D.: Safe diagnosability of stochastic discrete-event systems. IEEE Transactions on Automatic Control 53(5), 1291–1296 (2008)

    Article  MathSciNet  Google Scholar 

  64. Loiez, E., Taillibert, P.: Polynomial temporal band sequences for analog diagnosis. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 1997, Nagoya, Japan, August 23-29, pp. 474–479 (1997)

    Google Scholar 

  65. Lunze, J., Lamnabhi-Lagarrigue, F. (eds.): Handbook of hybrid systems control: theory, tools, applications. Cambridge University Press (2009)

    Google Scholar 

  66. McIlraith, S.A., Biswas, G., Clancy, D., Gupta, V.: Hybrid systems diagnosis. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 282–295. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  67. Mehra, R.: Optimal input signals for parameter estimation in dynamic systems–survey and new results. IEEE Transactions on Automatic Control 19(6), 753–768 (1974)

    Article  MathSciNet  MATH  Google Scholar 

  68. Micalizio, R., Torasso, P.: Plan diagnosis and agent diagnosis in multi-agent systems. In: Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, Rome, Italy, Springer Berlin Heidelberg, pp. 434–446. Springer, Heidelberg (2007)

    Google Scholar 

  69. Milanese, M., Vicino, A.: Optimal estimation theory for dynamic systems with set membership uncertainty: an overview. Automatica 27(6), 997–1009 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  70. Mohanty, S., Chattopadhyay, A., Peralta, P.: Adaptive residual useful life estimation of a structural hotspot. Journal of Intelligent Material Systems and Structures 21(3), 321–335 (2010)

    Article  Google Scholar 

  71. Mosterman, P., Biswas, G.: Diagnosis of continuous valued systems in transient operating regions. IEEE Transactions on Systems, Man, and Cybernetics, Part A 29(6), 554–565 (1999)

    Article  Google Scholar 

  72. Muscettola, N., Dorais, G.A., Fry, C., Levinson, R., Plaunt, C.: Idea: Planning at the core of autonomous reactive agents. In: Proceedings of the 3rd International NASA Workshop on Planning and Scheduling for Space (2002)

    Google Scholar 

  73. Narasimhan, S., Biswas, G.: An approach to model-based diagnosis of hybrid systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 308–322. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  74. Narasimhan, S., Dearden, R., Benazera, E.: Combining particle filters and consistency based approaches for monitoring and diagnosis of stochastic hybrid systems. In: Proceedings of the 15th International Workshop on Principles of Diagnosis (DX 2004), pp. 123–128 (2004)

    Google Scholar 

  75. Narasimhan, S., Dearden, R., Benazera, E.: Combining particle filters and consistency-based approaches for monitoring and diagnosis of stochastic hybrid systems. In: Proceedings of the15th International Workshop on Principles of Diagnosis (DX 2004). Citeseer, Carcassonne (2004)

    Google Scholar 

  76. Omlin, C.W., Thornber, K.K., Giles, L.C.: Fuzzy Finite-State Automata Can be Deterministically Encoded into Recurrent Neural Networks. IEEE Trans. on Fuzzy Systems 6(1), 8–79 (1998)

    Article  Google Scholar 

  77. Patton, R.J., Frank, P.M., Clarke, R.N.: Fault diagnosis in dynamic systems: theory and application. Prentice-Hall, Inc. (1989)

    Google Scholar 

  78. Patton, R.J., Chen, J.: A re-examination of the relationship between parity space and observer-based approaches in fault diagnosis. European Journal of Diagnosis and Safety in Automation 1(2), 183–200 (1991)

    Google Scholar 

  79. Pell, B., Bernard, D., Chien, S., Gat, E., Muscettola, N., Nayak, P., Wagner, M., Williams, B.: An autonomous spacecraft agent prototype. Autonomous Robots 5(1), 29–52 (1998)

    Article  Google Scholar 

  80. Pouliezos, A., Stavrakakis, G., Lefas, C.: Fault detection using parameter estimation. Quality and Reliability Engineering International 5, 283–290 (1985)

    Article  Google Scholar 

  81. Pulido, B., Gonzalez, C.: Possible conflicts: A compilation technique for consistency-based diagnosis. IEEE Transactions on Systems, Man, and Cybernetics – Part B: Cybernetics 34(5), 2192–2206 (2004)

    Article  Google Scholar 

  82. Qiu, Z., Gertler, J.: Robust FDI and H  ∞  optimization. In: Proceedings of the 32nd IEEE Conference on Control and Decision, CDC 1993, San Antonio, Texas, pp. 247–252 (1993)

    Google Scholar 

  83. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–95 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  84. Ribot, P., Pencolé, Y., Combacau, M.: Prognostics for the maintenance of distributed systems. In: Proceedings of the International Conference on Prognostics and Health Management (PHM 2008), Denver, USA, pp. 6–10 (2008)

    Google Scholar 

  85. Ribot, P., Pencolé, Y., Combacau, M.: Diagnosis and prognosis for the maintenance of complex systems. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics SMC 2009, San Antonio, Texas, USA, pp. 4146–4151 (2009)

    Google Scholar 

  86. Rienmuller, T., Bayoudh, M., Hofbaur, M., Travé-Massuyès, L.: Hybrid estimation through synergic mode-set focusing. In: Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Safeprocess 2009, Barcelona, Spain (2009)

    Google Scholar 

  87. Rienmuller, T., Hofbaur, M., Bayoudh, M., Travé-Massuyès, L.: Mode set focused hybrid estimation. International Journal of Applied Mathematics and Computer Science (AMCS) 23(1), 131–144 (2013)

    Google Scholar 

  88. Russel, S., Norvig, P.: Artificial Intelligence, A modern Approach, 2nd edn. Prentice Hall Series in Artificial Intelligence (2003)

    Google Scholar 

  89. Sachenbacher, M., Williams, B.: Diagnosis as semiring-based constraint optimization. In: Proceedings of the European Conference on Artificial Intelligence, ECAI 2004, vol. 16, pp. 873–879 (2004)

    Google Scholar 

  90. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control 40(9), 1555–1575 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  91. Saxena, A., Celaya, J., Saha, B., Saha, S., Goebel, K.: Metrics for offline evaluation of prognostic performance. International Journal of Prognostics and Health Management 1(1), 20 (2010)

    Google Scholar 

  92. Staroswiecki, M., Comtet-Varga, G.: Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems. Automatica 37(5), 687–699 (2001)

    MathSciNet  MATH  Google Scholar 

  93. Staroswiecki, M., Declerck, P.: Analytical redundancy in non linear interconnected systems by means of structural analysis. In: Proceedings of the IFAC Symposium on Advanced Information Processing in Automatic Control, pp. 51–55 (1989)

    Google Scholar 

  94. Subias, A., Exposito, E., Chassot, C., Travé-Massuyès, L., Drira, K.: Self-adapting strategies guided by diagnosis and situation assessment in collaborative communicating systems. In: Proceedings of the International Workshop on Principles of Diagnosis (DX 2010), Portland, USA, pp. 329–336 (2010)

    Google Scholar 

  95. Arulampalam, M.S., Maskell, S., Gordon, N., Clapp, T.: A tutorial on particle filters for online nonlinear/non-gaussian bayesian tracking. IEEE Transactions on Signal Processing 50(2), 174–188 (2002)

    Article  Google Scholar 

  96. Thrun, S., Langford, J., Verma, V.: Risk sensitive particle filters. In: Advances in Neural Information Processing Systems 2, pp. 961–968. MIT Press (2002)

    Google Scholar 

  97. Travé-Massuyès, L., Pons, R., Tornil, S., Escobet, T.: The CA-En Diagnosis System and its Automatic Modelling Method. Computación y Sistemas 5(2), 128–143 (2001)

    Google Scholar 

  98. Travé-Massuyès, L., Dague, P.: Modèles et raisonnements qualitatifs, Lavoisier (2003)

    Google Scholar 

  99. Travé-Massuyès, L., Calderon-Espinoza, G.: Timed fault diagnosis. In: Proceedings of the European Control Conference, ECC 2007, Kos, Greece (2007)

    Google Scholar 

  100. Vachtsevanos, G., Lewis, F., Roemer, M., Hess, A., Wu, B.: Intelligent fault diagnosis and prognosis for engineering systems. Wiley Online Library (2006)

    Google Scholar 

  101. Venkatasubramanian, V., Rengaswamy, R., Yin, K., Kavuri, S.N.: A review of process fault detection and diagnosis Part I: Quantitative model-based methods. Journal of Computers and Chemical Engineering 27(3), 293–311 (2003)

    Article  Google Scholar 

  102. Venkatasubramanian, V., Rengaswamy, R., Kavuri, S.N.: A review of process fault detection and diagnosis Part II: Qualitative models and search strategies. Journal of Computers and Chemical Engineering 27(3), 313–326 (2003)

    Article  Google Scholar 

  103. Venkatasubramanian, V., Rengaswamy, R., Kavuri, S.N., Yin, K.: A review of process fault detection and diagnosis Part III: Process history based methods. Journal of Computers and Chemical Engineering 27(3), 327–346 (2003)

    Article  Google Scholar 

  104. Vento, J., Puig, V., Sarrate, R., Travé-Massuyés, L.: Fault Detection and Isolation of Hybrid Systems using Diagnosers that Reason on Components. In: Proceedings of the IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Safeprocess 2012 8(1), Mexico City, Mexico, pp. 1250–1255 (2012)

    Google Scholar 

  105. Verma, V., Gordon, G., Simmons, R., Thrun, S.: Real-time fault diagnosis. IEEE Robotics and Automation Magazine 11(2), 56–66 (2004)

    Article  Google Scholar 

  106. Verma, V., Thrun, S., Simmons, R.: Variable resolution particle filter. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 976–981 (2003)

    Google Scholar 

  107. Washington, R.: On-board real-time state and fault identification for rovers. In: Proceedings of the IEEE International Conference on Robotic and Automation, ICRA 2000, San Francisco, CA, USA (2000)

    Google Scholar 

  108. Washio, T., Motoda, H., Niwa, Y.: Discovering admissible model equations from observed data based on scale-types and identity constraints. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence, IJCAI 1999, vol. 16, pp. 772–779. Lawrence Erlbaum, Mahwah (1999)

    Google Scholar 

  109. Weld, D., De Kleer, J.: Readings in qualitative reasoning about physical systems. Morgan Kaufmann Publishers Inc., San Francisco (1989)

    Google Scholar 

  110. Williams, B., Nayak, P.: A model-based approach to reactive self-configuring systems. In: Proceedings of the National Conference on Artificial Intelligence, AAAI 1996, Portland, Oregon, pp. 971–978 (1996)

    Google Scholar 

  111. Williams, B., Ragno, R.: Conflict-directed A* and its role in model-based embedded systems. Journal of Discrete Applied Mathematics (2003)

    Google Scholar 

  112. Witteveen, C., Roos, N., van der Krogt, R., de Weerdt, M.: Diagnosis of single and multi-agent plans. In: Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 805–812. ACM (2005)

    Google Scholar 

  113. Zaytoon, J. (ed.): Systèmes dynamiques hybrides. Hermès Science Publication, Paris (2001)

    Google Scholar 

  114. BRIDGE group: Bridging AI and Control Engineering model-based diagnosis approaches, http://monet.aber.ac.uk:8080/monet/monetinfo/monetbridge.htm

  115. Network of Excellence MONET II, http://monet.aber.ac.uk:8080/monet/index.html

  116. GDR MACS: Groupement de Recherche Modélisation, Analyse et Conduite des Systémes Dynamiques, http://www.univ-valenciennes.fr/GDR-MACS/

  117. GDR I3: Groupement de Recherche Information, Interaction, Intelligence, http://www.irit.fr/GDR-I3/

  118. AFIA: Association Française d’Intelligence Atificielle, http://www.afia.asso.fr/

  119. BRIDGE Workshop (2001), http://www.di.unito.it/~dx01

  120. 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes Safeprocess 2009 (2009), http://safeprocess09.upc.es/

Download references

Author information

Authors and Affiliations

  1. CNRS, LAAS, 7, avenue du Colonel Roche, F-31400, Toulouse, France

    L. Travé-Massuyès

  2. Univ de Toulouse, LAAS, F-31400, Toulouse, France

    L. Travé-Massuyès

Authors
  1. L. Travé-Massuyès
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to L. Travé-Massuyès .

Editor information

Editors and Affiliations

  1. , Institute of Control and, University of Zielona Gora, ul. Podgorna 50, Zielona Gora, 65-246, Poland

    Jozef Korbicz

  2. , Institute of Control and, University of Zielona Gora, ul. Podgorna 50, Zielona Gora, 65-246, Poland

    Marek Kowal

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Travé-Massuyès, L. (2014). Bridges between Diagnosis Theories from Control and AI Perspectives. In: Korbicz, J., Kowal, M. (eds) Intelligent Systems in Technical and Medical Diagnostics. Advances in Intelligent Systems and Computing, vol 230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39881-0_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-39881-0_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-39880-3

  • Online ISBN: 978-3-642-39881-0

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation