References

[Alarcon et al 94]

Alarcon, P.Rodriguez-Marin, L.B.Almeida, R.Sanz, L.Fontaine, P.Gomez, X.Alaman, P.Nordin, H.Bejder, E.de Pablo - Heterogenous integration architecture for intelligent control systems (HINT) - 2nd Intern.Conference of Intelligent System Engineering 1994, published in Intern.Journal of Artificial Intelligence in Engineering, Special Issue, 1994

[Andrews-Clarke 86]

Andrews, M.J. and Clarke, A.D. Development of a service support system for micro-processor-controlled vehicle electrical systems. Proc. of the Institution of Mechanical Engineers, 1986, Vol 200 No D5, S43-S51.

[Beschta et al 93]

A.Beschta, O.Dressler, H.Freitag, M.Montag, P.Struss - A Model-based Approach to Fault Localisation in Power Transmission Networks - Intelligent Systems Engineering, 2(1), 1993, 3-14

[Boettcher-Dague-Taillibert 96]

C. Boettcher, P. Dague, P. Taillibert - Hidden Interactions in Analog Circuits - Working papers of DX-96, the seventh International Workshop on Principles of Diagnosis, Val Morin, Quebec, Canada, October 13-16, 1996. p. 36-43.

[Console-Dupre-Torasso 89a]

L.Console, D.Theseider Dupre', P.Torasso - Integration of Causal and Temporal Reasoning in Diagnostic Problem Solving, in Proc.9th International Workshop on Expert Systems and their Application - Spec.Conference on Second Generation Expert Systems; Avignon, 1989, pp.309-323

[Console-Dupre-Torasso 89b]

L.Console, D.Theseider Dupre', P.Torasso - A Theory of Diagnosis for Incomplete Causal Models, in Proc.11th International Joint Conference on Artificial Intelligence (IJCAI) Detroit, Morgan Kaufmann, August 1989, pp.1311-1317

[Console-Dupre-Torasso 90]

L.Console, D.Theseider Dupre', P.Torasso - Introducing Test Theory into Abductive Diagnosis, in Proc.10th International Workshop on Expert Systems and their Application - Spec.Conference on Second Generation Expert Systems; Avignon, 1990, pp.111-124

[Console-Dupre-Torasso 91]

L.Console, D.Theseider Dupre', P.Torasso - Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis, in Lecture Notes in Computer Science 549, Springer Verlag 1991, pp.177-186

[Console et al 92]

L.Console, L.Portinale, D.Theseider Dupre', P.Torasso - Combining Heuristic Reasoning with Causal Reasoning in Diagnostic Problem Solving, in Second Generation Expert Systems (eds. J.M.David, J.P.Krivine, R.Simmons), Springer Verlag 1992

[Console et al 94]

L.Console, L.Portinale, D.Theseider Dupre', P.Torasso - Diagnosing Time-Varying Misbehavior, an Approach Based on Model Decomposition, in Annals of Mathematics and Artificial Intelligence, vol 11 (1-4), 1994, pp. 381-398.

[Console-Friedrich 94]

L.Console, G.Friedrich - Model-Based diagnosis; Introduction, in Annals of Mathematics and Artificial Intelligence, vol 11 (1-4), 1994, pp. 1-10

[Console-Friedrich-Dupre 93]

L.Console, G.Friedrich, D.Theseider Dupre' - Model-based Diagnosis Meets Error Diagnosis in Logic Programs, in Proc. 13th International Joint Conference on Artificial Intelligence (IJCAI) Chambery, M.Kaufmann, 1993, pp. 1494-1499

[Console-Furno-Torasso 88]

L.Console, A.Furno, P.Torasso - Dealing with Time in Diagnostic Reasoning based on Causal Models, in Methodologies for Intelligent Systems 3, eds. Z.Ras, L.Saitta North Holland 1988, pp. 230-239

[Console-Hamscher-deKleer 92]

W.Hamscher, L.Console, J.deKleer (Eds.) - Readings in Model-based Diagnosis - Morgan Kaufmann, San Mateo, 1992

[Console-Portinale-Dupre 91]

L.Console, L.Portinale, D.Theseider Dupre - Focusing Abductive Diagnosis, in Proc. 11th International Conference on Expert Systems and their Applications - Specialized Conference on Second Generation Expert Systems; Avignon, 1991, pp. 231-242, "Best paper award"

[Console-Torasso 90]

L.Console, P.Torasso - Integrating models of the correct Behaviour into abductive diagnosis, in Proc. 9th European Conference on Arificial Intelligence (ECAI), Stockholm, August 1990, pp. 160-166, "Best paper award"

[Console-Torasso 91]

L.Console, P.Torasso - A Spectrum of Logical Definitions of Model-based diagnosis - reprinted in [Console-Hamscher-deKleer 92], 78-88

[Console-Torasso 92]

L.Console, P.Torasso - An Approach to the Compilation of Operational Knowledge from Causal Models, in IEEE Transactions on Systems Man and Cybernetics, vol. 22 (4), 1992, pp. 772-789.

[Console-Torasso 94]

L.Console, P.Torasso - Diagnostic Problem Solving: Combining Heuristic, Approximate and Causal Reasoning, Van Nostrand Reinhold, 1989.

[Dague-Deves-Raiman 87]

P.Dagues, P.Deves, O.Raiman - Troubleshooting: when Modelling is the Trouble - published in [ Console-Hamscher-deKleer 92], 218-223

[Dague et al 87]

P.Dague, P.Deves, J.P.Marx, O.Raiman - DEDALE, an expert system for troubleshooting analogue circuits - International Test Conference (IEEE), Washington (USA), September 87

[Dague et al 90]

P.Dague, P.Deves, P.Luciani, P.Taillibert - Analog systems diagnosis -published in [Console-Hamscher-deKleer 92], 229-234

[Dague et al 91]

P.Dague, P.Deves, O.Jehl, P.Luciani, P.Taillibert - When oscillators stop oscillating - 12th International Joint Conference on Artificial Intelligence (IJCAI 91), Sydney, August 91

[Dague 93a]

P. Dague - Numeric reasoning with relative orders of magnitude - Proceedings of the 11th National Conference on Artificial Intelligence AAAI-93, Washington, July 1993.

[Dague 93b]

P. Dague - Symbolic reasoning with relative orders of magnitude - Proceedings of the 13th International Joint Conference on Artificial Intelligence IJCAI-93, Chambey, August 1993.

[Dague 94]

P. Dague - Model based diagnosis of analog electronic circuits - Annals of Mathematics and Artificial Intelligence, special issue on Model-Based Diagnosis (L. Console and G. Friedrich eds.), vol.11, nos.1-4, J.C. Baltzer AG, pp. 439-492, November 1994.

[Dague-Jehl-Taillibert 90]

P.Dague, O.Jehl, P.Taillibert - An interval propagation and conflict recognition engine for diagnosing continous dynamic systems - International workshop on expert sytems in engineering, Vienna, 1990. Published in Lecture Notes in Artificial Intelligence 462, G.Gottlob and W.Nejdl Eds., Springer-Verlag

[Dague-Taillibert 96]

P. Dague, P. Taillibert - The Monostable: a Reference Problem for Analog Diagnosis - Working papers of DX-96, the seventh International Workshop on Principles of Diagnosis, Val Morin, Quebec, Canada, October 13-16, 1996. p. 79-87.

[deKleer-Mackworth-Reiter 90]

J.deKleer, A.K.Mackworth, R.Reiter - Characterizing Diagnoses and Systems - A.I.56 (2/3), 1992, 197-222

[Deves-Fischer-Taillibert 92]

P.Deves, C.Fischer, P.Taillibert - An alternative to expert systems for electrical diagnosis - Future Generation Computer Systems, Vol 7 (1991/1992), pp 343-352

[Dressler et al. 93]

O.Dressler, C.Boettcher, M.Montag, A.Brinkop - Qualitative and Quantitative Models in a Model-based Diagnosis System for Ballast Tank Systems - Proc.of the Intern.Conference on Fault Diagnosis (TOOLDIAG), Tolouse 1993, 397-405

[Dressler-Struss 92]

O.Dressler, P.Struss - Back to Defaults: Characterizing and Computing Diagnoses as Coherent Assumption Sets - Proc.of the European Conference on Artificial Intel-ligence (ECAI), 1992, 719-723

[Dressler-Struss 94]

O.Dressler, P.Struss - Model-based Diagnosis with the Default-based Diagnosis Engine: Effective Control Strategies that Work in Practice - Proc.of the European Conference on Artificial Intelligence (ECAI), 1994, 677-681

[Entwistle 94]

Entwistle, I. Automated Diagnostics Production for Electrical Circuits, MSc thesis, University of Salford, 1994.

[Entwistle-Dore 93].

Entwistle, I. and Dore, A. M. A Pragmatic Approach to Test Automation, Proc. of the IMECHE Intl. Conf. AutoTech 93, 1993.

[Entwistle-Hooper-Dore 94]

Entwistle, I., Hooper, M.C. and Dore, A. M. Data driven applications, Proc. of 27th ISATA Mechatronic Conf., Aachen, Germany, 31st October-4th November, 1994.

[Faltings-Struss 92]

B.Faltings, P.Struss (Eds.) - Recent Advances in Qualitative Physics - MIT Press, Cambridge, 1992

[Hunt-Price 91]

J. E.Hunt, C.J.Price - An augmented model-based diagnostic system exploiting diagnostic and domain knowledge, in Research and Development in Expert Systems VIII, pp3-17, edited I. Graham and R. Milne, CUP 1991.

[Hunt-Price-Lee 93]

J.E.Hunt, C.J.Price, M.H.Lee - Automating the FMEA process, Intelligent Systems Engineering Journal, 2(2), p119-132, 1993

[Iwanowski 92]

S.Iwanowski - Model-Based Diagnosis for Different Time Points. Notes of Workshop W5 (Model-Based Reasoning) of ECAI 92, Vienna (Austria) 1992

[Iwanowski 93]

S.Iwanowski - How to Model Time-Dependent Components in the FDE-2. Workshop "Modellierung fuer wissensbasierte Systeme in technischen Anwendungen", Hamburg 1993

[Iwanowski 94]

S.Iwanowski - An Algorithm For Model-Based Diagnosis That Considers Time. Annals of Mathematics and Artificial Intelligence 11 (1994)

[Jost-Skuppin 89]

T.Jost, R.Skuppin - Technical Diagnosis Based on Numerical Models Using Prolog III. Proceedings of 6th Esprit Conference, Bruxelles (Belgium) 1989

[Krautter-Steinert 88]

W.Krautter, M.Steinert - A Knowledge Representation for Model-Based Reasoning Using Prolog III. Proceedings of 5th Esprit Conference, Bruxelles (Belgium) 1988

[Lee-Ormsby 94]

M.H.Lee, A.R.T.Ormsby - Qualitatively modelling the effects of electrical circuits faults - A.I.in Engineering 8(1994), 293-300

[Peters-Dore 94]

Peters, M. and Dore, A.M. Can artificial experts work in the service bay, Proc. of 27th ISATA Mechatronic Conf., Aachen, Germany, 31st October-4th November, 1994.

[Price et al 92]

C.J.Price, J.E.Hunt, M.H.Lee, A.R.T. Ormsby - A Model-based Approach to the Automation of Failure Mode Effects Analysis for Design, Proceedings of the IMechE, Part D: the Journal of Automobile Engineering, vol. 206, pp285-291, 1992

[Price et al 95]

C.J.Price, D.R.Pugh, M.S.Wilson, N.Snooke - The Flame System: Automating Electrical Failure Modes & Effects Analysis (FMEA), Proceedings Annual Reliability and Maintainability Symposium, Washington D. C., January 1995

[Reiter 87]

R.Reiter - A Theory of Diagnosis from First Principles - A.I.32 (1987),57-95

[Shorter]

Shorter, R. J. Development of a new diagnostic system by Ford Motor Company and GenRad, Mechatronics - The Integration of Engineering Design.

[Skuppin et al 90]

W.Kostelezky, W.Krautter, R.Skuppin, M.Steinert, R.Weber - The Rule-based Expert System Promotex I - ESPRIT-Project #1106, Final Report Vol.2 , Stuttgart 1990

[Struss 88]

P.Struss - Mathematical Aspects of Qualitative Reasoning - Intern.J.of A.I. in Engineering 3(3) 1988, 156-169

[Struss 89]

P.Struss - Diagnosis as a Process - Workshop Paris 1989 - published in:[Console-Hamscher-deKleer 92], 408-418

[Struss 92]

P.Struss - What's in SD? Towards a Theory of Modeling for Diagnosis - published in [Console-Hamscher-deKleer 92], 419-449

[Struss 93]

P.Struss - (Multiple-) Model-based Diagnosis Applied to Power Networks -in Proceedings of the 2nd European Control Conference (ECC), 1993

[Struss 94]

P.Struss - Multiple Models of Physical Systems: Modeling Intermittent Faults, Inaccuracy and Tests in Diagnosis - Annals of Math.and A.I., Vol.II, 1-4, 1994

[Struss-Dressler 89]

P.Struss, O.Dressler - Physical Negation: Integrating Fault Models into the General Diagnostic Engine - reprinted in: [Console-Hamscher-deKleer 92], 153-158

[Tatar 94]

M.Tatar - Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS. Proceedings of ECAI 94, Amsterdam 1994

[Tatar-Iwanowski 94]

M.Tatar, S.Iwanowski - Aspects of Efficient Focusing. Proceedings 5th Workshop on Principles of Diagnosis (DX 94), New Paltz (USA) 1994

[Weber et al 90]

T.Jost, W.Kostelezky, W.Krautter, R.Skuppin, M.Steinert, R.Weber, K.Flasche, A.Heeb, D.Kogler - The Model-based Expert System Promotex II - ESPRIT-Project #1106, Final Report Vol.2, Stuttgart 1990

[Weld-deKleer 90]

D.S.Weld, J.deKleer (Eds.) - Readings in Qualitative Reasoning about Physical Systems - Morgan Kaufmann, San Mateo, 1990 [Westhead 92] Westhead, B. "Graphical capture of diagnostic strategies", Proc of FISITA, C389/084, 1992