{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:00:59Z","timestamp":1771700459156,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540672593","type":"print"},{"value":"9783540464303","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46430-1_10","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T08:18:49Z","timestamp":1193473129000},"page":"73-88","source":"Crossref","is-referenced-by-count":77,"title":["Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations"],"prefix":"10.1007","author":[{"given":"Oleg","family":"Botchkarev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,1]]},"reference":[{"key":"10_CR1","unstructured":"Botchkarev O., Ellipsoidal Techniques for Verification of Hybrid Systems, 2000. Available at: \n                    http:\/\/robotics.eecs.berkeley.edu\/~olegb\/VeriSHIFT\/\n                    \n                  ."},{"key":"10_CR2","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":"Dang T. and Maler O., Reachability Analysis via Face Lifting. In T.A. Henzinger and S. Sastry (Eds), Hybrid Systems: Computation and Control, 96\u2013109, LNCS 1386, Springer, 1998."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Henzinger T, Ho P. and Wong-Toi H., HyTech: A Model Checker for Hybrid Systems. In Software Tools for Technology Transfer, 1, 1997.","DOI":"10.1007\/3-540-63166-6_48"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/978-1-4612-0349-0_4","volume-title":"Advances in Nonlinear Dynamics and Control","author":"A. B. Kurzhanski","year":"1993","unstructured":"Kurzhanski A. B. and Filippova T. F., On the Theory of Trajectory Tubes: a Mathematical Formalism for Uncertain Dynamics, Viability and Control, in: Advances in Nonlinear Dynamics and Control, ser. PSCT 17, pp.122\u2013188, Birkh\u00e4user, Boston, 1993."},{"key":"10_CR5","volume-title":"Ellipsoidal Calculus for Estimation and Control","author":"A. B. Kurzhanski","year":"1996","unstructured":"Kurzhanski A. B. and V\u00e1lyi I. Ellipsoidal Calculus for Estimation and Control, Birkh\u00e4user, Boston, ser.SCFA, 1996."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Kurzhanski A. B. and Varaiya P., Ellipsoidal Techniques for Reachability Analysis, 2000. Proceedings of this conference.","DOI":"10.1007\/3-540-46430-1_19"},{"key":"10_CR7","series-title":"Lect Notes Comput Sci","first-page":"109","volume-title":"Hybrid Systems","author":"A. Puri","year":"1996","unstructured":"Puri A., Borkar V. and Varaiya P., \u2208-Approximations of Differential Inclusions, in: R. Alur, T.A. Henzinger, and E.D. Sonntag eds., Hybrid Systems, pp. 109\u2013123, LNCS 1201, Springer, 1996."},{"key":"10_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Proc. CAV\u201994","author":"A. Puri","year":"1966","unstructured":"Puri A. and Varaiya P., Decidability of Hybrid Systems with Rectangular Differential Inclusions, in D. Dill ed., Proc. CAV\u201994, LNCS 1066, Springer, 1966."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Rockafellar, R. T., Convex Analysis, Princeton University Press, 1970.","DOI":"10.1515\/9781400873173"},{"key":"10_CR10","unstructured":"Varaiya P., Reach Set Computation Using Optimal Control, in Proc.of KIT Workshop on Verification of Hybrid Systems, Verimag, Grenoble, 1998."},{"key":"10_CR11","unstructured":"VeriSHIFT Home Page. \n                    http:\/\/robotics.EECS.Berkeley.EDU\/~olegb\/VeriSHIFT\/\n                    \n                  ."},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/BF01580903","volume":"56","author":"Y. Ye","year":"1992","unstructured":"Ye Y., On Affine Scaling Algorithms for Non-Convex Quadratic Programming. In Mathematical Programming, 56(1992), pp. 285\u2013300.","journal-title":"Mathematical Programming"}],"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-46430-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T16:11:16Z","timestamp":1551024676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46430-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672593","9783540464303"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-46430-1_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}