|
Addanki S, Cremonini R and Penberthy JS, 1991. “Graphs of models” Artificial Intelligence51145–177.
Google Scholar
|
|
Amsterdam J, 1993. “Automated qualitative modelling of dynamic physical systems” PhD Thesis, MIT Al Lab, January.
Google Scholar
|
|
Bunge M, 1979. Causality and Modern Science Dover (Third edition).
Google Scholar
|
|
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.)
Google Scholar
|
|
Dc Kleer J and Brown JS, 1984. “A qualitative physics based on confluences” Artificial Intelligence247–83.
Google Scholar
|
|
de Vrics TJA and Breedveld PC, 1992. “A model of the modelling process” In Breedveld & Dauphin Tanguy (eds) Bond Graphs for Engineers301–312.
Google Scholar
|
|
Falkenhainer B and Forbus K, 1992. “Compositional modelling: finding the right model for the job” Artificial Intelligence5195–143.
Google Scholar
|
|
Forbus KD, 1984. “Qualitative process theory” Artificial Intelligence2485–168. (Also in: Weld & de Kleer, 1990, pp 178–219.)
Google Scholar
|
|
Iwasaki Y, and Simon HA, 1986. “Causality in device behaviour” Artificial Intelligence293–32.
Google Scholar
|
|
Also in: Weld & de Kleer, 1990, pp 631–645.)
Google Scholar
|
|
lwasaki Y and Levy AY, 1994. “Automated model selection for simulation” In: Proceedings AAAI–941183–1190.
Google Scholar
|
|
Keuneke A and Allemang D, 1989. “Exploring the no-function-in-structure principle” J Experimental and Theoretical Artificial Intelligence179–89.
Google Scholar
|
|
Leitch R, 1995. “Model properties and classifications” In: Workshop on Taxonomies of Models for Simulation and Diagnosis, 27–28031995, Manchester, UK.
Google Scholar
|
|
Levy AY, 1994. “Creating abstractions using relevance reasoning” In: Proceedings AAAI-94588–594.
Google Scholar
|
|
Nayak PP, 1994. “Causal approximations” Artificial Intelligence70277–334.
Google Scholar
|
|
Rickel J and Porter B, 1994. “Automated modelling for answering prediction questions: selecting the time scale and system boundary” In: Proceedings AAAI-941191–1198.
Google Scholar
|
|
Rickel J. 1995. “Automated modelling of complex systems to answer prediction questions” PhD Thesis, Al Laboratory, University of Texas at Austin.
Google Scholar
|
|
Rosenberg RC and Karnopp DC, 1983. Introduction to Physical System DynamicsMcGraw-Hill.
Google Scholar
|
|
Subramanian D and Genesereth MR, 1987. “The relevance of irrelevance” In: Proceedings IJCAE-87416–422.
Google Scholar
|
|
Sussman GJ and Steele GLJr, 1980. “CONSTRAINTS–A language for expressing almost-hierarchical descriptions” Artificial Intelligence141–39.
Google Scholar
|
|
Top J, Breunese APJ, Broenink JF and Akkermans JM, 1995. “Structure and use of a library for physical systems models” In: Proceedings ICBGM9597–102.
Google Scholar
|
|
Weld DS, 1992. “Reasoning about model accuracy” Artificial Intelligence56225–300.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Xia S, 1994. “Formulation of generic principles of modelling industrial systems” Int J Systems Analysis, Modelling and Simulation15283–291.
Google Scholar
|
|
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.
Google Scholar
|
|
Zeigler B, Elzas M, Klir G and Oren T, 1979. Methodology in Systems Modelling and SimulationNorth- Holland.
Google Scholar
|
|
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.
Google Scholar
|
|
Bobrow DG, 1984. “Qualitative reasoning about physical systems: an introduction” Artificial Intelligence241–5.
Google Scholar
|
|
Bobrow DG, 1993. “Artificial intelligence in perspective: a retrospective on fifty volumes of the Artificial Intelligence Journal” Artificial Intelligence595–20.
Google Scholar
|
|
Chandrasekaran S, 1994. “Models versus rules, deep versus compiled, content versus form” IEEE Expert04, 75–79.
Google Scholar
|
|
Collins JW and Forbus KD, 1987. “Reasoning about fluids via molecular collections” In: Proceedings AAAI–87Morgan Kaufmann, 590–595.
Google Scholar
|
|
Also in: Weld and de Kleer, 1990, pp 503–507.)
Google Scholar
|
|
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.
Google Scholar
|
|
Dague P, Raiman O and Devès P, 1987. “Troubleshooting: when modeling is the trouble” In: Proceedings of AAAI–87Morgan Kaufmann, 600–605.
Google Scholar
|
|
Also in: Weld and De Kleer, 1990, pp 435–440.)
Google Scholar
|
|
Davis R, 1984. “Diagnostic reasoning based on structure and behaviour” Artificial Intelligence24347–410.
Google Scholar
|
|
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.
Google Scholar
|
|
DeKleer J, 1977. “Multiple representation of knowledge in a mechanics problem-solver” In Proceeding IJCAI-77Cambridge, MA, 299–304.
Google Scholar
|
|
DeKleer J, 1984. “How circuits work” Artificial Intelligence24205–280.
Google Scholar
|
|
Dormy JL and Raiman O, 1988. “Assembling a device” Proceedings AAAI–88330–335.
Google Scholar
|
|
Also in: Weld and de Kleer, 1990, pp 306–311.)
Google Scholar
|
|
Eagar JW and Musen MA, 1994. “Graph-grammer assistance for automated generation of influence diagrams” IEEE Trans Systems and Cybernetics24 (11) 1625–1642.
Google Scholar
|
|
Falkenhainer B, 1993. “Ideal physical systems” In: Proceedings AAAI-93600–605.
Google Scholar
|
|
Falkenhainer B and Forbus K, 1988. “Setting up large scale qualitative models” In: ProceedingsAAAl-88Morgan Kaufmann, 301–308.
Google Scholar
|
|
Also in: Weld and De Kleer, 1990, pp. 553–558.)
Google Scholar
|
|
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.
Google Scholar
|
|
Falkenhainer B and Stein JL (eds) 1992. Automated Modelling, DCS 41 American Society of Mechanical Engineers.
Google Scholar
|
|
Ferris J, Stein JL and Bernitsas M, 1994. “Development of proper models of hybrid systems” In: 1994 ASME WAM Symposium on Automated ModelingChicago, IL.
Google Scholar
|
|
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).
Google Scholar
|
|
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.
Google Scholar
|
|
Fishwick PA, 1995. Simulation Model Design and Execution: building digital worldsPrentice Hall.
Google Scholar
|
|
Fishwick PA and Luker PA (eds) 1991. Qualitative Simulation Modelling and AnalysisSpringer-Verlag.
Google Scholar
|
|
Franke DW and Dvorak DL, 1989. “Component connection models” In: Workshop on Model-Based Reasoning, IJCAI-89Detroit, MI, 97–101.
Google Scholar
|
|
Gero JS, Tham KW and Lee HS, 1992. “Behaviour: a link between function and structure in design” IFIP Intelligent CAD193–225.
Google Scholar
|
|
Giunchiglia F and Walsh T, 1989. “Abstract theorem proving” In: Proceedings IJCAI-89372–377.
Google Scholar
|
|
Hobbs JR, 1990. “Granularity” In Readings in Qualitative Reasoning about Physical SystemsWeld D and DeKleer J, (eds), Morgan Kaufmann, 542–545.
Google Scholar
|
|
Hunt JE, Pugh DR and Price CJ, 1995. “Failure mode effects analysis: a practical application of functional modelling” Applied Artificial intelligence933–44.
Google Scholar
|
|
Iwasaki Y.1988. “Causal ordering in a mixed structure” In: Proceedings AAAI-881313–318.
Google Scholar
|
|
Keller RM, 1991. “Applying knowledge compilation techniques to model-based reasoning” IEEE Expert04, 82–87.
Google Scholar
|
|
Kraan I, Richards B and Kuipers B, 1991. “Automatic abduction of qualitative models” In: QR-91Austin, Texas, 295–301.
Google Scholar
|
|
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.
Google Scholar
|
|
Leitch R and Shen Q, 1992. “Being committed to qualitative simulation” In: QR-92Edinburgh, UK, 08, 281–293.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Liu ZY and Farley AM, 1991. “Tasks, models, perspectives, dimensions” In: QR-91Austin, Texas, 05, 1–9.
Google Scholar
|
|
Lrich KT and Seering WP, 1988. “Function sharing in mechanical design” In: Proceedings AAAI-88342–346.
Google Scholar
|
|
Mavrovouniotis ML and Stephanopoulos G, 1988. “Formal order-of-magnitude reasoning in process engineering” Computer Chemical Engineering12867–880.
Google Scholar
|
|
Also in: Weld and de Kleer, 1990, pp 323–336.)
Google Scholar
|
|
Minsky M, 1975. “A framework for representing knowledge” In Winston PH (ed) The Psychology of Computer VisionMcGraw-Hill, 211–277.
Google Scholar
|
|
Murthy SS, 1988. “Qualitative reasoning at multiple resolutions” In: Proceedings AAAI-88296–300.
Google Scholar
|
|
Nayak PP, 1992. “Automated modelling of physical systems” PhD Thesis, Stanford University, Department of Computer Science, Stanford, CA.
Google Scholar
|
|
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.
Google Scholar
|
|
Raiman O, 1988. “Order of magnitude reasoning” In: Proceedings AAAI–87Morgan Kaufmann, 100–104.
Google Scholar
|
|
Also in: Weld and de Kleer, 1990, pp 318–322.)
Google Scholar
|
|
Raiman O, 1991. “Order of magnitude reasoning” Artificial Intelligence5111–38.
Google Scholar
|
|
Rosenberg RC and Redfield R (eds) 1988. Automated Modelling for Design ASME Bound Volume, No. G00460, ASME.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Smith N, 1994. “Automated modelling: a review and proposal” Research Note RN94–2, School of Computing and Maths, De Montfort University, Milton Keynes, UK.
Google Scholar
|
|
Stein JL (ed.) 1991. Automated Modeling ASME Bound Volume, No. H00709, ASME.
Google Scholar
|
|
Stein JL (ed.) 1993. Automated Modeling for Design ASME Bound Volume, No. H00843, ASME.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Stein JL and Falkenhainer B (eds) 1992. Automated Modeling ASME Bound Volume, No. 000747, ASME.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Vaidhyanathan R and Venkatasubramanian V, 1995. “Digraph-based models for automated hazop analysis” Reliability Engineering and System Safety50(1) 33–49.
Google Scholar
|
|
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.
Google Scholar
|
|
Weld D, 1990. “Approximation reformulation” In: Proceedings AAAI-90Boston, MA.
Google Scholar
|
|
Weld DS, 1988. “Comparative analysis” Artificial Intelligence36333–373.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Wiener N, 1950. The Human Use of Human Beings: Cybernetics and SocietyHoughton, Miflin.
Google Scholar
|
|
Williams BC, 1991. “A theory of interactions: unifying qualitative and quantitative algebraic reasoning” Artificial Intelligence5139–94.
Google Scholar
|
|
Williams BC and de Kleer J, 1991. “Qualitative reasoning about physical systems: a return to roots” Artificial Intelligence511–9.
Google Scholar
|
|
Wilson BH, 1992. “Model-building assistant: an automated modelling tool for machine-tool drive-trains” PhD Thesis, The University of Michigan.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Winsor J and Maccallum K, 1994. “A review of functionality modelling in design” The Knowledge Engineering Review9(2) 163–199.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
