TY  - BOOK
AU  - Pandurang Nayak,P.
ED  - SpringerLink (Online service)
TI  - Automated Modeling of Physical Systems
T2  - Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
SN  - 9783540485209
AV  - Q334-342 
U1  - 006.3 23
PY  - 1995///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Artificial intelligence
KW  - Computer simulation
KW  - Electronics
KW  - Computer Science
KW  - Artificial Intelligence (incl. Robotics)
KW  - Simulation and Modeling
KW  - Computation by Abstract Devices
KW  - Systems and Information Theory in Engineering
KW  - Electronics and Microelectronics, Instrumentation
KW  - Control Engineering
N1  - Models and model fragments -- Adequate models -- Complexity of model selection -- Causal approximations -- Differential equations -- Order of magnitude reasoning -- Model selection program and results -- Related work -- Conclusions
N2  - 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
UR  - http://dx.doi.org/10.1007/3-540-60641-6
ER  -