{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:21:58Z","timestamp":1730204518193,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/cdc.2018.8619223","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T05:12:50Z","timestamp":1548306770000},"page":"5676-5681","source":"Crossref","is-referenced-by-count":2,"title":["Minimally, Constrained Stable Switched Systems and Application to Co-Simulation"],"prefix":"10.1109","author":[{"given":"Claudio","family":"Gomes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raphael M.","family":"Jungers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Legat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Introduction to the Theory of Computation","year":"2013","author":"sipser","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.05.015"},{"key":"ref12","first-page":"1061","article-title":"Continuous approximation techniques for cosimulation methods: Analysis of numerical stability and local error","volume":"96","author":"busch","year":"2016","journal-title":"Journal of Applied Mathematics and Mechanics"},{"journal-title":"Co-Simulation State of the Art","year":"2017","author":"gomes","key":"ref13"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-662-44926-4_6","article-title":"Error Analysis and Error Estimates for Co-simulation in FMI for Model Exchange and Co-Simulation v2.0","author":"arnold","year":"2014","journal-title":"Progress in Differential-Algebraic Equations"},{"journal-title":"Certifying unstability of Switched Systems using Sum of Squares Programming","year":"2017","author":"legat","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2012009"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967706"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.821417"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.883030"},{"journal-title":"Minimally Constrained Stable Switched Systems and Application to Co-simulation","year":"2018","author":"gomes","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3179993"},{"key":"ref6","volume":"385","author":"jungers","year":"2009","journal-title":"The Joint Spectral Radius Theory and Applications"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2011.07.029"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_35"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883821"},{"key":"ref2","article-title":"Stable Adaptive Co-simulation: A Switched Systems Approach","author":"gomes","year":"2017","journal-title":"IUTAM Symposium on Co-Simulation and Solver Coupling"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2007.08.001"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626302"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.07.018"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2017.06.001"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2178629"},{"key":"ref24","first-page":"345","article-title":"Approximated Stability Analysis of Bimodal Hybrid Co-simulation Scenarios","author":"gomes","year":"2017","journal-title":"1 st Workshop on Formal Co-Simulation of Cyber-Physical Systems"},{"key":"ref23","first-page":"111","article-title":"Formal synthesis of stabilizing controllers for switched systems","author":"prabhakar","year":"2017","journal-title":"Proceedings of the 20th International Conference on Hybrid Systems Computation and Control"}],"event":{"name":"2018 IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2018,12,17]]},"location":"Miami Beach, FL","end":{"date-parts":[[2018,12,19]]}},"container-title":["2018 IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8592870\/8618647\/08619223.pdf?arnumber=8619223","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T23:07:30Z","timestamp":1598224050000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8619223\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cdc.2018.8619223","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}