PhD course in diagnosis - Course outline

This page includes links to PDF-documents for all course material needed in the course.

Exercises: exercises (100430), Circuits exercises
Matlab files: Tab.mat, fsm.mat, SM.mat, pareq.m.

Meeting 1 - Logical foundations

Logical foundations for consistency based diagnosis

Papers

• J. de Kleer, Mackworth, and Reiter, "Characterizing Diagnoses and Systems", Artificial Intelligence 56 (1992)
• R. Reiter, "A Theory of Diagnosis from First Principles", Artificial Intelligence 32 (1987) 57--95
  Pages: Sections 1 to, and including, Section 4.1.

Responsible: Erik F and Mattias K.
Date: 11/2 13.15-15.00
Place: Filtret

Meeting 2 - Logical foundations cont. and fault isolation algorithms

Logical foundations for consistency based diagnosis, and fault isolation algorithms

Papers

• J. de Kleer, Mackworth, and Reiter, "Characterizing Diagnoses and Systems", Artificial Intelligence 56 (1992)
  Pages: Second half, from Theorem 4.4
• Reiter, "A Theory of Diagnosis from First Principles", Artificial Intelligence 32 (1987) 57--95
  Pages: Section 4.2 to Section 5.
• Greiner, Smith, and Wilkerson, "A Correction of the Algorithm in Reiter's Theory of Diagnoses"
• J. de Kleer and B. C. Williams, "Diagnosing Multiple Faults", Artificial Intelligence 32 (1987) 97-130
  Pages: 97-109.

Responsible: Christofer Sundström
Date: 18/2 13.15-15.00
Place: Filtret

Meeting 3 - Fault isolation algorithms

Fault isolation algorithms

Papers

• Reiter, "A Theory of Diagnosis from First Principles", Artificial Intelligence 32 (1987) 57--95
• Greiner, Smith, and Wilkerson, "A Correction of the Algorithm in Reiter's Theory of Diagnoses"
• M. Nyberg, "A Generalized Minimal Hitting-Set Algorithm to Handle Diagnosis with Behavioral Modes", To appear in IEEE transaction on systems Man and Cybernetics - Part A
• Not included, read if you are interested: J. de Kleer and B. C. Williams, "Diagnosis with behavioral modes", In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, 1324-1330. Menlo Park, Calif., 1989.

Responsible: Peter Nyberg
Date: 25/2 10.15-12.00
Place: Filtret

Meeting 4 - Structural analysis and residual generation

Papers

• Mattias Krysander, Jan Åslund, and Mattias Nyberg, "An Efficient Algorithm for Finding Minimal Over-constrained Sub-systems for Model-based Diagnosis", IEEE Transactions on Systems, Man, and Cybernetics part A, vol 38, number 1, 2008.
• Excerpts from Chapter 5 "Structural Analysis" by M. Staroswiecki in book "Diagnosis and Fault Tolerant Control" by M. Blanke, M. Kinnaert, J. Lunze and M. Staroswiecki. Pages 99-162

Responsible: Carl Svärd
Date: 11/3, 13.15-15.00
Place: Filtret

Meeting 5 - Diagnosability analysis

Papers

• Mattias Krysander, and Erik Frisk, "Sensor placement for fault diagnosis", IEEE Transactions on Systems, Man, and Cybernetics -- Part A: Systems and Humans, 38(6):1398--1410, 2008.
  Pages: 1398--1400 (read the rest if you want to know how the -- --results can be applies)
• Erik Frisk, Mattias Krysander, and Jan Åslund "Sensor Placement for Fault Isolation in Linear Differential-Algebraic Systems", Automatica, 45(2):364--371, 2009.
  Pages: 364--366
• Xavier Pucel, Wolfgang Mayer, and Markus Stumptner, "Diagnosability analysis without fault models", 20th International Workshop on Principles of Diagnosis (DX-09), 67--74, Stockholm, Sweden.

Responsible: Emil Larsson
Date: 25/3, 13.15-17.00
Place: Filtret

Meeting 6 - Residual generation/Fault detection: statistical and optimal linear solutions

Papers

• M. Fouladirad and I. Nikiforov, "Optimal statistical fault detection with nuisance parameters", Automatica, 41(7):1157--1171, 2005.
• P. Zhang, H. Ye, S.X. Ding, G.Z. Wang and D.H. Zhou, " On the relationship between parity space and H2 approaches to fault detection", Systems & Control Letters Volume 55, Issue 2, February 2006, Pages 94-100

Responsible: Erik Frisk and Mattias Krysander
Date: 31/3, 10.15-12.00
Place: Filtret

Meeting 7 - Residual generation/Fault detection: non-linear dynamical models

Papers

• P. Li and V. Kadirkamanathan, "Particle filtering based likelihood ratio approach to fault diagnosis in nonlinear stochastic systems", IEEE Transactions on Systems, Man, and Cybernetics, Part C, 31(3), 337--343, 2001.
• X. Zhang, M. M. Polycarpou, and T. Parisini, "Fault diagnosis of a class of nonlinear uncertain systems with Lipschitz nonlinearities using adaptive estimation", Automatica, 46(2), 290--299, 2010.

Responsible: Erik Frisk and Mattias Krysander
Date: 13/4, 15.00-17.00
Place: Filtret

Meeting 8 - Troubleshooting

Papers

• J. de Kleer and B. C. Williams, "Diagnosing Multiple Faults", Artificial Intelligence 32 (1987) 97-130 (corrected version)
  Pages: Section 4 - .
• D. Heckerman, J.S. Bruce, and K. Rommelse, "Decision-theoretic Troubleshooting", Communications of the ACM, Vol. 38, No. 3, pp. 49-57, 1995.
• H. Langseth and F.V. Jensen, "Decision-theoretic troubleshooting of coherent systems", Reliability Engineering and System Safety, Vol. 80, pp. 49-62, 2003.
  Complementary text to Heckerman et.al., read if you want to learn more. Not mandatory.

Responsible: Håkan Warnquist
Date: 29/4, 10.15-12.00
Place: Filtret

Meeting 9 - Testing electrical circuits

Papers

• S. Holst and H.J. Wunderlich, "Adaptive Debug and Diagnosis Without Fault Dictionaries", Journal of Electronic Testing, vol. 25, pp. 259--268, 2009.
• M.A. Shukoor and V.D. Agrawal, "Compaction of Diagnostic Test Set for a Full-Response Dictionary", Proc. 18th IEEE North Atlantic Test Workshop, 2009.

Responsible: Urban
Date: 10/5, 10.15-12.00
Place: Filtret

Meeting 10 - Fault Tolerant Control

Papers

• M. Blanke, R. Izadi-Zamanabadi, and T.F. Lootsma, "Fault monitoring and re-configurable control for a ship propulsion plant", International journal of adaptive control and signal processing, vol. 12, pp. 671-688, 1998.

Responsible: Carl Svärd
Date: 20/5, 10.15-12.00
Place: Filtret