{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:55:13Z","timestamp":1725512113115},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540792277"},{"type":"electronic","value":"9783540792284"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79228-4_26","type":"book-chapter","created":{"date-parts":[[2008,4,29]],"date-time":"2008-04-29T05:07:56Z","timestamp":1209445676000},"page":"294-305","source":"Crossref","is-referenced-by-count":1,"title":["Symbolic Algorithm Analysis of Rectangular Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Haibin","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_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\u00a0138, 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"26_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid Automata: an Algorithmic Approach to the Specification and Verification of Hybrid Systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol.\u00a0736, Springer, Heidelberg (1993)"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., Ho, P.-H.: Automatic Symbolic Verification of Embedded Systems. In: Proceedings of 1993 IEEE Real-Time System Symposium (1993)","DOI":"10.1109\/REAL.1993.393520"},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_32","volume-title":"Computer Aided Verification","author":"A. Annichini","year":"2000","unstructured":"Annichini, A., Asarin, E., Bouajjani, A.: Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, Springer, Heidelberg (2000)"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Dill, D.L.: Timing Assumptions and Verification of Finite-State Concurrent Systems. LNCS, vol.\u00a0407, pp. 197\u2013212 (1989)","DOI":"10.1007\/3-540-52148-8_17"},{"key":"26_CR6","unstructured":"Duan, Z.: Modeling of hybrid systems. Ph.D thesis, Department of Computer Science, University of Shefield, UK (February 1997)"},{"key":"26_CR7","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\u2032s decidable about hybrid automata? J.Comput.Syst.Sci.\u00a057, 94\u2013124 (1998)","journal-title":"J.Comput.Syst.Sci."},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","first-page":"146","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A., Majumdar, R.: Symbolic model checking for rectangular hybrid systems(Abstract). In: Schwartzbach, M.I., Graf, S. (eds.) ETAPS 2000 and TACAS 2000. LNCS, vol.\u00a01785, pp. 146\u2013156. Springer, Heidelberg (2000)"},{"key":"26_CR9","unstructured":"Kopke, P.W.: The thoery of Rectangular Hybrid Automata. Ph.D thesis, Cornell University (1996)"},{"key":"26_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/978-3-540-27813-9_23","volume-title":"Computer Aided Verification","author":"F. Wang","year":"2004","unstructured":"Wang, F.: Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 295\u2013307. Springer, Heidelberg (2004)"},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/3-540-48683-6_30","volume-title":"Computer Aided Verification","author":"G. Behrmann","year":"1999","unstructured":"Behrmann, G., Larsen, K.G., Pearson, J., Weise, C., Yi, W.: Efficient Timed Reachability Analysis Using Clock Diffierence Diagrams. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 341\u2013353. Springer, Heidelberg (1999)"},{"issue":"4","key":"26_CR12","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/BF02579150","volume":"4","author":"N. Karmarkar","year":"1984","unstructured":"Karmarkar, N.: A new polynomial-time algorithm for linear programming. Combinatorica\u00a04(4), 373\u2013395 (1984)","journal-title":"Combinatorica"},{"key":"26_CR13","unstructured":"Zhang, H., Duan, Z.: Symbolic Reachability Analysis of Rectangular Hybrid Systems. In: ICCP 2006, Cluj-Napoca, Romania, pp. 240\u2013248 (2006)"},{"key":"26_CR14","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense real-time. Inform. Computat.\u00a0104, 2\u201334 (1993)","journal-title":"Inform. Computat."},{"key":"26_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/3-540-45351-2_9","volume-title":"Hybrid Systems: Computation and Control","author":"H. Anai","year":"2001","unstructured":"Anai, H., Weispfnening, V.: Reach Set Computations Using Real Quantifier Elimination. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 63\u201376. Springer, Heidelberg (2001)"},{"issue":"4","key":"26_CR16","first-page":"412","volume":"41","author":"H. Zhang","year":"2007","unstructured":"Zhang, H., Duan, Z.: Symbolic Reachability Analysis of Multirate Hybrid Systems. Journal of Xi\u2019an Jiao Tong University\u00a041(4), 412\u2013416 (2007)","journal-title":"Journal of Xi\u2019an Jiao Tong University"},{"issue":"3","key":"26_CR17","first-page":"463","volume":"34","author":"H. Zhang","year":"2007","unstructured":"Zhang, H., Duan, Z.: Decidability of The Dense Timed Interval Temporal Logic. Journal of Xidian University\u00a034(3), 463\u2013467 (2007)","journal-title":"Journal of Xidian University"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79228-4_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:14:16Z","timestamp":1619522056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79228-4_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540792277","9783540792284"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79228-4_26","relation":{},"subject":[]}}