{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:24Z","timestamp":1763468064139},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604723"},{"type":"electronic","value":"9783540475194"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60472-3_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:40:09Z","timestamp":1330288809000},"page":"359-369","source":"Crossref","is-referenced-by-count":26,"title":["Verification of hybrid systems using abstractions"],"prefix":"10.1007","author":[{"given":"Anuj","family":"Puri","sequence":"first","affiliation":[]},{"given":"Pravin","family":"Varaiya","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"18_CR1","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":"18_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur and D. Dill, Automata for modeling real-time systems, Proc. 17th ICALP, LNCS 443, Springer-Verlag, 1990.","DOI":"10.1007\/BFb0032042"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"R.Alur, A.Itai, R.Kurshan and M.Yannakakis, Timing Verification by Successive Approximation, Proc. 4th Workshop Computer-Aided Verification, Lecture Notes in Computer Science 663, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56496-9_12"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"P.Kopke, T. Henzinger, A. Puri and P. Varaiya, What's Decidable About Hybrid Automata, STOCS 1995.","DOI":"10.1145\/225058.225162"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"R.L. Grossman et al., eds., Hybrid Systems, LNCS 736, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6"},{"key":"18_CR6","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":"18_CR7","doi-asserted-by":"crossref","unstructured":"A. Puri and P. Varaiya, Decidability of Hybrid Systems with Rectangular Differential Inclusions, Computer-Aided Verification 1994, LNCS 818, Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58179-0_46"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"A. Puri and P. Varaiya, Driving Safely in Smart Cars, American Control Conference 1995.","DOI":"10.1109\/ACC.1995.533807"},{"key":"18_CR9","unstructured":"A. Puri, V. Borkar, and P. Varaiya, e-Approximation of Differential Inclusions, Draft."},{"issue":"2","key":"18_CR10","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1109\/9.250509","volume":"38","author":"P. Varaiya","year":"1993","unstructured":"P.Varaiya. Smart Cars on Smart Roads: Problems of Control. IEEE Transactions on Automatic Control, 38(2):195\u2013207, February 1993.","journal-title":"IEEE Transactions on Automatic Control"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60472-3_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:59:33Z","timestamp":1605646773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60472-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604723","9783540475194"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-60472-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}