{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T19:48:01Z","timestamp":1767642481026,"version":"3.48.0"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032156204","type":"print"},{"value":"9783032156211","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-15621-1_14","type":"book-chapter","created":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T16:38:04Z","timestamp":1767631084000},"page":"169-182","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Scheduling Control Tasks Using Safety-Guided RL"],"prefix":"10.1007","author":[{"given":"Prateek","family":"Ganguli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tingan","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samarjit","family":"Chakraborty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,1,6]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Alshiekh, M., et\u00a0al.: Safe reinforcement learning via shielding. In: 32nd Conference on Artificial Intelligence (AAAI) (2018)","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Bloem, R., et\u00a0al.: Shield synthesis: runtime enforcement for reactive systems. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (2015)","DOI":"10.1007\/978-3-662-46681-0_51"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Bordoloi, U.D., et\u00a0al.: Autonomy-driven emerging directions in software-defined vehicles. In: Design, Automation and Test in Europe Conference (DATE) (2023)","DOI":"10.23919\/DATE56975.2023.10136910"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., Erlebach, T., Thiele, L.: On the complexity of scheduling conditional real-time code. In: Workshop on Algorithm & Data Structures (WADS) (2001)","DOI":"10.1007\/3-540-44634-6_5"},{"issue":"4","key":"14_CR5","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/MDAT.2016.2573598","volume":"33","author":"S Chakraborty","year":"2016","unstructured":"Chakraborty, S., et al.: Automotive cyber-physical systems: a tutorial introduction. IEEE Des. Test 33(4), 92\u2013108 (2016)","journal-title":"IEEE Des. Test"},{"key":"14_CR6","unstructured":"Elsayed-Aly, I., et\u00a0al.: Safe multi-agent reinforcement learning via shielding. In: 20th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) (2021)"},{"issue":"2","key":"14_CR7","doi-asserted-by":"publisher","first-page":"1218","DOI":"10.1109\/TIE.2015.2504339","volume":"63","author":"W Geelen","year":"2016","unstructured":"Geelen, W., et al.: The impact of deadline misses on the control performance of high-end motion control systems. IEEE Trans. Ind. Electron. 63(2), 1218\u20131229 (2016)","journal-title":"IEEE Trans. Ind. Electron."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Ghosh, B., et\u00a0al.: Statistical hypothesis testing of controller implementations under timing uncertainties. In: IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) (2022)","DOI":"10.1109\/RTCSA55878.2022.00008"},{"issue":"1","key":"14_CR9","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/s11241-023-09417-x","volume":"60","author":"B Ghosh","year":"2024","unstructured":"Ghosh, B., et al.: Statistical verification of autonomous system controllers under timing uncertainties. Real-Time Syst. 60(1), 108\u2013149 (2024)","journal-title":"Real-Time Syst."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Goswami, D., Schneider, R., Chakraborty, S.: Co-design of cyber-physical systems via controllers with flexible delay constraints. In: Asia and South Pacific Design Automation Conference (ASP-DAC) (2011)","DOI":"10.1109\/ASPDAC.2011.5722188"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Goswami, D., Schneider, R., Chakraborty, S.: Re-engineering cyber-physical control applications for hybrid communication protocols. In: Design, Automation and Test in Europe Conference (DATE) (2011)","DOI":"10.1109\/DATE.2011.5763148"},{"issue":"6","key":"14_CR12","doi-asserted-by":"publisher","first-page":"2337","DOI":"10.1109\/TCST.2014.2301795","volume":"22","author":"D Goswami","year":"2014","unstructured":"Goswami, D., Schneider, R., Chakraborty, S.: Relaxing signal delay constraints in distributed embedded controllers. IEEE Trans. Control Syst. Technol. 22(6), 2337\u20132345 (2014)","journal-title":"IEEE Trans. Control Syst. Technol."},{"issue":"12","key":"14_CR13","doi-asserted-by":"publisher","first-page":"1443","DOI":"10.1109\/12.477249","volume":"44","author":"M Hamdaoui","year":"1995","unstructured":"Hamdaoui, M., Ramanathan, P.: A dynamic priority assignment technique for streams with (m, k)-firm deadlines. IEEE Trans. Comput. 44(12), 1443\u20131451 (1995)","journal-title":"IEEE Trans. Comput."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Hammadeh, Z.A.H., et\u00a0al.: Bounding deadline misses in weakly-hard real-time systems with task dependencies. In: Design, Automation & Test in Europe Conference & Exhibition (DATE) (2017)","DOI":"10.23919\/DATE.2017.7927054"},{"issue":"11","key":"14_CR15","doi-asserted-by":"publisher","first-page":"4016","DOI":"10.1109\/TCAD.2022.3198905","volume":"41","author":"C Hobbs","year":"2022","unstructured":"Hobbs, C., et al.: Safety analysis of embedded controllers under implementation platform timing uncertainties. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11), 4016\u20134027 (2022)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Hobbs, C., et\u00a0al.: Quantitative safety-driven co-synthesis of cyber-physical system implementations. In: International Conference on Cyber-Physical Systems (ICCPS) (2024)","DOI":"10.1109\/ICCPS61052.2024.00016"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Lu, P., et\u00a0al.: Repairing learning-enabled controllers while preserving what works. In: 15th ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS) (2024)","DOI":"10.1109\/ICCPS61052.2024.00007"},{"key":"14_CR18","unstructured":"Maggio, M., et\u00a0al.: Control-system stability under consecutive deadline misses constraints. In: 32nd Euromicro Conference on Real-Time Systems (ECRTS) (2020)"},{"key":"14_CR19","unstructured":"Maxiaguine, A., et\u00a0al.: Rate analysis for streaming applications with on-chip buffer constraints. In: Asia & South Pacific Design Automation Conference (ASP-DAC) (2004)"},{"key":"14_CR20","unstructured":"Melcer, D., et\u00a0al.: Shield decentralization for safe multi-agent reinforcement learning. In: 36th International Conference on Neural Information Processing Systems (NeurIPS) (2022)"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Oetjens, J.H., et\u00a0al.: Safety evaluation of automotive electronics using virtual prototypes: state of the art and research challenges. In: Design, Automation Conference (DAC) (2014)","DOI":"10.1145\/2593069.2602976"},{"key":"14_CR22","unstructured":"Pazzaglia, P., et\u00a0al.: Beyond the weakly hard model: measuring the performance cost of deadline misses. Dagstuhl Artifacts Ser. 106, 4:1\u20134:2 (2018)"},{"key":"14_CR23","unstructured":"Pazzaglia, P., et\u00a0al.: DMAC: deadline-miss-aware control. Dagstuhl Artifacts Series 133, 3:1\u20133:3 (2019)"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Phan, L.T.X., et\u00a0al.: Modeling buffers with data refresh semantics in automotive architectures. In: International Conference on Embedded Software (EMSOFT) (2010)","DOI":"10.1145\/1879021.1879038"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Roy, D., et\u00a0al.: GoodSpread: criticality-aware static scheduling of CPS with multi-QoS resources. In: IEEE Real-Time Systems Symposium (RTSS) (2020)","DOI":"10.1109\/RTSS49844.2020.00026"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Roy, D., et\u00a0al.: Timing debugging for cyber-physical systems. In: Design, Automation and Test in Europe Conference (DATE) (2021)","DOI":"10.23919\/DATE51398.2021.9474012"},{"key":"14_CR27","unstructured":"Vreman, N., et\u00a0al.: Stability and performance analysis of control systems subject to bursts of deadline misses. In: Euromicro Conference on Real-Time Sys. (ECRTS) (2021)"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Vreman, N., et\u00a0al.: Deadline-miss-adaptive controller implementation for real-time control systems. In: 28th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (2022)","DOI":"10.1109\/RTAS54340.2022.00010"},{"key":"14_CR29","doi-asserted-by":"crossref","unstructured":"Vreman, N., et\u00a0al.: WeaklyHard.jl: scalable analysis of weakly-hard constraints. In: IEEE 28th Real-Time and Embedded Technical and Applied Symposium (RTAS) (2022)","DOI":"10.1109\/RTAS54340.2022.00026"},{"key":"14_CR30","unstructured":"Xu, S.: Control Model Benchmarks for Python (2024). https:\/\/github.com\/shengjiex98\/controlbenchmarks"},{"key":"14_CR31","doi-asserted-by":"crossref","unstructured":"Xu, S., et\u00a0al.: Safety-aware flexible schedule synthesis for cyber-physical systems using weakly-hard constraints. In: Asia and South Pacific Design Automation Conference (ASP-DAC) (2023)","DOI":"10.1145\/3566097.3567848"},{"key":"14_CR32","doi-asserted-by":"crossref","unstructured":"Xu, S., et\u00a0al.: Safety-aware implementation of control tasks via scheduling with period boosting and compressing. In: International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) (2023)","DOI":"10.1109\/RTCSA58653.2023.00031"},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"Xu, S., et\u00a0al.: Statistical approach to efficient and deterministic schedule synthesis for cyber-physical systems. In: International Symposium on Automated Technology for Verification and Analysis (ATVA) (2023)","DOI":"10.1007\/978-3-031-45329-8_15"},{"key":"14_CR34","doi-asserted-by":"crossref","unstructured":"Yeolekar, A., et\u00a0al.: Checking scheduling-induced violations of control safety properties. In: Automated Technology for Verification and Analysis (ATVA) (2022)","DOI":"10.1007\/978-3-031-19992-9_7"},{"key":"14_CR35","doi-asserted-by":"crossref","unstructured":"Yeolekar, A., et\u00a0al.: Repairing control safety violations via scheduler patch synthesis. In: ACM 16th International Conference on Cyber-Physical Systems (ICCPS) (2025)","DOI":"10.1145\/3716550.3722035"},{"key":"14_CR36","doi-asserted-by":"crossref","unstructured":"Zhang, L., et\u00a0al.: Schedule management framework for cloud-based future automotive software systems. In: International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) (2016)","DOI":"10.1109\/RTCSA.2016.11"}],"container-title":["Lecture Notes in Computer Science","Applied Algorithms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-15621-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T16:38:12Z","timestamp":1767631092000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-15621-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032156204","9783032156211"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-15621-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"6 January 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICAA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applied Algorithms","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kolkata","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 January 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 January 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icaa2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icaa2026.framer.website\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}