pdf download - Software and Computer Technology - TU Delft

More documents

Recommendations

Info

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
BIBLIOGRAPHY [29] B. Water. Field monitoring tool: Van prototype naar eindproduct. Technical report, Fontys Hogescholen / Philips Medical Systems Nederland B.V., June 2005. [30] Brian C. Williams and Pandurang Nayak. A model-based approach to reactive self-configuring systems. In Proc. of the 13th National Conference on Artificial Intelligence (Portland, OR, USA), pages 971–978. AAAI Press, August 1996. 75
Page 1:
Automated Fault Diagnosis at Philip
Page 4 and 5:
© 2006 W.M. Lindhoud. Document gen
Page 7:
Preface The work presented in this
Page 10 and 11:
CONTENTS 4.4 Modeling . . . . . . .
Page 13:
List of Tables 3.1 Evaluation appro
Page 16 and 17:
1.1 Fault Diagnosis Introduction Fi
Page 18 and 19:
1.2 Automated Fault Diagnosis Intro
Page 20 and 21:
1.5 Outline of the Thesis Introduct
Page 23 and 24:
Chapter 2 State-of-the-Practice Fau
Page 25 and 26:
State-of-the-Practice Fault diagnos
Page 27 and 28:
Page 29 and 30:
Page 31 and 32:
Page 33 and 34:
Chapter 3 Automated Fault Diagnosis
Page 35 and 36:
Automated Fault Diagnosis 3.1 Overv
Page 37 and 38: Automated Fault Diagnosis 3.1 Overv
Page 39 and 40: Automated Fault Diagnosis 3.1 Overv
Page 41 and 42: Automated Fault Diagnosis 3.3 Off-l
Page 43 and 44: Automated Fault Diagnosis 3.5 Model
Page 45: Automated Fault Diagnosis 3.6 Evalu
Page 48 and 49: 4.1 Fundamentals Model-Based Fault
Page 50 and 51: 4.2 Model-Based Diagnosis with LYDI
Page 52 and 53: 4.3 Basic Assumptions Model-Based F
Page 54 and 55: 4.4 Modeling Model-Based Fault Diag
Page 56 and 57: 4.4 Modeling Model-Based Fault Diag
Page 58 and 59: 4.5 Entropy Gain Model-Based Fault
Page 60 and 61: 4.6 MBD on the Power Supply Model-B
Page 63 and 64: Chapter 5 Diagnosing the Beam Prope
Page 65 and 66: Diagnosing the Beam Propeller Movem
Page 83 and 84: Chapter 6 Conclusions and Recommend
Page 85: Conclusions and Recommendations 6.2
Page 91 and 92: Appendix A Glossary of terms In thi
Page 93 and 94: Glossary of terms • Diagnostic Pe
Page 95 and 96: Glossary of terms • Model: an abs
Page 97: Glossary of terms • System: an en
Page 100 and 101: B.2 System Data Case Study Details
Page 102 and 103: B.4 Full List of Examined Fault Sce
Page 104 and 105: B.5 Discretization of Implementatio
Page 106 and 107: C.1 The Synthetic Models that are U
Page 108 and 109: C.2 Model of the Power Supply Examp
Page 114 and 115: C.3 The Models Constructed for the
Page 131 and 132: Appendix D State-of-the-Future Faul
show all

pdf download - Software and Computer Technology - TU Delft

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?