{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,2]],"date-time":"2026-08-02T10:35:29Z","timestamp":1785666929676,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":27,"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:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["2038960"],"award-info":[{"award-number":["2038960"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,5,6]]},"DOI":"10.1145\/3716550.3722035","type":"proceedings-article","created":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T06:20:57Z","timestamp":1746598857000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Repairing Control Safety Violations via Scheduler Patch Synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-3311-8809","authenticated-orcid":false,"given":"Anand","family":"Yeolekar","sequence":"first","affiliation":[{"name":"TCS Research, Pune, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7527-7675","authenticated-orcid":false,"given":"Supratik","family":"Chakraborty","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology, Bombay, Mumbai, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-7747-4457","authenticated-orcid":false,"given":"R.","family":"Venkatesh","sequence":"additional","affiliation":[{"name":"TCS Research, Pune, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0503-6235","authenticated-orcid":false,"given":"Samarjit","family":"Chakraborty","sequence":"additional","affiliation":[{"name":"University of North Carolina, Chapel Hill, North Carolina, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,5,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.919277"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"X. Dai and A. Burns. 2020. Period adaptation of real-time control tasks with FP scheduling in cyber-physical systems. Journal of Sys. Arch. 103 (2020).","DOI":"10.1016\/j.sysarc.2019.101691"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"X. Dai S. Zhao Y. Jiang X. Jiao X. Sharon Hu and W. Chang. 2020. Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks. In CAV. Article 99 9 pages.","DOI":"10.1145\/3400302.3415715"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_5_1","volume-title":"Alexandre Donz\u00e9, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, and Oded Maler.","author":"Frehse Goran","year":"2011","unstructured":"Goran Frehse, Colas Le Guernic, Alexandre Donz\u00e9, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, and Oded Maler. 2011. SpaceEx: Scalable Verification of Hybrid Systems. In CAV (LNCS 6806). Springer."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"G. Frehse A. Hamann S. Quinton and M. Woehrle. 2014. Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. In RTSS. 53--62.","DOI":"10.1109\/RTSS.2014.28"},{"key":"e_1_3_2_1_7_1","unstructured":"R. A. Gabel and R. A. Roberts. 1980. Signals and Linear Systems (2nd ed.). John Wiley & Sons."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA55878.2022.00008"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3198905"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","unstructured":"Toghrul Karimov Edon Kelmendi Jo\u00ebl Ouaknine and James Worrell. 2022. What's Decidable About Discrete Linear Dynamical Systems? Springer Nature Switzerland Cham 21--38. https:\/\/doi.org\/10.1007\/978-3-031-22337-2_2","DOI":"10.1007\/978-3-031-22337-2_2"},{"key":"e_1_3_2_1_11_1","first-page":"1","article-title":"Control System Stability Under Consecutive Deadline Misses","volume":"165","author":"Maggio M.","year":"2020","unstructured":"M. Maggio, A. Hamann, E. Mayer-John, and D. Ziegenbein. 2020. Control System Stability Under Consecutive Deadline Misses. In ECRTS, Vol. 165. 21:1--21:24.","journal-title":"ECRTS"},{"key":"e_1_3_2_1_12_1","unstructured":"W.C.Messner and D.M. Tilbury. 1999. Control Tutorials for MATLAB and Simulink: A Web-based Approach. Addison-Wesley."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"A. Minaeva D. Roy B. Akesson Z. Hanz\u00e1lek and S. Chakraborty. 2021. Control Performance Optimization for Application Integration. IEEE ToC. (2021).","DOI":"10.1109\/TC.2020.3003083"},{"key":"e_1_3_2_1_14_1","unstructured":"Karl N. Murphy. 1994. In Analysis of Robotic Vehicle Steering and Controller Delay."},{"key":"e_1_3_2_1_15_1","unstructured":"Matthew O'Kelly Hongrui Zheng Dhruv Karthik and Rahul Mangharam. 2019. F1TENTH: An Evaluation Environment for Continuous Control and Reinforcement Learning. In NeurIPS."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9473913"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2019.1"},{"key":"e_1_3_2_1_18_1","first-page":"1","article-title":"Beyond the Weakly Hard Model","volume":"106","author":"Pazzaglia P.","year":"2018","unstructured":"P. Pazzaglia, L. Pannocchi, A. Biondi, and M. Di Natale. 2018. Beyond the Weakly Hard Model: Cost of Deadline Misses. In ECRTS, Vol. 106. 10:1--10:22.","journal-title":"Cost of Deadline Misses. In ECRTS"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"D. Roy S. Ghosh Q. Zhu M. Caccamo and S. Chakraborty. 2020. GoodSpread: Criticality-Aware Static Sched. of CPS with Multi-QoS. In RTSS. 178--190.","DOI":"10.1109\/RTSS49844.2020.00026"},{"key":"e_1_3_2_1_20_1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE).","author":"Roy Debayan","year":"2021","unstructured":"Debayan Roy, Clara Hobbs, James H. Anderson, Marco Caccamo, and Samarjit Chakraborty. 2021. Timing Debugging for Cyber-Physical Systems. In Design, Automation & Test in Europe Conference & Exhibition (DATE)."},{"key":"e_1_3_2_1_21_1","first-page":"1","article-title":"Stability and Performance Analysis of Control Systems Subject to Deadline Misses","volume":"196","author":"Vreman N.","year":"2021","unstructured":"N. Vreman, A. Cervin, and M. Maggio. 2021. Stability and Performance Analysis of Control Systems Subject to Deadline Misses. In ECRTS, Vol. 196. 15:1--15:23.","journal-title":"ECRTS"},{"key":"e_1_3_2_1_22_1","volume-title":"Evaluation of Burst Failure Robustness of Control Systems in the Fog. In Workshop on Fog-IoT (OASIcs). Schloss Dagstuhl.","author":"Vreman Nils","year":"2020","unstructured":"Nils Vreman and Claudio Mandrioli. 2020. Evaluation of Burst Failure Robustness of Control Systems in the Fog. In Workshop on Fog-IoT (OASIcs). Schloss Dagstuhl."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Nils Vreman Caludio Mandrioli and Cervin Anton. 2022. Deadline-Miss-Adaptive Controller Implementation for Real-Time Control Systems. In RTAS.","DOI":"10.1109\/RTAS54340.2022.00010"},{"key":"e_1_3_2_1_24_1","unstructured":"Shenjie Xu. 2024. Control Benchmarks. https:\/\/github.com\/shengjiex98\/pyControlBenchmarks"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3566097.3567848"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA58653.2023.00031"},{"key":"e_1_3_2_1_27_1","volume-title":"Checking Scheduling-Induced Violations of Control Safety Properties. In 20th International Symposium on Automated Technology for Verification and Analysis.","author":"Yeolekar Anand","year":"2022","unstructured":"Anand Yeolekar, Ravindra Metta, Clara Hobbs, and Samarjit Chakraborty. 2022. Checking Scheduling-Induced Violations of Control Safety Properties. In 20th International Symposium on Automated Technology for Verification and Analysis."}],"event":{"name":"ICCPS '25: ACM\/IEEE 16th International Conference on Cyber-Physical Systems","location":"Irvine CA USA","acronym":"ICCPS '25","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the ACM\/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716550.3722035","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716550.3722035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T14:02:14Z","timestamp":1756994534000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716550.3722035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,6]]},"references-count":27,"alternative-id":["10.1145\/3716550.3722035","10.1145\/3716550"],"URL":"https:\/\/doi.org\/10.1145\/3716550.3722035","relation":{},"subject":[],"published":{"date-parts":[[2025,5,6]]},"assertion":[{"value":"2025-05-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}