{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T04:01:38Z","timestamp":1746417698542,"version":"3.40.4"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105116"},{"type":"electronic","value":"9783319105123"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10512-3_14","type":"book-chapter","created":{"date-parts":[[2014,8,11]],"date-time":"2014-08-11T05:20:44Z","timestamp":1407734444000},"page":"191-205","source":"Crossref","is-referenced-by-count":0,"title":["Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints"],"prefix":"10.1007","author":[{"given":"Nima","family":"Roohi","sequence":"first","affiliation":[]},{"given":"Mahesh","family":"Viswanathan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-3-540-31954-2_4","volume-title":"Hybrid Systems: Computation and Control","author":"M. Agrawal","year":"2005","unstructured":"Agrawal, M., Thiagarajan, P.S.: The discrete time behavior of lazy linear hybrid automata. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 55\u201369. Springer, Heidelberg (2005)"},{"issue":"1","key":"14_CR2","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. TCS\u00a0138(1), 3\u201334 (1995)","journal-title":"TCS"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. TCS\u00a0126, 183\u2013235 (1994)","journal-title":"TCS"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Kurshan, R.P., Viswanathan, M.: Membership questions for timed and hybrid automata. In: RTSS 1998, pp. 254\u2013263. Press (1998)","DOI":"10.1109\/REAL.1998.739751"},{"issue":"1","key":"14_CR5","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(94)00228-B","volume":"138","author":"E. Asarin","year":"1995","unstructured":"Asarin, E., Maler, O., Pnueli, A.: Reachability analysis of dynamical systems having piecewise-constant derivatives. TCS\u00a0138(1), 35\u201365 (1995)","journal-title":"TCS"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/3-540-45351-2_11","volume-title":"Hybrid Systems: Computation and Control","author":"E. Asarin","year":"2001","unstructured":"Asarin, E., Schneider, G., Yovine, S.: On the decidability of the reachability problem for planar differential inclusions. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 89\u2013104. Springer, Heidelberg (2001)"},{"issue":"1-2","key":"14_CR7","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/j.tcs.2007.03.055","volume":"379","author":"E. Asarin","year":"2007","unstructured":"Asarin, E., Schneider, G., Yovine, S.: Algorithmic analysis of polygonal hybrid systems, Part I: Reachability. TCS\u00a0379(1-2), 231\u2013265 (2007)","journal-title":"TCS"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 73\u201388. Springer, Heidelberg (2000)"},{"key":"14_CR9","unstructured":"Brent, R.P.: Fast algorithms for high-precision computation of elementary functions (invited talk). In: Seventh Conference on Real Numbers and Computers (RNC7), vol. (7-8), July 10-12 (2006)"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/978-3-642-22012-8_33","volume-title":"Automata, Languages and Programming","author":"T. Brihaye","year":"2011","unstructured":"Brihaye, T., Doyen, L., Geeraerts, G., Ouaknine, J., Raskin, J.-F., Worrell, J.: On reachability for hybrid automata over bounded time. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011, Part II. LNCS, vol.\u00a06756, pp. 416\u2013427. Springer, Heidelberg (2011)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-319-02444-8_6","volume-title":"Automated Technology for Verification and Analysis","author":"T. Brihaye","year":"2013","unstructured":"Brihaye, T., Doyen, L., Geeraerts, G., Ouaknine, J., Raskin, J.-F., Worrell, J.: Time-bounded reachability for monotonic hybrid automata: Complexity and fixed points. In: Van Hung, D., Ogawa, M. (eds.) ATVA 2013. LNCS, vol.\u00a08172, pp. 55\u201370. Springer, Heidelberg (2013)"},{"issue":"12","key":"14_CR12","doi-asserted-by":"publisher","first-page":"1394","DOI":"10.1016\/j.ic.2008.09.001","volume":"206","author":"A. Casagrande","year":"2008","unstructured":"Casagrande, A., Piazza, C., Policriti, A., Mishra, B.: Inclusion dynamics hybrid automata. Inf. Comput.\u00a0206(12), 1394\u20131424 (2008)","journal-title":"Inf. Comput."},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-642-54792-8_6","volume-title":"Principles of Security and Trust","author":"R. Chadha","year":"2014","unstructured":"Chadha, R., Kini, D., Viswanathan, M.: Quantitative information flow in boolean programs. In: Abadi, M., Kremer, S. (eds.) POST 2014 (ETAPS 2014). LNCS, vol.\u00a08414, pp. 103\u2013119. Springer, Heidelberg (2014)"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Tiwari, A.: Safety verification for linear systems. In: Proceedings of EMSOFT (2013)","DOI":"10.1109\/EMSOFT.2013.6658585"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-48168-0_10","volume-title":"Computer Science Logic","author":"M. Fr\u00e4nzle","year":"1999","unstructured":"Fr\u00e4nzle, M.: Analysis of hybrid systems: An ounce of realism can save an infinity of states. In: Flum, J., Rodr\u00edguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol.\u00a01683, pp. 126\u2013140. Springer, Heidelberg (1999)"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/11603009_14","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"R. Gentilini","year":"2005","unstructured":"Gentilini, R.: Reachability problems on extended O-minimal hybrid automata. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol.\u00a03829, pp. 162\u2013176. Springer, Heidelberg (2005)"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceeding of IEEE Symposium on Logic in Computer Science, pp. 278\u2013292 (1996)","DOI":"10.1109\/LICS.1996.561342"},{"issue":"4","key":"14_CR18","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1109\/9.664156","volume":"43","author":"T.A. Henzinger","year":"1998","unstructured":"Henzinger, T.A., Ho, P.H., Wong-Toi, H.: Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control\u00a043(4), 540\u2013554 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? Journal of Computer and System Sciences, 373\u2013382 (1995)","DOI":"10.1145\/225058.225162"},{"issue":"4","key":"14_CR20","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1016\/S0022-0000(02)00025-9","volume":"65","author":"W. Hesse","year":"2002","unstructured":"Hesse, W., Allender, E., Barrington, D.A.M.: Uniform constant-depth threshold circuits for division and iteratd multiplication. Journal of Computer and System Sciences\u00a065(4), 695\u2013716 (2002)","journal-title":"Journal of Computer and System Sciences"},{"key":"14_CR21","first-page":"60","volume-title":"Alternating timed automata over bounded time","author":"M. Jenkins","year":"2010","unstructured":"Jenkins, M., Ouaknine, J., Rabinovich, A., Worrell, J.: Alternating timed automata over bounded time, pp. 60\u201369. IEEE Computer Society, Los Alamitos (2010)"},{"key":"14_CR22","first-page":"1","volume":"13","author":"G. Lafferriere","year":"2000","unstructured":"Lafferriere, G., Pappas, G., Sastry, S.: o-minimal hybrid systems. MCSS\u00a013, 1\u201321 (2000)","journal-title":"MCSS"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/3-540-56922-7_17","volume-title":"Computer Aided Verification","author":"O. Maler","year":"1993","unstructured":"Maler, O., Pnueli, A.: Reachability analysis of planar multi-linear systems. In: Probst, D.K., von Bochmann, G. (eds.) CAV 1992. LNCS, vol.\u00a0663, pp. 194\u2013209. Springer, Heidelberg (1993)"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/3-540-46430-1_26","volume-title":"Hybrid Systems: Computation and Control","author":"J.S. Miller","year":"2000","unstructured":"Miller, J.S.: Decidability and complexity results for timed automata and semi-linear hybrid automata. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 296\u2013309. Springer, Heidelberg (2000)"},{"key":"14_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/11590156_21","volume-title":"FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science","author":"V. Mysore","year":"2005","unstructured":"Mysore, V., Pnueli, A.: Refining the undecidability frontier of hybrid automata. In: Sarukkai, S., Sen, S. (eds.) FSTTCS 2005. LNCS, vol.\u00a03821, pp. 261\u2013272. Springer, Heidelberg (2005)"},{"key":"14_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1007\/978-3-642-04081-8_33","volume-title":"CONCUR 2009 - Concurrency Theory","author":"J. Ouaknine","year":"2009","unstructured":"Ouaknine, J., Rabinovich, A., Worrell, J.: Time-bounded verification. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 496\u2013510. Springer, Heidelberg (2009)"},{"key":"14_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-35873-9_6","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"P. Prabhakar","year":"2013","unstructured":"Prabhakar, P., Duggirala, P.S., Mitra, S., Viswanathan, M.: Hybrid automata-based CEGAR for rectangular hybrid systems. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol.\u00a07737, pp. 48\u201367. Springer, Heidelberg (2013)"},{"key":"14_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/978-3-540-78929-1_29","volume-title":"Hybrid Systems: Computation and Control","author":"P. Prabhakar","year":"2008","unstructured":"Prabhakar, P., Vladimerou, V., Viswanathan, M., Dullerud, G.E.: A decidable class of planar linear hybrid systems. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol.\u00a04981, pp. 401\u2013414. Springer, Heidelberg (2008)"},{"issue":"5","key":"14_CR29","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1137\/0221053","volume":"21","author":"J.H. Reif","year":"1992","unstructured":"Reif, J.H., Tate, S.R.: On threshold circuits and polynomial computation. SIAM Journal on Computing\u00a021(5), 896\u2013908 (1992)","journal-title":"SIAM Journal on Computing"},{"key":"14_CR30","unstructured":"Roohi, N., Viswanathan, M.: Time-bounded reachability for initialized hybrid automata with linear differential inclusions and rectangular constraints. Technical report, University of Illinois at Urbana-Champaign (2014), http:\/\/hdl.handle.net\/2142\/49952"},{"key":"14_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-70583-3_12","volume-title":"Automata, Languages and Programming","author":"V. Vladimerou","year":"2008","unstructured":"Vladimerou, V., Prabhakar, P., Viswanathan, M., Dullerud, G.E.: STORMED hybrid systems. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol.\u00a05126, pp. 136\u2013147. Springer, Heidelberg (2008)"},{"key":"14_CR32","unstructured":"Yap, C.: Pi is in log space, http:\/\/www.cs.nyu.edu\/exact\/doc\/pi-log.pdf"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10512-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T03:54:58Z","timestamp":1746330898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10512-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105116","9783319105123"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10512-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}