{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:36:05Z","timestamp":1740101765496,"version":"3.37.3"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","funder":[{"name":"National Aeronautics and Space Administration","award":["80NSSC22M0070"]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-21-1-0411"],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3576841.3589618","type":"proceedings-article","created":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T16:18:19Z","timestamp":1683217099000},"page":"245-246","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Verification of \u2112\n 1<\/sub>\n Adaptive Control using Verse Library: A Case Study of Quadrotors"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8648-5501","authenticated-orcid":false,"given":"Lin","family":"Song","sequence":"first","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, United States of America"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4633-9408","authenticated-orcid":false,"given":"Yangge","family":"Li","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1987-1466","authenticated-orcid":false,"given":"Sheng","family":"Cheng","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9349-1125","authenticated-orcid":false,"given":"Pan","family":"Zhao","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6672-8470","authenticated-orcid":false,"given":"Sayan","family":"Mitra","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3850-1073","authenticated-orcid":false,"given":"Naira","family":"Hovakimyan","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, USA"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.2514\/1.G001730"},{"volume-title":"Reachability Analysis for Cyber-Physical Systems: Are We There Yet?","author":"Chen Xin","key":"e_1_3_2_1_2_1","unstructured":"Xin Chen and Sriram Sankaranarayanan . 2022. Reachability Analysis for Cyber-Physical Systems: Are We There Yet? . In NASA Formal Methods, Jyotirmoy V. Deshmukh, Klaus Havelund, and Ivan Perez (Eds.). Springer , Cham , 109--130. Xin Chen and Sriram Sankaranarayanan. 2022. Reachability Analysis for Cyber-Physical Systems: Are We There Yet?. In NASA Formal Methods, Jyotirmoy V. Deshmukh, Klaus Havelund, and Ivan Perez (Eds.). Springer, Cham, 109--130."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_22"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Irene Gregory Chengyu Cao Enric Xargay Naira Hovakimyan and Xiaotian Zou. 2009. L1 adaptive control design for NASA AirSTAR flight test vehicle. In AIAA guidance navigation and control conference. 5738. Irene Gregory Chengyu Cao Enric Xargay Naira Hovakimyan and Xiaotian Zou. 2009. L1 adaptive control design for NASA AirSTAR flight test vehicle. In AIAA guidance navigation and control conference. 5738.","DOI":"10.2514\/6.2009-5738"},{"key":"e_1_3_2_1_5_1","unstructured":"Naira Hovakimyan and Chengyu Cao. 2010. \u21121 adaptive control theory: Guaranteed robustness with fast adaptation. SIAM. Naira Hovakimyan and Chengyu Cao. 2010. \u2112 1 adaptive control theory: Guaranteed robustness with fast adaptation. SIAM."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717652"},{"key":"e_1_3_2_1_7_1","volume-title":"Verse: A Python library for reasoning about multi-agent hybrid system scenarios. arXiv preprint arXiv:2301.08714","author":"Li Yangge","year":"2023","unstructured":"Yangge Li , Haoqing Zhu , Katherine Braught , and Sayan Mitra . 2023 . Verse: A Python library for reasoning about multi-agent hybrid system scenarios. arXiv preprint arXiv:2301.08714 (2023). Yangge Li, Haoqing Zhu, Katherine Braught, and Sayan Mitra. 2023. Verse: A Python library for reasoning about multi-agent hybrid system scenarios. arXiv preprint arXiv:2301.08714 (2023)."},{"volume-title":"Verifying Cyber-Physical Systems: A Path to Safe Autonomy","author":"Mitra Sayan","key":"e_1_3_2_1_8_1","unstructured":"Sayan Mitra . 2021. Verifying Cyber-Physical Systems: A Path to Safe Autonomy . MIT Press . Sayan Mitra. 2021. Verifying Cyber-Physical Systems: A Path to Safe Autonomy. MIT Press."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9811946"},{"key":"e_1_3_2_1_10_1","volume-title":"\u21121 Quad: \u21121 Adaptive Augmentation of Geometric Control for Agile Quadrotors with Performance Guarantees. arXiv preprint arXiv:2302.07208","author":"Wu Zhuohuan","year":"2023","unstructured":"Zhuohuan Wu , Sheng Cheng , Pan Zhao , Aditya Gahlawat , Kasey A. Ackerman , Arun Lakshmanan , Chengyu Yang , Jiahao Yu , and Naira Hovakimyan . 2023. \u21121 Quad: \u21121 Adaptive Augmentation of Geometric Control for Agile Quadrotors with Performance Guarantees. arXiv preprint arXiv:2302.07208 ( 2023 ). Zhuohuan Wu, Sheng Cheng, Pan Zhao, Aditya Gahlawat, Kasey A. Ackerman, Arun Lakshmanan, Chengyu Yang, Jiahao Yu, and Naira Hovakimyan. 2023. \u21121 Quad: \u21121 Adaptive Augmentation of Geometric Control for Agile Quadrotors with Performance Guarantees. arXiv preprint arXiv:2302.07208 (2023)."}],"event":{"name":"ICCPS '23: ACM\/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023)","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE TCRTS"],"location":"San Antonio TX USA","acronym":"ICCPS '23"},"container-title":["Proceedings of the ACM\/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023)"],"original-title":[],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T17:51:10Z","timestamp":1683309070000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576841.3589618"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":10,"alternative-id":["10.1145\/3576841.3589618","10.1145\/3576841"],"URL":"https:\/\/doi.org\/10.1145\/3576841.3589618","relation":{},"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"2023-05-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}