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.
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.
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.
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
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.
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
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.
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.
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.
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.
Date: 20/5, 10.15-12.00
Place: Filtret
Page responsible: Erik Frisk
Last updated: 2010-11-29