{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:10:18Z","timestamp":1750219818438,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:00:00Z","timestamp":1683590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["SCHM3541\/1-1,89792660 TRR248?CPEC"],"award-info":[{"award-number":["SCHM3541\/1-1,89792660 TRR248?CPEC"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["864017 - L2C"],"award-info":[{"award-number":["864017 - L2C"]}],"id":[{"id":"10.13039\/501100000781","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\/3575870.3589553","type":"proceedings-article","created":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T22:42:27Z","timestamp":1683585747000},"page":"1-2","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Poster Abstract: Towards Seamless Reactivity of Hybrid Control"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4096-5969","authenticated-orcid":false,"given":"Lucas Neves","family":"Egidio","sequence":"first","affiliation":[{"name":"UC Louvain, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4407-8681","authenticated-orcid":false,"given":"Satya Prakash","family":"Nayak","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5591-5748","authenticated-orcid":false,"given":"Matteo Della","family":"Rossa","sequence":"additional","affiliation":[{"name":"UC Louvain, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2801-639X","authenticated-orcid":false,"given":"Anne-Kathrin","family":"Schmuck","sequence":"additional","affiliation":[{"name":"Max-Planck-Institute for Software Systems, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7789-0940","authenticated-orcid":false,"given":"Rapha\u00ebl","family":"Jungers","sequence":"additional","affiliation":[{"name":"UC Louvain, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"key":"e_1_3_2_1_2_1","volume-title":"Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control. In CDC\u201918.","author":"Nilsson Petter","year":"2018","unstructured":"Petter Nilsson and Aaron\u00a0D. Ames. 2018. Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control. In CDC\u201918."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner. 1989. On the Synthesis of a Reactive Module. In POPL\u201989.","DOI":"10.1145\/75277.75293"},{"volume-title":"Hybrid feedback control","author":"Sanfelice G","key":"e_1_3_2_1_4_1","unstructured":"Ricardo\u00a0G Sanfelice. 2020. Hybrid feedback control. Princeton University Press."},{"volume-title":"Verification and control of hybrid systems: a symbolic approach","author":"Tabuada Paulo","key":"e_1_3_2_1_5_1","unstructured":"Paulo Tabuada. 2009. Verification and control of hybrid systems: a symbolic approach. Springer Science & Business Media."}],"event":{"name":"HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"San Antonio TX USA","acronym":"HSCC '23"},"container-title":["Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575870.3589553","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3575870.3589553","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:12Z","timestamp":1750178772000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575870.3589553"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":4,"alternative-id":["10.1145\/3575870.3589553","10.1145\/3575870"],"URL":"https:\/\/doi.org\/10.1145\/3575870.3589553","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"}}]}}