Global solutions for nonlinear systems using qualitative reasoning

Annals of Mathematics and Artificial Intelligence

Volumn 23, Issue 3-4, 1998, Pages 211-288

  Bradley, E ^a  

^a University of Colorado at Boulder   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 22444453552     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (32)

1. H.D.I. Abarbanel, Analysis of Observed Chaotic Data (Springer, Berlin, 1995).
2. K.J. Astrom and P. Eykhoff, System identification - a survey, Automatica 7 (1971) 123-167.
3. D.G. Bobrow, ed., Qualitative Reasoning about Physical Systems (MIT Press, Cambridge, MA, 1985).
4. P.T. Boggs, R.H. Byrd, J.E. Rogers and R.B. Schnabel, User's reference guide for ODRPACK -software for weighted orthogonal distance regression, Internal Report 89-4103, National Institute of Standards and Technology, Gaithersburg, MD (1991).
5. P.T. Boggs, R.H. Byrd and R.B. Schnabel, A stable and efficient algorithm for nonlinear orthogonal distance regression, SIAM Journal of Scientific and Statistical Computing 8(6) (1987) 1052-1078.
6. P.T. Boggs, J.W. Tolle and A.J. Kearsley, A practical algorithm for general large scale nonlinear optimization problems, Technical Report 5704, National Institute of Standards and Technology, Gaithersburg, MD (1996). Submitted to SIAM Journal on Optimization.
7. E. Bradley, Automatic construction of accurate models of physical systems, in: Proceedings of the 8th International Workshop on Qualitative Reasoning about Physical Systems, Nara, Japan (1994).
8. E. Bradley and M. Easley, Reasoning about sensor data for automated system identification, in: Proceedings of the 2nd International Symposium on Intelligent Data Analysis (IDA-97) (1997).
9. E. Bradley, M. Easley and A. Hogan, Qualitative observer theory, in preparation.
10. E. Bradley and R. Stolle, Automatic construction of accurate models of physical systems, Annals of Mathematics and Artificial Intelligence 17 (1996) 1-28.
11. A.C. Capelo, L. Ironi and S. Tentoni, The need for qualitative reasoning in automated modeling: A case study, in: Proceedings of the 10th Internattional Workshop on Qualitative Reasoning, eds. Y. Iwasaki and A. Farquhar (Stanford Sierra Camp, CA, 1996) pp. 32-39.
12. B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan and S.M. Watt, Maple V Language Reference Manual (Springer, New York, 1991).
13. J.E. Dennis, D.M. Gay and R.E. Welsch, An adaptive nonlinear least-squares algorithm, ACM Transactions on Mathematical Software 7(3) (1981) 348-368.
14. J.E. Dennis and R.B. Schnabel, Numerical Methods for Unconstrained Optimization and Nonlinear Equations (Prentice-Hall, Englewood Cliffs, NJ, 1983).
15. A. Farquhar and G. Brajnik, A semi-quantitative physics compiler, in: Proceedings of the 8th International Workshop on Qualitative Reasoning about Physical Systems, Nara, Japan (1994).
16. R. Fletcher, Practical Methods of Optimization (Wiley, New York, 2nd ed., 1987).
17. K.D. Forbus, Qualitative process theory, Artificial Intelligence 24 (1984) 85-168.
18. K.D. Forbus, The qualitative process engine, in: Readings in Qualitative Reasoning About Physical Systems, eds. D.S. Weld and J. de Kleer (Morgan Kaufmann, San Mateo, CA, 1990).
19. P.E. Gill, W. Murray and M.H. Wright, Practical Optimization (Academic Press, Boston, 1981).
20. R. Horst, P. Pardalos and N. Thoai, Introduction to Global Optimization, Nonconvex Optimization and its Applications, Vol. 3 (Kluwer Academic, Dordrecht, 1995).
21. E. Hung, Parameter estimation in chaotic systems, Technical Report AIM 1541, MIT Artificial Intelligence Lab (May 1995).
22. J.-N. Juang, Applied System Identification (Prentice-Hall, Englewood Cliffs, NJ, 1994).
23. R.E. Kalman, A new approach to filtering and prediction problems, J. Basic Engrg. 82D (1960) 35-45.
24. P. Langley, H.A. Simon, G.L. Bradshaw and J.M. Zytkow, eds., Scientific Discovery: Computational Explorations of the Creative Process (MIT Press, Cambridge, MA, 1987).
25. L. Ljung, ed., System Identification: Theory for the User (Prentice-Hall, Englewood Cliffs, NJ, 1987).
26. J.J. Moré, D.C. Sorensen, K.E. Hillstrom and B.S. Garbow, in: Sources and Development of Mathematical Software, ed. W.J. Cowell (Prentice-Hall, Englewood Cliffs, NJ, 1984). Chapter "The MINPACK project".
27. J. Rees and W. Clinger, The revised report on the algorithmic language Scheme, ACM SIGPEAN Notices 21 (1986) 37.
28. L.F. Shampine and H.A. Watts, DEPAC - design of a user oriented package of ODE solvers, Technical Report SAND79-2374, Sandia National Laboratories (1979).
29. D.L. Smith, Introduction to Dynamic System Modeling for Design (Prentice-Hall, Englewood Cliffs, NJ, 1994).
30. R.M. Stolle and E. Bradley, A customized logic paradigm for reasoning about models, in: Proceedings of the 10th International Workshop on Qualitative Reasoning about Physical Systems, Stanford Sierra Camp, CA (1996).
31. A. Torn and A. Zilinskas, Global Optimization, Lecture Notes in Computer Science 350 (Springer, Berlin, 1989).
32. B.C. Williams, A theory of interactions: Unifying qualitative and quantitative algebraic reasoning, Artificial Intelligence 51 (1991).