{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,25]],"date-time":"2026-07-25T16:36:00Z","timestamp":1784997360019,"version":"3.55.0"},"reference-count":55,"publisher":"Association for Computing Machinery (ACM)","issue":"3","funder":[{"name":"FEDER\/Ministerio de Ciencia e Innovaci\u00f3n \u2013 Agencia Estatal de Investigaci\u00f3n"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Auton. Adapt. Syst."],"published-print":{"date-parts":[[2026,9,30]]},"abstract":"<jats:p>\n                    In smart Cyber-Physical Systems (sCPS), a critical challenge lies in task planning under uncertainty. There is a broad body of work in the area with approaches able to individually deal with different classes of constraints (e.g., ordering, structural) and uncertainties (e.g., in sensing, actuation, latencies). However, these uncertainties are rarely independent and often compound, affecting the satisfaction of goals and other system properties in subtle and often unpredictable ways. According to the\n                    <jats:italic toggle=\"yes\">Uncertainty Interaction Problem<\/jats:italic>\n                    recently proposed in the literature, approaches are needed to identify multiple sources of uncertainty and quantify their impact. In this article, we deal with two types of uncertainty present in task-based sCPS, namely\n                    <jats:italic toggle=\"yes\">temporal availability constraints<\/jats:italic>\n                    and\n                    <jats:italic toggle=\"yes\">element reliability<\/jats:italic>\n                    . The former refers to the availability of a given system element required to perform a task, which may be unavailable for certain periods of time, while the latter is related to system elements that may fail at some point with some probability. This article presents an approach to consider both uncertainties, employing genetic algorithms to incorporate them effectively into planning for deciding how to best adapt the system to changes at runtime. Our method is evaluated in the domains of electric vehicle charging and healthcare robotics. Our evaluation shows that: (i) the proposed approach outperforms a baseline mixed-integer linear programming (MILP) algorithm capable of generating optimal solutions in the absence of uncertainty, providing more robust solutions to failures, changes in temporal availability, or both sources of uncertainty combined; (ii) both sources of uncertainty have a strong and compound impact on the quality of the solutions provided; and (iii) the proposed approach significantly reduces computational cost, with respect to the MILP-based optimization.\n                  <\/jats:p>","DOI":"10.1145\/3733603","type":"journal-article","created":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T11:55:03Z","timestamp":1746532503000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Automated Planning for Task-Based Cyber-Physical Systems under Multiple Sources of Uncertainty"],"prefix":"10.1145","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-8203-7494","authenticated-orcid":false,"given":"Raquel","family":"S\u00e1nchez-Salas","sequence":"first","affiliation":[{"name":"ITIS Software, Universidad de M\u00e1laga, Malaga, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1314-9694","authenticated-orcid":false,"given":"Javier","family":"Troya","sequence":"additional","affiliation":[{"name":"ITIS Software, Universidad de M\u00e1laga, M\u00e1laga, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6717-4775","authenticated-orcid":false,"given":"Javier","family":"C\u00e1mara","sequence":"additional","affiliation":[{"name":"ITIS Software, Universidad de M\u00e1laga, M\u00e1laga, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,10]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2020.107004"},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS51251.2021.00040"},{"key":"e_1_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-022-04828-2"},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3089649.3089656"},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46675-9_16"},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3550355.3552438"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.5555\/2666795.2666805"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/3643915.3644084"},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/J.SCICO.2018.07.002"},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3387939.3391591"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-022-01037-6"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3643915.3644095"},{"key":"e_1_3_1_14_2","first-page":"3","article-title":"Task scheduling for cyber-physical systems under uncertainty: A survey","volume":"8","author":"Chen Xi","year":"2020","unstructured":"Xi Chen, Peng Li, and Yongle Wu. 2020. Task scheduling for cyber-physical systems under uncertainty: A survey. IEEE Transactions on Emerging Topics in Computing 8, 3 (2020), 593\u2013608.","journal-title":"IEEE Transactions on Emerging Topics in Computing"},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_4"},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.65109\/SBJB8939"},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.36"},{"key":"e_1_3_1_18_2","volume-title":"Statistics","author":"Pisani R.","year":"2007","unstructured":"R. Pisani, D. Freedman, and R. Purves. 2007. Statistics (4th ed.). Norton, London, U.K.","edition":"4"},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1002\/9781119286387"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35813-5_9"},{"key":"e_1_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3643915.3644099"},{"key":"e_1_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS59076.2023.00026"},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3487921"},{"key":"e_1_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3338843"},{"key":"e_1_3_1_25_2","article-title":"Algorithmic robustness","author":"Jensen David","year":"2023","unstructured":"David Jensen, Brian LaMacchia, Ufuk Topcu, and Pamela Wisniewski. 2023. Algorithmic robustness. ACM SIGSOFT Software Engineering Notes. arXiv: 2311.06275. Retrieved from https:\/\/arxiv.org\/abs\/2311.06275","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"e_1_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"e_1_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"e_1_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMITCon.2019.8862255"},{"key":"e_1_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91908-9_23"},{"key":"e_1_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2023.3239953"},{"key":"e_1_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-802855-1.00003-4"},{"key":"e_1_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-802855-1.00003-4"},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_24"},{"key":"e_1_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2021.3070913"},{"key":"e_1_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3254900"},{"key":"e_1_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/3194133.3194144"},{"key":"e_1_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786853"},{"key":"e_1_3_1_38_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(01)00120-X"},{"key":"e_1_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/2568088.2568095"},{"key":"e_1_3_1_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2012.6224396"},{"key":"e_1_3_1_41_2","volume-title":"Risk Assessment: Theory, Methods, and Applications","author":"Rausand Marvin","year":"2013","unstructured":"Marvin Rausand. 2013. Risk Assessment: Theory, Methods, and Applications. John Wiley & Sons."},{"key":"e_1_3_1_42_2","volume-title":"Artificial Intelligence, A Modern Approach","author":"Russell Stuart J.","year":"2010","unstructured":"Stuart J. Russell and Peter Norvig. 2010. Artificial Intelligence, A Modern Approach (3rd ed.). Prentice Hall.","edition":"3"},{"key":"e_1_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/3643915.3644083"},{"key":"e_1_3_1_44_2","doi-asserted-by":"publisher","DOI":"10.1186\/cc2948"},{"key":"e_1_3_1_45_2","unstructured":"Raquel S\u00e1nchez-Salas Javier Troya and Javier C\u00e1mara. 2024. Automated Planning Under Interacting Sources of Uncertainty. Retrieved from https:\/\/github.com\/atenearesearchgroup\/Automated-Planning-Under-Interacting-Sources-of-Uncertainty"},{"key":"e_1_3_1_46_2","volume-title":"3rd Annual Predictive Methods Conference, Veros Software","author":"Thunnissen Daniel P.","year":"2003","unstructured":"Daniel P. Thunnissen. 2003. Uncertainty classification for the design and development of complex systems. In 3rd Annual Predictive Methods Conference, Veros Software. Retrieved from http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.128.133"},{"key":"e_1_3_1_47_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00842-1"},{"key":"e_1_3_1_48_2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.371.11"},{"key":"e_1_3_1_49_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3070634"},{"key":"e_1_3_1_50_2","doi-asserted-by":"publisher","DOI":"10.1145\/1988008.1988020"},{"key":"e_1_3_1_51_2","doi-asserted-by":"publisher","DOI":"10.3390\/math10173070"},{"key":"e_1_3_1_52_2","volume-title":"An Introduction to Self-Adaptive Systems: A Contemporary Software Engineering Perspective","author":"Weyns Danny","year":"2020","unstructured":"Danny Weyns. 2020. An Introduction to Self-Adaptive Systems: A Contemporary Software Engineering Perspective. John Wiley & Sons."},{"key":"e_1_3_1_53_2","doi-asserted-by":"publisher","DOI":"10.1145\/3617946.3617951"},{"key":"e_1_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.5555\/2349018"},{"key":"e_1_3_1_55_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42061-5_16"},{"key":"e_1_3_1_56_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0646-0"}],"container-title":["ACM Transactions on Autonomous and Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3733603","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T15:05:11Z","timestamp":1781190311000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3733603"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,10]]},"references-count":55,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,9,30]]}},"alternative-id":["10.1145\/3733603"],"URL":"https:\/\/doi.org\/10.1145\/3733603","relation":{},"ISSN":["1556-4665","1556-4703"],"issn-type":[{"value":"1556-4665","type":"print"},{"value":"1556-4703","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6,10]]},"assertion":[{"value":"2024-11-18","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-04-22","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2026-06-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}