{"id":"https://openalex.org/W3109511793","doi":"https://doi.org/10.1109/icca51439.2020.9264491","title":"A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications","display_name":"A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications","publication_year":2020,"publication_date":"2020-10-09","ids":{"openalex":"https://openalex.org/W3109511793","doi":"https://doi.org/10.1109/icca51439.2020.9264491","mag":"3109511793"},"language":"en","primary_location":{"id":"doi:10.1109/icca51439.2020.9264491","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icca51439.2020.9264491","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 16th International Conference on Control & Automation (ICCA)","raw_type":"proceedings-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/A5057104428","display_name":"Yuanjiang Yang","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"]},{"id":"https://openalex.org/I1327237609","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934","country_code":"CN","type":"funder","lineage":["https://openalex.org/I1327237609","https://openalex.org/I4210127390"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yuanjiang Yang","raw_affiliation_strings":["Key Laboratory of System Control and Information Processing, Ministry of Education of China; Department of Automation, Shanghai Jiao Tong University, Shanghai, P.R. China","Department of Automation, Shanghai Jiao Tong University, Shanghai, P.R. China","Key Laboratory of System Control and Information Processing, Ministry of Education of China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of System Control and Information Processing, Ministry of Education of China; Department of Automation, Shanghai Jiao Tong University, Shanghai, P.R. China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Department of Automation, Shanghai Jiao Tong University, Shanghai, P.R. China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Key Laboratory of System Control and Information Processing, Ministry of Education of China","institution_ids":["https://openalex.org/I1327237609"]}]},{"author_position":"middle","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"]},{"id":"https://openalex.org/I1327237609","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934","country_code":"CN","type":"funder","lineage":["https://openalex.org/I1327237609","https://openalex.org/I4210127390"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiang Yin","raw_affiliation_strings":["Key Laboratory of System Control and Information Processing, Ministry of Education of China; Department of Automation, Shanghai Jiao Tong University, Shanghai, P.R. China","Department of Automation, Shanghai Jiao Tong University, Shanghai, P.R. China","Key Laboratory of System Control and Information Processing, Ministry of Education of China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of System Control and Information Processing, Ministry of Education of China; Department of Automation, Shanghai Jiao Tong University, Shanghai, P.R. China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Department of Automation, Shanghai Jiao Tong University, Shanghai, P.R. China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Key Laboratory of System Control and Information Processing, Ministry of Education of China","institution_ids":["https://openalex.org/I1327237609"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041126305","display_name":"Shaoyuan Li","orcid":"https://orcid.org/0000-0003-3427-2912"},"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"]},{"id":"https://openalex.org/I1327237609","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934","country_code":"CN","type":"funder","lineage":["https://openalex.org/I1327237609","https://openalex.org/I4210127390"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shaoyuan Li","raw_affiliation_strings":["Key Laboratory of System Control and Information Processing, Ministry of Education of China; Department of Automation, Shanghai Jiao Tong University, Shanghai, P.R. China","Department of Automation, Shanghai Jiao Tong University, Shanghai, P.R. China","Key Laboratory of System Control and Information Processing, Ministry of Education of China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of System Control and Information Processing, Ministry of Education of China; Department of Automation, Shanghai Jiao Tong University, Shanghai, P.R. China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Department of Automation, Shanghai Jiao Tong University, Shanghai, P.R. China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Key Laboratory of System Control and Information Processing, Ministry of Education of China","institution_ids":["https://openalex.org/I1327237609"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5057104428"],"corresponding_institution_ids":["https://openalex.org/I1327237609","https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":0.5629,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.73904074,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"570","last_page":"575"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9987999796867371,"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.7716173529624939},{"id":"https://openalex.org/keywords/workspace","display_name":"Workspace","score":0.7319797277450562},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.7048232555389404},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6610581874847412},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6468197703361511},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5278574824333191},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.4891410171985626},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.4808398187160492},{"id":"https://openalex.org/keywords/grid","display_name":"Grid","score":0.47667837142944336},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4710884988307953},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.44225043058395386},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.36503171920776367},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21521171927452087},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.16049960255622864},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14021709561347961},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.12931901216506958}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7716173529624939},{"id":"https://openalex.org/C58581272","wikidata":"https://www.wikidata.org/wiki/Q12741163","display_name":"Workspace","level":3,"score":0.7319797277450562},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.7048232555389404},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6610581874847412},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6468197703361511},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5278574824333191},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.4891410171985626},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4808398187160492},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.47667837142944336},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4710884988307953},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.44225043058395386},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.36503171920776367},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21521171927452087},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.16049960255622864},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14021709561347961},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.12931901216506958},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icca51439.2020.9264491","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icca51439.2020.9264491","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 16th International Conference on Control & Automation (ICCA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322999","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1980077901","https://openalex.org/W2021422577","https://openalex.org/W2084485573","https://openalex.org/W2151958719","https://openalex.org/W2164451522","https://openalex.org/W2202006879","https://openalex.org/W2765883527","https://openalex.org/W2775220081","https://openalex.org/W2784743256","https://openalex.org/W2967143406","https://openalex.org/W2968450516","https://openalex.org/W2998601093","https://openalex.org/W3003304481","https://openalex.org/W3023554972","https://openalex.org/W3027194725","https://openalex.org/W6777095389"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2077520193","https://openalex.org/W1513400763"],"abstract_inverted_index":{"In":[0,83],"this":[1],"paper,":[2],"we":[3,88,154],"investigate":[4],"fully-automated":[5],"controller":[6],"synthesis":[7,81],"of":[8,23,57],"coordination":[9,46,92],"strategies":[10,72],"for":[11],"multi-robot":[12],"warehouse":[13],"robotic":[14],"systems.":[15],"We":[16,39],"consider":[17],"the":[18,50,55,77,90,97,125,140,150,156],"scenario":[19],"where":[20],"a":[21,36,41,63,136],"group":[22],"automated":[24],"guided":[25],"vehicles":[26],"(AGVs)":[27],"deliver":[28],"goods":[29],"from":[30],"starting":[31],"locations":[32],"to":[33,48,85,94,131],"destinations":[34],"in":[35,135],"grid-abstracted":[37],"workspace.":[38],"propose":[40],"distributed":[42,158],"framework":[43,142,159],"with":[44,108,124],"prioritized-based":[45,91],"strategy":[47,93],"fulfill":[49],"entire":[51],"planning":[52],"task.":[53],"Specifically,":[54],"task":[56],"each":[58,109],"AGV":[59],"is":[60,100,113,122,129,143],"specified":[61],"by":[62,75,160],"Linear":[64],"Temporal":[65],"Logic":[66],"(LTL)":[67],"specification.":[68],"The":[69,118],"local":[70],"control":[71],"are":[73],"obtained":[74],"solving":[76],"corresponding":[78],"LTL":[79],"reactive":[80],"problems.":[82],"order":[84],"avoid":[86],"conflicts,":[87],"use":[89],"guarantee":[95,127],"that":[96],"overall":[98],"systems":[99],"safe":[101],"and":[102,111,116,128],"live,":[103],"i.e.,":[104],"AGVs":[105],"will":[106],"collide":[107],"other":[110],"there":[112],"no":[114],"deadlock":[115],"livelock.":[117],"proposed":[119,141,157],"design":[120],"methodology":[121],"correct-by-construction":[123],"formal":[126],"amenable":[130],"handle":[132],"temporal":[133],"tasks":[134],"flexible":[137],"manner.":[138],"Furthermore,":[139],"distributed;":[144],"hence":[145],"computationally":[146],"more":[147],"efficient":[148],"than":[149],"centralized":[151],"approach.":[152],"Finally,":[153],"demonstrate":[155],"simulation":[161],"examples.":[162]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}