pdf download - Software and Computer Technology - TU Delft
pdf download - Software and Computer Technology - TU Delft
pdf download - Software and Computer Technology - TU Delft
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Bibliography<br />
[1] The lydia project. http://www.st.ewi.tudelft.nl/˜gemund/Lydia.<br />
[2] The servicewax project. Philips Medical Systems Nederl<strong>and</strong> B.V. (Intranet), 2005-2006. Nonpublic<br />
data warehouse.<br />
[3] Peter Ashenden. The vhdl cookbook. ftp://ftp.cs.adelaide.edu.au/pub/<br />
VHDL-Cookbook/.<br />
[4] Algirdas Avizienis, Jean-Claude Laprie, Brian R<strong>and</strong>ell, <strong>and</strong> Carl L<strong>and</strong>wehr. Basic concepts<br />
<strong>and</strong> taxonomy of dependable <strong>and</strong> secure computing. IEEE Transactions on dependable <strong>and</strong><br />
secure computing, 1(1), January-March 2004.<br />
[5] A. Barve. Model-based diagnosis: an asml case study. Master’s thesis, <strong>Delft</strong> University of<br />
<strong>Technology</strong>, August 2005.<br />
[6] M. Berkel. Field monitoring cardio vasculair. Technical report, Fontys Hogescholen / Philips<br />
Medical Systems Nederl<strong>and</strong> B.V., June 2005.<br />
[7] Mike Y. Chen, Emre Kiciman, Eugene Fratkin, Arm<strong>and</strong>o Fox, <strong>and</strong> Eric Brewer. Pinpoint:<br />
Problem determination in large, dynamic internet services. In International Conference on<br />
Dependable Systems <strong>and</strong> Networks (Bethesda, MD), pages 595–604. IEEE <strong>Computer</strong>, Society,<br />
2002.<br />
[8] L. Console, D.T. Dupr, <strong>and</strong> P.Torasso. On the relationship between abduction <strong>and</strong> deduction.<br />
J. Logic <strong>and</strong> Computation, 1(5):661–690, October 1991.<br />
[9] Sourabh Dash <strong>and</strong> Venkat Venkatasubramanian. Challenges in the industrial applications of<br />
fault diagnostic systems. Technical report, Purdue University, Laboratory of Intelligent Process<br />
Systems, 2000.<br />
[10] J. de Kleer, A.K. Mackworth, <strong>and</strong> R. Reiter. Characterizing diagnoses <strong>and</strong> systems. Artificial<br />
Intelligence, 56:197–222, 1992.<br />
[11] Johan de Kleer <strong>and</strong> Brian C. Williams. Diagnosing multiple faults. In Readings in Nonmonotic<br />
Reasoning (Mathew L. Ginsberg, ed.), pages 372–388. Los Altos, California: Morgan<br />
Kaufman, 1987.<br />
73