{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T21:04:43Z","timestamp":1763499883277,"version":"3.41.0"},"reference-count":49,"publisher":"Association for Computing Machinery (ACM)","issue":"5s","license":[{"start":{"date-parts":[[2023,9,9]],"date-time":"2023-09-09T00:00:00Z","timestamp":1694217600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Wallenberg AI, Autonomous Systems and Software Program"},{"DOI":"10.13039\/501100004063","name":"Knut and Alice Wallenberg Foundation","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100004063","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Intelligent Cloud Robotics for Real-Time Manipulation at Scale"},{"name":"European Union\u2019s Horizon 2020 research and innovation programme","award":["871259"],"award-info":[{"award-number":["871259"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2023,10,31]]},"abstract":"<jats:p>\n            Control theory allows one to design controllers that are robust to external disturbances, model simplification, and modelling inaccuracy. Researchers have investigated whether the robustness carries on to the controller\u2019s digital implementation, mostly looking at how the controller reacts to either communication or computational problems. Communication problems are typically modelled using random variables (i.e., estimating the probability that a fault will occur during a transmission), while computational problems are modelled using deterministic guarantees on the number of deadlines that the control task has to meet. These fault models allow the engineer to both design robust controllers and assess the controllers\u2019 behaviour in the presence of isolated faults. Despite being very relevant for the real-world implementations of control system, the question of what happens when these faults occur simultaneously does not yet have a proper answer. In this paper, we answer this question in the stochastic setting, using the theory of Markov Jump Linear Systems to provide stability contracts with\n            <jats:italic>almost sure<\/jats:italic>\n            guarantees of convergence. For linear time-invariant Markov jump linear systems, mean square stability implies almost sure convergence \u2013 a property that is central to our investigation. Our research primarily emphasises the validation of this property for closed-loop systems that are subject to packet losses and computational overruns, potentially occurring simultaneously. We apply our method to two case studies from the recent literature and show their robustness to a comprehensive set of faults. We employ closed-loop system simulations to empirically derive performance metrics that elucidate the quality of the controller implementation, such as the system settling time and the integral absolute error.\n          <\/jats:p>","DOI":"10.1145\/3609123","type":"journal-article","created":{"date-parts":[[2023,9,9]],"date-time":"2023-09-09T13:33:18Z","timestamp":1694266398000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Stochastic Analysis of Control Systems Subject to Communication and Computation Faults"],"prefix":"10.1145","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6732-9500","authenticated-orcid":false,"given":"Nils","family":"Vreman","sequence":"first","affiliation":[{"name":"Department of Automatic Control, Lund Unversity, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1143-1127","authenticated-orcid":false,"given":"Martina","family":"Maggio","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Saarland University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,9,9]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2018.15"},{"key":"e_1_3_2_3_2","series-title":"Mathematics in science and engineering","volume-title":"Introduction to Stochastic Control Theory","author":"\u00c5str\u00f6m K. J.","year":"1970","unstructured":"K. J. \u00c5str\u00f6m. 1970. Introduction to Stochastic Control Theory. Mathematics in science and engineering, Vol. 70."},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/12.919277"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1080\/00207177508922037"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192406"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.03.007"},{"key":"e_1_3_2_8_2","volume-title":"Soft Real-Time Systems: Predictability vs. Efficiency","author":"Buttazzo G.","year":"2005","unstructured":"G. Buttazzo, G. Lipari, L. Abeni, and M. Caccamo. 2005. Soft Real-Time Systems: Predictability vs. Efficiency."},{"key":"e_1_3_2_9_2","volume-title":"16th IFAC World Congress","author":"Cervin A.","year":"2005","unstructured":"A. Cervin. 2005. Analysis of overrun strategies in periodic control tasks. In 16th IFAC World Congress."},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714908"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2018.00028"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.06.017"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/b138575"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.4230\/LITES-v006-i001-a003"},{"key":"e_1_3_2_15_2","volume-title":"A Modern Introduction to Probability and Statistics","author":"Dekking F. M.","year":"2006","unstructured":"F. M. Dekking, C. Kraaikamp, H. P. Lopuha\u00e4, and L. E. Meester. 2006. A Modern Introduction to Probability and Statistics."},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2107631"},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1080\/00207179408923131"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342212"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.5555\/248979"},{"key":"e_1_3_2_20_2","volume-title":"International Symposium on Integrated Circuits","author":"Goswami D.","year":"2014","unstructured":"D. Goswami, D. Mueller-Gritschneder, T. Basten, U. Schlichtmann, and S. Chakraborty. 2014. Fault-tolerant embedded control systems for unreliable hardware. In International Symposium on Integrated Circuits."},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805825"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.307"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3198905"},{"key":"e_1_3_2_24_2","volume-title":"Design, Automation & Test in Europe Conference Exhibition","author":"Kauer M.","year":"2014","unstructured":"M. Kauer, D. Soudbakhsh, D. Goswami, S. Chakraborty, and A. M. Annaswamy. 2014. Fault-tolerant control synthesis and verification of distributed embedded systems. In Design, Automation & Test in Europe Conference Exhibition."},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.11.037"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184698"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184681"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264364"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619831"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2020.21"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2021.16"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3139258.3139276"},{"key":"e_1_3_2_33_2","volume-title":"Feedback Linux Scheduling and a Simulation Tool for Wireless Control","author":"Ohlin M.","year":"2006","unstructured":"M. Ohlin. 2006. Feedback Linux Scheduling and a Simulation Tool for Wireless Control. Ph.D. Dissertation. Department of Automatic Control."},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2019.1"},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2018.10"},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.5555\/248504"},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3144217"},{"key":"e_1_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2010999"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887306"},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1025245"},{"key":"e_1_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.1109\/2.386982"},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/3126497"},{"key":"e_1_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2016.7810677"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS52674.2021.00029"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2018.6"},{"key":"e_1_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2021.15"},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS54340.2022.00010"},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1145\/2220336.2220340"},{"key":"e_1_3_2_49_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.08.481"},{"key":"e_1_3_2_50_2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.800674"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609123","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3609123","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:58Z","timestamp":1750182538000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609123"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,9]]},"references-count":49,"journal-issue":{"issue":"5s","published-print":{"date-parts":[[2023,10,31]]}},"alternative-id":["10.1145\/3609123"],"URL":"https:\/\/doi.org\/10.1145\/3609123","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2023,9,9]]},"assertion":[{"value":"2023-03-23","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-07-13","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}