{"id":"https://openalex.org/W4312329801","doi":"https://doi.org/10.1109/ccta49430.2022.9966096","title":"Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal Logic Objectives","display_name":"Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal Logic Objectives","publication_year":2022,"publication_date":"2022-08-23","ids":{"openalex":"https://openalex.org/W4312329801","doi":"https://doi.org/10.1109/ccta49430.2022.9966096"},"language":"en","primary_location":{"id":"doi:10.1109/ccta49430.2022.9966096","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccta49430.2022.9966096","pdf_url":null,"source":{"id":"https://openalex.org/S4363608038","display_name":"2022 IEEE Conference on Control Technology and Applications (CCTA)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE Conference on Control Technology and Applications (CCTA)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5018879381","display_name":"Yash Vardhan Pant","orcid":"https://orcid.org/0000-0002-2292-6846"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yash Vardhan Pant","raw_affiliation_strings":["University of Waterloo,Department of Electrical and Computer Engineering,Waterloo,Canada","Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo,Department of Electrical and Computer Engineering,Waterloo,Canada","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021880681","display_name":"Houssam Abbas","orcid":"https://orcid.org/0000-0002-8096-2618"},"institutions":[{"id":"https://openalex.org/I131249849","display_name":"Oregon State University","ror":"https://ror.org/00ysfqy60","country_code":"US","type":"education","lineage":["https://openalex.org/I131249849"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Houssam Abbas","raw_affiliation_strings":["School of Electrical Engineering and Computer Science, Oregon State University,Corvallis,USA","School of Electrical Engineering and Computer Science, Oregon State University, Corvallis, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering and Computer Science, Oregon State University,Corvallis,USA","institution_ids":["https://openalex.org/I131249849"]},{"raw_affiliation_string":"School of Electrical Engineering and Computer Science, Oregon State University, Corvallis, USA","institution_ids":["https://openalex.org/I131249849"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009445756","display_name":"Rahul Mangharam","orcid":"https://orcid.org/0000-0002-3388-8283"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rahul Mangharam","raw_affiliation_strings":["University of Pennsylvania,Department of Electrical and Systems Engineering,Philadelphia,PA,USA","Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania,Department of Electrical and Systems Engineering,Philadelphia,PA,USA","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"476","last_page":"483"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9995999932289124,"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.9995999932289124,"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.9991999864578247,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9970999956130981,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.7882273197174072},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.755167543888092},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.6524899005889893},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5738593935966492},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.5495624542236328},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5183120965957642},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.4993162155151367},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.469893217086792},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.43043047189712524},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39971232414245605},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3348047733306885},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3053935766220093},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2042829990386963},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11834394931793213},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08425512909889221}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7882273197174072},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.755167543888092},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.6524899005889893},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5738593935966492},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.5495624542236328},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5183120965957642},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.4993162155151367},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.469893217086792},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.43043047189712524},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39971232414245605},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3348047733306885},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3053935766220093},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2042829990386963},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11834394931793213},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08425512909889221},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ccta49430.2022.9966096","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccta49430.2022.9966096","pdf_url":null,"source":{"id":"https://openalex.org/S4363608038","display_name":"2022 IEEE Conference on Control Technology and Applications (CCTA)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE Conference on Control Technology and Applications (CCTA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1935692274","https://openalex.org/W1977985274","https://openalex.org/W2013439434","https://openalex.org/W2049399166","https://openalex.org/W2092884371","https://openalex.org/W2118607205","https://openalex.org/W2123871098","https://openalex.org/W2181845023","https://openalex.org/W2550341318","https://openalex.org/W2606000287","https://openalex.org/W2607438445","https://openalex.org/W2621540998","https://openalex.org/W2792781634","https://openalex.org/W2841721725","https://openalex.org/W2963178026","https://openalex.org/W2963555532","https://openalex.org/W2963657380","https://openalex.org/W2968608911","https://openalex.org/W3048348667","https://openalex.org/W3101375348","https://openalex.org/W3118289085","https://openalex.org/W3185432324","https://openalex.org/W3186567150","https://openalex.org/W4250589301","https://openalex.org/W6678073474","https://openalex.org/W6753609465","https://openalex.org/W6783596485","https://openalex.org/W6787981550"],"related_works":["https://openalex.org/W804484174","https://openalex.org/W1568779110","https://openalex.org/W4244698559","https://openalex.org/W4246538999","https://openalex.org/W2002361198","https://openalex.org/W56933075","https://openalex.org/W2168364913","https://openalex.org/W1548568597","https://openalex.org/W2482749251","https://openalex.org/W2114119680"],"abstract_inverted_index":{"We":[0,137],"develop":[1,59],"a":[2,42,54,60,88,122,143],"distributed":[3,61,89,101],"motion":[4,19],"planner":[5],"for":[6,65],"multi-robot":[7],"systems":[8],"with":[9,52,129,158],"Signal":[10],"Temporal":[11],"Logic":[12],"(STL)":[13],"objectives.":[14],"Existing":[15],"approaches":[16],"to":[17,23,92,121,142],"STL-based":[18],"planning":[20],"are":[21],"limited":[22],"fragments":[24],"of":[25,41,44,78,95,109,118,124],"STL":[26,56,79,110,125,131],"that":[27,73,103,148],"might":[28],"not":[29],"capture":[30],"all":[31],"desired":[32],"behaviors":[33],"or":[34],"safety":[35],"requirements.":[36],"Focusing":[37],"on":[38],"the":[39,75,82,93,99,106,116,134],"case":[40],"fleet":[43],"multi-rotor":[45],"Unmanned":[46],"Aerial":[47],"Vehicles":[48],"(UAVs)":[49],"jointly":[50],"tasked":[51],"satisfying":[53],"given":[55],"mission,":[57],"we":[58],"method,":[62],"Fly-by-Distributed-Logic":[63],"(FBDL),":[64],"trajectory":[66],"planning.":[67],"The":[68],"proposed":[69],"method":[70,102,150],"generates":[71],"trajectories":[72,157],"maximize":[74],"smooth":[76],"robustness":[77],"specifications,":[80],"where":[81],"associated":[83],"optimization":[84],"is":[85,98,151],"solved":[86],"in":[87],"manner.":[90],"This,":[91],"best":[94],"our":[96,119,149],"knowledge,":[97],"first":[100],"can":[104],"handle":[105],"full":[107],"grammar":[108],"(bounded":[111],"time).":[112],"Simulation":[113],"studies":[114],"show":[115,147],"applicability":[117],"approach":[120,145],"variety":[123],"missions,":[126],"including":[127],"those":[128],"nested":[130],"operators":[132],"and":[133,146],"Until":[135],"operator.":[136],"also":[138],"compare":[139],"its":[140],"performance":[141],"centralized":[144],"computationally":[152],"faster,":[153],"but":[154],"generally":[155],"computes":[156],"lower":[159],"robustness.":[160]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}