{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T18:27:16Z","timestamp":1791484036413,"version":"4.3.4"},"reference-count":192,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft (DFG) through the Technical University of Munich (TUM) International Graduate School of Science and Engineering (IGSSE)","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2018,1]]},"DOI":"10.1109\/jproc.2017.2779456","type":"journal-article","created":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T21:48:59Z","timestamp":1513806539000},"page":"171-200","source":"Crossref","is-referenced-by-count":30,"title":["Semantics-Preserving Cosynthesis of Cyber-Physical Systems"],"prefix":"10.1109","volume":"106","author":[{"given":"Debayan","family":"Roy","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Licong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wanli","family":"Chang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sanjoy K.","family":"Mitter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Samarjit","family":"Chakraborty","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref170","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23217-6_6"},{"key":"ref172","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"ref171","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799413"},{"key":"ref174","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.34"},{"key":"ref173","article-title":"Comprehensive experimental analyses of automotive attack surfaces","author":"checkoway","year":"2011","journal-title":"Proc Conf Secur"},{"key":"ref176","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2001.968687"},{"key":"ref175","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2523937"},{"key":"ref178","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744804"},{"key":"ref177","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2014.24"},{"key":"ref168","article-title":"Synthesis of implementable control strategies for lazy linear hybrid automata","author":"di guglielmo","year":"2013","journal-title":"Proc Fed Conf Comput Sci Inf Syst"},{"key":"ref169","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.02.037"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2014.6742876"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2659787.2659812"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.25"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1629435.1629485"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774162"},{"key":"ref30","first-page":"284","article-title":"Performance analysis of FlexRay-based ECU networks","author":"hagiescu","year":"2007","journal-title":"Proc Design Autom Conf"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2570421"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2488480"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2052819"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380518"},{"key":"ref181","article-title":"SAFER: System-level architecture for failure evasion in real-time applications","author":"kim","year":"2012","journal-title":"Proc Real-Time Syst Symp"},{"key":"ref180","doi-asserted-by":"publisher","DOI":"10.1145\/951710.951734"},{"key":"ref185","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2016.7880389"},{"key":"ref184","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2980075"},{"key":"ref183","doi-asserted-by":"publisher","DOI":"10.1109\/ISICIR.2014.7029568"},{"key":"ref182","doi-asserted-by":"publisher","DOI":"10.2478\/v10006-008-0048-1"},{"key":"ref189","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291172"},{"key":"ref188","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2360-3"},{"key":"ref187","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"ref186","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648024"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.231"},{"key":"ref179","doi-asserted-by":"publisher","DOI":"10.1145\/1840845.1840924"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-006-0019-5"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2010.329"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45318-0"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045088"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253607"},{"key":"ref101","first-page":"1","article-title":"Bandwidth-efficient controller-server co-design with stability guarantees","author":"aminifar","year":"2014","journal-title":"Proc Design Autom Test Eur Conf Exhib"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2012.6356564"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.79"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2012.6356574"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.235"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2544350.2544353"},{"key":"ref154","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref153","doi-asserted-by":"publisher","DOI":"10.1109\/9.654885"},{"key":"ref156","first-page":"469","article-title":"NLTOOLBOX: A C++ library for reachability computation of non-linear dynamical systems","author":"testylier","year":"2013","journal-title":"Proc of the Int Symp of Aut Tech for Verification and Analysis"},{"key":"ref155","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.70"},{"key":"ref150","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.2951"},{"key":"ref152","doi-asserted-by":"publisher","DOI":"10.1109\/37.375279"},{"key":"ref151","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2471838"},{"key":"ref146","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2006.886983"},{"key":"ref147","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2010.2041354"},{"key":"ref148","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2010.03.008"},{"key":"ref149","doi-asserted-by":"publisher","DOI":"10.1109\/JETCAS.2012.2187403"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038689"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728636"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2301795"},{"key":"ref56","first-page":"1","article-title":"Fault-tolerant control synthesis and verification of distributed embedded systems","author":"kauer","year":"2014","journal-title":"Proc Design Autom Test Eur Conf Exhib"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2013.6509631"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2492199"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2015.2504339"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2016.7810677"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744829"},{"key":"ref167","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"ref166","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1999.827983"},{"key":"ref165","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"},{"key":"ref164","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2016.7852228"},{"key":"ref163","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039365"},{"key":"ref162","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883847"},{"key":"ref161","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656060"},{"key":"ref160","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968485"},{"key":"ref4","article-title":"Control\/architecture codesign for cyber-physical systems","author":"chang","year":"0","journal-title":"Handbook of Hardware\/Software Codesign"},{"key":"ref3","year":"2011"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1961.6429306"},{"key":"ref5","author":"kuo","year":"1980","journal-title":"Digital Control Systems"},{"key":"ref159","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2016.011"},{"key":"ref8","article-title":"Computer-controlled systems: Theory and design","author":"astr\u00f6m","year":"1997","journal-title":"Information and System Sciences"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315304"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4282580"},{"key":"ref157","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755956"},{"key":"ref158","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-006-0035-7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2015.2504351"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/37.898794"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1998.703059"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.06.011"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(97)00170-2"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2015.74"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2182009"},{"key":"ref44","article-title":"Stability of linear feedback systems with random communication delays","author":"krtolica","year":"1991","journal-title":"Proc Amer Control Conf"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2613933"},{"key":"ref127","first-page":"3376","article-title":"Closed–loop reference model adaptive control: Composite control and observer feedback","author":"gibson","year":"2013","journal-title":"Proc IFAC Int Workshop Adaptation Learn Control Signal Process"},{"key":"ref126","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-4775"},{"key":"ref125","first-page":"3726","article-title":"Resource-aware model predictive control of spatially distributed processes using event-triggered communication","author":"yao","year":"2013","journal-title":"Proc Conf Decision Control"},{"key":"ref124","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2141410"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2016.7509410"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883827"},{"key":"ref129","first-page":"365","article-title":"Closed-loop reference models for output-feedback adaptive systems","author":"gibson","year":"2013","journal-title":"Proc Eur Control Conf"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2015.2435789"},{"key":"ref128","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580353"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2013.37"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2013.09.003"},{"key":"ref130","doi-asserted-by":"publisher","DOI":"10.1109\/ISCIT.2006.339832"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181565"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2053378"},{"key":"ref75","first-page":"60","article-title":"QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systems","author":"schneider","year":"2012","journal-title":"Proc Forum Spec Design Lang"},{"key":"ref133","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2013.2240679"},{"key":"ref134","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2014.0526"},{"key":"ref131","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2011.5991565"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/3130218.3130235"},{"key":"ref132","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315376"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763148"},{"key":"ref136","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2384754"},{"key":"ref135","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760614"},{"key":"ref138","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1985.6313399"},{"key":"ref137","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2491719"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/9.317135"},{"key":"ref139","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2007.905921"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75454-1_23"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_38"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879024"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2010.938196"},{"key":"ref140","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1109\/TFUZZ.2008.924315","article-title":"$H_\\infty $ fuzzy control of nonlinear systems under unreliable communication links","volume":"17","author":"gao","year":"2009","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380380"},{"key":"ref141","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2014.0410"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/ICNN.1995.488968"},{"key":"ref142","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2010.2052259"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/2660496"},{"key":"ref143","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2012.05.002"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658601"},{"key":"ref144","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2009.0274"},{"key":"ref2","year":"2010"},{"key":"ref69","article-title":"The jitter margin and its application in the design of real-time control systems","author":"cervin","year":"2004","journal-title":"Proc Int Conf Real-Time Embedded Comput Syst Appl"},{"key":"ref145","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2007.911895"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2165689"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039394"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.3850\/9783981537079_0040"},{"key":"ref190","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450088"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.230"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.29"},{"key":"ref191","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"ref107","doi-asserted-by":"publisher","DOI":"10.1109\/DELTA.2011.22"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161106"},{"key":"ref192","doi-asserted-by":"publisher","DOI":"10.1145\/2435227.2435245"},{"key":"ref106","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184698"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00602-9_31"},{"key":"ref105","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090633"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798315"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2015.23"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160795"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.00289"},{"key":"ref102","first-page":"654","article-title":"Resource Utilization and Quality-of-Control Trade-Off for a Composable Platform","author":"juan valencia","year":"2016","journal-title":"Design Automation Test in Europe Conference Exhibition (DATE)"},{"key":"ref111","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2016.7461344"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.02.030"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176680"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380378"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2262281"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739414"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.10"},{"key":"ref10","first-page":"1023","article-title":"On hybrid control of complex systems: A survey","volume":"32","author":"antsaklis","year":"1998","journal-title":"Eur J Autom"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511807930.003"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038685"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3072956"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.48943"},{"key":"ref118","first-page":"260","article-title":"Dynamic round-robin task scheduling to reduce cache misses for embedded systems","author":"batcher","year":"2008","journal-title":"Proc Design Autom Test Eur Conf Exhibit"},{"key":"ref16","author":"bril","year":"2004","journal-title":"Real-time scheduling for media processing using conditionally guaranteed budgets"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2016.11"},{"key":"ref117","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1997.645824"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-009-9071-z"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176681"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9012-7"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2015.19"},{"key":"ref119","first-page":"43","article-title":"Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis","author":"gla\u00df","year":"2009","journal-title":"Proc Design Autom Conf"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9040-3"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3072950"},{"key":"ref114","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2011.5722188"},{"key":"ref113","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2011.41"},{"key":"ref116","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.1998.650563"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2011.5953670"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93550"},{"key":"ref120","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024787"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400541"},{"key":"ref121","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2010.78"},{"key":"ref122","first-page":"8d4-1","article-title":"Deterministic platform software for hard real-time systems using multi-core COTS","author":"girbal","year":"2015","journal-title":"Proc Digital Avionics Systems Conf"},{"key":"ref123","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2016.7461321"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2017.8046303"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.904277"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4587140"},{"key":"ref88","doi-asserted-by":"crossref","first-page":"857","DOI":"10.1016\/S0005-1098(01)00028-0","article-title":"Input-to-state stability for discrete-time nonlinear systems","volume":"37","author":"jiang","year":"2001","journal-title":"Automatica"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5\/8232482\/08232538.pdf?arnumber=8232538","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:24:48Z","timestamp":1642004688000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8232538\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1]]},"references-count":192,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2017.2779456","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1]]}}}