{"id":"https://openalex.org/W4410120002","doi":"https://doi.org/10.1145/3733603","title":"Automated Planning for Task-Based Cyber-Physical Systems under Multiple Sources of Uncertainty","display_name":"Automated Planning for Task-Based Cyber-Physical Systems under Multiple Sources of Uncertainty","publication_year":2025,"publication_date":"2025-05-06","ids":{"openalex":"https://openalex.org/W4410120002","doi":"https://doi.org/10.1145/3733603"},"language":"en","primary_location":{"id":"doi:10.1145/3733603","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3733603","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3733603","source":{"id":"https://openalex.org/S16632050","display_name":"ACM Transactions on Autonomous and Adaptive Systems","issn_l":"1556-4665","issn":["1556-4665","1556-4703"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Autonomous and Adaptive Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3733603","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055166186","display_name":"Raquel Sanchez","orcid":"https://orcid.org/0009-0008-8203-7494"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Raquel S\u00e1nchez-Salas","raw_affiliation_strings":["ITIS Software, Universidad de M\u00e1laga, Malaga, Spain","ITIS Software, Universidad de M\u00e1laga, Spain"],"raw_orcid":"https://orcid.org/0009-0008-8203-7494","affiliations":[{"raw_affiliation_string":"ITIS Software, Universidad de M\u00e1laga, Malaga, Spain","institution_ids":["https://openalex.org/I82767444"]},{"raw_affiliation_string":"ITIS Software, Universidad de M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055078557","display_name":"Javier Troya","orcid":"https://orcid.org/0000-0002-1314-9694"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Javier Troya","raw_affiliation_strings":["ITIS Software, Universidad de M\u00e1laga, M\u00e1laga, Spain","ITIS Software, Universidad de M\u00e1laga, Spain"],"raw_orcid":"https://orcid.org/0000-0002-1314-9694","affiliations":[{"raw_affiliation_string":"ITIS Software, Universidad de M\u00e1laga, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]},{"raw_affiliation_string":"ITIS Software, Universidad de M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091731762","display_name":"Javier C\u00e1mara","orcid":"https://orcid.org/0000-0001-6717-4775"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Javier C\u00e1mara","raw_affiliation_strings":["ITIS Software, Universidad de M\u00e1laga, M\u00e1laga, Spain","ITIS Software, Universidad de M\u00e1laga, Spain"],"raw_orcid":"https://orcid.org/0000-0001-6717-4775","affiliations":[{"raw_affiliation_string":"ITIS Software, Universidad de M\u00e1laga, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]},{"raw_affiliation_string":"ITIS Software, Universidad de M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I82767444"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08533525,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"21","issue":"3","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9926000237464905,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9898999929428101,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8802376389503479},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.6752419471740723},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6148645281791687},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4608670175075531},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3877256512641907},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.16300764679908752},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10654747486114502}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8802376389503479},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6752419471740723},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6148645281791687},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4608670175075531},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3877256512641907},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.16300764679908752},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10654747486114502},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3733603","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3733603","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3733603","source":{"id":"https://openalex.org/S16632050","display_name":"ACM Transactions on Autonomous and Adaptive Systems","issn_l":"1556-4665","issn":["1556-4665","1556-4703"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Autonomous and Adaptive Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3733603","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3733603","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3733603","source":{"id":"https://openalex.org/S16632050","display_name":"ACM Transactions on Autonomous and Adaptive Systems","issn_l":"1556-4665","issn":["1556-4665","1556-4703"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Autonomous and Adaptive Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410120002.pdf","grobid_xml":"https://content.openalex.org/works/W4410120002.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W1516256348","https://openalex.org/W1886563687","https://openalex.org/W1977124929","https://openalex.org/W2096768134","https://openalex.org/W2139676856","https://openalex.org/W2169022172","https://openalex.org/W2487350312","https://openalex.org/W2626275188","https://openalex.org/W2883775427","https://openalex.org/W2883788008","https://openalex.org/W2913795852","https://openalex.org/W2969374400","https://openalex.org/W3093556890","https://openalex.org/W3109156162","https://openalex.org/W3119830785","https://openalex.org/W3135019689","https://openalex.org/W3148921802","https://openalex.org/W3161753274","https://openalex.org/W4233505918","https://openalex.org/W4248094046","https://openalex.org/W4254621033","https://openalex.org/W4291213652","https://openalex.org/W4292320035","https://openalex.org/W4297094099","https://openalex.org/W4301395458","https://openalex.org/W4307282680","https://openalex.org/W4319663718","https://openalex.org/W4323767314","https://openalex.org/W4381739533","https://openalex.org/W4383898426","https://openalex.org/W4383960561","https://openalex.org/W4387701050","https://openalex.org/W4399431553","https://openalex.org/W6772115955"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W3004173571","https://openalex.org/W2390279801","https://openalex.org/W3019776739","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2546638913"],"abstract_inverted_index":{"In":[0,93],"smart":[1],"Cyber-Physical":[2],"Systems":[3],"(sCPS),":[4],"a":[5,16,122,129,210,249],"critical":[6],"challenge":[7],"lies":[8],"in":[9,21,41,63,77,104,191,222,234],"task":[10],"planning":[11,174],"under":[12],"uncertainty.":[13],"There":[14],"is":[15,143,189],"broad":[17],"body":[18],"of":[19,33,57,87,101,121,138,194,218,225,240,246,257],"work":[20],"the":[22,55,71,78,119,141,181,192,206,223,255,258,263,273],"area":[23],"with":[24,30,98,154,270],"approaches":[25,80],"able":[26],"to":[27,70,83,118,127,145,162,169,178,183,231,272],"individually":[28],"deal":[29,97],"different":[31],"classes":[32],"constraints":[34,110],"(e.g.,":[35,40],"ordering,":[36],"structural)":[37],"and":[38,51,59,65,89,111,198,251,261],"uncertainties":[39,47],"sensing,":[42],"actuation,":[43],"latencies).":[44],"However,":[45],"these":[46],"are":[48,81],"rarely":[49],"independent":[50],"often":[52,66],"compound,":[53],"affecting":[54],"satisfaction":[56],"goals":[58],"other":[60],"system":[61,124,146,182],"properties":[62],"subtle":[64],"unpredictable":[67],"ways.":[68],"According":[69],"Uncertainty":[72],"Interaction":[73],"Problem":[74],"recently":[75],"proposed":[76,207,264],"literature,":[79],"needed":[82],"identify":[84],"multiple":[85],"sources":[86,239,245],"uncertainty":[88,102,241,247],"quantify":[90],"their":[91],"impact.":[92],"this":[94],"article,":[95],"we":[96],"two":[99],"types":[100],"present":[103],"task-based":[105],"sCPS,":[106],"namely":[107],"temporal":[108,235],"availability":[109,120],"element":[112,125],"reliability":[113],".":[114],"The":[115],"former":[116],"refers":[117],"given":[123],"required":[126],"perform":[128],"task,":[130],"which":[131],"may":[132,149],"be":[133],"unavailable":[134],"for":[135,175],"certain":[136],"periods":[137],"time,":[139],"while":[140],"latter":[142],"related":[144],"elements":[147],"that":[148],"fail":[150],"at":[151,185],"some":[152,155],"point":[153],"probability.":[156],"This":[157],"article":[158],"presents":[159],"an":[160],"approach":[161,208,265],"consider":[163],"both":[164,238,244],"uncertainties,":[165],"employing":[166],"genetic":[167],"algorithms":[168],"incorporate":[170],"them":[171],"effectively":[172],"into":[173],"deciding":[176],"how":[177],"best":[179],"adapt":[180],"changes":[184,233],"runtime.":[186],"Our":[187,201],"method":[188],"evaluated":[190],"domains":[193],"electric":[195],"vehicle":[196],"charging":[197],"healthcare":[199],"robotics.":[200],"evaluation":[202],"shows":[203],"that:":[204],"(i)":[205],"outperforms":[209],"baseline":[211],"mixed-integer":[212],"linear":[213],"programming":[214],"(MILP)":[215],"algorithm":[216],"capable":[217],"generating":[219],"optimal":[220],"solutions":[221,230,259],"absence":[224],"uncertainty,":[226],"providing":[227],"more":[228],"robust":[229],"failures,":[232],"availability,":[236],"or":[237],"combined;":[242],"(ii)":[243],"have":[248],"strong":[250],"compound":[252],"impact":[253],"on":[254],"quality":[256],"provided;":[260],"(iii)":[262],"significantly":[266],"reduces":[267],"computational":[268],"cost,":[269],"respect":[271],"MILP-based":[274],"optimization.":[275]},"counts_by_year":[],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}