{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:21:42Z","timestamp":1775874102040,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,7]],"date-time":"2012-10-07T00:00:00Z","timestamp":1349568000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,7]]},"DOI":"10.1145\/2380356.2380396","type":"proceedings-article","created":{"date-parts":[[2012,10,9]],"date-time":"2012-10-09T12:20:46Z","timestamp":1349785246000},"page":"217-226","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["Input-output robustness for discrete systems"],"prefix":"10.1145","author":[{"given":"Paulo","family":"Tabuada","sequence":"first","affiliation":[{"name":"University of California, Los Angeles, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ayca","family":"Balkan","sequence":"additional","affiliation":[{"name":"University of California, Los Angeles, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sina Y.","family":"Caliskan","sequence":"additional","affiliation":[{"name":"University of California, Los Angeles, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yasser","family":"Shoukry","sequence":"additional","affiliation":[{"name":"University of California, Los Angeles, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems, Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450080"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_23"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/850926.851714"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351139"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Krishnendu Chatterjee Laurent Doyen and Thomas A. Henzinger. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science 6(3) 2010.  Krishnendu Chatterjee Laurent Doyen and Thomas A. Henzinger. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science 6(3) 2010.","DOI":"10.2168\/LMCS-6(3:10)2010"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1805950.1805953"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706308"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/361179.361202"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2010.26"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060304"},{"key":"e_1_3_2_1_11_1","first-page":"231","article-title":"Approximately bisimilar finite abstractions of stable linear systems. in Proceedings of 10th Internation Conference on Hybrid Systems","volume":"4416","author":"Girard A.","year":"2007","journal-title":"Computation and Control"},{"issue":"9","key":"e_1_3_2_1_12_1","first-page":"1499","article-title":"Input-to-state dynamical stability and its lyapunov function characterization. Automatic Control","volume":"47","author":"Gr\u00fcne L.","year":"2002","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2006.02.003"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.07.005"},{"key":"e_1_3_2_1_15_1","unstructured":"H. K. Khalil. Nonlinear systems. Prentice-Hall Inc. New Jersey 2nd edition 1996.  H. K. Khalil. Nonlinear systems. Prentice-Hall Inc. New Jersey 2nd edition 1996."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.17"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"O. Maler A. Pnueli and J. Sifakis. On the synthesis of discrete controllers for timed systems. In E. W. Mayr and C. Puech editors STACS 95: Theoretical Aspects of Computer Science Lecture Notes in Computer Science 900 pages 229--242. Springer-Verlag 1995.  O. Maler A. Pnueli and J. Sifakis. On the synthesis of discrete controllers for timed systems. In E. W. Mayr and C. Puech editors STACS 95: Theoretical Aspects of Computer Science Lecture Notes in Computer Science 900 pages 229--242. Springer-Verlag 1995.","DOI":"10.1007\/3-540-59042-0_76"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"issue":"4","key":"e_1_3_2_1_19_1","first-page":"435","article-title":"Smooth stabilization implies coprime factorization. Automatic Control","volume":"34","author":"Sontag E. D.","year":"1989","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.923658"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCT.1963.1082162"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/37.506399"}],"event":{"name":"ESWEEK'12: Eighth Embedded System Week","location":"Tampere Finland","acronym":"ESWEEK'12","sponsor":["CEDA","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CS"]},"container-title":["Proceedings of the tenth ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2380356.2380396","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2380356.2380396","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:14Z","timestamp":1750238474000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2380356.2380396"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,7]]},"references-count":23,"alternative-id":["10.1145\/2380356.2380396","10.1145\/2380356"],"URL":"https:\/\/doi.org\/10.1145\/2380356.2380396","relation":{},"subject":[],"published":{"date-parts":[[2012,10,7]]},"assertion":[{"value":"2012-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}