{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T01:01:12Z","timestamp":1781658072090,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540009139","type":"print"},{"value":"9783540365808","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36580-x_35","type":"book-chapter","created":{"date-parts":[[2007,12,9]],"date-time":"2007-12-09T07:13:36Z","timestamp":1197184416000},"page":"482-497","source":"Crossref","is-referenced-by-count":68,"title":["Efficient Representation and Computation of Reachable Sets for Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Olaf","family":"Stursberg","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bruce H.","family":"Krogh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"35_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138 (1995) 3\u201334","journal-title":"Theoretical Computer Science"},{"key":"35_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/3-540-48983-5_7","volume-title":"Hybrid Systems: Computation and Control","author":"A. Bemporad","year":"1999","unstructured":"Bemporad, A., Morari, M.: Verification of hybrid systems via mathematical programming. In: Hybrid Systems: Computation and Control. Volume 1569 of LNCS., Springer (1999) 31\u201345"},{"key":"35_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-48983-5_12","volume-title":"Hybrid Systems: Computation and Control","author":"M.R. Greenstreet","year":"1999","unstructured":"Greenstreet, M.R., Mitchell, I.: Reachability analysis using polygonal projections. In: Hybrid Systems: Computation and Control. Volume 1569 of LNCS., Springer (1999) 103\u2013116"},{"key":"35_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-46430-1_6","volume-title":"Hybrid Systems \u2014 Computation and Control","author":"E. Asarin","year":"2000","unstructured":"Asarin, E., Bournez, O., Dang, T., Maler, O.: Approximate reachability analysis of piecewise-linear dynamical systems. In: Hybrid Systems \u2014 Computation and Control. Volume 1790 of LNCS., Springer (2000) 20\u201331"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Wong-Toi, H.: The synthesis of conbtrollers for linear hybrid automata. In: Proc. 36th IEEE Conf. Decision and Control. (1997) 4607\u20134612","DOI":"10.1109\/CDC.1997.649708"},{"key":"35_CR6","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1109\/9.664159","volume":"43","author":"J. Cury","year":"1998","unstructured":"Cury, J., Krogh, B., Niinomi, T.: Synthesis of supervisory controller for hybrid systems based on approximating automata. IEEE Transaction on Automatic Control 43 (1998) 564\u2013569","journal-title":"IEEE Transaction on Automatic Control"},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Asarin, E., Bournez, O., Dang, T., Maler, O., Pnueli, A.: Effective synthesis of switching controllers for linear systems. Proc. of the IEEE 88 (2000) 1011\u20131025","DOI":"10.1109\/5.871306"},{"key":"35_CR8","doi-asserted-by":"crossref","first-page":"949","DOI":"10.1109\/5.871303","volume":"88","author":"C. Tomlin","year":"2000","unstructured":"Tomlin, C., Lygeros, J., Sastry, S.: A game theoretic approach to controller design for hybrid systems. Proc. of the IEEE 88 (2000) 949\u2013970","journal-title":"Proc. of the IEEE"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"Xia, H., Pang, Y., Trontis, A., Spathopoulos, M.: Eventuality synthesis for controlled linear automata. In: Proc. American Control Conf. (2002) 160\u2013165","DOI":"10.1109\/ACC.2002.1024797"},{"key":"35_CR10","unstructured":"Mitchell, I., Bayen, A., Tomlin, C.: Computing reachable sets for continuous dynamic games using level set methods. IEEE Trans. on Automatic Control (2003) to appear"},{"key":"35_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48983-5_8","volume-title":"Hybrid Systems: Computation and Control","author":"K. Bournez","year":"1999","unstructured":"Bournez, K., Maler, O., Pnueli, A.: Orthogonal polyhedra: Representation and computation. In: Hybrid Systems: Computation and Control. Volume 1569 of LNCS., Springer (1999) 46\u201360"},{"key":"35_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/BFb0020960","volume-title":"Hybrid Systems III","author":"A. Puri","year":"1996","unstructured":"Puri, A., Borkar, V., Varaiya, P.: \u2208-approximations of differential inclusions. In: Hybrid Systems III. Volume 1066 of LNCS., Springer (1996) 363\u2013376"},{"key":"35_CR13","unstructured":"Stursberg, O.: Analysis of switched continuous systems based on discrete approximation. In: Proc. 4th Int. Conf. on Automation of Mixed Processes. (2000) 73\u201378"},{"key":"35_CR14","doi-asserted-by":"publisher","first-page":"1401","DOI":"10.1109\/9.948467","volume":"46","author":"A. Chutinan","year":"2001","unstructured":"Chutinan, A., Krogh, B.: Verification of infinite-state dynamic systems using approximate quotient transition systems. IEEE Trans. on Automatic Control 46 (2001) 1401\u20131410","journal-title":"IEEE Trans. on Automatic Control"},{"key":"35_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-46430-1_10","volume-title":"Hybrid Systems: Computation and Control","author":"O. Botchkarev","year":"2000","unstructured":"Botchkarev, O., Tripakis, S.: Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations. In: Hybrid Systems: Computation and Control. Volume 1790 of LNCS., Springer (2000) 73\u201388"},{"key":"35_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/3-540-46430-1_19","volume-title":"Hybrid Systems: Computation and Control","author":"A. Kurzhanski","year":"2000","unstructured":"Kurzhanski, A., Varaiya, P.: Ellipsiodal techniques for reachability analysis. In: Hybrid Systems: Computation and Control. Volume 1790 of LNCS., Springer (2000) 202\u2013214"},{"key":"35_CR17","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/BF02573985","volume":"10","author":"B. Chazelle","year":"1993","unstructured":"Chazelle, B.: An optimal convex hull algorithm in any fixed dimension. Discrete Comput. Geom. 10 (1993) 377\u2013409","journal-title":"Discrete Comput. Geom."},{"key":"35_CR18","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/S0925-7721(96)00023-5","volume":"7","author":"D. Avis","year":"1997","unstructured":"Avis, D., Bremner, D., Seidel, R.: How good are convex hull algorithms? Comput. Geom.: Theory and Appl. 7 (1997) 265\u2013301","journal-title":"Comput. Geom.: Theory and Appl."},{"key":"35_CR19","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"T.A. Henzinger","year":"1998","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? Journ. Computer and System Sciences 57 (1998) 94\u2013124","journal-title":"Journ. Computer and System Sciences"},{"key":"35_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-48983-5_15","volume-title":"Hybrid Systems: Computation and Control","author":"G. Lafferriere","year":"1999","unstructured":"Lafferriere, G., Pappas, G.J., Yovine, S.: A new class of decidable hybrid systems. In: Hybrid Systems: Computation and Control. Volume 1569 of LNCS., Springer (1999) 137\u2013151"},{"key":"35_CR21","unstructured":"Pearson, K.: On lines and panes of closest fit to systems of points in space. Phil. Mag. 6 (1901)"},{"key":"35_CR22","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1037\/h0071325","volume":"24","author":"H. Hotelling","year":"1933","unstructured":"Hotelling, H.: Analysis of a complex of statistical variables into principal components. J. Educ. Psychol. 24 (1933) 417\u2013441","journal-title":"J. Educ. Psychol."},{"key":"35_CR23","doi-asserted-by":"crossref","unstructured":"Jolliffe, I., ed.: Principal Component Analysis. Series in Statistics. Springer (1986)","DOI":"10.1007\/978-1-4757-1904-8"},{"key":"35_CR24","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1006\/jagm.2000.1127","volume":"38","author":"G. Barequet","year":"2001","unstructured":"Barequet, G., Har-Peled, S.: Efficiently approximating the minimum-volume bounding box of a point set in three dimensions. J. of Algorithms 38 (2001) 99\u2013109","journal-title":"J. of Algorithms"},{"key":"35_CR25","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1109\/TAC.1980.1102314","volume":"25","author":"V.C. Klema","year":"1980","unstructured":"Klema, V.C., Laub, A.J.: The singular value decomposition: its computation and some applications. IEEE Trans. on Automatic Control 25 (1980) 164\u2013176","journal-title":"IEEE Trans. on Automatic Control"},{"key":"35_CR26","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1145\/235815.235821","volume":"22","author":"C. Barber","year":"1996","unstructured":"Barber, C., Dobkin, D., Huhdanpaa, H.: The quickhull algorithm for convex hulls. ACM Trans. on Mathematical Software 22 (1996) 469\u2013483","journal-title":"ACM Trans. on Mathematical Software"},{"key":"35_CR27","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1137\/S0895479896303430","volume":"19","author":"L. Vandenberghe","year":"1998","unstructured":"Vandenberghe, L., Boyd, S., Wu, S.: Determinant maximization with linear matrix inequalities. SIAM Journ. Matrix Analysis and Applications 19 (1998) 499\u2013533","journal-title":"SIAM Journ. Matrix Analysis and Applications"},{"key":"35_CR28","doi-asserted-by":"crossref","unstructured":"Chutinan, A., Krogh, B.H.: Computational techniques for hybrid system verification. IEEE Trans. on Automatic Control 48 (2003)","DOI":"10.1109\/TAC.2002.806655"}],"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-36580-X_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T16:16:17Z","timestamp":1557072977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36580-X_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009139","9783540365808"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-36580-x_35","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}