{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T10:56:47Z","timestamp":1742641007786},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030237028"},{"type":"electronic","value":"9783030237035"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-23703-5_6","type":"book-chapter","created":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T09:03:14Z","timestamp":1561971794000},"page":"113-133","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga"],"prefix":"10.1007","author":[{"given":"Kim Guldstrand","family":"Larsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrien","family":"Le Co\u00ebnt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Miku\u010dionis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakob Haahr","family":"Taankvist","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,2]]},"reference":[{"issue":"10","key":"6_CR1","doi-asserted-by":"publisher","first-page":"1684","DOI":"10.1109\/TAC.2003.817920","volume":"48","author":"D Angeli","year":"2003","unstructured":"Angeli, D., Sontag, E.D.: Monotone control systems. IEEE Trans. Autom. Control 48(10), 1684\u20131698 (2003)","journal-title":"IEEE Trans. Autom. Control"},{"key":"6_CR2","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). \n                      https:\/\/doi.org\/10.1007\/978-3-540-73368-3_14"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-38088-4_8","volume-title":"NASA Formal Methods","author":"O Bouissou","year":"2013","unstructured":"Bouissou, O., Chapoutot, A., Djoudi, A.: Enclosing temporal evolution of dynamical systems using numerical methods. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol. 7871, pp. 108\u2013123. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-38088-4_8"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Bouissou, O., Martel, M.: GRKLib: a guaranteed Runge Kutta library. In: Scientific Computing, Computer Arithmetic and Validated Numerics (2006)","DOI":"10.1109\/SCAN.2006.20"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-319-10512-3_8","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A David","year":"2014","unstructured":"David, A., Fang, H., Larsen, K.G., Zhang, Z.: Verification and performance evaluation of timed game strategies. In: Legay, A., Bozga, M. (eds.) FORMATS 2014. LNCS, vol. 8711, pp. 100\u2013114. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-10512-3_8"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-319-11936-6_10","volume-title":"Automated Technology for Verification and Analysis","author":"A David","year":"2014","unstructured":"David, A., et al.: On time with minimal expected cost!. In: Cassez, F., Raskin, J.-F. (eds.) ATVA 2014. LNCS, vol. 8837, pp. 129\u2013145. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-11936-6_10"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-662-46681-0_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A David","year":"2015","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Miku\u010dionis, M., Taankvist, J.H.: Uppaal stratego. In: Baier, C., Tinelli, C. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 206\u2013211. Springer, Heidelberg (2015)"},{"issue":"2","key":"6_CR8","doi-asserted-by":"publisher","first-page":"780","DOI":"10.1137\/S0363012995293694","volume":"36","author":"T Donchev","year":"1998","unstructured":"Donchev, T., Farkhi, E.: Stability and Euler approximation of one-sided Lipschitz differential inclusions. SIAM J. Control Optim. 36(2), 780\u2013796 (1998)","journal-title":"SIAM J. Control Optim."},{"key":"6_CR9","doi-asserted-by":"publisher","DOI":"10.1002\/9781118791486","volume-title":"Control of Switching Systems by Invariance Analysis: Applcation to Power Electronics","author":"L Fribourg","year":"2013","unstructured":"Fribourg, L., Soulat, R.: Control of Switching Systems by Invariance Analysis: Applcation to Power Electronics. Wiley, New York (2013)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1007\/978-3-540-68111-3_144","volume-title":"Parallel Processing and Applied Mathematics","author":"K Gajda","year":"2008","unstructured":"Gajda, K., Jankowska, M., Marciniak, A., Szyszka, B.: A survey of interval Runge\u2013Kutta and multistep methods for solving the initial value problem. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wasniewski, J. (eds.) PPAM 2007. LNCS, vol. 4967, pp. 1361\u20131371. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-68111-3_144"},{"issue":"5","key":"6_CR11","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1016\/j.automatica.2012.02.037","volume":"48","author":"A Girard","year":"2012","unstructured":"Girard, A.: Controller synthesis for safety and reachability via approximate bisimulation. Automatica 48(5), 947\u2013953 (2012)","journal-title":"Automatica"},{"issue":"4","key":"6_CR12","doi-asserted-by":"publisher","first-page":"1046","DOI":"10.1109\/TAC.2011.2168874","volume":"57","author":"A Girard","year":"2012","unstructured":"Girard, A., Martin, S.: Synthesis for constrained nonlinear systems using hybridization and robust controllers on simplices. IEEE Trans. Autom. Control 57(4), 1046\u20131051 (2012)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"1","key":"6_CR13","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/TAC.2009.2034922","volume":"55","author":"A Girard","year":"2010","unstructured":"Girard, A., Pola, G., Tabuada, P.: Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Trans. Autom. Control 55(1), 116\u2013126 (2010)","journal-title":"IEEE Trans. Autom. Control"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/j.ifacol.2018.08.043","volume":"51","author":"Z Kader","year":"2018","unstructured":"Kader, Z., Girard, A., Saoud, A.: Symbolic models for incrementally stable switched systems with aperiodic time sampling? IFAC-PapersOnLine 51, 253\u2013258 (2018)","journal-title":"IFAC-PapersOnLine"},{"issue":"16","key":"6_CR15","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/j.ifacol.2018.08.042","volume":"51","author":"K Kido","year":"2018","unstructured":"Kido, K., Sedwards, S., Hasuo, I.: Bounding errors due to switching delays in incrementally stable switched systems. IFAC PapersOnLine 51(16), 247\u2013252 (2018)","journal-title":"IFAC PapersOnLine"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1016\/j.automatica.2017.04.060","volume":"83","author":"ES Kim","year":"2017","unstructured":"Kim, E.S., Arcak, M., Seshia, S.A.: Symbolic control design for monotone systems with directed specifications. Automatica 83, 10\u201319 (2017)","journal-title":"Automatica"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-662-49674-9_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"KG Larsen","year":"2016","unstructured":"Larsen, K.G., Miku\u010dionis, M., Mu\u00f1iz, M., Srba, J., Taankvist, J.H.: Online and compositional learning of controllers with application to floor heating. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 244\u2013259. Springer, Heidelberg (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-662-49674-9_14"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-319-23506-6_17","volume-title":"Correct System Design","author":"KG Larsen","year":"2015","unstructured":"Larsen, K.G., Miku\u010dionis, M., Taankvist, J.H.: Safe and optimal adaptive cruise control. In: Meyer, R., Platzer, A., Wehrheim, H. (eds.) Correct System Design. LNCS, vol. 9360, pp. 260\u2013277. Springer, Cham (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-319-23506-6_17"},{"key":"6_CR19","unstructured":"Le\u00a0Co\u00ebnt, A.: Guaranteed control synthesis for switched space-time dynamical systems. Theses, Universit\u00e9 Paris Saclay, October 2017"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Co\u00ebnt, A.L., De Vuyst, F., Chamoin, L., Fribourg, L.: Control synthesis of nonlinear sampled switched systems using Euler\u2019s method. In: \u00c1brah\u00e1m, E., Bogomolov, S. (eds.) Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, Uppsala, Sweden, 22nd April 2017. Electronic Proceedings in Theoretical Computer Science, vol. 247, pp. 18\u201333. Open Publishing Association (2017)","DOI":"10.4204\/EPTCS.247.2"},{"issue":"3","key":"6_CR21","first-page":"1","volume":"53","author":"A Co\u00ebnt Le","year":"2017","unstructured":"Le Co\u00ebnt, A., Chapoutot, A., Fribourg, L., Alexandre dit Sandretto, J.A.: An improved algorithm for the control synthesis of nonlinear sampled switched systems. Formal Methods Syst. Des. 53(3), 1\u201321 (2017)","journal-title":"Formal Methods Syst. Des."},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.tcs.2018.01.021","volume":"750","author":"A Co\u00ebnt Le","year":"2018","unstructured":"Le Co\u00ebnt, A., Fribourg, L., Markey, N., De Vuyst, F., Chamoin, L.: Compositional synthesis of state-dependent switching control. Theor. Comput. Sci. 750, 53\u201368 (2018)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"6_CR23","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TAC.2008.2012009","volume":"54","author":"H Lin","year":"2009","unstructured":"Lin, H., Antsaklis, P.J.: Stability and stabilizability of switched linear systems: a survey of recent results. IEEE Trans. Autom. control 54(2), 308\u2013322 (2009)","journal-title":"IEEE Trans. Autom. control"},{"issue":"27","key":"6_CR24","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.ifacol.2015.11.194","volume":"48","author":"P-J Meyer","year":"2015","unstructured":"Meyer, P.-J., Girard, A., Witrant, E.: Safety control with performance guarantees of cooperative systems using compositional abstractions. IFAC PapersOnLine 48(27), 317\u2013322 (2015)","journal-title":"IFAC PapersOnLine"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.automatica.2016.03.004","volume":"70","author":"P-J Meyer","year":"2016","unstructured":"Meyer, P.-J., Girard, A., Witrant, E.: Robust controlled invariance for monotone systems: application to ventilation regulation in buildings. Automatica 70, 14\u201320 (2016)","journal-title":"Automatica"},{"key":"6_CR26","volume-title":"Interval Analysis","author":"R Moore","year":"1966","unstructured":"Moore, R.: Interval Analysis. Prentice Hall, Upper Saddle River (1966)"},{"issue":"1","key":"6_CR27","first-page":"21","volume":"105","author":"NS Nedialko","year":"1999","unstructured":"Nedialko, N.S., Jackson, K.R., Corliss, G.F.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105(1), 21\u201368 (1999)","journal-title":"Appl. Math. Comput."},{"key":"6_CR28","volume-title":"Global Optimization in Action: Continuous and Lipschitz Optimization: Algorithms, Implementations and Applications","author":"JD Pint\u00e9r","year":"2013","unstructured":"Pint\u00e9r, J.D.: Global Optimization in Action: Continuous and Lipschitz Optimization: Algorithms, Implementations and Applications. Springer, Heidelberg (2013)"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Rungger, M., Zamani, M.: SCOTS: a tool for the synthesis of symbolic controllers. In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, pp. 99\u2013104. ACM, New York (2016)","DOI":"10.1145\/2883817.2883834"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Saoud, A., Girard, A., Fribourg, L.: Contract based design of symbolic controllers for vehicle platooning. In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), pp. 277\u2013278. ACM, New York (2018)","DOI":"10.1145\/3178126.3187001"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Saoud, A., Girard, A., Fribourg, L.: On the composition of discrete and continuous-time assume-guarantee contracts for invariance (2018)","DOI":"10.23919\/ECC.2018.8550622"},{"issue":"4","key":"6_CR32","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1007\/BF01934923","volume":"24","author":"G S\u00f6derlind","year":"1984","unstructured":"S\u00f6derlind, G.: On nonlinear difference and differential equations. BIT Numer. Math. 24(4), 667\u2013680 (1984)","journal-title":"BIT Numer. Math."}],"container-title":["Lecture Notes in Computer Science","Cyber Physical Systems. Model-Based Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-23703-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T09:08:13Z","timestamp":1561972093000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-23703-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030237028","9783030237035"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-23703-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"2 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CyPhy","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cyphy2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2018.cyphy.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"72% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}