25.07.2014 Views

pdf download - Software and Computer Technology - TU Delft

pdf download - Software and Computer Technology - TU Delft

pdf download - Software and Computer Technology - TU Delft

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!