{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T15:11:59Z","timestamp":1778080319660,"version":"3.51.4"},"publisher-location":"Singapore","reference-count":150,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819586165","type":"print"},{"value":"9789819586172","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-981-95-8617-2_7","type":"book-chapter","created":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T14:22:33Z","timestamp":1778077353000},"page":"213-286","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Building Safe Autonomous Systems Using Imperfect Components"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1784-1386","authenticated-orcid":false,"given":"Shengjie","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-3688-1399","authenticated-orcid":false,"given":"Prateek","family":"Ganguli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-4512-2966","authenticated-orcid":false,"given":"Tingan","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-3006-7447","authenticated-orcid":false,"given":"Arkaprava","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1371-2803","authenticated-orcid":false,"given":"Bineet","family":"Ghosh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-3154-8302","authenticated-orcid":false,"given":"Kurt","family":"Wilson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7017-0158","authenticated-orcid":false,"given":"Abdullah","family":"Al Arafat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4999-7505","authenticated-orcid":false,"given":"John","family":"Baugh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9712-4696","authenticated-orcid":false,"given":"Zhishan","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4147-6860","authenticated-orcid":false,"given":"Benjamin","family":"Berg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8871-0298","authenticated-orcid":false,"given":"Parasara Sridhar","family":"Duggirala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0503-6235","authenticated-orcid":false,"given":"Samarjit","family":"Chakraborty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,5,1]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Amert, T., et\u00a0al.: Timing-predictable vision processing for autonomous systems. In: Design, Automation and Test in Europe Conference (DATE) (2021)","DOI":"10.23919\/DATE51398.2021.9474130"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Ames, A.D., et\u00a0al.: Control barrier functions: theory and applications. In: 2019 18th European Control Conference (ECC), pp. 3420\u20133431. IEEE (2019)","DOI":"10.23919\/ECC.2019.8796030"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Annaswamy, A.M., et\u00a0al.: Arbitrated network control systems: a co-design of control and platform for cyber-physical systems. In: Workshop on Cyber-Physical Systems (CPSW@CISS) (2013)","DOI":"10.1007\/978-3-319-01159-2_18"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Balszun, M., et\u00a0al.: Effectively utilizing elastic resources in networked control systems. In: International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) (2017)","DOI":"10.1109\/RTCSA.2017.8046303"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Balszun, M., et\u00a0al.: Predictable vision for autonomous systems. In: IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC) (2020)","DOI":"10.1109\/ISORC49007.2020.00025"},{"issue":"5","key":"7_CR6","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/s10009-018-0497-2","volume":"21","author":"M Becker","year":"2019","unstructured":"Becker, M., et al.: Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking. Int. J. Softw. Tools Technol. Transfer (STTT) 21(5), 515\u2013543 (2019)","journal-title":"Int. J. Softw. Tools Technol. Transfer (STTT)"},{"issue":"4","key":"7_CR7","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/12.919277","volume":"50","author":"G Bernat","year":"2001","unstructured":"Bernat, G., et al.: Weakly hard real-time systems. IEEE Trans. Comput. 50(4), 308\u2013321 (2001)","journal-title":"IEEE Trans. Comput."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Bogomolov, S., et\u00a0al.: JuliaReach: a toolbox for set-based reachability. In: ACM International Conference on Hybrid Systems: Computation and Control (HSCC) (2019)","DOI":"10.1145\/3302504.3311804"},{"key":"7_CR9","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":"7_CR10","doi-asserted-by":"crossref","unstructured":"Bouillard, A., et\u00a0al.: Lightweight modeling of complex state dependencies in stream processing systems. In: IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (2009)","DOI":"10.1109\/RTAS.2009.27"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Broy, M., et\u00a0al.: Cross-layer analysis, testing and verification of automotive control software. In: International Conference on Embedded Software (EMSOFT) (2011)","DOI":"10.1145\/2038642.2038683"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Capogrosso, L., et\u00a0al.: Split-Et-Impera: a framework for the design of distributed deep learning applications. In: International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) (2023)","DOI":"10.1109\/DDECS57882.2023.10139711"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Capogrosso, L., et\u00a0al.: Enhancing split computing and early exit applications through predefined sparsity. In: Forum on specification and Design Languages (FDL) (2024)","DOI":"10.1109\/FDL63219.2024.10673767"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Capogrosso, L., et\u00a0al.: MTL-split: multi-task learning for edge devices using split computing. In: Design Automation Conference (DAC) (2024)","DOI":"10.1145\/3649329.3655686"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Capogrosso, L., et\u00a0al.: LO-SC: local-only split computing for accurate deep learning on edge devices. In: International Conference on VLSI Design (VLSID) (2025)","DOI":"10.1109\/VLSID64188.2025.00089"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Carra, D., Neglia, G.: DNN split computing: quantization and run-length coding are enough. In: Global Communications Conference (GLOBECOM) (2023)","DOI":"10.1109\/GLOBECOM54140.2023.10437445"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., Schneider, K.: Designing imperfect cyber-physical systems. In: Forum on Specification and Design Languages (FDL) (2025)","DOI":"10.1109\/FDL68117.2025.11165401"},{"key":"7_CR18","unstructured":"Chakraborty, S., Thiele, L.: A new task model for streaming applications and its schedulability analysis. In: Design, Automation and Test in Europe Conference (DATE) (2005)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., et\u00a0al.: On the complexity of scheduling conditional real-time code. In: Workshop on Algorithms and Data Structures (WADS) (2001)","DOI":"10.1007\/3-540-44634-6_5"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., et\u00a0al.: Timing and schedulability analysis for distributed automotive control applications. In: International Conference on Embedded Software (EMSOFT) (2011)","DOI":"10.1145\/2038642.2038696"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., et\u00a0al.: Cross-layer interactions in CPS for performance and certification. In: Design, Automation and Test in Europe Conference (DATE) (2019)","DOI":"10.23919\/DATE.2019.8715153"},{"issue":"4","key":"7_CR22","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1561\/1000000045","volume":"10","author":"W Chang","year":"2016","unstructured":"Chang, W., Chakraborty, S.: Resource-aware automotive control systems design: a cyber-physical systems approach. Found. Trends Electron. Des. Autom. 10(4), 249\u2013369 (2016)","journal-title":"Found. Trends Electron. Des. Autom."},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Chang, W., et\u00a0al.: Battery- and aging-aware embedded control systems for electric vehicles. In: IEEE Real-Time Systems Symposium (RTSS) (2014)","DOI":"10.1109\/RTSS.2014.24"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Chang, W., et\u00a0al.: Reliable CPS design for mitigating semiconductor and battery aging in electric vehicles. In: Cyber-Physical Systems, Networks, and Applications (CPSNA) (2015)","DOI":"10.1109\/CPSNA.2015.16"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Chang, W., et\u00a0al.: Model-based design of resource-efficient automotive control software. In: IEEE\/ACM International Conference on Computer-Aided Design (ICCAD) (2016)","DOI":"10.1145\/2966986.2980075"},{"issue":"4","key":"7_CR26","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1109\/TCAD.2016.2613933","volume":"36","author":"W Chang","year":"2017","unstructured":"Chang, W., et al.: Memory-aware embedded control systems design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(4), 586\u2013599 (2017)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Chang, W., et\u00a0al.: Cache-aware task scheduling for maximizing control performance. In: Design, Automation and Test in Europe Conference (DATE) (2018)","DOI":"10.23919\/DATE.2018.8342098"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Chang, W., et\u00a0al.: OS-aware automotive controller design using non-uniform sampling. ACM Trans. Cyber-Phys. Syst. 2(4), 26:1\u201326:22 (2018)","DOI":"10.1145\/3121427"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Choi, H., et\u00a0al.: Deep feature compression for collaborative object detection. In: 25th International Conference on Image Processing (ICIP) (2018)","DOI":"10.1109\/ICIP.2018.8451100"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Chollet, F.: Xception: deep learning with depthwise separable convolutions. In: IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (2017)","DOI":"10.1109\/CVPR.2017.195"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Cunico, F., et\u00a0al.: I-SPLIT: deep network interpretability for split computing. In: International Conference on Pattern Recognition (ICPR) (2022)","DOI":"10.1109\/ICPR56361.2022.9956625"},{"key":"7_CR32","unstructured":"Ericsson: 5G experience is determined by speed, not latency. https:\/\/www.ericsson.com\/en\/blog\/2022\/8\/who-cares-about-latency-in-5g. Accessed 18 May 2025"},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"Fraccaroli, E., et\u00a0al.: Timing predictability for SOME\/IP-based service-oriented automotive in-vehicle networks. In: Design, Automation and Test in Europe Conference (DATE) (2023)","DOI":"10.23919\/DATE56975.2023.10137065"},{"key":"7_CR34","volume-title":"Signals and Linear Systems","author":"RA Gabel","year":"1991","unstructured":"Gabel, R.A., Roberts, R.A.: Signals and Linear Systems. Wiley, Hoboken (1991)"},{"key":"7_CR35","unstructured":"Ganguli, P., et\u00a0al.: Trading delays with uncertainty: controller design for DNN-based perception processing on edge-cloud platforms. In: 33rd International Conference on Real-Time Networks and Systems (RTNS) (2025)"},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"Geier, M., et\u00a0al.: GigE vision data acquisition for visual servoing using SG\/DMA proxying. In: IEEE International Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia) (2016)","DOI":"10.1145\/2993452.2993455"},{"key":"7_CR37","doi-asserted-by":"crossref","unstructured":"Geier, M., et\u00a0al.: Debugging FPGA-accelerated real-time systems. In: IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (2020)","DOI":"10.1109\/RTAS48715.2020.00010"},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Georgakos, G., et\u00a0al.: Reliability challenges for electric vehicles: from devices to architecture and systems software. In: Design Automation Conference (DAC) (2013)","DOI":"10.1145\/2463209.2488855"},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Ghosh, B., Duggirala, P.S.: Robust reachable set: accounting for uncertainties in linear dynamical systems. ACM Trans. Embed. Comput. Syst. 18(5s), 97:1\u201397:22 (2019)","DOI":"10.1145\/3358229"},{"key":"7_CR40","doi-asserted-by":"publisher","unstructured":"Ghosh, B., Duggirala, P.S.: Robustness of safety for linear dynamical systems: symbolic and numerical approaches (2021). https:\/\/doi.org\/10.48550\/arXiv.2109.07632","DOI":"10.48550\/arXiv.2109.07632"},{"key":"7_CR41","doi-asserted-by":"crossref","unstructured":"Ghosh, B., et\u00a0al.: Statistical hypothesis testing of controller implementations under timing uncertainties. In: International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) (2022)","DOI":"10.1109\/RTCSA55878.2022.00008"},{"issue":"1","key":"7_CR42","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":"7_CR43","doi-asserted-by":"crossref","unstructured":"Ghosh, S.K., et\u00a0al.: Design and validation of fault-tolerant embedded controllers. In: Design, Automation and Test in Europe Conference (DATE) (2018)","DOI":"10.23919\/DATE.2018.8342212"},{"key":"7_CR44","doi-asserted-by":"publisher","unstructured":"Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Morari, M., Thiele, L. (eds.) Hybrid Systems: Computation and Control (HSCC 2005). LNCS, vol.\u00a03414, pp. 291\u2013305. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31954-2_19","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"7_CR45","unstructured":"Girard, A., et\u00a0al.: Compute-efficient reachability analysis for linear systems with time-varying delays. In: International Symposium on Automated Technology for Verification and Analysis (ATVA) (2006)"},{"key":"7_CR46","doi-asserted-by":"crossref","unstructured":"Gla\u00df, M., et\u00a0al.: Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis. In: Design Automation Conference (DAC) (2009)","DOI":"10.1145\/1629911.1629925"},{"key":"7_CR47","doi-asserted-by":"crossref","unstructured":"Goswami, D., et\u00a0al.: 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":"7_CR48","doi-asserted-by":"crossref","unstructured":"Goswami, D., et\u00a0al.: 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"},{"key":"7_CR49","doi-asserted-by":"crossref","unstructured":"Goswami, D., et\u00a0al.: Model-based development and verification of control software for electric vehicles. In: Design Automation Conference (DAC) (2013)","DOI":"10.1145\/2463209.2488853"},{"key":"7_CR50","doi-asserted-by":"crossref","unstructured":"Goswami, D., et\u00a0al.: Multirate controller design for resource- and schedule-constrained automotive ecus. In: Design, Automation and Test in Europe Conference (DATE) (2013)","DOI":"10.7873\/DATE.2013.235"},{"key":"7_CR51","doi-asserted-by":"crossref","unstructured":"Goswami, D., et\u00a0al.: Fault-tolerant embedded control systems for unreliable hardware. In: IEEE International Symposium on Integrated Circuits (ISIC) (2014)","DOI":"10.1109\/ISICIR.2014.7029568"},{"issue":"6","key":"7_CR52","doi-asserted-by":"publisher","first-page":"2337","DOI":"10.1109\/TCST.2014.2301795","volume":"22","author":"D Goswami","year":"2014","unstructured":"Goswami, D., et al.: 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":"6","key":"7_CR53","doi-asserted-by":"publisher","first-page":"1789","DOI":"10.1007\/s11263-021-01453-z","volume":"129","author":"J Gou","year":"2021","unstructured":"Gou, J., Yu, B., Maybank, S.J., et al.: Knowledge distillation: a survey. Int. J. Comput. Vis. 129(6), 1789\u20131819 (2021). https:\/\/doi.org\/10.1007\/s11263-021-01453-z","journal-title":"Int. J. Comput. Vis."},{"key":"7_CR54","doi-asserted-by":"crossref","unstructured":"Hagiescu, A., et\u00a0al.: Performance analysis of FlexRay-based ECU networks. In: Design Automation Conference (DAC) (2007)","DOI":"10.1145\/1278480.1278554"},{"key":"7_CR55","doi-asserted-by":"crossref","unstructured":"Hobbs, C., et\u00a0al.: Perception computing-aware controller synthesis for autonomous systems. In: Design, Automation and Test in Europe Conference (DATE) (2021)","DOI":"10.23919\/DATE51398.2021.9474189"},{"issue":"11","key":"7_CR56","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":"7_CR57","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":"7_CR58","doi-asserted-by":"crossref","unstructured":"Howard, A., et\u00a0al.: Searching for MobileNetV3. In: International Conference on Computer Vision (ICCV) (2019)","DOI":"10.1109\/ICCV.2019.00140"},{"key":"7_CR59","doi-asserted-by":"publisher","unstructured":"Howard, A.G., et\u00a0al.: MobileNets: efficient convolutional neural networks for mobile vision applications (2017). https:\/\/doi.org\/10.48550\/arXiv.1704.04861","DOI":"10.48550\/arXiv.1704.04861"},{"key":"7_CR60","unstructured":"Jocher, G., Chaurasia, A., Qiu, J.: Ultralytics YOLO. https:\/\/github.com\/ultralytics\/ultralytics"},{"key":"7_CR61","doi-asserted-by":"crossref","unstructured":"Ju, L., et\u00a0al.: Performance debugging of Esterel specifications. In: International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS) (2008)","DOI":"10.1145\/1450135.1450175"},{"key":"7_CR62","doi-asserted-by":"crossref","unstructured":"Ju, L., et\u00a0al.: Timing analysis of Esterel programs on general-purpose multiprocessors. In: Design Automation Conference (DAC) (2010)","DOI":"10.1145\/1837274.1837288"},{"key":"7_CR63","doi-asserted-by":"crossref","unstructured":"Kang, Y., et\u00a0al.: Neurosurgeon: collaborative intelligence between the cloud and mobile edge. SIGPLAN Not. 52(4) (2017)","DOI":"10.1145\/3093336.3037698"},{"key":"7_CR64","doi-asserted-by":"crossref","unstructured":"Kauer, M., et\u00a0al.: Formal verification of distributed controllers using time-stamped event count automata. In: Asia and South Pacific Design Automation Conference (ASP-DAC) (2013)","DOI":"10.1109\/ASPDAC.2013.6509631"},{"key":"7_CR65","doi-asserted-by":"crossref","unstructured":"Kauer, M., et\u00a0al.: Fault-tolerant control synthesis and verification of distributed embedded systems. In: Design, Automation and Test in Europe Conference (DATE) (2014)","DOI":"10.7873\/DATE2014.069"},{"key":"7_CR66","unstructured":"The KITTI vision benchmark suite. https:\/\/www.cvlibs.net\/datasets\/kitti\/. Accessed 24 June 2024"},{"key":"7_CR67","doi-asserted-by":"crossref","unstructured":"Kruber, F., et\u00a0al.: Vehicle position estimation with aerial imagery from unmanned aerial vehicles. In: IEEE Intelligent Vehicles Symposium (IV) (2020)","DOI":"10.1109\/IV47402.2020.9304794"},{"key":"7_CR68","doi-asserted-by":"publisher","unstructured":"Li, G., et\u00a0al.: Auto-tuning neural network quantization framework for collaborative inference between the cloud and edge. In: K\u016frkov\u00e1, V., et\u00a0al. (eds.) Artificial Neural Networks and Machine Learning \u2013 ICANN 2018. LNCS, vol. 11139, pp. 402\u2013411. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-01418-6_40","DOI":"10.1007\/978-3-030-01418-6_40"},{"key":"7_CR69","doi-asserted-by":"crossref","unstructured":"Liang, H., et\u00a0al.: Security-driven codesign with weakly-hard constraints for real-time embedded systems. In: IEEE International Conference on Computer Design (ICCD) (2019)","DOI":"10.1109\/ICCD46524.2019.00035"},{"key":"7_CR70","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1016\/j.neucom.2021.07.045","volume":"461","author":"T Liang","year":"2021","unstructured":"Liang, T., et al.: Pruning and quantization for deep neural network acceleration: a survey. Neurocomputing 461, 370\u2013403 (2021)","journal-title":"Neurocomputing"},{"key":"7_CR71","doi-asserted-by":"publisher","unstructured":"Liberzon, D.: Switching in Systems and Control, vol.\u00a0190. Birkh\u00e4user, Boston (2003). https:\/\/doi.org\/10.1007\/978-1-4612-0017-8","DOI":"10.1007\/978-1-4612-0017-8"},{"key":"7_CR72","doi-asserted-by":"crossref","unstructured":"Lukasiewycz, M., Chakraborty, S.: Concurrent architecture and schedule optimization of time-triggered automotive systems. In: International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS) (2012)","DOI":"10.1145\/2380445.2380506"},{"key":"7_CR73","doi-asserted-by":"crossref","unstructured":"Lukasiewycz, M., et\u00a0al.: FlexRay switch scheduling \u2013 a networking concept for electric vehicles. In: Design, Automation and Test in Europe Conference (DATE) (2011)","DOI":"10.1109\/DATE.2011.5763021"},{"key":"7_CR74","doi-asserted-by":"crossref","unstructured":"Lukasiewycz, M., et\u00a0al.: Modular scheduling of distributed heterogeneous time-triggered automotive systems. In: Asia and South Pacific Design Automation Conference (ASP-DAC) (2012)","DOI":"10.1109\/ASPDAC.2012.6165039"},{"key":"7_CR75","doi-asserted-by":"crossref","unstructured":"Lukasiewycz, M., et\u00a0al.: Priority assignment for event-triggered systems using mathematical programming. In: Design, Automation and Test in Europe Conference (DATE) (2013)","DOI":"10.7873\/DATE.2013.205"},{"key":"7_CR76","doi-asserted-by":"crossref","unstructured":"Lukasiewycz, M., et\u00a0al.: System architecture and software design for electric vehicles. In: Design Automation Conference (DAC) (2013)","DOI":"10.1145\/2463209.2488852"},{"key":"7_CR77","doi-asserted-by":"publisher","unstructured":"Maggio, M., et\u00a0al.: Control-system stability under consecutive deadline misses constraints. In: ECRTS 2020. LIPIcs, vol. 165, 21:1\u201321:24 (2020). https:\/\/doi.org\/10.4230\/LIPICS.ECRTS.2020.21","DOI":"10.4230\/LIPICS.ECRTS.2020.21"},{"key":"7_CR78","doi-asserted-by":"crossref","unstructured":"Majumdar, D., et\u00a0al.: Reconfigurable communication middleware for FlexRay-based distributed embedded systems. In: International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) (2015)","DOI":"10.1109\/RTCSA.2015.19"},{"key":"7_CR79","doi-asserted-by":"crossref","unstructured":"Maldonado, L., et\u00a0al.: Exploiting system dynamics for resource-efficient automotive CPS design. In: Design, Automation and Test in Europe Conference (DATE) (2019)","DOI":"10.23919\/DATE.2019.8715176"},{"key":"7_CR80","doi-asserted-by":"crossref","unstructured":"Masrur, A., et\u00a0al.: VM-based real-time services for automotive control applications. In: International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) (2010)","DOI":"10.1109\/RTCSA.2010.38"},{"key":"7_CR81","doi-asserted-by":"crossref","unstructured":"Masrur, A., et\u00a0al.: Designing VM schedulers for embedded real-time applications. In: International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS) (2011)","DOI":"10.1145\/2039370.2039378"},{"key":"7_CR82","doi-asserted-by":"crossref","unstructured":"Masrur, A., et\u00a0al.: Schedulability analysis of distributed cyber-physical applications on mixed time-\/event-triggered bus architectures with retransmissions. In: International Symposium on Industrial Embedded Systems (SIES) (2011)","DOI":"10.1109\/SIES.2011.5953670"},{"key":"7_CR83","doi-asserted-by":"crossref","unstructured":"Masrur, A., et\u00a0al.: Schedulability analysis for processors with aging-aware autonomic frequency scaling. In: International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) (2012)","DOI":"10.1109\/RTCSA.2012.57"},{"key":"7_CR84","doi-asserted-by":"crossref","unstructured":"Masrur, A., et\u00a0al.: Timing analysis of cyber-physical applications for hybrid communication protocols. In: Design, Automation and Test in Europe Conference (DATE) (2012)","DOI":"10.1109\/DATE.2012.6176681"},{"key":"7_CR85","doi-asserted-by":"crossref","unstructured":"Matsubara, Y., et\u00a0al.: Distilled split deep neural networks for edge-assisted real-time systems. In: Workshop on Hot Topics in Video Analytics and Intelligent Edges at Mobicom (2019)","DOI":"10.1145\/3349614.3356022"},{"key":"7_CR86","doi-asserted-by":"crossref","unstructured":"Matsubara, Y., et\u00a0al.: BottleFit: learning compressed representations in deep neural networks for effective and efficient split computing. In: International Symposium on a World of Wireless, Mobile and Multimedia Networks (2022)","DOI":"10.1109\/WoWMoM54355.2022.00032"},{"key":"7_CR87","unstructured":"Maxiaguine, A., et\u00a0al.: Rate analysis for streaming applications with on-chip buffer constraints. In: Asia and South Pacific Design Automation Conference (ASP-DAC) (2004)"},{"key":"7_CR88","doi-asserted-by":"crossref","unstructured":"Maxiaguine, A., et\u00a0al.: DVS for buffer-constrained architectures with predictable QoS-energy tradeoffs. In: International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS) (2005)","DOI":"10.1145\/1084834.1084865"},{"key":"7_CR89","doi-asserted-by":"crossref","unstructured":"Metta, R., et\u00a0al.: TIC: A scalable model checking based approach to WCET estimation. In: Languages, Compilers, Tools and Theory for Embedded Systems (LCTES) (2016)","DOI":"10.1145\/2907950.2907961"},{"issue":"7","key":"7_CR90","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1109\/TC.2020.3003083","volume":"70","author":"A Minaeva","year":"2021","unstructured":"Minaeva, A., et al.: Control performance optimization for application integration on automotive architectures. IEEE Trans. Comput. 70(7), 1059\u20131073 (2021)","journal-title":"IEEE Trans. Comput."},{"key":"7_CR91","doi-asserted-by":"crossref","unstructured":"Mundhenk, P., et\u00a0al.: Policy-based message scheduling using FlexRay. In: International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS) (2014)","DOI":"10.1145\/2656075.2656094"},{"key":"7_CR92","doi-asserted-by":"crossref","unstructured":"Mundhenk, P., et\u00a0al.: Lightweight authentication for secure automotive networks. In: Design, Automation and Test in Europe Conference (DATE) (2015)","DOI":"10.7873\/DATE.2015.0174"},{"key":"7_CR93","doi-asserted-by":"crossref","unstructured":"Mundhenk, P., et\u00a0al.: Security analysis of automotive architectures using probabilistic model checking. In: Design Automation Conference (DAC) (2015)","DOI":"10.1145\/2744769.2744906"},{"key":"7_CR94","doi-asserted-by":"crossref","unstructured":"Mundhenk, P., et\u00a0al.: Dynamic platforms for uncertainty management in future automotive E\/E architectures: Invited. In: Design Automation Conference (DAC) (2017)","DOI":"10.1145\/3061639.3072950"},{"key":"7_CR95","unstructured":"Murphy, K.: Analysis of robotic vehicle steering and controller delay. In: 5th International Symposium on Robotics and Manufacturing, ISRAM 1994 (1994)"},{"key":"7_CR96","unstructured":"NVIDIA: NVIDIA GeForce RTX 5060. https:\/\/www.nvidia.com\/en-us\/geforce\/graphics-cards\/50-series\/rtx-5060-family\/. Accessed 18 May 2025"},{"key":"7_CR97","unstructured":"NVIDIA: NVIDIA Jetson Nano. https:\/\/www.nvidia.com\/en-us\/autonomous-machines\/embedded-systems\/jetson-nano\/product-development\/. Accessed 18 May 2025"},{"key":"7_CR98","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":"7_CR99","unstructured":"O\u2019Kelly, M., et\u00a0al.: F1TENTH: an open-source evaluation environment for continuous control and reinforcement learning. In: Proceedings of Machine Learning Research (PMLR), vol.\u00a0123, pp. 77\u201389. PMLR (2020)"},{"key":"7_CR100","doi-asserted-by":"crossref","unstructured":"Osman, K., et\u00a0al.: Modelling and controller design for a cruise control system. In: 5th International Colloquium on Signal Processing & Its Applications (2009)","DOI":"10.1109\/CSPA.2009.5069228"},{"key":"7_CR101","doi-asserted-by":"crossref","unstructured":"Phan, L.T.X., et\u00a0al.: Timing analysis of mixed time\/event-triggered multi-mode systems. In: IEEE Real-Time Systems Symposium (RTSS) (2009)","DOI":"10.1109\/RTSS.2009.24"},{"key":"7_CR102","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":"7_CR103","doi-asserted-by":"crossref","unstructured":"Ramesh, S., et\u00a0al.: Specification, verification and design of evolving automotive software: invited. In: Design Automation Conference (DAC) (2017)","DOI":"10.1145\/3061639.3072946"},{"key":"7_CR104","doi-asserted-by":"crossref","unstructured":"Roy, D., et\u00a0al.: Automated synthesis of cyber-physical systems from joint controller\/architecture specifications. In: Forum on Specification and Design Languages (FDL) (2016)","DOI":"10.1109\/FDL.2016.7880389"},{"key":"7_CR105","doi-asserted-by":"crossref","unstructured":"Roy, D., et\u00a0al.: Multi-objective co-optimization of FlexRay-based distributed control systems. In: IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (2016)","DOI":"10.1109\/RTAS.2016.7461344"},{"key":"7_CR106","doi-asserted-by":"crossref","unstructured":"Roy, D., et\u00a0al.: Hybrid automotive in-vehicle networks. In: ACM\/IEEE International Symposium on Networks-on-Chip (NOCS) (2017)","DOI":"10.1145\/3130218.3130235"},{"issue":"1","key":"7_CR107","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1109\/JPROC.2017.2779456","volume":"106","author":"D Roy","year":"2018","unstructured":"Roy, D., et al.: Semantics-preserving cosynthesis of cyber-physical systems. Proc. IEEE 106(1), 171\u2013200 (2018)","journal-title":"Proc. IEEE"},{"key":"7_CR108","doi-asserted-by":"crossref","unstructured":"Roy, D., et\u00a0al.: Waterfall is too slow, let\u2019s go agile: multi-domain coupling for synthesizing automotive cyber-physical systems. In: IEEE\/ACM International Conference on Computer-Aided Design (ICCAD) (2018)","DOI":"10.1145\/3240765.3243500"},{"key":"7_CR109","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":"7_CR110","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":"7_CR111","doi-asserted-by":"crossref","unstructured":"Roy, D., et\u00a0al.: Tool integration for automated synthesis of distributed embedded controllers. ACM Trans. Cyber-Phys. Syst. 6(1), 3:1\u20133:31 (2022)","DOI":"10.1145\/3477499"},{"key":"7_CR112","doi-asserted-by":"crossref","unstructured":"Sagstetter, F., et\u00a0al.: Security challenges in automotive hardware\/software architecture design. In: Design, Automation and Test in Europe Conference (DATE) (2013)","DOI":"10.7873\/DATE.2013.102"},{"key":"7_CR113","doi-asserted-by":"crossref","unstructured":"Sagstetter, F., et\u00a0al.: Schedule integration framework for time-triggered automotive architectures. In: Design Automation Conference (DAC) (2014)","DOI":"10.1145\/2593069.2593211"},{"issue":"4","key":"7_CR114","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1109\/TCAD.2015.2488480","volume":"35","author":"F Sagstetter","year":"2016","unstructured":"Sagstetter, F., et al.: Multischedule synthesis for variant management in automotive time-triggered systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(4), 637\u2013650 (2016)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"issue":"2","key":"7_CR115","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1109\/TCAD.2016.2570421","volume":"36","author":"F Sagstetter","year":"2017","unstructured":"Sagstetter, F., et al.: Generalized asynchronous time-triggered scheduling for flexray. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(2), 214\u2013226 (2017)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"7_CR116","doi-asserted-by":"crossref","unstructured":"Sbai, M., et\u00a0al.: Cut, Distil and Encode (CDE): split cloud-edge deep inference. In: International Conference on Sensing, Communication, and Networking (SECON) (2021)","DOI":"10.1109\/SECON52354.2021.9491600"},{"key":"7_CR117","doi-asserted-by":"crossref","unstructured":"Scharfenberger, C., et\u00a0al.: Robust image processing for an omnidirectional camera-based smart car door. ACM Trans. Embed. Comput. Syst. 11(4), 87:1\u201387:28 (2012)","DOI":"10.1145\/2362336.2362354"},{"key":"7_CR118","doi-asserted-by":"crossref","unstructured":"Schneider, R., et\u00a0al.: Optimized schedule synthesis under real-time constraints for the dynamic segment of flexray. In: IEEE\/IFIP International Conference on Embedded and Ubiquitous Computing (EUC) (2010)","DOI":"10.1109\/EUC.2010.15"},{"key":"7_CR119","doi-asserted-by":"crossref","unstructured":"Schneider, R., et\u00a0al.: Constraint-driven synthesis and tool-support for flexray-based automotive control systems. In: International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS) (2011)","DOI":"10.1145\/2039370.2039394"},{"key":"7_CR120","doi-asserted-by":"crossref","unstructured":"Schneider, R., et\u00a0al.: On the quantification of sustainability and extensibility of flexray schedules. In: Design Automation Conference (DAC) (2011)","DOI":"10.1145\/2024724.2024814"},{"key":"7_CR121","doi-asserted-by":"crossref","unstructured":"Schneider, R., et\u00a0al.: Compositional analysis of switched Ethernet topologies. In: Design, Automation and Test in Europe Conference (DATE) (2013)","DOI":"10.7873\/DATE.2013.231"},{"key":"7_CR122","doi-asserted-by":"crossref","unstructured":"Schneider, R., et\u00a0al.: Multi-layered scheduling of mixed-criticality cyber-physical systems. J. Syst. Archit. 59(10-D), 1215\u20131230 (2013)","DOI":"10.1016\/j.sysarc.2013.09.003"},{"key":"7_CR123","doi-asserted-by":"crossref","unstructured":"Schneider, R., et\u00a0al.: Quantifying notions of extensibility in flexray schedule synthesis. ACM Trans. Des. Autom. Electron. Syst. 19(4), 32:1\u201332:37 (2014)","DOI":"10.1145\/2647954"},{"issue":"10","key":"7_CR124","doi-asserted-by":"publisher","first-page":"1790","DOI":"10.1109\/TC.2017.2700277","volume":"66","author":"S Shreejith","year":"2017","unstructured":"Shreejith, S., et al.: VEGa: a high performance vehicular ethernet gateway on hybrid FPGA. IEEE Trans. Comput. 66(10), 1790\u20131803 (2017)","journal-title":"IEEE Trans. Comput."},{"key":"7_CR125","doi-asserted-by":"publisher","unstructured":"Tan, M., Le, Q.V.: EfficientNet: rethinking model scaling for convolutional neural networks (2020). https:\/\/doi.org\/10.48550\/arXiv.1905.11946","DOI":"10.48550\/arXiv.1905.11946"},{"key":"7_CR126","doi-asserted-by":"crossref","unstructured":"Tibba, G., et\u00a0al.: Testing automotive embedded systems under x-in-the-loop setups. In: IEEE\/ACM International Conference on Computer-Aided Design (ICCAD) (2016)","DOI":"10.1145\/2966986.2980076"},{"key":"7_CR127","unstructured":"Tilbury, D., Messner, B.: Control Tutorials for MATLAB and Simulink"},{"issue":"3","key":"7_CR128","doi-asserted-by":"publisher","first-page":"1354","DOI":"10.3390\/app12031354","volume":"12","author":"M Vajgl","year":"2022","unstructured":"Vajgl, M., et al.: Dist-YOLO: fast object detection with distance estimation. Appl. Sci. 12(3), 1354 (2022). https:\/\/doi.org\/10.3390\/app12031354","journal-title":"Appl. Sci."},{"key":"7_CR129","doi-asserted-by":"crossref","unstructured":"Voit, H., et\u00a0al.: Optimizing hierarchical schedules for improved control performance. In: International Symposium on Industrial Embedded Systems (SIES) (2010)","DOI":"10.1109\/SIES.2010.5551383"},{"key":"7_CR130","doi-asserted-by":"crossref","unstructured":"Voit, H., et\u00a0al.: Adaptive switching controllers for systems with hybrid communication protocols. In: American Control Conference (ACC) (2012)","DOI":"10.1109\/ACC.2012.6315376"},{"key":"7_CR131","doi-asserted-by":"crossref","unstructured":"Voit, H., et\u00a0al.: Adaptive switching controllers for tracking with hybrid communication protocols. In: IEEE Conference on Decision and Control (CDC) (2012)","DOI":"10.1109\/ACC.2012.6315376"},{"key":"7_CR132","doi-asserted-by":"crossref","unstructured":"Wang, Z., et\u00a0al.: Bounding perception neural network uncertainty for safe control of autonomous systems. In: Design, Automation and Test in Europe Conference (DATE) (2021)","DOI":"10.23919\/DATE51398.2021.9474204"},{"issue":"4","key":"7_CR133","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/2583687.2583689","volume":"10","author":"P Waszecki","year":"2013","unstructured":"Waszecki, P., et al.: How to engineer tool-chains for automotive E\/E architectures? SIGBED Rev. 10(4), 6\u201315 (2013)","journal-title":"SIGBED Rev."},{"key":"7_CR134","doi-asserted-by":"crossref","unstructured":"Waszecki, P., et\u00a0al.: Decentralized diagnosis of permanent faults in automotive E\/E architectures. In: International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS) (2015)","DOI":"10.1109\/SAMOS.2015.7363675"},{"issue":"11","key":"7_CR135","doi-asserted-by":"publisher","first-page":"1790","DOI":"10.1109\/TCAD.2017.2666605","volume":"36","author":"P Waszecki","year":"2017","unstructured":"Waszecki, P., et al.: Automotive electrical and electronic architecture security via distributed in-vehicle traffic monitoring. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(11), 1790\u20131803 (2017)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"7_CR136","doi-asserted-by":"crossref","unstructured":"Wilson, K., et al.: Soteria: a formal digital-twin-enabled framework for safety-assurance of latency-aware cyber-physical systems. In: 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC) (2025)","DOI":"10.1145\/3716863.3718028"},{"key":"7_CR137","doi-asserted-by":"crossref","unstructured":"Wilson, K., et\u00a0al.: Physics-aware mixed-criticality systems design via end-to-end verification of CPS. In: 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE). IEEE (2024)","DOI":"10.1109\/MEMOCODE63347.2024.00016"},{"key":"7_CR138","doi-asserted-by":"crossref","unstructured":"Wilson, K., et\u00a0al.: Physics-informed mixed-criticality scheduling for f1tenth cars with preemptable ROS 2 executors. In: IEEE 31st Real-Time and Embedded Technology and Applications Symposium (RTAS) (2025)","DOI":"10.1109\/RTAS65571.2025.00030"},{"key":"7_CR139","doi-asserted-by":"crossref","unstructured":"Xie, G., et\u00a0al.: A real-time CAN-CAN gateway with tight latency analysis and targeted priority assignment. In: IEEE Real-Time Systems Symposium (RTSS) (2020)","DOI":"10.1109\/RTSS49844.2020.00023"},{"key":"7_CR140","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":"7_CR141","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)"},{"key":"7_CR142","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":"7_CR143","doi-asserted-by":"crossref","unstructured":"Xu, S., et\u00a0al.: GPU partitioning & neural architecture sizing for safety-driven sensing in autonomous systems. In: International Conference on Autonomous Agents (ICAA) (2024)","DOI":"10.1109\/ICAA64256.2024.00018"},{"key":"7_CR144","doi-asserted-by":"crossref","unstructured":"Xu, S., et\u00a0al.: Poster abstract: neural architecture sizing for autonomous systems. In: International Conference on Cyber-Physical Systems (ICCPS) (2024)","DOI":"10.1109\/ICCPS61052.2024.00040"},{"key":"7_CR145","doi-asserted-by":"crossref","unstructured":"Yeolekar, A., Metta, R., Hobbs, C., Chakraborty, S.: Checking scheduling-induced violations of control safety properties. In: International Symposium on Automated Technology for Verification and Analysis (ATVA) (2022)","DOI":"10.1007\/978-3-031-19992-9_7"},{"key":"7_CR146","doi-asserted-by":"crossref","unstructured":"Yeolekar, A., et\u00a0al.: Repairing control safety violations via scheduler patch synthesis. In: International Conference on Cyber-Physical Systems (ICCPS) (2025)","DOI":"10.1145\/3716550.3722035"},{"key":"7_CR147","doi-asserted-by":"crossref","unstructured":"Zhang, L., et\u00a0al.: Timing challenges in automotive software architectures. In: International Conference on Software Engineering Companion (ICSE Companion) (2014)","DOI":"10.1145\/2591062.2591138"},{"key":"7_CR148","doi-asserted-by":"crossref","unstructured":"Zhao, Q., et\u00a0al.: CAN bus intrusion detection based on auxiliary classifier GAN and out-of-distribution detection. ACM Trans. Embed. Comput. Syst. 21(4), 45:1\u201345:30 (2022)","DOI":"10.1145\/3540198"},{"key":"7_CR149","doi-asserted-by":"crossref","unstructured":"Zhu, T., et\u00a0al.: Controllers for edge-cloud cyber-physical systems. In: International Conference on Communication Systems and Networks (COMSNETS) (2025)","DOI":"10.1109\/COMSNETS63942.2025.10885702"},{"key":"7_CR150","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2025.3595839","author":"T Zhu","year":"2025","unstructured":"Zhu, T., et al.: Safety-driven DNN sizing for vehicular CPS. IEEE Embed. Syst. Lett. (2025). https:\/\/doi.org\/10.1109\/LES.2025.3595839","journal-title":"IEEE Embed. Syst. Lett."}],"container-title":["Lecture Notes in Computer Science","Engineering Trustworthy Software Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-95-8617-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T14:24:33Z","timestamp":1778077473000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-8617-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9789819586165","9789819586172"],"references-count":150,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-8617-2_7","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":"1 May 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SETSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Summer School on Engineering Trustworthy Software Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Beijing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 May 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 May 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setss2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/tis.ios.ac.cn\/SETSS2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}