{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:40:40Z","timestamp":1729626040149,"version":"3.28.0"},"reference-count":23,"publisher":"American Automatic Control Council","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/acc.2002.1024794","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T22:06:50Z","timestamp":1056578810000},"page":"140-147","source":"Crossref","is-referenced-by-count":14,"title":["Rigorous simulation of hybrid dynamic systems with symbolic and interval methods"],"prefix":"10.1109","volume":"1","author":[{"given":"N.S.","family":"Nedialkov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"von Mohrenschildt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"419","article-title":"Enclosing solutions with switching points in ordinary differential equations","author":"rihm","year":"1992","journal-title":"Computer Arithmetic and Enclosure Methods"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1016\/S0898-1221(00)00045-6"},{"key":"17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1014798618404","article-title":"An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE","volume":"7","author":"nedialkov","year":"2001","journal-title":"Reliable Computing"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.3166\/ejc.7.541-556"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1109\/32.159837"},{"year":"1999","author":"nedialkov","article-title":"Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation","key":"15"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1016\/S0096-3003(98)10083-8"},{"year":"1966","author":"moore","journal-title":"Interval Analysis","key":"13"},{"key":"14","first-page":"165","article-title":"An overview of hybrid simulation phenomena and their support by simulation packages","author":"mosterman","year":"1999","journal-title":"Hybrid Systems Computation and Control Volume 1569 of Lecture Notes in Computer Science"},{"key":"11","first-page":"255","article-title":"Enclosing the solutions of ordinary initial and boundary value problems","author":"lohner","year":"1987","journal-title":"Computer Arithmetic Scientific Computation and Programming Languages"},{"year":"1988","author":"lohner","article-title":"Einschlie\ufffdung der Lo?sung gewo?hnlicher Anfangs - und Randwertaufgaben und Anwendungen","key":"12"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1007\/3-540-46430-1_33"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/9.654885"},{"key":"20","first-page":"173","article-title":"Interval methods for initial value problems in ODEs","author":"rihm","year":"1994","journal-title":"Topics in Validated Computations Proceedings of the IMACS-GAMM International Workshop on Validated Computations University of Oldenburg Elsevier Studies in Computational Mathematics"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/5.871304"},{"year":"1983","author":"alefeld","journal-title":"Introduction to Interval Computations","key":"1"},{"key":"10","first-page":"137","article-title":"A new class of decidable hybrid systems","author":"laerriere","year":"1999","journal-title":"Hybrid Systems Computation and Control Volume 1569 of Lecture Notes in Computer Science"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/CDC.1989.70671"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1016\/0096-3003(88)90030-6"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1007\/BFb0014738"},{"year":"1998","author":"clarke","journal-title":"Nonsmooth Analysis and Control Theory","key":"4"},{"key":"9","first-page":"163","article-title":"A case study in tool-aided analysis of discretely controlled continuous systems: The two tanks problem","author":"kowalewski","year":"1997","journal-title":"Hybrid Systems"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-09947-6","author":"hairer","year":"1991","journal-title":"Solving Ordinary Differential Equations I Nonstiff Problems"}],"event":{"acronym":"ACC-02","name":"2002 American Control Conference","location":"Anchorage, AK, USA"},"container-title":["Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7965\/22042\/01024794.pdf?arnumber=1024794","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,24]],"date-time":"2018-02-24T23:23:21Z","timestamp":1519514601000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1024794\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/acc.2002.1024794","relation":{},"subject":[]}}