doi:10.1017/S0269888900007803

Addanki S, Cremonini R and Penberthy JS, 1991. “Graphs of models” Artificial Intelligence51145–177.

Amsterdam J, 1993. “Automated qualitative modelling of dynamic physical systems” PhD Thesis, MIT Al Lab, January.

Bunge M, 1979. Causality and Modern Science Dover (Third edition).

Collins A and Gentner D, 1983. “Multiple models of evaporation processes” In: Proceedings Fifth Meeting of Cognitive Science Society-83Lawrence Erlbaum. (Also in Weld & de Kleer, 1990, pp 508–512.)

Dc Kleer J and Brown JS, 1984. “A qualitative physics based on confluences” Artificial Intelligence247–83.

de Vrics TJA and Breedveld PC, 1992. “A model of the modelling process” In Breedveld & Dauphin Tanguy (eds) Bond Graphs for Engineers301–312.

Falkenhainer B and Forbus K, 1992. “Compositional modelling: finding the right model for the job” Artificial Intelligence5195–143.

Forbus KD, 1984. “Qualitative process theory” Artificial Intelligence2485–168. (Also in: Weld & de Kleer, 1990, pp 178–219.)

Iwasaki Y, and Simon HA, 1986. “Causality in device behaviour” Artificial Intelligence293–32.

Also in: Weld & de Kleer, 1990, pp 631–645.)

lwasaki Y and Levy AY, 1994. “Automated model selection for simulation” In: Proceedings AAAI–941183–1190.

Keuneke A and Allemang D, 1989. “Exploring the no-function-in-structure principle” J Experimental and Theoretical Artificial Intelligence179–89.

Leitch R, 1995. “Model properties and classifications” In: Workshop on Taxonomies of Models for Simulation and Diagnosis, 27–28031995, Manchester, UK.

Levy AY, 1994. “Creating abstractions using relevance reasoning” In: Proceedings AAAI-94588–594.

Nayak PP, 1994. “Causal approximations” Artificial Intelligence70277–334.

Rickel J and Porter B, 1994. “Automated modelling for answering prediction questions: selecting the time scale and system boundary” In: Proceedings AAAI-941191–1198.

Rickel J. 1995. “Automated modelling of complex systems to answer prediction questions” PhD Thesis, Al Laboratory, University of Texas at Austin.

Rosenberg RC and Karnopp DC, 1983. Introduction to Physical System DynamicsMcGraw-Hill.

Subramanian D and Genesereth MR, 1987. “The relevance of irrelevance” In: Proceedings IJCAE-87416–422.

Sussman GJ and Steele GLJr, 1980. “CONSTRAINTS–A language for expressing almost-hierarchical descriptions” Artificial Intelligence141–39.

Top J, Breunese APJ, Broenink JF and Akkermans JM, 1995. “Structure and use of a library for physical systems models” In: Proceedings ICBGM9597–102.

Weld DS, 1992. “Reasoning about model accuracy” Artificial Intelligence56225–300.

Wilson BH and Stein JL, 1992. “An algorithm for obtaining minimum-order models of distributed and discrete systems” In Falkenhainer B and Stein JL (eds) Automated Modelling, DCS 41 American Society of Mechanical Engineers, 37–46.

Xia S, Linkens DA and Bennett S, 1992. “Integration of qualitative reasoning and bond graphs: an engineering approach” J IMACS Trans.: Special Issue on Bond Graphs for Engineers03.

Xia S, Linkens DA and Bennett S, 1993. “Automatic modelling and analysis of dynamic physical systems using qualitative reasoning and bond graphs” Intelligent Systems Engineering3(2) 201–212.

Xia S, 1994. “Formulation of generic principles of modelling industrial systems” Int J Systems Analysis, Modelling and Simulation15283–291.

Xia S and Smith N, 1994. “Mixed quantitative and qualitative simulation of dynamic systems” In: Proceedings of the European Simulation Symposium (ESS-94)230–234.

Zeigler B, Elzas M, Klir G and Oren T, 1979. Methodology in Systems Modelling and SimulationNorth- Holland.

Amsterdam J, 1992. “Automated modelling of physical systems” In Falkenhainer B and Stein JL (eds) Automated Modelling, DCS 41 American Society of Mechanical Engineers, 21–30.

Bobrow DG, 1984. “Qualitative reasoning about physical systems: an introduction” Artificial Intelligence241–5.

Bobrow DG, 1993. “Artificial intelligence in perspective: a retrospective on fifty volumes of the Artificial Intelligence Journal” Artificial Intelligence595–20.

Chandrasekaran S, 1994. “Models versus rules, deep versus compiled, content versus form” IEEE Expert04, 75–79.

Collins JW and Forbus KD, 1987. “Reasoning about fluids via molecular collections” In: Proceedings AAAI–87Morgan Kaufmann, 590–595.

Also in: Weld and de Kleer, 1990, pp 503–507.)

Cornet A and Lorenz F, 1988. “Equation ordering using bond graph causality analysis” In: Proceedings 12th World Conference on Scientific Computation (IMACS-88)143–46.

Dague P, Raiman O and Devès P, 1987. “Troubleshooting: when modeling is the trouble” In: Proceedings of AAAI–87Morgan Kaufmann, 600–605.

Also in: Weld and De Kleer, 1990, pp 435–440.)

Davis R, 1984. “Diagnostic reasoning based on structure and behaviour” Artificial Intelligence24347–410.

Davis R, 1990. “Diagnosis via causal reasoning: paths of interaction and the locality principle” In: Readings in Qualitative Reasoning about Physical Systems, Weld D and DeKleer J (eds) Morgan Kaufmann, 535–541.

DeKleer J, 1977. “Multiple representation of knowledge in a mechanics problem-solver” In Proceeding IJCAI-77Cambridge, MA, 299–304.

DeKleer J, 1984. “How circuits work” Artificial Intelligence24205–280.

Dormy JL and Raiman O, 1988. “Assembling a device” Proceedings AAAI–88330–335.

Also in: Weld and de Kleer, 1990, pp 306–311.)

Eagar JW and Musen MA, 1994. “Graph-grammer assistance for automated generation of influence diagrams” IEEE Trans Systems and Cybernetics24 (11) 1625–1642.

Falkenhainer B, 1993. “Ideal physical systems” In: Proceedings AAAI-93600–605.

Falkenhainer B and Forbus K, 1988. “Setting up large scale qualitative models” In: ProceedingsAAAl-88Morgan Kaufmann, 301–308.

Also in: Weld and De Kleer, 1990, pp. 553–558.)

Falkenhainer B and Forbus KD, 1990. “Setting up large scale qualitative models” In Readings in Qualitative Reasoning about Physical SystemsWeld D and DeKleer J (eds) Morgan Kaufmann, 553–558.

Falkenhainer B and Stein JL (eds) 1992. Automated Modelling, DCS 41 American Society of Mechanical Engineers.

Ferris J, Stein JL and Bernitsas M, 1994. “Development of proper models of hybrid systems” In: 1994 ASME WAM Symposium on Automated ModelingChicago, IL.

Ferris JB and Stein JL, 1994. “Development of proper system models for hybrid systems: a bond graph approach” In: Proceedings of the 1994 IMACS World CongressAtlanta, GA (extended Abstract).

Ferris JB and Stein JL, 1995. “Development of proper models of hybrid systems: a bond graph formulation” In: Proceedings of the 1995 International Conference on Bond Graph ModellingLas Vegas, NV, pp 43–48.

Fishwick PA, 1995. Simulation Model Design and Execution: building digital worldsPrentice Hall.

Fishwick PA and Luker PA (eds) 1991. Qualitative Simulation Modelling and AnalysisSpringer-Verlag.

Franke DW and Dvorak DL, 1989. “Component connection models” In: Workshop on Model-Based Reasoning, IJCAI-89Detroit, MI, 97–101.

Gero JS, Tham KW and Lee HS, 1992. “Behaviour: a link between function and structure in design” IFIP Intelligent CAD193–225.

Giunchiglia F and Walsh T, 1989. “Abstract theorem proving” In: Proceedings IJCAI-89372–377.

Hobbs JR, 1990. “Granularity” In Readings in Qualitative Reasoning about Physical SystemsWeld D and DeKleer J, (eds), Morgan Kaufmann, 542–545.

Hunt JE, Pugh DR and Price CJ, 1995. “Failure mode effects analysis: a practical application of functional modelling” Applied Artificial intelligence933–44.

Iwasaki Y.1988. “Causal ordering in a mixed structure” In: Proceedings AAAI-881313–318.

Keller RM, 1991. “Applying knowledge compilation techniques to model-based reasoning” IEEE Expert04, 82–87.

Kraan I, Richards B and Kuipers B, 1991. “Automatic abduction of qualitative models” In: QR-91Austin, Texas, 295–301.

Kuipers B, 1990. “Abstraction by time-scale in qualitative simulation” In Readings in Qualitative Reasoning about Physical SystemsWeld D and DeKleer J (eds), Morgan Kaufmann, 530–534.

Leitch R and Shen Q, 1992. “Being committed to qualitative simulation” In: QR-92Edinburgh, UK, 08, 281–293.

Linkens DA, Xia S and Bennett S, 1992. “Systematic model transformation for analyzing dynamic physical systems at multiple levels” In: Proceedings of 1992 European Simulation MulticonferenceYork, UK, 06.

Linkens DA, Wang H, Bennett S and Xia S, 1992. “Using qualitative bond graph reasoning to derive lookup tables for fuzzy logic controllers” In: Proceeding of the First International Conference on Intelligent Systems EngineeringEdinburgh, UK, 08.

Liu ZY and Farley AM, 1991. “Tasks, models, perspectives, dimensions” In: QR-91Austin, Texas, 05, 1–9.

Lrich KT and Seering WP, 1988. “Function sharing in mechanical design” In: Proceedings AAAI-88342–346.

Mavrovouniotis ML and Stephanopoulos G, 1988. “Formal order-of-magnitude reasoning in process engineering” Computer Chemical Engineering12867–880.

Also in: Weld and de Kleer, 1990, pp 323–336.)

Minsky M, 1975. “A framework for representing knowledge” In Winston PH (ed) The Psychology of Computer VisionMcGraw-Hill, 211–277.

Murthy SS, 1988. “Qualitative reasoning at multiple resolutions” In: Proceedings AAAI-88296–300.

Nayak PP, 1992. “Automated modelling of physical systems” PhD Thesis, Stanford University, Department of Computer Science, Stanford, CA.

Nayak PP, 1992a. “Selecting models for causal explanation” In Falkenhainer B and Stein JL (eds) Automated Modelling, DCS 41 American Society of Mechanical Engineers, 11–20.

Raiman O, 1988. “Order of magnitude reasoning” In: Proceedings AAAI–87Morgan Kaufmann, 100–104.

Also in: Weld and de Kleer, 1990, pp 318–322.)

Raiman O, 1991. “Order of magnitude reasoning” Artificial Intelligence5111–38.

Rosenberg RC and Redfield R (eds) 1988. Automated Modelling for Design ASME Bound Volume, No. G00460, ASME.

Rosenberg RC and WanY-Y , 1992. “Some structuring issues in modelling” In Falkenhainer B and Stein JL (eds) Automated Modelling, DCS 41 American Society of Mechanical Engineers.

Schmidt D, Haddock J, Wallace WA and Wright R, 1992. Visual Modelling–A Knowledge Acquisition Method for intelligent Process-Control Systems. Lecture Notes in Artificial Intelligence604294–303.

Smith N, 1994. “Automated modelling: a review and proposal” Research Note RN94–2, School of Computing and Maths, De Montfort University, Milton Keynes, UK.

Stein JL (ed.) 1991. Automated Modeling ASME Bound Volume, No. H00709, ASME.

Stein JL (ed.) 1993. Automated Modeling for Design ASME Bound Volume, No. H00843, ASME.

Stein JL (ed.) 1994. Proceedings of the Symposium, The Automated Modeling: Model Synthesis Algorithms 1994 International Mechanical Engineering Congress and Exposition-Proceedings of the ASME Dynamic Systems and Control Division 2, Radcliffe CI (ed.) ASME Bound Volume, No. G0909B, ASME, 617–661.

Stein JL (ed.) 1995. Proceedings of the Symposium, Automated Modeling, 1995 International Mechanical Engineering Congress and Exposition-Proceedings of the ASME Dynamic Systems and Control Division, T Alberts (ed), ASME Bound Volume, No. H01025.

Stein JL and Falkenhainer B (eds) 1992. Automated Modeling ASME Bound Volume, No. 000747, ASME.

Top J, Breunese APJ, Broenink JF and Akkermans JM, 1995. “Structure and use of a library for physical systems models” In: Proceedings 1995 International Conference on Bond Graph Modelling and Simulation(1CBGM95)97–102.

van Dijk J and Breedveld PC, 1991. “Simulation of systems models containing zero-order causal paths–I: classification of zero-order causal paths” Franklin Institute328 (5/6) 959–979.

van Dijk J, de Vries TJA, Breunese AJP and Breedveld PC, 1992. “Automated mechatronic systems modelling using MAX” In Breedveld & Dauphin-Tanguy (eds) Bond Graphs for Engineers279–290.

Vaidhyanathan R and Venkatasubramanian V, 1995. “Digraph-based models for automated hazop analysis” Reliability Engineering and System Safety50(1) 33–49.

Weld D, 1990. “The use of aggregation in causal simulation” In Readings in Qualitative Reasoning about Physical Systems, Weld D and DeKleer J (eds), Morgan Kaufmann, 513–529.

Weld D, 1990. “Approximation reformulation” In: Proceedings AAAI-90Boston, MA.

Weld DS, 1988. “Comparative analysis” Artificial Intelligence36333–373.

Weld DS, 1992. “Generating simplified models with confidence” In Falkenhainer B and Stein JL (eds) Automated Modelling, DCS 41 American Society of Mechanical Engineers, 21–30.

Weld DS and de Kleer J, 1990b. “Multiple ontologies and automated modelling: introduction” In Weld DS and de Kleer J (eds) Readings in Qualitative Reasoning About Physical SystemsMorgan Kaufmann, 481–483.

Wiener N, 1950. The Human Use of Human Beings: Cybernetics and SocietyHoughton, Miflin.

Williams BC, 1991. “A theory of interactions: unifying qualitative and quantitative algebraic reasoning” Artificial Intelligence5139–94.

Williams BC and de Kleer J, 1991. “Qualitative reasoning about physical systems: a return to roots” Artificial Intelligence511–9.

Wilson BH, 1992. “Model-building assistant: an automated modelling tool for machine-tool drive-trains” PhD Thesis, The University of Michigan.

Wilson BH and Stein JL, 1992. “An algorithm for obtaining minimum-order models of distributed and discrete systems” In Falkenhainer B and Stein JL (eds) Automated Modelling DCS 41 American Society of Mechanical Engineers, 37–46.

Wilson BH and Stein JL, 1993. “Model building assistant: an automated modeling tool for machine tool drive systems” In: 1993 Proceedings of the International Conference on Bond Graph Modeling and SimulationSan Diego, CA.

Winsor J and Maccallum K, 1994. “A review of functionality modelling in design” The Knowledge Engineering Review9(2) 163–199.

Xia S, 1995. “Conceptual, causal and numerical modelling and analysis of engineering systems” In: Proceedings 8th intl. Conf. on Industrial and Engineering Applications of Al & ES Invited and additional papers, Melbourne, Australia, 06, 81–90.

Xia S, 1995. “Deriving conceptual, causal and numerical models for simulation from structural information of physical systems” In: Proceedings of 1995 Summer Computer Simulation Conference07, Ontario, Canada, 251–256.