Automated Modeling of Physical Systems

1. Front Matter

   PDF

2. Introduction

   Pages 1-12

3. Models and model fragments

   Pages 13-32

4. Adequate models

   Pages 33-59

5. Complexity of model selection

   Pages 61-85

6. Causal approximations

   Pages 87-118

7. Differential equations

   Pages 119-144

8. Order of magnitude reasoning

   Pages 145-167

9. Model selection program and results

   Pages 169-188

10. Related work

    Pages 189-196

11. Conclusions

    Pages 197-200

12. Back Matter

    PDF

This book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submissions.
This monograph investigates the problem of selecting adequate models for reasoning about physical systems and applications to engineering problem solving. An elegant treatment of both the theoretical and practical sides are presented: the problem is precisely formalized, its computational complexity is analyzed in detail, and an efficient algorithm for finding adequate models is derived; on the practical side, a methodology for building systems that automatically construct adequate models is provided, and implementational aspects and tests are described.

• Model-Based Diagnosis
• Modellbasierte Diagnose
• Physical Systems
• Physikalische Systeme
• Qualitative Reasoning
• System Modelling
• Systemmodellierung
• algorithms
• modeling
• problem solving
• complexity

Policies and ethics