{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T23:45:45Z","timestamp":1769730345106,"version":"3.49.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319670881","type":"print"},{"value":"9783319670898","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67089-8_9","type":"book-chapter","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T08:47:26Z","timestamp":1503564446000},"page":"118-131","source":"Crossref","is-referenced-by-count":8,"title":["Distributed Control Synthesis Using Euler\u2019s Method"],"prefix":"10.1007","author":[{"given":"A.","family":"Le Co\u00ebnt","sequence":"first","affiliation":[]},{"given":"J.","family":"Alexandre dit Sandretto","sequence":"additional","affiliation":[]},{"given":"A.","family":"Chapoutot","sequence":"additional","affiliation":[]},{"given":"L.","family":"Fribourg","sequence":"additional","affiliation":[]},{"given":"F.","family":"De Vuyst","sequence":"additional","affiliation":[]},{"given":"L.","family":"Chamoin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,25]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Angeli, D.: A Lyapunov approach to incremental stability. In: Proceeding of IEEE Conference on Decision and Control, vol. 3, pp. 2947\u20132952 (2000)","DOI":"10.1109\/CDC.2000.914265"},{"issue":"7","key":"9_CR2","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/s00236-006-0035-7","volume":"43","author":"E Asarin","year":"2007","unstructured":"Asarin, E., Dang, T., Girard, A.: Hybridization methods for the analysis of nonlinear systems. Acta Inform. 43(7), 451\u2013476 (2007)","journal-title":"Acta Inform."},{"key":"9_CR3","volume-title":"An Introduction to Numerical Analysis","author":"KE Atkinson","year":"2008","unstructured":"Atkinson, K.E.: An Introduction to Numerical Analysis. Wiley, Hoboken (2008)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Chen, X., Sankaranarayanan, S.: Decomposed reachability analysis for nonlinear systems. In: Proceeding of IEEE Real-Time Systems Symposium, pp. 13\u201324 (2016)","DOI":"10.1109\/RTSS.2016.011"},{"key":"9_CR5","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/BFb0080115","volume-title":"Numerical Analysis","author":"G Dahlquist","year":"1976","unstructured":"Dahlquist, G.: Error analysis for a class of methods for stiff non-linear initial value problems. In: Watson, G.A. (ed.) Numerical Analysis. LNM, vol. 506, pp. 60\u201372. Springer, Heidelberg (1976). doi:\n10.1007\/BFb0080115"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Dallal, E., Tabuada, P.: On compositional symbolic controller synthesis inspired by small-gain theorems. In: Proceeding of IEEE Conference on Decision and Control, pp. 6133\u20136138 (2015)","DOI":"10.1109\/CDC.2015.7403184"},{"issue":"2","key":"9_CR7","doi-asserted-by":"crossref","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":"9_CR8","volume-title":"Gnu Octave","author":"JW Eaton","year":"1997","unstructured":"Eaton, J.W., Bateman, D., Hauberg, S.: Gnu Octave. Network theory Ltd., London (1997)"},{"issue":"11","key":"9_CR9","doi-asserted-by":"crossref","first-page":"2735","DOI":"10.1016\/j.automatica.2008.03.021","volume":"44","author":"JP Hespanha","year":"2008","unstructured":"Hespanha, J.P., Liberzon, D., Teel, A.R.: Lyapunov conditions for input-to-state stability of impulsive systems. Automatica 44(11), 2735\u20132744 (2008)","journal-title":"Automatica"},{"issue":"2","key":"9_CR10","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF01211469","volume":"7","author":"Z-P Jiang","year":"1994","unstructured":"Jiang, Z.-P., Teel, A.R., Praly, L.: Small-gain theorem for ISS systems and applications. Math. Control Sig. Syst. 7(2), 95\u2013120 (1994)","journal-title":"Math. Control Sig. Syst."},{"issue":"8","key":"9_CR11","doi-asserted-by":"crossref","first-page":"1211","DOI":"10.1016\/0005-1098(96)00051-9","volume":"32","author":"Z-P Jiang","year":"1996","unstructured":"Jiang, Z.-P., Mareels, I.M.Y., Wang, Y.: A Lyapunov formulation of the nonlinear small-gain theorem for interconnected iss systems. Automatica 32(8), 1211\u20131215 (1996)","journal-title":"Automatica"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Kim, E.S., Arcak, M., Seshia, S.A.: Compositional controller synthesis for vehicular traffic networks. In: Proceeding of IEEE Annual Conference on Decision and Control, pp. 6165\u20136171 (2015)","DOI":"10.1109\/CDC.2015.7403189"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Miku\u010dionis, M., Muniz, M., Srba, J., Taankvist, J.H.: Online and compositional learning of controllers with application to floor heating. In: Proceeding of International Conference Tools and Algorithms for Construction and Analysis of Systems (2016)","DOI":"10.1007\/978-3-662-49674-9_14"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Le Co\u00ebnt, A., De Vuyst, F., Chamoin, L., Fribourg, L.: Control synthesis of nonlinear sampled switched systems using Euler\u2019s method. In: Proceeding of International Workshop on Symbolic and Numerical Methods for Reachability Analysis of EPTCS, vol. 247, pp. 18\u201333. Open Publishing Association (2017)","DOI":"10.4204\/EPTCS.247.2"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-319-45994-3_9","volume-title":"Reachability Problems","author":"A Le Co\u00ebnt","year":"2016","unstructured":"Le Co\u00ebnt, A., Fribourg, L., Markey, N., De Vuyst, F., Chamoin, L.: Distributed synthesis of state-dependent switching control. In: Larsen, K.G., Potapov, I., Srba, J. (eds.) RP 2016. LNCS, vol. 9899, pp. 119\u2013133. Springer, Cham (2016). doi:\n10.1007\/978-3-319-45994-3_9"},{"key":"9_CR16","unstructured":"Meyer, P.-J.: Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings. Universit\u00e9 Grenoble Alpes, Theses (2015)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Meyer, P.-J., Nazarpour, H., Girard, A., Witrant, E.: Experimental implementation of UFAD regulation based on robust controlled invariance. In: Proceeding of European Control Conference, pp. 1468\u20131473 (2014)","DOI":"10.1109\/ECC.2014.6862273"},{"key":"9_CR18","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/j.sysconle.2015.02.001","volume":"78","author":"G Yang","year":"2015","unstructured":"Yang, G., Liberzon, D.: A lyapunov-based small-gain theorem for interconnected switched systems. Syst. Control Lett. 78, 47\u201354 (2015)","journal-title":"Syst. Control Lett."}],"container-title":["Lecture Notes in Computer Science","Reachability Problems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67089-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T08:52:04Z","timestamp":1503564724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67089-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319670881","9783319670898"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67089-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}