{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T00:59:42Z","timestamp":1649206782865},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,6,1]],"date-time":"1993-06-01T00:00:00Z","timestamp":738892800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1993,6]]},"DOI":"10.1007\/bf03037157","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:58:00Z","timestamp":1240369080000},"page":"159-177","source":"Crossref","is-referenced-by-count":2,"title":["Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations"],"prefix":"10.1007","volume":"11","author":[{"given":"Toyoaki","family":"Nishida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenji","family":"Mizutani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuji","family":"Doshita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037157_CR1","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1145\/63485.63486","volume":"32","author":"H. Abelson","year":"1989","unstructured":"Abelson, H., Eisenberg, M., Halfant, M., Katzenelson, J., Sacks, E., Sussman, G. J., Wisdom, J. and Yip, K., \u201cIntelligence in Scientific Computing,\u201dCommunications of the ACM, 32, pp. 546\u2013562, 1989.","journal-title":"Communications of the ACM"},{"key":"BF03037157_CR2","doi-asserted-by":"crossref","unstructured":"Guckenheimer, J. and Holmes, P.,Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields, Springer-Verlag, 1983.","DOI":"10.1007\/978-1-4612-1140-2"},{"key":"BF03037157_CR3","unstructured":"Hirsch, M. W. and Smale, S.,Differential Equations, Dynamical Systems, and Linear Algebra, Academic Press, 1974."},{"key":"BF03037157_CR4","unstructured":"Kalagnanam, J., \u201cIntegration of Symbolic and Numeric Methods for Qualitative Reasoning,\u201dTechnical Report, CMU-EPP-1991-01-01, Engineering and Public Policy, CMU, 1991."},{"key":"BF03037157_CR5","unstructured":"Mizutani, K., \u201cAutomated Analysis of Qualitative Behavior of Ordinary Differential Equations in Three-Dimensional Phase Space,\u201dMaster thesis, Department of Information Science, Kyoto University, (in Japanese), 1992."},{"key":"BF03037157_CR6","unstructured":"Nishida, T. and Doshita, S., \u201cPSX: A Program that Explores Phase Portraits of Two-Dimensional Piecewise Linear Differential Equations\u201d (unpublished research note, available from the author), 1990."},{"key":"BF03037157_CR7","unstructured":"Nishida, T. and Doshita, S., \u201cA Geometric Approach to Total Envisioning,\u201d inProceedings IJCAI-91, pp. 1150\u20131155, 1991."},{"key":"BF03037157_CR8","unstructured":"Nishida, T., Mizutani, K., Kubota, A. and Doshita, S., \u201cAutomated Phase Portrait Analysis by Integrating Qualitative and Quantitative Analysis,\u201d inProceedings AAAI-91, pp. 811\u2013816, 1991."},{"key":"BF03037157_CR9","unstructured":"Sacks, E. p., \u201cPiecewise Linear Abstraction,\u201d inQualitative Reasoning Workshop Abstracts, Qualitative Reasoning Group, University of Illinois at Urbana-Champaign, 1987."},{"key":"BF03037157_CR10","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/0004-3702(90)90047-4","volume":"41","author":"E. P. Sacks","year":"1990","unstructured":"Sacks, E. P., \u201cAutomatic Qualitative Analysis of Dynamic Systems Using Piecewise Linear Approximations,\u201dArtificial Intelligence, 41. pp, 313\u2013364, 1990.","journal-title":"Artificial Intelligence"},{"key":"BF03037157_CR11","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(91)90079-Y","volume":"48","author":"E. P. Sacks","year":"1991","unstructured":"Sacks, E. P., \u201cAutomatic Analysis of One-Parameter Planar Ordinary Differential Equations by Intelligent Numeric Simulation,\u201dArtificial Intelligence, 48, pp. 27\u201356, 1991.","journal-title":"Artificial Intelligence"},{"key":"BF03037157_CR12","unstructured":"Wolfram, S.,Mathematica\u2014A System for Doing Mathematics by Computer, Addison-Wesley Pub. Co, 1988. (the second edition was published in 1991)."},{"key":"BF03037157_CR13","doi-asserted-by":"crossref","unstructured":"Zhao, F., \u201cExtracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces,\u201d inProceedings IJCAI-91, pp. 1144\u20131149, 1991.","DOI":"10.21236\/ADA241163"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037157.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037157\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037157","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:30Z","timestamp":1558572750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037157"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,6]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,6]]}},"alternative-id":["BF03037157"],"URL":"https:\/\/doi.org\/10.1007\/bf03037157","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,6]]}}}