{"id":"https://openalex.org/W4404810233","doi":"https://doi.org/10.1109/tcst.2024.3494392","title":"Robust Temporal Logic Task Planning for Multirobot Systems Under Permanent Robot Failures","display_name":"Robust Temporal Logic Task Planning for Multirobot Systems Under Permanent Robot Failures","publication_year":2024,"publication_date":"2024-11-28","ids":{"openalex":"https://openalex.org/W4404810233","doi":"https://doi.org/10.1109/tcst.2024.3494392"},"language":"en","primary_location":{"id":"doi:10.1109/tcst.2024.3494392","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcst.2024.3494392","pdf_url":null,"source":{"id":"https://openalex.org/S133363738","display_name":"IEEE Transactions on Control Systems Technology","issn_l":"1063-6536","issn":["1063-6536","1558-0865","2374-0159"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Control Systems Technology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068652180","display_name":"Bohan Cui","orcid":"https://orcid.org/0009-0003-8637-8548"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Bohan Cui","raw_affiliation_strings":["Department of Automation, Key Laboratory of System Control and Information Processing, Ministry of Education of China, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Automation, Key Laboratory of System Control and Information Processing, Ministry of Education of China, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053200380","display_name":"Feifei Huang","orcid":"https://orcid.org/0000-0002-8716-3069"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Feifei Huang","raw_affiliation_strings":["Department of Automation, Key Laboratory of System Control and Information Processing, Ministry of Education of China, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Automation, Key Laboratory of System Control and Information Processing, Ministry of Education of China, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110255122","display_name":"Shaoyuan Li","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shaoyuan Li","raw_affiliation_strings":["Department of Automation, Key Laboratory of System Control and Information Processing, Ministry of Education of China, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Automation, Key Laboratory of System Control and Information Processing, Ministry of Education of China, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034304769","display_name":"Xiang Yin","orcid":"https://orcid.org/0000-0003-1944-1570"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiang Yin","raw_affiliation_strings":["Department of Automation, Key Laboratory of System Control and Information Processing, Ministry of Education of China, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Automation, Key Laboratory of System Control and Information Processing, Ministry of Education of China, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5068652180"],"corresponding_institution_ids":["https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":1.5005,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.8438383,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"33","issue":"2","first_page":"526","last_page":"538"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.9932000041007996,"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"}},{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9843999743461609,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.6826592683792114},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6741824746131897},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.583283543586731},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5562630295753479},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4601162075996399},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3362220525741577},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.20151814818382263},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.17247512936592102},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14935123920440674}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6826592683792114},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6741824746131897},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.583283543586731},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5562630295753479},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4601162075996399},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3362220525741577},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.20151814818382263},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.17247512936592102},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14935123920440674}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcst.2024.3494392","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcst.2024.3494392","pdf_url":null,"source":{"id":"https://openalex.org/S133363738","display_name":"IEEE Transactions on Control Systems Technology","issn_l":"1063-6536","issn":["1063-6536","1558-0865","2374-0159"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Control Systems Technology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Climate action","score":0.6600000262260437,"id":"https://metadata.un.org/sdg/13"}],"awards":[{"id":"https://openalex.org/G210139373","display_name":null,"funder_award_id":"62061136004","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5751649387","display_name":null,"funder_award_id":"62173226","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7737744561","display_name":null,"funder_award_id":"92367203","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W1424654272","https://openalex.org/W1672041297","https://openalex.org/W2073548775","https://openalex.org/W2077578897","https://openalex.org/W2082511574","https://openalex.org/W2091682553","https://openalex.org/W2594675090","https://openalex.org/W2735511423","https://openalex.org/W2765883527","https://openalex.org/W2804655496","https://openalex.org/W2891853220","https://openalex.org/W2905277694","https://openalex.org/W2933496093","https://openalex.org/W2963117388","https://openalex.org/W2963224426","https://openalex.org/W2963918661","https://openalex.org/W2978861658","https://openalex.org/W2994583186","https://openalex.org/W2998208410","https://openalex.org/W3005183008","https://openalex.org/W3021964239","https://openalex.org/W3094045509","https://openalex.org/W3137411177","https://openalex.org/W3144995812","https://openalex.org/W3176904019","https://openalex.org/W3181923028","https://openalex.org/W3208577479","https://openalex.org/W4206742989","https://openalex.org/W4210258883","https://openalex.org/W4221021751","https://openalex.org/W4221161625","https://openalex.org/W4226019470","https://openalex.org/W4226481925","https://openalex.org/W4286306573","https://openalex.org/W4295046640","https://openalex.org/W4364322975","https://openalex.org/W4379382417","https://openalex.org/W4381681017","https://openalex.org/W4386766398","https://openalex.org/W4387123346","https://openalex.org/W4387993858","https://openalex.org/W4388918276","https://openalex.org/W4389082159","https://openalex.org/W4394564108","https://openalex.org/W6736297799"],"related_works":["https://openalex.org/W8302103","https://openalex.org/W3171631314","https://openalex.org/W2674584172","https://openalex.org/W2967743314","https://openalex.org/W2606825221","https://openalex.org/W2184085865","https://openalex.org/W3213722473","https://openalex.org/W2110944602","https://openalex.org/W3196817267","https://openalex.org/W1976600725"],"abstract_inverted_index":{"We":[0,172,190],"investigate":[1],"the":[2,38,49,61,93,112,123,126,134,141,146,157,168,192,207],"multirobot":[3,55,79,225],"task":[4,52,80,95],"planning":[5,53,81,227],"problem":[6],"for":[7,54,162],"intricate":[8],"tasks":[9],"specified":[10],"by":[11],"linear":[12,136],"temporal":[13],"logic":[14],"(LTL)":[15],"formulae.":[16],"While":[17],"most":[18],"studies":[19],"on":[20],"this":[21,68,179],"topic":[22],"assume":[23],"flawless":[24],"robot":[25,63,117],"performance,":[26],"it":[27],"is":[28],"crucial":[29],"to":[30,42,47,86,122,140,177,221],"recognize":[31],"that":[32,91],"failures":[33,64],"can":[34,96,118],"always":[35,97],"occur":[36],"in":[37,224],"real":[39],"world":[40],"due":[41],"errors":[43],"or":[44],"disturbances.":[45],"Therefore,":[46],"enhance":[48],"robustness":[50,223],"of":[51,77,105,125,153,194,209],"systems":[56],"(MRSs),":[57],"one":[58],"must":[59],"take":[60],"unexpected":[62],"into":[65],"account.":[66],"In":[67],"article,":[69],"we":[70,84,132,149],"formulate":[71],"and":[72,199,206,218],"solve":[73],"a":[74,88,102,115,151,174],"new":[75],"type":[76],"failure-aware":[78],"problem.":[82],"Specifically,":[83],"aim":[85],"find":[87],"failure-robust":[89,142,204],"plan":[90],"ensures":[92],"LTL":[94,127,154],"be":[98],"accomplished,":[99],"even":[100],"if":[101],"maximum":[103],"number":[104],"robots":[106],"fail":[107],"at":[108],"any":[109],"instant":[110],"during":[111],"execution,":[113],"where":[114],"failed":[116],"no":[119],"longer":[120],"contribute":[121],"satisfaction":[124],"task.":[128],"To":[129,144],"achieve":[130,222],"this,":[131],"extend":[133],"mixed-integer":[135],"programming":[137],"(MILP)":[138],"approach":[139,196,214],"setting.":[143],"overcome":[145],"computational":[147],"complexity,":[148],"identify":[150],"fragment":[152],"formulae":[155],"called":[156],"free-union-closed":[158],"LTL,":[159],"which":[160],"allows":[161],"more":[163],"scalable":[164],"synthesis":[165],"without":[166],"considering":[167],"global":[169],"combinatorial":[170],"issue.":[171],"provide":[173],"systematic":[175],"method":[176],"check":[178],"property,":[180],"as":[181,183,188],"well":[182],"several":[184],"commonly":[185],"used":[186],"patterns":[187],"instances.":[189],"demonstrate":[191],"effectiveness":[193],"our":[195,203,210],"through":[197],"simulation":[198],"real-world":[200],"experiments,":[201],"showcasing":[202],"plans":[205],"efficiency":[208],"simplified":[211],"algorithm.":[212],"Our":[213],"offers":[215],"an":[216],"optimal":[217],"efficient":[219],"way":[220],"path":[226],"under":[228],"unforeseen":[229],"failure":[230],"events.":[231]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5}],"updated_date":"2026-03-27T14:29:43.386196","created_date":"2025-10-10T00:00:00"}