{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T07:03:35Z","timestamp":1779087815241,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T00:00:00Z","timestamp":1746489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62192732, 62032024"],"award-info":[{"award-number":["62192732, 62032024"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CAS President's International Fellowship Initiative","award":["2024PG0016"],"award-info":[{"award-number":["2024PG0016"]}]},{"name":"CAS Project for Young Scientists in Basic Research","award":["YSBR-040"],"award-info":[{"award-number":["YSBR-040"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,5,6]]},"DOI":"10.1145\/3716863.3718052","type":"proceedings-article","created":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:20:33Z","timestamp":1747808433000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Runtime Enforcement of CPS against Signal Temporal Logic"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4260-8340","authenticated-orcid":false,"given":"Han","family":"Su","sequence":"first","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1455-4106","authenticated-orcid":false,"given":"Saumya","family":"Shankar","sequence":"additional","affiliation":[{"name":"Department of Electrical, Computer and Software Engineering The University of Auckland Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7779-8231","authenticated-orcid":false,"given":"Srinivas","family":"Pinisetty","sequence":"additional","affiliation":[{"name":"School of Electrical and Computer Sciences Indian Institute of Technology Bhubaneswar Bhubaneswar, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9654-5678","authenticated-orcid":false,"given":"Partha S.","family":"Roop","sequence":"additional","affiliation":[{"name":"Department of Electrical, Computer and Software Engineering The University of Auckland Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3298-3817","authenticated-orcid":false,"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[{"name":"Peking University School of Computer Science Key Lab. of High Confidence Software Technology Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"A theory of timed automata. Theoretical computer science 126, 2","author":"Alur Rajeev","year":"1994","unstructured":"Rajeev Alur and David L Dill. 1994. A theory of timed automata. Theoretical computer science 126, 2 (1994), 183--235."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290364"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_27"},{"key":"e_1_3_2_1_5_1","volume-title":"IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik.","author":"Basin David","year":"2008","unstructured":"David Basin, Felix Klaedtke, Samuel M\u00fcller, and Birgit Pfitzmann. 2008. Runtime monitoring of metric first-order temporal properties. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_51"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.02.008"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0114-4"},{"key":"e_1_3_2_1_10_1","volume-title":"On the runtime enforcement of timed properties","author":"Falcone Yli\u00e8s","unstructured":"Yli\u00e8s Falcone and Srinivas Pinisetty. 2019. On the runtime enforcement of timed properties. In Runtime Verification, Bernd Finkbeiner and Leonardo Mariani (Eds.). Springer International Publishing, Cham, 48--69."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3286976"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2763785"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-65630-9_8"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0046-8"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455526.1455532"},{"key":"e_1_3_2_1_16_1","volume-title":"Control barrier functions for signal temporal logic tasks","author":"Lindemann Lars","year":"2018","unstructured":"Lars Lindemann and Dimos V Dimarogonas. 2018. Control barrier functions for signal temporal logic tasks. IEEE control systems letters 3, 1 (2018), 96--101."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147796"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304056"},{"key":"e_1_3_2_1_19_1","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"Maler Oded","unstructured":"Oded Maler and Dejan Nickovic. 2004. Monitoring temporal properties of continuous signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Yassine Lakhnech and Sergio Yovine (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 152--166."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Yurii Nesterov and Arkadii Nemirovskii. 1994. Interior-point polynomial algorithms in convex programming. SIAM.","DOI":"10.1137\/1.9781611970791"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2019.2945520"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-014-0215-y"},{"key":"e_1_3_2_1_23_1","volume-title":"Runtime enforcement of timed properties","author":"Pinisetty Srinivas","unstructured":"Srinivas Pinisetty, Yli\u00e8s Falcone, Thierry J\u00e9ron, Herv\u00e9 Marchand, Antoine Rollet, and Omer Landry Nguena Timo. 2013. Runtime enforcement of timed properties. In Runtime Verification, Shaz Qadeer and Serdar Tasiran (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 229--244."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126500"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092282.3092291"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1993.42.42045"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"e_1_3_2_1_29_1","volume-title":"ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings 29","author":"Renard Matthieu","year":"2017","unstructured":"Matthieu Renard, Antoine Rollet, and Yli\u00e8s Falcone. 2017. GREP: games for the runtime enforcement of properties. In Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings 29. Springer, 259--275."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"e_1_3_2_1_31_1","volume-title":"International Symposium on Formal Methods. Springer, 229--247","author":"Su Han","year":"2024","unstructured":"Han Su, Shenghua Feng, Sinong Zhan, and Naijun Zhan. 2024. Switching controller synthesis for hybrid systems against STL formulas. In International Symposium on Formal Methods. Springer, 229--247."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Han Su Saumya Shankar Srinivas Pinisetty Partha S. Roop and Naijun Zhan. 2025. Runtime enforcement of CPS against signal temporal logic. arXiv:2502.11584 [eess.SY] https:\/\/arxiv.org\/abs\/2502.11584","DOI":"10.1145\/3716863.3718052"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639151"}],"event":{"name":"HSCC '25: Computation and Control","location":"Irvine CA USA","acronym":"HSCC '25","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716863.3718052","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716863.3718052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:46:23Z","timestamp":1756993583000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716863.3718052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,6]]},"references-count":33,"alternative-id":["10.1145\/3716863.3718052","10.1145\/3716863"],"URL":"https:\/\/doi.org\/10.1145\/3716863.3718052","relation":{},"subject":[],"published":{"date-parts":[[2025,5,6]]},"assertion":[{"value":"2025-05-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}