{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T09:10:01Z","timestamp":1746177001997,"version":"3.40.4"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319054155"},{"type":"electronic","value":"9783319054162"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05416-2_7","type":"book-chapter","created":{"date-parts":[[2014,4,5]],"date-time":"2014-04-05T05:41:09Z","timestamp":1396676469000},"page":"88-106","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Counterexample Generation for Hybrid Automata"],"prefix":"10.1007","author":[{"given":"Johanna","family":"Nellen","sequence":"first","affiliation":[]},{"given":"Erika","family":"\u00c1brah\u00e1m","sequence":"additional","affiliation":[]},{"given":"Xin","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Pieter","family":"Collins","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,6]]},"reference":[{"key":"7_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., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138, 3\u201334 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR2","series-title":"LNCS","first-page":"379","volume-title":"CAV 2011","author":"G Frehse","year":"2011","unstructured":"Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011)"},{"key":"7_CR3","series-title":"LNCS","first-page":"258","volume-title":"CAV 2013","author":"X Chen","year":"2013","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 258\u2013263. Springer, Heidelberg (2013)"},{"key":"7_CR4","series-title":"LNCS","first-page":"482","volume-title":"HSCC 2003","author":"O Stursberg","year":"2003","unstructured":"Stursberg, O., Krogh, B.H.: Efficient representation and computation of reachable sets for hybrid systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 482\u2013497. Springer, Heidelberg (2003)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Chutinan, A., Krogh, B.H.: Computing polyhedral approximations to flow pipes for dynamic systems. In: Proceedings of CDC\u201998, vol. 2, pp. 2089\u20132094. IEEE Press (1998)","DOI":"10.1109\/CDC.1998.758642"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"TA Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P., Wong-Toi, H.: HyTech: a model checker for hybrid systems. Softw. Tools Technol. Transfer 1, 110\u2013122 (1997)","journal-title":"Softw. Tools Technol. Transfer"},{"key":"7_CR7","series-title":"LNCS","first-page":"258","volume-title":"HSCC 2005","author":"G Frehse","year":"2005","unstructured":"Frehse, G.: PHAVer: algorithmic verification of hybrid systems past HyTech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 258\u2013273. Springer, Heidelberg (2005)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Kvasnica, M., Grieder, P., Baoti\u0107, M.: Multi-parametric toolbox (MPT). http:\/\/control.ee.ethz.ch\/~mpt\/ (2004)","DOI":"10.1007\/978-3-540-24743-2_30"},{"key":"7_CR9","series-title":"LNCS","first-page":"535","volume-title":"EUROCAST 2011, Part I","author":"X Chen","year":"2012","unstructured":"Chen, X., \u00c1brah\u00e1m, E.: Choice of directions for the approximation of reachable sets for hybrid systems. In: Moreno-D\u00edaz, R., Pichler, F., Quesada-Arencibia, A. (eds.) EUROCAST 2011, Part I. LNCS, vol. 6927, pp. 535\u2013542. Springer, Heidelberg (2012)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-662-03567-2_10","volume-title":"Mathematical Visualization: Algorithms, Applications and Numerics","author":"W K\u00fchn","year":"1998","unstructured":"K\u00fchn, W.: Zonotope dynamics in numerical quality control. In: Hege, H.-C., Polthier, K. (eds.) Mathematical Visualization: Algorithms, Applications and Numerics, pp. 125\u2013134. Springer, Heidelberg (1998)"},{"key":"7_CR11","series-title":"LNCS","first-page":"291","volume-title":"HSCC 2005","author":"A Girard","year":"2005","unstructured":"Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 291\u2013305. Springer, Heidelberg (2005)"},{"key":"7_CR12","series-title":"LNCS","first-page":"46","volume-title":"HSCC 1999","author":"O Bournez","year":"1999","unstructured":"Bournez, O., Maler, O., Pnueli, A.: Orthogonal polyhedra: representation and computation. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol. 1569, pp. 46\u201360. Springer, Heidelberg (1999)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1080\/1055678021000012426","volume":"17","author":"AB Kurzhanski","year":"2000","unstructured":"Kurzhanski, A.B., Varaiya, P.: On ellipsoidal techniques for reachability analysis. Optim. Meth. Softw. 17, 177\u2013237 (2000)","journal-title":"Optim. Meth. Softw."},{"key":"7_CR14","unstructured":"Le Guernic, C.: Reachability analysis of hybrid systems with linear continuous dynamics. Ph.D. thesis, Universit\u00e9 Joseph Fourier (2009)"},{"key":"7_CR15","series-title":"LNCS","first-page":"540","volume-title":"CAV 2009","author":"C Le Guernic","year":"2009","unstructured":"Le Guernic, C., Girard, A.: Reachability analysis of hybrid systems using support functions. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 540\u2013554. Springer, Heidelberg (2009)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Taylor model flowpipe construction for non-linear hybrid systems. In: Proceedings of RTSS\u201912, pp. 183\u2013192. IEEE Computer Society (2012)","DOI":"10.1109\/RTSS.2012.70"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Collins, P., Bresolin, D., Geretti, L., Villa, T.: Computing the evolution of hybrid systems using rigorous function calculus. In: Proceedings of ADHS\u201912, IFAC-PapersOnLine (2012)","DOI":"10.3182\/20120606-3-NL-3011.00063"},{"key":"7_CR18","series-title":"LNCS","first-page":"310","volume-title":"HSCC 2000","author":"I Mitchell","year":"2000","unstructured":"Mitchell, I., Tomlin, C.J.: Level set methods for computation in hybrid systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 310\u2013323. Springer, Heidelberg (2000)"},{"key":"7_CR19","series-title":"LNCS","first-page":"365","volume-title":"CAV 2002","author":"E Asarin","year":"2002","unstructured":"Asarin, E., Dang, T., Maler, O.: The $${\\bf {d\/dt}}$$ tool for verification of hybrid systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 365\u2013370. Springer, Heidelberg (2002)"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1109\/TAC.2007.895849","volume":"52","author":"A Girard","year":"2007","unstructured":"Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. IEEE Trans. Autom. Control 52, 782\u2013798 (2007)","journal-title":"IEEE Trans. Autom. Control"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Kurzhanskiy, A., Varaiya, P.: Ellipsoidal toolbox. Technical report, EECS, UC Berkeley (2006)","DOI":"10.1109\/CDC.2006.377036"},{"key":"7_CR22","unstructured":"Balluchi, A., Casagrande, A., Collins, P., Ferrari, A., Villa, T., Sangiovanni-Vincentelli, A.L.: Ariadne: A framework for reachability analysis of hybrid automata. In: Proceedings of MTNS\u201906 (2006)"},{"key":"7_CR23","series-title":"LNCS","first-page":"48","volume-title":"VMCAI 2013","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. 7737, pp. 48\u201367. Springer, Heidelberg (2013)"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Mitra, S.: Abstraction refinement for stability. In: Proceedings of ICCPS\u201911, pp. 22\u201331. IEEE (2011)","DOI":"10.1109\/ICCPS.2011.24"},{"key":"7_CR25","series-title":"LNCS","first-page":"326","volume-title":"HSCC 2004","author":"A Fehnker","year":"2004","unstructured":"Fehnker, A., Ivan\u010di\u0107, F.: Benchmarks for hybrid systems verification. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 326\u2013341. Springer, Heidelberg (2004)"}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05416-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T08:46:56Z","timestamp":1746175616000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05416-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319054155","9783319054162"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05416-2_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"6 April 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}