{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:30:48Z","timestamp":1758274248868,"version":"3.41.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319229744"},{"type":"electronic","value":"9783319229751"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-22975-1_5","type":"book-chapter","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T08:37:43Z","timestamp":1440146263000},"page":"60-75","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels"],"prefix":"10.1007","author":[{"given":"Patricia","family":"Bouyer","sequence":"first","affiliation":[]},{"given":"Nicolas","family":"Markey","sequence":"additional","affiliation":[]},{"given":"Nicolas","family":"Perrin","sequence":"additional","affiliation":[]},{"given":"Philipp","family":"Schlehuber-Caissier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,22]]},"reference":[{"issue":"2","key":"5_CR1","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. Theor. Computer Science 126(2), 183\u2013235 (1994)","journal-title":"Theor. Computer Science"},{"issue":"1","key":"5_CR2","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. Theor. Computer Science 138(1), 35\u201365 (1995)","journal-title":"Theor. Computer Science"},{"key":"5_CR3","unstructured":"Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. In: SSSC 1998, pp. 469\u2013474. Elsevier (1998)"},{"key":"5_CR4","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BFb0043175","volume-title":"Modelling and Adaptive Control","author":"JP Aubin","year":"1988","unstructured":"Aubin, J.P.: Viability tubes. In: Byrnes, C.I., Kurzhanski, A.B. (eds.) Modelling and Adaptive Control. LNCIS, vol. 105, pp. 27\u201347. Springer, Heidelberg (1988)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-73368-3_14","volume-title":"Computer Aided Verification","author":"G Behrmann","year":"2007","unstructured":"Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: UPPAAL-Tiga: time for playing games!. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 121\u2013125. Springer, Heidelberg (2007)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G., H\u00e5kansson, J., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: QEST 2006, pp. 125\u2013126. IEEE, September 2006","DOI":"10.1109\/QEST.2006.59"},{"issue":"2\u20133","key":"5_CR7","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.tcs.2004.04.003","volume":"321","author":"P Bouyer","year":"2004","unstructured":"Bouyer, P., Dufourd, C., Fleury, E., Petit, A.: Updatable timed automata. Theor. Computer Science 321(2\u20133), 291\u2013345 (2004)","journal-title":"Theor. Computer Science"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-642-25271-6_18","volume-title":"Formal Methods for Components and Objects","author":"A David","year":"2011","unstructured":"David, A., Grunnet, J.D., Jessen, J.J., Larsen, K.G., Rasmussen, J.I.: Application of model-checking technology to controller synthesis. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 336\u2013351. Springer, Heidelberg (2011)"},{"issue":"3","key":"5_CR9","first-page":"378","volume":"34","author":"J DeCastro","year":"2014","unstructured":"DeCastro, J., Kress-Gazit, H.: Synthesis of nonlinear continuous controllers for verifiably-correct high-level, reactive behaviors. IJRR 34(3), 378\u2013394 (2014)","journal-title":"IJRR"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Mitra, S., Viswanathan, M.: Verification of annotated models from executions. In: EMSOFT 2013, pp. 1\u201310. IEEE, September 2013","DOI":"10.1109\/EMSOFT.2013.6658604"},{"issue":"6","key":"5_CR11","doi-asserted-by":"publisher","first-page":"1077","DOI":"10.1109\/TRO.2005.852260","volume":"21","author":"E Frazzoli","year":"2005","unstructured":"Frazzoli, E., Dahleh, M.A., Feron, E.: Maneuver-based motion planning for nonlinear systems with symmetries. IEEE Trans. Robotics 21(6), 1077\u20131091 (2005)","journal-title":"IEEE Trans. Robotics"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Fu, J., Topcu, U.: Computational methods for stochastic control with metric interval temporal logic specifications. Tech. Rep. 1503.07193, ArXiv, Mar 2015","DOI":"10.1109\/CDC.2015.7403395"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-00602-9_16","volume-title":"Hybrid Systems: Computation and Control","author":"AA Julius","year":"2009","unstructured":"Julius, A.A., Pappas, G.J.: Trajectory based verification using local finite-time invariance. In: Majumdar, R., Tabuada, P. (eds.) HSCC 2009. LNCS, vol. 5469, pp. 223\u2013236. Springer, Heidelberg (2009)"},{"issue":"1","key":"5_CR14","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0304-3975(94)90229-1","volume":"132","author":"P Koiran","year":"1994","unstructured":"Koiran, P., Cosnard, M., Garzon, M.: Computability with low-dimensional dynamical systems. Theor. Computer Science 132(1), 113\u2013128 (1994)","journal-title":"Theor. Computer Science"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Le Ny, J., Pappas, G.J.: Sequential composition of robust controller specifications. In: ICRA 2012, pp. 5190\u20135195. IEEE, May 2012","DOI":"10.1109\/ICRA.2012.6224797"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Liu, J., Prabhakar, P.: Switching control of dynamical systems from metric temporal logic specifications. In: ICRA 2014, pp. 5333\u20135338. IEEE, May 2014","DOI":"10.1109\/ICRA.2014.6907643"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Majumdar, A., Ahmadi, A.A., Tedrake, R.: Control design along trajectories with sums of squares programming. In: ICRA 2013, pp. 4054\u20134061. IEEE, May 2013","DOI":"10.1109\/ICRA.2013.6631149"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Majumdar, A., Tedrake, R.: Robust online motion planning with regions of finite time invariance. In: WAFR 2012. STAR, vol. 86, pp. 543\u2013558. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-36279-8_33"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-68413-8_6","volume-title":"Formal Methods in Systems Biology","author":"O Maler","year":"2008","unstructured":"Maler, O., Batt, G.: Approximating continuous systems by timed automata. In: Fisher, J. (ed.) FMSB 2008. LNCS (LNBI), vol. 5054, pp. 77\u201389. Springer, Heidelberg (2008)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/BFb0032003","volume-title":"Real-Time: Theory in Practice","author":"O Maler","year":"1992","unstructured":"Maler, O., Manna, Z., Pnueli, A.: From timed to hybrid systems. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds.) Real-Time: Theory in Practice. LNCS, vol. 600, pp. 447\u2013484. Springer, Heidelberg (1992)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Mason, M.T.: The mechanics of manipulation. In: ICRA 1985, vol. 2, pp. 544\u2013548. IEEE , March 1985","DOI":"10.1109\/ROBOT.1985.1087242"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Quottrup, M.M., Bak, T., Zamanabadi, R.I.: Multi-robot planning : a timed automata approach. In: ICRA 2004, vol. 5, pp. 4417\u20134422. IEEE, April 2004","DOI":"10.1109\/ROBOT.2004.1302413"},{"key":"5_CR23","unstructured":"Sloth, C., Wisniewski, R.: Timed game abstraction of control systems. Tech. Rep. 1012.5113, ArXiv, December 2010"},{"issue":"1","key":"5_CR24","first-page":"80","volume":"7","author":"C Sloth","year":"2013","unstructured":"Sloth, C., Wisniewski, R.: Complete abstractions of dynamical systems by timed automata. Nonlinear Analysis: Hybrid Systems 7(1), 80\u2013100 (2013)","journal-title":"Nonlinear Analysis: Hybrid Systems"},{"key":"5_CR25","unstructured":"Sontag, E.D.: Mathematical control theory: deterministic finite dimensional systems. Springer (1998)"},{"issue":"8","key":"5_CR26","first-page":"1038","volume":"29","author":"R Tedrake","year":"2010","unstructured":"Tedrake, R., Manchester, I.R., Tobenkin, M., Roberts, J.W.: LQR-trees: Feedback motion planning via sums-of-squares verification. IJRR 29(8), 1038\u20131052 (2010)","journal-title":"IJRR"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22975-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T03:19:38Z","timestamp":1748575178000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22975-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319229744","9783319229751"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22975-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}