{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T21:49:54Z","timestamp":1767649794744},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418665"},{"type":"electronic","value":"9783540453512"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45351-2_19","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T23:27:49Z","timestamp":1194996469000},"page":"204-217","source":"Crossref","is-referenced-by-count":47,"title":["Accurate Event Detection for Simulating Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Joel M.","family":"Esposito","sequence":"first","affiliation":[]},{"given":"Vijay","family":"Kumar","sequence":"additional","affiliation":[]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"19_CR1","unstructured":"A. Gollu A. Deshpande and L. Semenzato. Shift programming language and runtime system for dynamic networks of hybrid automata. California PATH, 1995."},{"key":"19_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84628-615-5","volume-title":"Nonlinear Control Systems","author":"A. Isidori","year":"1995","unstructured":"A. Isidori. Nonlinear Control Systems. Springer, London, 1995."},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/0378-4754(78)90068-X","volume":"XX","author":"M.B. Carver","year":"1978","unstructured":"M.B. Carver. Efficeint integration over discontinuities in ordinary differential equation simulations. Mathematics and Computers in Simulation, XX:190\u2013196, 1978.","journal-title":"Mathematics and Computers in Simulation"},{"key":"19_CR4","volume-title":"Combined discrete\/ continuous system simulation by use of digital computers: techniques and tools","author":"F. Cellier","year":"1979","unstructured":"F. Cellier. Combined discrete\/ continuous system simulation by use of digital computers: techniques and tools. PhD thesis, ETH Zurich, Zurich, Switzerland, 1979."},{"key":"19_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems: Computation and Control","author":"A. Chutinam","year":"1999","unstructured":"A. Chutinam and B. Krogh. Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In F. Vaandrager and J. H. van Schuppen, editors, Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science. Springer Verlag, 1999."},{"key":"19_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-64358-3_34","volume-title":"Hybrid Systems: Computation and Control","author":"T. Dang","year":"1998","unstructured":"T. Dang and O. Maler. Reachability analysis via face lifting. In T. Henzinger and S. Sastry, editors, Hybrid Systems: Computation and Control, volume 1386 of Lecture Notes in Computer Science, pages 96\u2013109. Springer Verlag, Berlin, 1998."},{"key":"19_CR7","unstructured":"J. Esposito and V. Kumar. Effcient dynamic simulation of robotic systems with hierarchy. submitted to International Conference on Robotics and Automation 2001."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"C.W. Gear and O. Osterby. Solving ordinary differential equations with discontinuities. Technical report, Dept. of Comput. Sci., University of Illinois, 1981.","DOI":"10.2172\/5696775"},{"key":"19_CR9","volume-title":"Dymola-user\u2019s manual","author":"D. Bruck","year":"1996","unstructured":"D. Bruck H. Elmqvist and M. Otter. Dymola-user\u2019s manual. Dynasim AB Research Park Ideon, Lund Switzerland, 1996."},{"key":"19_CR10","unstructured":"S. Campbell K. Benan and L. Petzold. Numerical solutions of initial value problems. North Holland, London, 1989."},{"key":"19_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems V","author":"S. Kowaleski","year":"1998","unstructured":"S. Kowaleski, M. Fritz, H. Graf, J. Preubig, S. Simon, O. Stursberg, and H. Treseler. A case study in tool-aided analysis of discretely controled continuous systems: the two tanks problem. In Hybrid Systems V, Lecture Notes in Computer Science. Springer Verlag, 1998."},{"issue":"1","key":"19_CR12","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/103147.103149","volume":"17","author":"L.F. Shampine","year":"1991","unstructured":"L.F. Shampine, I. Gladwell, and R.W. Brankin. Reliable solution of special event location problems for ODEs. ACM transactions on Mathematical Software, 17(1):11\u201325, March 1991.","journal-title":"ACM transactions on Mathematical Software"},{"key":"19_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/3-540-46430-1_27","volume-title":"Hybrid Systems: Computation and Control","author":"I. Mitchell","year":"2000","unstructured":"Ian Mitchell and Claire Tomlin. Level set methods for computation in hybrid systems. In N. Lynch and B. H. Krogh, editors, Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science, pages 310\u2013323. Springer Verlag, 2000."},{"key":"19_CR14","series-title":"Lect Notes Comput Sci","first-page":"163","volume-title":"Hybrid Systems: Computation and Control","author":"P. Mosterman","year":"1999","unstructured":"P. Mosterman. An overview of hybrid simulation phenomena and their support by simulation packages. In F.W. Vaandrager and J. H. van Schuppen, editors, Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science, pages 163\u2013177. Springer Verlag, 1999."},{"issue":"10","key":"19_CR15","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1016\/0098-1354(91)85016-N","volume":"15","author":"A.J. Preston","year":"1991","unstructured":"A.J. Preston and M. Berzins. Algorithms for the location of discontinuities in dynamic simualtion problems. Computers in Chemical Engineering, 15(10):701\u2013713, 1991.","journal-title":"Computers in Chemical Engineering"},{"key":"19_CR16","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-46430-1_5","volume":"3","author":"R. Alur","year":"2000","unstructured":"R. Alur, R. Grosse, Y. Hur, V. Kumar, and I. Lee. Modular specification of hybrid systems in charon. Hybrid Systems Computation and Control: Third international workshop, 3:6\u201319, 2000.","journal-title":"Hybrid Systems Computation and Control: Third international workshop"},{"issue":"2","key":"19_CR17","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/232807.232809","volume":"6","author":"T. Park","year":"1996","unstructured":"T. Park and P. Barton. State event location in differential-algebraic models. ACM transactions on modeling and computer simulation, 6(2):137\u2013165, 1996.","journal-title":"ACM transactions on modeling and computer simulation"},{"key":"19_CR18","unstructured":"J. Liu X. Lui, T.J. Koo, B. Sinopoli, S. Sastry, and E.A. Lee. A hierarchical hybrid system model and its simulation. Proceedings of the 38\n                        \n                  th\n                \n                        Conference on Decision and Control, pages 2407\u20132411, 1999."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45351-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T07:48:00Z","timestamp":1551080880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45351-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418665","9783540453512"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45351-2_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}