{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:26:35Z","timestamp":1761596795203,"version":"3.40.5"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1998,11,1]],"date-time":"1998-11-01T00:00:00Z","timestamp":909878400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,11,1]],"date-time":"1998-11-01T00:00:00Z","timestamp":909878400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1998,11]]},"DOI":"10.1023\/a:1018972409754","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"211-288","source":"Crossref","is-referenced-by-count":7,"title":["Global solutions for nonlinear systems using qualitative reasoning"],"prefix":"10.1007","volume":"23","author":[{"given":"E.","family":"Bradley","sequence":"first","affiliation":[]},{"given":"A.","family":"O'Gallagher","sequence":"additional","affiliation":[]},{"given":"J.","family":"Rogers","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"325497_CR1","volume-title":"Analysis of Observed Chaotic Data","author":"H.D.I. Abarbanel","year":"1995","unstructured":"H.D.I. Abarbanel, Analysis of Observed Chaotic Data(Springer, Berlin, 1995)."},{"key":"325497_CR2","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0005-1098(71)90059-8","volume":"7","author":"K.J. Astrom","year":"1971","unstructured":"K.J. Astrom and P. Eykhoff, System identification\u2013a survey, Automatica 7 (1971) 123\u2013167.","journal-title":"Automatica"},{"key":"325497_CR3","doi-asserted-by":"crossref","unstructured":"D.G. Bobrow, ed., Qualitative Reasoning about Physical Systems(MIT Press, Cambridge, MA, 1985).","DOI":"10.1016\/B978-0-444-87670-6.50004-2"},{"key":"325497_CR4","series-title":"Internal Report","volume-title":"User\u2019s reference guide for ODRPACK\u2013software for weighted orthogonal distance regression","author":"P.T. Boggs","year":"1991","unstructured":"P.T. Boggs, R.H. Byrd, J.E. Rogers and R.B. Schnabel, User\u2019s reference guide for ODRPACK\u2013software for weighted orthogonal distance regression, Internal Report 89-4103, National Institute of Standards and Technology, Gaithersburg, MD (1991)."},{"issue":"6","key":"325497_CR5","doi-asserted-by":"publisher","first-page":"1052","DOI":"10.1137\/0908085","volume":"8","author":"P.T. Boggs","year":"1987","unstructured":"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\u20131078.","journal-title":"SIAM Journal of Scientific and Statistical Computing"},{"key":"325497_CR6","series-title":"Technical Report","volume-title":"A practical algorithm for general large scale nonlinear optimization problems","author":"P.T. Boggs","year":"1996","unstructured":"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."},{"key":"325497_CR7","unstructured":"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)."},{"key":"325497_CR8","doi-asserted-by":"crossref","unstructured":"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).","DOI":"10.3233\/IDA-1998-2205"},{"key":"325497_CR9","unstructured":"E. Bradley, M. Easley and A. Hogan, Qualitative observer theory, in preparation."},{"key":"325497_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02284622","volume":"17","author":"E. Bradley","year":"1996","unstructured":"E. Bradley and R. Stolle, Automatic construction of accurate models of physical systems, Annals of Mathematics and Artificial Intelligence 17 (1996) 1\u201328.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"325497_CR11","first-page":"32","volume-title":"Proceedings of the 10th Internattional Workshop on Qualitative Reasoning","author":"A.C. Capelo","year":"1996","unstructured":"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\u201339."},{"key":"325497_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-7386-9","volume-title":"Maple V Language Reference Manual","author":"B.W. Char","year":"1991","unstructured":"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)."},{"issue":"3","key":"325497_CR13","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1145\/355958.355965","volume":"7","author":"J.E. Dennis","year":"1981","unstructured":"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\u2013368.","journal-title":"ACM Transactions on Mathematical Software"},{"key":"325497_CR14","volume-title":"Numerical Methods for Unconstrained Optimization and Nonlinear Equations","author":"J.E. Dennis","year":"1983","unstructured":"J.E. Dennis and R.B. Schnabel, Numerical Methods for Unconstrained Optimization and Nonlinear Equations(Prentice-Hall, Englewood Cliffs, NJ, 1983)."},{"key":"325497_CR15","unstructured":"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)."},{"key":"325497_CR16","volume-title":"Practical Methods of Optimization","author":"R. Fletcher","year":"1987","unstructured":"R. Fletcher, Practical Methods of Optimization(Wiley, New York, 2nd ed., 1987).","edition":"2nd ed."},{"key":"325497_CR17","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K.D. Forbus","year":"1984","unstructured":"K.D. Forbus, Qualitative process theory, Artificial Intelligence 24 (1984) 85\u2013168.","journal-title":"Artificial Intelligence"},{"key":"325497_CR18","volume-title":"Readings in Qualitative Reasoning About Physical Systems","author":"K.D. Forbus","year":"1990","unstructured":"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)."},{"key":"325497_CR19","volume-title":"Practical Optimization","author":"P.E. Gill","year":"1981","unstructured":"P.E. Gill, W. Murray and M.H. Wright, Practical Optimization(Academic Press, Boston, 1981)."},{"key":"325497_CR20","volume-title":"Introduction to Global Optimization","author":"R. Horst","year":"1995","unstructured":"R. Horst, P. Pardalos and N. Thoai, Introduction to Global Optimization, Nonconvex Optimization and its Applications, Vol. 3 (Kluwer Academic, Dordrecht, 1995)."},{"key":"325497_CR21","unstructured":"E. Hung, Parameter estimation in chaotic systems, Technical Report AIM 1541, MIT Artificial Intelligence Lab (May 1995)."},{"key":"325497_CR22","volume-title":"Applied System Identification","author":"J.-N. Juang","year":"1994","unstructured":"J.-N. Juang, Applied System Identification(Prentice-Hall, Englewood Cliffs, NJ, 1994)."},{"key":"325497_CR23","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1115\/1.3662552","volume":"82D","author":"R.E. Kalman","year":"1960","unstructured":"R.E. Kalman, A new approach to filtering and prediction problems, J. Basic Engrg. 82D (1960) 35\u201345.","journal-title":"J. Basic Engrg."},{"volume-title":"Scientific Discovery: Computational Explorations of the Creative Process","year":"1987","key":"325497_CR24","unstructured":"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)."},{"key":"325497_CR25","unstructured":"L. Ljung, ed., System Identification: Theory for the User(Prentice-Hall, Englewood Cliffs, NJ, 1987)."},{"key":"325497_CR26","volume-title":"Sources and Development of Mathematical Software","author":"J.J. Mor\u00e9","year":"1984","unstructured":"J.J. Mor\u00e9, 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 \u201cThe MINPACK project\u201d."},{"key":"325497_CR27","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/15042.15043","volume":"21","author":"J. Rees","year":"1986","unstructured":"J. Rees and W. Clinger, The revised report on the algorithmic language Scheme, ACM SIGPLAN Notices 21 (1986) 37.","journal-title":"ACM SIGPLAN Notices"},{"key":"325497_CR28","unstructured":"L.F. Shampine and H.A. Watts, DEPAC\u2013design of a user oriented package of ODE solvers, Technical Report SAND79-2374, Sandia National Laboratories (1979)."},{"key":"325497_CR29","volume-title":"Introduction to Dynamic System Modeling for Design","author":"D.L. Smith","year":"1994","unstructured":"D.L. Smith, Introduction to Dynamic System Modeling for Design(Prentice-Hall, Englewood Cliffs, NJ, 1994)."},{"key":"325497_CR30","volume-title":"Proceedings of the 10th International Workshop on Qualitative Reasoning about Physical Systems","author":"R.M. Stolle","year":"1996","unstructured":"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)."},{"key":"325497_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-50871-6","volume-title":"Global Optimization","author":"A. Torn","year":"1989","unstructured":"A. Torn and A. Zilinskas, Global Optimization, Lecture Notes in Computer Science 350 (Springer, Berlin, 1989)."},{"key":"325497_CR32","doi-asserted-by":"crossref","unstructured":"B.C. Williams, A theory of interactions: Unifying qualitative and quantitative algebraic reasoning, Artificial Intelligence 51 (1991).","DOI":"10.1016\/0004-3702(91)90108-V"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018972409754.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018972409754\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018972409754.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:48:51Z","timestamp":1747547331000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018972409754"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,11]]},"references-count":32,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1998,11]]}},"alternative-id":["325497"],"URL":"https:\/\/doi.org\/10.1023\/a:1018972409754","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1998,11]]}}}