{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:05:07Z","timestamp":1761581107746,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,4,8]],"date-time":"2013-04-08T00:00:00Z","timestamp":1365379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["A17321"],"award-info":[{"award-number":["A17321"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-12-1-0046"],"award-info":[{"award-number":["N00014-12-1-0046"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-11-1-0145"],"award-info":[{"award-number":["FA9550-11-1-0145"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000104","name":"National Aeronautics and Space Administration","doi-asserted-by":"publisher","award":["NNX08BA64A, NNX08BA65A"],"award-info":[{"award-number":["NNX08BA64A, NNX08BA65A"]}],"id":[{"id":"10.13039\/100000104","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,4,8]]},"DOI":"10.1145\/2502524.2502531","type":"proceedings-article","created":{"date-parts":[[2013,7,16]],"date-time":"2013-07-16T18:06:58Z","timestamp":1373998018000},"page":"41-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["L1Simplex"],"prefix":"10.1145","author":[{"given":"Xiaofhteng","family":"Wang","sequence":"first","affiliation":[{"name":"University of South Carolina, Columbia, SC"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naira","family":"Hovakimyan","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,4,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Model checking","author":"Clarke E.","year":"2000","unstructured":"E. Clarke , O. Grumberg , and D. Peled , Model checking . MIT press , 2000 . E. Clarke, O. Grumberg, and D. Peled, Model checking. MIT press, 2000."},{"key":"e_1_3_2_1_2_1","first-page":"23","article-title":"The methodology of n-version programming","volume":"3","author":"Avizienis A.","year":"1995","unstructured":"A. Avizienis , \" The methodology of n-version programming ,\" Software Fault Tolerance , vol. 3 , pp. 23 -- 46 , 1995 . A. Avizienis, \"The methodology of n-version programming,\" Software Fault Tolerance, vol. 3, pp. 23--46, 1995.","journal-title":"Software Fault Tolerance"},{"key":"e_1_3_2_1_3_1","first-page":"440","volume-title":"Real-Time Systems Symposium","author":"Sha L.","year":"1998","unstructured":"L. Sha , \"Dependable system upgrade,\" in Real-Time Systems Symposium , 1998 , pp. 440 -- 448 . L. Sha, \"Dependable system upgrade,\" in Real-Time Systems Symposium, 1998, pp. 440--448."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1109\/MS.2001.936213"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1109\/ECRTS.2008.17"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/RTSS.2007.50"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1016\/0167-6911(94)00050-6"},{"key":"e_1_3_2_1_9_1","volume-title":"L1 Adaptive Control Theory","author":"Hovakimyan N.","year":"2010","unstructured":"N. Hovakimyan and C. Cao , L1 Adaptive Control Theory . Philadelphia, PA : SIAM , 2010 . N. Hovakimyan and C. Cao, L1 Adaptive Control Theory. Philadelphia, PA: SIAM, 2010."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1109\/MCS.2011.941961"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1016\/j.automatica.2008.10.009"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/28.658735"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1109\/9.256328"},{"key":"e_1_3_2_1_14_1","volume-title":"L1 adaptive control of system with unmatched disturbance by using eigenvalue assignment method,\" in Proceedings of IEEE Conference on Decision and Control","author":"Che J.","year":"2012","unstructured":"J. Che and C. Cao , \" L1 adaptive control of system with unmatched disturbance by using eigenvalue assignment method,\" in Proceedings of IEEE Conference on Decision and Control , 2012 . J. Che and C. Cao, \"L1 adaptive control of system with unmatched disturbance by using eigenvalue assignment method,\" in Proceedings of IEEE Conference on Decision and Control, 2012."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1109\/TAC.2009.2037384"}],"event":{"sponsor":["IEEE-CS\\TCRT TC on Real-Time Systems","SIGBED ACM Special Interest Group on Embedded Systems"],"acronym":"ICCPS '13","name":"ICCPS '13: ACM\/IEEE 4th International Conference on Cyber-Physical Systems","location":"Philadelphia Pennsylvania"},"container-title":["Proceedings of the ACM\/IEEE 4th International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2502524.2502531","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2502524.2502531","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:54Z","timestamp":1750234734000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2502524.2502531"}},"subtitle":["fault-tolerant control of cyber-physical systems"],"short-title":[],"issued":{"date-parts":[[2013,4,8]]},"references-count":14,"alternative-id":["10.1145\/2502524.2502531","10.1145\/2502524"],"URL":"https:\/\/doi.org\/10.1145\/2502524.2502531","relation":{},"subject":[],"published":{"date-parts":[[2013,4,8]]},"assertion":[{"value":"2013-04-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}