{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:17Z","timestamp":1750220357638,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,19]],"date-time":"2021-05-19T00:00:00Z","timestamp":1621382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3457335.3461707","type":"proceedings-article","created":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T16:10:52Z","timestamp":1624983052000},"page":"11-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Data-driven estimation of forward reachable sets"],"prefix":"10.1145","author":[{"given":"Alex","family":"Devonport","sequence":"first","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murat","family":"Arcak","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,6,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Kernel-based outlier detection using the inverse Christoffel function. arXiv preprint arXiv:1806.06775","author":"Askari Armin","year":"2018","unstructured":"Armin Askari , Forest Yang , and Laurent El Ghaoui . 2018. Kernel-based outlier detection using the inverse Christoffel function. arXiv preprint arXiv:1806.06775 ( 2018 ). Armin Askari, Forest Yang, and Laurent El Ghaoui. 2018. Kernel-based outlier detection using the inverse Christoffel function. arXiv preprint arXiv:1806.06775 (2018)."},{"volume-title":"International Conference on Computer Aided Verification. Springer, 441--461","author":"Fan C.","key":"e_1_3_2_1_2_1","unstructured":"C. Fan , B. Qi , S. Mitra , and M. Viswanathan . 2017. DryVR: data-driven verification and compositional reasoning for automotive systems . In International Conference on Computer Aided Verification. Springer, 441--461 . C. Fan, B. Qi, S. Mitra, and M. Viswanathan. 2017. DryVR: data-driven verification and compositional reasoning for automotive systems. In International Conference on Computer Aided Verification. Springer, 441--461."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2019.2949194"},{"key":"e_1_3_2_1_4_1","volume-title":"Data analysis from empirical moments and the Christoffel function. Foundations of Computational Mathematics","author":"Pauwels Edouard","year":"2020","unstructured":"Edouard Pauwels , Mihai Putinar , and Jean-Bernard Lasserre . 2020. Data analysis from empirical moments and the Christoffel function. Foundations of Computational Mathematics ( 2020 ), 1--31. Edouard Pauwels, Mihai Putinar, and Jean-Bernard Lasserre. 2020. Data analysis from empirical moments and the Christoffel function. Foundations of Computational Mathematics (2020), 1--31."},{"volume-title":"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). 269--270","author":"Qi B.","key":"e_1_3_2_1_5_1","unstructured":"B. Qi , C. Fan , M. Jiang , and S. Mitra . 2018. DryVR 2.0: a tool for verification and controller synthesis of black-box cyber-physical systems . In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). 269--270 . B. Qi, C. Fan, M. Jiang, and S. Mitra. 2018. DryVR 2.0: a tool for verification and controller synthesis of black-box cyber-physical systems. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). 269--270."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2016.2542046"}],"event":{"name":"CPS-IoT Week '21: Cyber-Physical Systems and Internet of Things Week 2021","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE Signal Processing Society","IEEE CS"],"location":"Nashville Tennessee","acronym":"CPS-IoT Week '21"},"container-title":["Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3457335.3461707","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3457335.3461707","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:19Z","timestamp":1750191439000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3457335.3461707"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":6,"alternative-id":["10.1145\/3457335.3461707","10.1145\/3457335"],"URL":"https:\/\/doi.org\/10.1145\/3457335.3461707","relation":{},"subject":[],"published":{"date-parts":[[2021,5,19]]},"assertion":[{"value":"2021-06-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}