{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:50:12Z","timestamp":1740124212594,"version":"3.37.3"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,1,7]],"date-time":"2017-01-07T00:00:00Z","timestamp":1483747200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"European Research Council (BE)","award":["FP7-308087"],"award-info":[{"award-number":["FP7-308087"]}]},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["FP7-601148"],"award-info":[{"award-number":["FP7-601148"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1007\/s11241-016-9262-3","type":"journal-article","created":{"date-parts":[[2017,1,7]],"date-time":"2017-01-07T14:20:56Z","timestamp":1483798856000},"page":"327-353","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 invariants"],"prefix":"10.1007","volume":"53","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":[[2017,1,7]]},"reference":[{"issue":"2","key":"9262_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 DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235","journal-title":"Theor Comput Sci"},{"issue":"1","key":"9262_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 (1995) Reachability analysis of dynamical systems having piecewise-constant derivatives. Theor Comput Sci 138(1):35\u201365","journal-title":"Theor Comput Sci"},{"key":"9262_CR3","doi-asserted-by":"crossref","unstructured":"Asarin E, Maler O, Pnueli A, Sifakis J (1998) Controller synthesis for timed automata. In: IEEE SSSC\u201998. Elsevier, New York, pp 469\u2013474","DOI":"10.1016\/S1474-6670(17)42032-5"},{"key":"9262_CR4","doi-asserted-by":"publisher","unstructured":"Aubin JP (1988) Viability tubes. In: Modelling and adaptive control. Springer, New York, pp. 27\u201347","DOI":"10.1007\/BFb0043175"},{"key":"9262_CR5","unstructured":"Behrmann G, David A, Larsen KG, H\u00e5kansson J, Pettersson P, Yi W, Hendriks M (2006) Uppaal\u00a04.0. In: IEEE quantitative evaluation of systems (QEST\u201906), pp. 125\u2013126"},{"key":"9262_CR6","doi-asserted-by":"publisher","unstructured":"Behrmann G, Cougnard A, David A, Fleury E, Larsen KG, Lime D (2007) UPPAAL-Tiga: time for playing games! In: International conference on computer aided verification (CAV\u201907). Lecture notes in computer science, vol. 4590. Springer, New York, pp. 121\u2013125","DOI":"10.1007\/978-3-540-73368-3_14"},{"issue":"2\u20133","key":"9262_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 (2004) Updatable timed automata. Theor Comput Sci 321(2\u20133):291\u2013345","journal-title":"Theor Comput Sci"},{"key":"9262_CR8","doi-asserted-by":"publisher","unstructured":"Bouyer P, Fahrenberg U, Larsen KG, Markey N (2011) Quantitative analysis of real-time systems using priced timed automata. Commun ACM 54(9):78\u201387","DOI":"10.1145\/1995376.1995396"},{"key":"9262_CR9","doi-asserted-by":"publisher","unstructured":"Bouyer P, Markey N, Perrin N, Schlehuber-Caissier P (2015) Timed-automata abstraction of switched dynamical systems using control funnels. In: FORMATS\u201915. Lecture notes in computer science, vol. 9268. Springer, New York, pp. 60\u201375","DOI":"10.1007\/978-3-319-22975-1_5"},{"key":"9262_CR10","unstructured":"David, A, Grunnet JD, Jessen JJ, Larsen KG, Rasmussen JI (2012) Application of model-checking technology to controller synthesis. In: IEEE formal methods and models for co-design (FMCO\u201910). Lecture notes in computer science, vol. 6957. Springer, New York, pp. 336\u2013351"},{"issue":"3","key":"9262_CR11","first-page":"378","volume":"34","author":"J DeCastro","year":"2014","unstructured":"DeCastro J, Kress-Gazit H (2014) Synthesis of nonlinear continuous controllers for verifiably-correct high-level, reactive behaviors. IJRR 34(3):378\u2013394","journal-title":"IJRR"},{"key":"9262_CR12","doi-asserted-by":"publisher","unstructured":"Duggirala PS, Mitra S, Viswanathan M (2013) Verification of annotated models from executions. In: IEEE international conference on embedded software (EMSOFT\u201913), pp 1\u201310","DOI":"10.1109\/EMSOFT.2013.6658604"},{"issue":"6","key":"9262_CR13","doi-asserted-by":"publisher","first-page":"1077","DOI":"10.1109\/TRO.2005.852260","volume":"21","author":"E Frazzoli","year":"2005","unstructured":"Frazzoli E, Dahleh MA, Feron E (2005) Maneuver-based motion planning for nonlinear systems with symmetries. IEEE Trans Robot 21(6):1077\u20131091","journal-title":"IEEE Trans Robot"},{"key":"9262_CR14","doi-asserted-by":"publisher","unstructured":"Fu J, Topcu U (2015) Computational methods for stochastic control with metric interval temporal logic specifications. Tech. Rep. arXiv:1503.07193","DOI":"10.1109\/CDC.2015.7403395"},{"key":"9262_CR15","doi-asserted-by":"publisher","unstructured":"Julius AA, Pappas GJ (2009) Trajectory based verification using local finite-time invariance. In: International conference on hybrid systems: computation and control (HSCC\u201909). Lecture notes in computer science, vol. 5469. Springer, New York, pp 223\u2013236","DOI":"10.1007\/978-3-642-00602-9_16"},{"issue":"1","key":"9262_CR16","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 (1994) Computability with low-dimensional dynamical systems. Theor Comput Sci 132(1):113\u2013128","journal-title":"Theor Comput Sci"},{"key":"9262_CR17","doi-asserted-by":"publisher","unstructured":"Le\u00a0Ny JL, Pappas GJ (2012) Sequential composition of robust controller specifications. In: IEEE international conference on robotics and automation (ICRA\u201912), pp. 5190\u20135195","DOI":"10.1109\/ICRA.2012.6224797"},{"key":"9262_CR18","doi-asserted-by":"publisher","unstructured":"Liu J, Prabhakar P (2014) Switching control of dynamical systems from metric temporal logic specifications. In: IEEE international conference on robotics and automation (ICRA\u201914), pp. 5333\u20135338","DOI":"10.1109\/ICRA.2014.6907643"},{"key":"9262_CR19","doi-asserted-by":"publisher","unstructured":"Majumdar A, Ahmadi AA, Tedrake R (2013) Control design along trajectories with sums of squares programming. In: IEEE international conference on robotics and automation (ICRA\u201913), pp. 4054\u20134061","DOI":"10.1109\/ICRA.2013.6631149"},{"key":"9262_CR20","doi-asserted-by":"publisher","unstructured":"Majumdar A, Tedrake R (2013) Robust online motion planning with regions of finite time invariance. In: International workshop on the algorithmic foundations of robotics (WAFR\u201912). STAR, vol 86. Springer, New York, pp 543\u2013558","DOI":"10.1007\/978-3-642-36279-8_33"},{"key":"9262_CR21","doi-asserted-by":"publisher","unstructured":"Maler O, Batt G (2008) Approximating continuous systems by timed automata. In: Proceedings of formal methods in systems biology (FMSB\u201908). LNBI, vol 5054. Springer, New York, pp. 77\u201389","DOI":"10.1007\/978-3-540-68413-8_6"},{"key":"9262_CR22","doi-asserted-by":"publisher","unstructured":"Maler O, Manna Z, Pnueli A (1992) From timed to hybrid systems. In: Real-time: theory in practice. Lecture notes in computer science, vol 600. Springer, New York, pp 447\u2013484","DOI":"10.1007\/BFb0032003"},{"key":"9262_CR23","doi-asserted-by":"publisher","unstructured":"Mason MT (1985) The mechanics of manipulation. In: IEEE international conference on robotics and automation (ICRA\u201985), vol 2, pp 544\u2013548","DOI":"10.1109\/ROBOT.1985.1087242"},{"key":"9262_CR24","unstructured":"Prajna S, Papachristodoulou A, Wu F (2004) Nonlinear control synthesis by sum of squares optimization: a Lyapunov-based approach. In: 5th Asian IEEE control conference, vol 1, pp 157\u2013165"},{"key":"9262_CR25","doi-asserted-by":"publisher","unstructured":"Quottrup MM, Bak T, Zamanabadi RI (2004) Multi-robot planning : a\u00a0timed automata approach. In: IEEE international conference on robotics and automation (ICRA\u201904), vol 5, pp 4417\u20134422","DOI":"10.1109\/ROBOT.2004.1302413"},{"key":"9262_CR26","unstructured":"Sloth C, Wisniewski R (2010) Timed game abstraction of control systems. Tech. Rep. arXiv:1012.5113"},{"issue":"1","key":"9262_CR27","first-page":"80","volume":"7","author":"C Sloth","year":"2013","unstructured":"Sloth C, Wisniewski R (2013) Complete abstractions of dynamical systems by timed automata. Nonlinear Anal 7(1):80\u2013100","journal-title":"Nonlinear Anal"},{"key":"9262_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0577-7","volume-title":"Mathematical control theory: deterministic finite dimensional systems","author":"ED Sontag","year":"1998","unstructured":"Sontag ED (1998) Mathematical control theory: deterministic finite dimensional systems. Springer, New York"},{"issue":"8","key":"9262_CR29","first-page":"1038","volume":"29","author":"R Tedrake","year":"2010","unstructured":"Tedrake R, Manchester IR, Tobenkin M, Roberts JW (2010) LQR-trees: feedback motion planning via sums-of-squares verification. IJRR 29(8):1038\u20131052","journal-title":"IJRR"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-016-9262-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-016-9262-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-016-9262-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T03:57:20Z","timestamp":1568692640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-016-9262-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,7]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,5]]}},"alternative-id":["9262"],"URL":"https:\/\/doi.org\/10.1007\/s11241-016-9262-3","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[2017,1,7]]}}}