{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:59:15Z","timestamp":1743076755143,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030672195"},{"type":"electronic","value":"9783030672201"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","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":[[2021]]},"DOI":"10.1007\/978-3-030-67220-1_24","type":"book-chapter","created":{"date-parts":[[2021,1,16]],"date-time":"2021-01-16T08:03:07Z","timestamp":1610784187000},"page":"318-333","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Cosimulation-Based Control Synthesis"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4180-3219","authenticated-orcid":false,"given":"Adrien","family":"Le Co\u00ebnt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6185-2480","authenticated-orcid":false,"given":"Julien","family":"Alexandre dit Sandretto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7230-0710","authenticated-orcid":false,"given":"Alexandre","family":"Chapoutot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,1,17]]},"reference":[{"key":"24_CR1","unstructured":"Alexandre dit Sandretto, J., Chapoutot, A.: DynIbex. https:\/\/perso.ensta-paris.fr\/~chapoutot\/dynibex\/"},{"key":"24_CR2","first-page":"79","volume":"22","author":"J Alexandre dit Sandretto","year":"2016","unstructured":"Alexandre dit Sandretto, J., Chapoutot, A.: Validated explicit and implicit Runge-Kutta methods. Reliable Comput. 22, 79 (2016)","journal-title":"Reliable Comput."},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: Hybrid Systems: Computation and Control, pp. 173\u2013182 (2013)","DOI":"10.1145\/2461328.2461358"},{"key":"24_CR4","series-title":"Differential-Algebraic Equations Forum","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-662-44926-4_6","volume-title":"Progress in Differential-Algebraic Equations","author":"M Arnold","year":"2014","unstructured":"Arnold, M., Clau\u00df, C., Schierz, T.: Error analysis and error estimates for co-simulation in FMI for model exchange and co-simulation v2.0. In: Sch\u00f6ps, S., Bartel, A., G\u00fcnther, M., ter Maten, E.J.W., M\u00fcller, P.C. (eds.) Progress in Differential-Algebraic Equations. DEF, pp. 107\u2013125. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44926-4_6"},{"key":"24_CR5","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). https:\/\/doi.org\/10.1007\/978-3-642-38088-4_8"},{"key":"24_CR6","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":"24_CR7","doi-asserted-by":"crossref","unstructured":"Bouissou, O., Mimram, S., Chapoutot, A.: HySon: set-based simulation of hybrid systems. In: Rapid System Prototyping. IEEE (2012)","DOI":"10.1109\/RSP.2012.6380694"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Broman, D., et al.: Determinate composition of FMUs for co-simulation. In: 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp. 1\u201312. IEEE (2013)","DOI":"10.1109\/EMSOFT.2013.6658580"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Chen, X., Abraham, E., Sankaranarayanan, S.: Taylor model flowpipe construction for non-linear hybrid systems. In: IEEE 33rd Real-Time Systems Symposium, pp. 183\u2013192. IEEE Computer Society (2012)","DOI":"10.1109\/RTSS.2012.70"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-39799-8_18","volume-title":"Computer Aided Verification","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). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_18"},{"key":"24_CR11","unstructured":"de Figueiredo, L.H., Stolfi, J.: Self-validated numerical methods and applications. In: Brazilian Mathematics Colloquium Monographs, IMPA\/CNPq (1997)"},{"key":"24_CR12","first-page":"57","volume":"22","author":"J Alexandre dit Sandretto","year":"2016","unstructured":"Alexandre dit Sandretto, J., Chapoutot, A.: Validated simulation of differential algebraic equations with Runge-Kutta methods. Reliable Comput. 22, 57 (2016)","journal-title":"Reliable Comput."},{"issue":"1","key":"24_CR13","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s11075-014-9889-x","volume":"69","author":"T Dzetkuli\u010d","year":"2015","unstructured":"Dzetkuli\u010d, T.: Rigorous integration of non-linear ordinary differential equations in Chebyshev basis. Numer. Algorithms 69(1), 183\u2013205 (2015). https:\/\/doi.org\/10.1007\/s11075-014-9889-x","journal-title":"Numer. Algorithms"},{"key":"24_CR14","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). https:\/\/doi.org\/10.1007\/978-3-540-68111-3_144"},{"issue":"9","key":"24_CR15","doi-asserted-by":"publisher","first-page":"82","DOI":"10.3182\/20120606-3-NL-3011.00022","volume":"45","author":"A Girard","year":"2012","unstructured":"Girard, A.: Low-complexity switching controllers for safety using symbolic models. IFAC Proc. Vol. 45(9), 82\u201387 (2012)","journal-title":"IFAC Proc. Vol."},{"key":"24_CR16","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: state of the art. arXiv preprint arXiv:1702.00686 (2017)"},{"issue":"3","key":"24_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3179993","volume":"51","author":"C Gomes","year":"2018","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. (CSUR) 51(3), 1\u201333 (2018)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-662-46681-0_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F Immler","year":"2015","unstructured":"Immler, F.: Verified reachability analysis of continuous systems. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 37\u201351. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_3"},{"key":"24_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"L Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer, London (2001). https:\/\/doi.org\/10.1007\/978-1-4471-0249-6"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Jensen, J.C., Chang, D.H., Lee, E.A.: A model-based design methodology for cyber-physical systems. In: 2011 7th International Wireless Communications and Mobile Computing Conference, pp. 1666\u20131671. IEEE (2011)","DOI":"10.1109\/IWCMC.2011.5982785"},{"key":"24_CR21","unstructured":"Le Co\u00ebnt, A., Alexandre dit Sandretto, J., Chapoutot, A.: Guaranteed cosimulation of cyber-physical systems. hal-02505237 https:\/\/hal.archives-ouvertes.fr\/hal-02505237 (2020)"},{"issue":"10","key":"24_CR22","doi-asserted-by":"publisher","first-page":"1145","DOI":"10.1016\/j.apnum.2006.10.006","volume":"57","author":"Y Lin","year":"2007","unstructured":"Lin, Y., Stadtherr, M.A.: Validated solutions of initial value problems for parametric odes. Appl. Numer. Math. 57(10), 1145\u20131162 (2007)","journal-title":"Appl. Numer. Math."},{"key":"24_CR23","unstructured":"Lohner, R.J.: Enclosing the solutions of ordinary initial and boundary value problems. In: Computer Arithmetic, pp. 255\u2013286 (1987)"},{"key":"24_CR24","doi-asserted-by":"crossref","unstructured":"Makino, K., Berz, M.: Rigorous integration of flows and ODEs using Taylor models. In: Proceedings of the 2009 Conference on Symbolic Numeric Computation, SNC 2009, pp. 79\u201384. ACM, New York (2009)","DOI":"10.1145\/1577190.1577206"},{"key":"24_CR25","series-title":"Series in Automatic Computation","volume-title":"Interval Analysis","author":"RE Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Series in Automatic Computation. Prentice Hall, Englewood Cliffs (1966)"},{"issue":"1","key":"24_CR26","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0096-3003(98)10083-8","volume":"105","author":"NS Nedialkov","year":"1999","unstructured":"Nedialkov, 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."},{"issue":"2","key":"24_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2794381","volume":"48","author":"CB Nielsen","year":"2015","unstructured":"Nielsen, C.B., Larsen, P.G., Fitzgerald, J., Woodcock, J., Peleska, J.: Systems of systems engineering: basic concepts, model-based techniques, and research directions. ACM Comput. Surv. (CSUR) 48(2), 1\u201341 (2015)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"24_CR28","doi-asserted-by":"crossref","unstructured":"Schierz, T., Arnold, M., Clau\u00df, C.: Co-simulation with communication step size control in an FMI compatible master algorithm. In: Proceedings of the 9th International MODELICA Conference, Munich, Germany, 3\u20135 September 2012, no. 076, pp. 205\u2013214. Link\u00f6ping University Electronic Press (2012)","DOI":"10.3384\/ecp12076205"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-67220-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,19]],"date-time":"2021-04-19T22:52:46Z","timestamp":1618872766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-67220-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030672195","9783030672201"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-67220-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 January 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/event.cwi.nl\/sefm2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}