{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,12]],"date-time":"2025-04-12T05:47:52Z","timestamp":1744436872390,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657347"},{"type":"electronic","value":"9783540489832"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48983-5_20","type":"book-chapter","created":{"date-parts":[[2007,6,24]],"date-time":"2007-06-24T21:17:08Z","timestamp":1182719828000},"page":"209-222","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis"],"prefix":"10.1007","author":[{"given":"J.","family":"Preu\u00dfig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O.","family":"Stursberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Kowalewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,4,15]]},"reference":[{"key":"20_CR1","unstructured":"A. Chutinan and B. H. Krogh. Computing polyhedral approximations of dynamic flow pipes. 1998. Submitted to 37th IEEE Conf. on Decision and Control."},{"key":"20_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/3-540-64358-3_34","volume-title":"HSCC 98: Hybrid Systems Computation and Control","author":"T. Dang","year":"1998","unstructured":"T. Dang and O. Maler. Reachability analysis via face lifting. In T.A. Henzinger and S. Sastry, editors, HSCC 98: Hybrid Systems Computation and Control, Lecture Notes in Computer Science 1386, pages 96\u2013109. Springer-Verlag, 1998."},{"key":"20_CR3","unstructured":"R. Fletcher. Practical Methods of Optimization. J. Wiley and Sons, 1987."},{"key":"20_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/3-540-61474-5_76","volume-title":"CAV 96: Computer Aided Verification","author":"M.R. Greenstreet","year":"1996","unstructured":"M.R. Greenstreet. Verifying safety properties of differential equations. In R. Alur and T.A. Henzinger, editors, CAV 96: Computer Aided Verification, Lecture Notes in Computer Science 1102, pages 277\u2013287. Springer-Verlag, 1996."},{"key":"20_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/3-540-64358-3_38","volume-title":"HSCC 98: Hybrid Systems Computation and Control","author":"M.R. Greenstreet","year":"1998","unstructured":"M.R. Greenstreet and I. Mitchell. Integrating projections. In T.A. Henzinger and S. Sastry, editors, HSCC 98: Hybrid Systems Computation and Control, Lecture Notes in Computer Science 1386, pages 159\u2013174. Springer-Verlag, 1998."},{"issue":"4","key":"20_CR6","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1109\/9.664156","volume":"43","author":"T.A. Henzinger","year":"1998","unstructured":"T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control, 43(4):540\u2013554, 1998.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What\u2019s decidable about hybrid automata? In Proceedings of the 27th Annual Symposium on Theory of Computing, pages 373\u2013382. ACM Press, 1995.","DOI":"10.1145\/225058.225162"},{"key":"20_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems V","author":"S. Kowalewski","year":"1998","unstructured":"S. Kowalewski, O. Stursberg, M. Fritz, H. Graf, I. Hoffmann, J. Preu\u00dfig, M. Remelhe, S. Simon, and H. Treseler. A case study in tool-aided analysis of discretely controlled continuous systems: The two-tanks problem. In Hybrid Systems V, Lecture Notes in Computer Science. Springer-Verlag, 1998."},{"key":"20_CR9","series-title":"Lect Notes Comput Sci","volume-title":"FTRTFT98: Formal Techniques for Real-time and Fault-tolerant Systems","author":"J. Preu\u00dfig","year":"1998","unstructured":"J. Preu\u00dfig, S. Kowalewski, H. Wong-Toi, and T.A. Henzinger. An algorithm for the approximative analysis of rectangular automata. In FTRTFT98: Formal Techniques for Real-time and Fault-tolerant Systems, LNCS. Springer-Verlag, 1998."},{"key":"20_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/BFb0031569","volume-title":"Hybrid Systems IV","author":"O. Stursberg","year":"1996","unstructured":"O. Stursberg, S. Kowalewski, I. Hoffmann, and J. Preu\u00dfig. Comparing timed and hybrid automata as approximations of continuous systems. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems IV, Lecture Notes in Computer Science 1273, pages 361\u2013377. Springer-Verlag, 1996."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48983-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T17:08:01Z","timestamp":1585933681000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48983-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657347","9783540489832"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-48983-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"15 April 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}