pdf download - Software and Computer Technology - TU Delft

BIBLIOGRAPHY
[12] Johan de Kleer and Brian C. Williams. Diagnosing with behavioral modes. In Proc. of the 11th
International Joint Conference on Artificial Intelligence (Detroit, MI, USA) (N.S. Sridharan,
ed.), pages 1324–1330. Morgan Kaufman, August 1989.
[13] A. Feldman. Hierarchical approach to fault diagnosis. Master’s thesis, Delft University of
Technology, November 2004.
[14] Alexander Feldman, Arjan van Gemund, and Andre Bos. A hybrid approach to hierarchical
fault diagnosis. In Proc. of the Sixteenth International Workshop on Principles of Diagnosis
(DX-05), June 2005.
[15] K. Kong Tse Lam. On the use of the conflict-directed a* algorithm in model-based fault
diagnosis. Master’s thesis, Delft University of Technology, June 2004.
[16] M. Loos. System design specification rocket b2. cardio vascular (c/v) x-ray (version 1.0).
Technical report, Philips Medical Systems Nederland B.V., April 2005. Non-public document.
[17] G.J. Meek. Modellering frontal stands bewegingen. Technical report, Philips Medical Systems
Nederland B.V., December 2001. Non-public document.
[18] Bernhard Peischl and Franz Wotawa. Model-based diagnosis or reasoning from first principles,
2003.
[19] J.H. Peters. System requirements specification rocket b2. cardio vascular (c/v) x-ray (version
1.0). Technical report, Philips Medical Systems Nederland B.V., April 2005. Non-public
document.
[20] J. Pietersma and A.J.C. van Gemund. Diagnostic accuracy of models. In Proc. 6th IFAC
Symposium on Fault Detection, Supervision, and Safety of Technical Processes (SAFEPRO-
CESS06), Beijing, August 2006. accepted for publication.
[21] J. Pietersma and A.J.C. van Gemund. Temporal versus spatial observability tradeoffs in modelbased
diagnosis. In IEEE Intl Conference on Systems, Man, and Cybernetics (SMC06), Taipei,
Oct. 2006. accepted for publication.
[22] Jurryt Pietersma, Arjan van Gemund, and Andre Bos. A model-based approach to fault diagnosis
of embedded systems. In Proc. Annual Int’l ASCI Conf., June 2004.
[23] Jurryt Pietersma, Arjan van Gemund, and Andre Bos. A model-based approach to sequential
fault diagnosis. In Proceedings IEEE AUTOTESTCON 2005, Orlando, 2005.
[24] D. Poole. Representing diagnosis knowledge. Artificial Intelligence, 32(1):57–95, April 1994.
[25] R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57–95, 1987.
[26] C.E. Shannon. A mathematical theory of communication. Bell Sys. Tech. Journal, 27:379–623,
1948.
[27] Arjan van Gemund. The lydia approach to diagnostic systems modeling. Technical report,
Delft University of Technology, 2002. PDS-2002-004.
[28] Arjan van Gemund. Lydia version 1.1 tutorial. Technical report, Delft University of Technology,
2003. PDS-2003-001.
74