{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T20:32:21Z","timestamp":1782765141291,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_19","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T08:18:49Z","timestamp":1193473129000},"page":"202-214","source":"Crossref","is-referenced-by-count":189,"title":["Ellipsoidal Techniques for Reachability Analysis"],"prefix":"10.1007","author":[{"given":"Alexander B.","family":"Kurzhanski","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pravin","family":"Varaiya","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,2,1]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Botchkarev O., Tripakis S., Verification of Hybrid Systems with Linear Differential Inclusions using Ellipsoidal Approximations. Proceedings of this Conference, Pittsburg, 2000.","DOI":"10.1007\/3-540-46430-1_10"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Boyd S., El Ghaoui L., Feron E., Balakrishnan V., Linear Matrix Inequalities in System and Control Theory, SIAM, Studies in Applied Mathematics, 1994.","DOI":"10.1137\/1.9781611970777"},{"key":"19_CR3","unstructured":"Chernousko F.L., State Estimation for Dynamic Systems, CRC Press, 1994."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Henzinger T.A., Kopke P.W., Puri A. and Varaiya P., What\u2019s Decidable about Hybrid Automata ? Proc. 27-th STOC, pp.373\u2013382, 1995.","DOI":"10.1145\/225058.225162"},{"key":"19_CR5","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/978-1-4612-0349-0_4","volume":"17","author":"A.B. Kurzhanski","year":"1993","unstructured":"Kurzhanski A.B., 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.","journal-title":"Advances in Nonlinear Dynamics and Control"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Kurzhanski A. B., V\u00e1lyi I. Ellipsoidal Calculus for Estimation and Control, Birkh\u00e4user, Boston, ser. SCFA, 1997.","DOI":"10.1007\/978-1-4612-0277-6"},{"key":"19_CR7","unstructured":"Kurzhanski A. B., Varaiya P., Ellipsoidal techniques for reachability analysis. To appear."},{"key":"19_CR8","unstructured":"Kurzhanski A. B., Varaiya P., Ellipsoidal techniques for reachability analysis. Internal approximations. To appear."},{"key":"19_CR9","volume-title":"Foundations of Optimal Control Theory","author":"E.B. Lee","year":"1967","unstructured":"Lee E.B., Marcus L., Foundations of Optimal Control Theory, Wiley, NY,, 1967."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Leitmann G., Optimality and reachability via feedback controls. In:Dynamic Systems and Mycrophysics, Blaquiere A., Leitmann G. eds.,1982.","DOI":"10.1016\/B978-0-12-068720-6.50012-9"},{"key":"19_CR11","first-page":"149","volume":"54","author":"F. Lempio","year":"1998","unstructured":"Lempio F., Veliov V., Discrete Approximations of Di_erential Inclusions, Bayreuther Mathematische Schriften, Heft 54, pp. 149\u2013232, 1998.","journal-title":"Bayreuther Mathematische Schriften"},{"issue":"2","key":"19_CR12","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0167-6911(98)00037-1","volume":"35","author":"G.L. Pappas","year":"1998","unstructured":"Pappas G.L., Sastry S., Straightening out differential inclusions. System and Control Letters, 35(2), pp.79\u201385, Sept.1998.","journal-title":"System and Control Letters"},{"key":"19_CR13","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":"19_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Proc. CAV-94","author":"A. Puri","year":"1996","unstructured":"Puri A., Varaiya P., Decidability of hybrid systems with rectangular inclusions. In D. Dill ed., Proc. CAV-94, LNCS 1066, Springer, 1996."},{"key":"19_CR15","unstructured":"Rockafellar, R. T., Convex Analysis, 2-nd ed., Princeton University Press, 1999."},{"key":"19_CR16","unstructured":"Varaiya P. Reach Set Computation Using Optimal Control, in Proc.of KIT Workshop on Verification of Hybrid Systems, Verimag, Grenoble, 1998."}],"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_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:09:43Z","timestamp":1556935783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46430-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672593","9783540464303"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-46430-1_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}