{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T23:13:41Z","timestamp":1780096421974,"version":"3.54.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540611554","type":"print"},{"value":"9783540683346","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0020960","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:16:01Z","timestamp":1132733761000},"page":"362-376","source":"Crossref","is-referenced-by-count":36,"title":["\u03b5-Approximation of differential inclusions"],"prefix":"10.1007","author":[{"given":"Anuj","family":"Puri","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vivek","family":"Borkar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pravin","family":"Varaiya","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"R. Abraham, J.E. Marsden, and T. Raitu, Manifolds, Tensor Analysis, and Applications, Springer-Verlag, 1988.","DOI":"10.1007\/978-1-4612-1029-0"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur et. al., The Algorithmic Analysis of Hybrid Systems, Theoretical Computer Science, Feb. 1995.","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"29_CR3","unstructured":"R.Alur, C.Courcoubetis, T.A. Henzinger and P.-H. Ho, Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems, Hybrid Systems, LNCS 736, Springer-Verlag."},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"J.P. Aubin and A. Cellina, Differential Inclusions, Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-69512-4"},{"key":"29_CR5","unstructured":"J.P. Aubin, Viability Theory, Birkhauser, 1991."},{"key":"29_CR6","unstructured":"V. Borkar and P. Varaiya, \u03b5-Approximation of Differential Inclusion using Rectangular Differential Inclusion, Notes."},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"J. Guckenheimer and P. Holmes, Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields, Springer-Verlag, 1983.","DOI":"10.1007\/978-1-4612-1140-2"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"T. Henzinger, P. Kopke, A. Puri and P. Varaiya, What's Decidable About Hybrid Automata, STOCS 1995.","DOI":"10.1145\/225058.225162"},{"key":"29_CR9","unstructured":"M. W. Hirsh and S. Smale Differential Equations, Dynamical Systems, and Linear Algebra, Academic Press, Inc., 1974."},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"X.Nicollin, A. Olivero, J. Sifakis, and S.Yovine, An Approach to the Description and Analysis of Hybrid Systems, Hybrid Systems, LNCS 736, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_28"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"A. Puri and P. Varaiya, Decidability of Hybrid System with Rectangular Differential Inclusions, CAV 94: Computer-Aided Verification, Lecture Notes in Computer Science 818, pages 95\u2013104. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58179-0_46"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"A. Puri and P. Varaiya, Verification of Hybrid Systems using Abstractions, Hybrid Systems II, LNCS 999, Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60472-3_18"},{"key":"29_CR13","unstructured":"A. Puri and P. Varaiya, Driving Safely in Smart Cars, California PATH Research Report UCB-ITS-PRR-95-24, July 1995."},{"key":"29_CR14","unstructured":"C. Sparrow, The Lorenz Equations, Springer-Verlag, 1982."},{"key":"29_CR15","unstructured":"P. P. Varaiya, On the Trajectories of a Differential System, in A.V. Balakrishnan and L.W. Neustadt, editor, Mathematical Theory of Control, Academic Press, 1967."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020960","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:40:50Z","timestamp":1586580050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020960"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611554","9783540683346"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0020960","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}