{"id":"https://openalex.org/W4400032784","doi":"https://doi.org/10.1109/tase.2024.3418409","title":"Fast Motion Planning in Dynamic Environments With Extended Predicate-Based Temporal Logic","display_name":"Fast Motion Planning in Dynamic Environments With Extended Predicate-Based Temporal Logic","publication_year":2024,"publication_date":"2024-06-26","ids":{"openalex":"https://openalex.org/W4400032784","doi":"https://doi.org/10.1109/tase.2024.3418409"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2024.3418409","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2024.3418409","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"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 Automation Science and Engineering","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/A5100324477","display_name":"Ziyang Chen","orcid":"https://orcid.org/0000-0001-6540-8451"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ziyang Chen","raw_affiliation_strings":["Department of Automation, University of Science and Technology of China, Hefei, Anhui, China"],"raw_orcid":"https://orcid.org/0000-0001-6540-8451","affiliations":[{"raw_affiliation_string":"Department of Automation, University of Science and Technology of China, Hefei, Anhui, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001420415","display_name":"Mingyu Cai","orcid":"https://orcid.org/0000-0002-2967-2703"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mingyu Cai","raw_affiliation_strings":["Department of Mechanical Engineering, University of California at Riverside, Riverside, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, University of California at Riverside, Riverside, CA, USA","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015310258","display_name":"Zhangli Zhou","orcid":"https://orcid.org/0000-0002-4995-4732"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhangli Zhou","raw_affiliation_strings":["Department of Automation, University of Science and Technology of China, Hefei, Anhui, China"],"raw_orcid":"https://orcid.org/0000-0002-4995-4732","affiliations":[{"raw_affiliation_string":"Department of Automation, University of Science and Technology of China, Hefei, Anhui, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100383341","display_name":"Lin Li","orcid":"https://orcid.org/0000-0003-2827-185X"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lin Li","raw_affiliation_strings":["Department of Automation, University of Science and Technology of China, Hefei, Anhui, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Automation, University of Science and Technology of China, Hefei, Anhui, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018344952","display_name":"Zhen Kan","orcid":"https://orcid.org/0000-0003-2069-9544"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhen Kan","raw_affiliation_strings":["Department of Automation, University of Science and Technology of China, Hefei, Anhui, China"],"raw_orcid":"https://orcid.org/0000-0003-2069-9544","affiliations":[{"raw_affiliation_string":"Department of Automation, University of Science and Technology of China, Hefei, Anhui, China","institution_ids":["https://openalex.org/I126520041"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.3058,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.89243015,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"22","issue":null,"first_page":"5293","last_page":"5307"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9948999881744385,"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.9948999881744385,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9943000078201294,"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/T10906","display_name":"AI-based Problem Solving and Planning","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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.615818440914154},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5563998222351074},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.4972107708454132},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.45422273874282837},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40226736664772034},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.38206353783607483},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.32274192571640015},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.29105979204177856},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.2577376961708069},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.17169639468193054},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13626062870025635}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.615818440914154},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5563998222351074},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.4972107708454132},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.45422273874282837},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40226736664772034},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.38206353783607483},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.32274192571640015},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.29105979204177856},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.2577376961708069},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.17169639468193054},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13626062870025635}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2024.3418409","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2024.3418409","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"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 Automation Science and Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","score":0.6600000262260437,"id":"https://metadata.un.org/sdg/11"}],"awards":[{"id":"https://openalex.org/G1051832680","display_name":null,"funder_award_id":"62173314","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6104967667","display_name":null,"funder_award_id":"U2013601","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W1487948848","https://openalex.org/W1547304883","https://openalex.org/W1971086298","https://openalex.org/W1991596047","https://openalex.org/W2007748737","https://openalex.org/W2018380024","https://openalex.org/W2026629052","https://openalex.org/W2049696538","https://openalex.org/W2056864430","https://openalex.org/W2064572756","https://openalex.org/W2073548775","https://openalex.org/W2089003125","https://openalex.org/W2117927826","https://openalex.org/W2531762107","https://openalex.org/W2624912704","https://openalex.org/W2737479107","https://openalex.org/W2807270760","https://openalex.org/W2963178026","https://openalex.org/W2963190533","https://openalex.org/W2964219844","https://openalex.org/W2970963308","https://openalex.org/W2973975785","https://openalex.org/W2990972766","https://openalex.org/W2995074243","https://openalex.org/W3021964239","https://openalex.org/W3033621224","https://openalex.org/W3045543478","https://openalex.org/W3091670144","https://openalex.org/W3092464040","https://openalex.org/W3097154153","https://openalex.org/W3119321206","https://openalex.org/W3127898694","https://openalex.org/W3130777366","https://openalex.org/W3134382517","https://openalex.org/W3176904019","https://openalex.org/W3181923028","https://openalex.org/W3186567150","https://openalex.org/W3195336386","https://openalex.org/W3206187920","https://openalex.org/W3207311111","https://openalex.org/W4205533104","https://openalex.org/W4206742989","https://openalex.org/W4285102527","https://openalex.org/W4378697147","https://openalex.org/W4382568173","https://openalex.org/W4383172005","https://openalex.org/W4385574945","https://openalex.org/W4387237669","https://openalex.org/W6655221434"],"related_works":["https://openalex.org/W1547206149","https://openalex.org/W3049557657","https://openalex.org/W3150915502","https://openalex.org/W2054891275","https://openalex.org/W2364373416","https://openalex.org/W2042218267","https://openalex.org/W2111158727","https://openalex.org/W2024668666","https://openalex.org/W1577005250","https://openalex.org/W2132826624"],"abstract_inverted_index":{"Formal":[0],"languages":[1],"effectively":[2],"outline":[3],"robots\u2019":[4],"task":[5,49,68,109,141,190,217,227],"specifications,":[6],"yet":[7],"current":[8,223],"temporal":[9,27,33,125,196,207,211,229,261],"logic":[10,28,34,197,212,230,262],"struggles":[11,199],"to":[12,40,162,176,187],"balance":[13],"semantic":[14,270],"expression":[15,271],"with":[16,35,54,83,140,156,200,228,258],"solution":[17,148,157],"speed.":[18],"To":[19,81],"address":[20],"this":[21],"challenge,":[22],"we":[23,85],"propose":[24],"extended":[25,71,259],"predicate-based":[26,260],"(E-pTL),":[29],"augmenting":[30],"conventional":[31],"linear":[32,195],"more":[36],"expressive":[37],"atomic":[38,315],"predicates":[39],"reflect":[41],"the":[42,91,117,189,201,311,319,339,348],"time,":[43],"space,":[44],"and":[45,50,59,70,76,103,143,168,173,240,301,330,365],"order":[46],"attributes":[47],"of":[48,191,313],"represent":[51,216],"complex":[52,124,226],"tasks":[53,126],"dynamic":[55,256,290],"propositions,":[56],"time":[57,62,203,299],"windows,":[58],"even":[60],"relative":[61],"window.":[63],"This":[64,120,245],"approach,":[65],"blending":[66],"automata-based":[67,285],"abstraction":[69],"predicates,":[72],"offers":[73],"enhanced":[74],"expressiveness":[75],"conciseness":[77],"for":[78,225,242,251,328,368],"intricate":[79],"specifications.":[80],"cope":[82],"E-pTL,":[84],"introduce":[86],"a":[87,99,146,180,248,334],"novel":[88,249],"planning":[89,138,153,254,321],"framework,":[90],"Planning":[92],"Decision":[93],"Tree":[94],"(PDT).":[95],"PDT":[96,355],"incrementally":[97,326],"builds":[98],"tree":[100,323],"through":[101],"automata":[102,329],"system":[104],"state":[105],"searches,":[106],"recording":[107],"potential":[108],"plans.":[110],"The":[111,264,342],"proposed":[112,265],"pruning":[113,344],"method":[114,121,345],"can":[115,274],"reduce":[116],"exploration":[118],"space.":[119,341],"swiftly":[122],"handles":[123],"defined":[127],"by":[128,277],"E-pTL.":[129],"Rigorous":[130],"analysis":[131],"confirms":[132],"PDT-based":[133,152],"planning\u2019s":[134],"feasibility":[135,312],"(ensuring":[136],"satisfactory":[137],"aligned":[139],"specifications)":[142],"completeness":[144,303],"(guaranteeing":[145],"feasible":[147],"if":[149],"available).":[150],"Moreover,":[151],"proves":[154],"efficient,":[155],"times":[158],"approximately":[159],"linearly":[160],"proportional":[161],"automaton":[163],"states":[164],"squared.":[165],"Extensive":[166],"simulations":[167],"experiments":[169],"validate":[170],"its":[171],"effectiveness":[172],"efficiency.":[174],"Note":[175],"Practitioners\u2014Temporal":[177],"logic,":[178],"as":[179],"formal":[181],"language,":[182],"has":[183],"been":[184],"widely":[185],"applied":[186],"describe":[188],"robotic":[192],"systems.":[193,244],"However,":[194,283],"(LTL)":[198],"explicit":[202],"constraints,":[204],"while":[205,305],"other":[206],"logics,":[208],"e.g.,":[209],"signal":[210],"(STL),":[213],"cannot":[214],"compactly":[215],"progress":[218,281],"via":[219],"an":[220,278],"automaton.":[221],"Consequently,":[222],"solutions":[224],"specification":[231],"heavily":[232],"lean":[233],"on":[234],"optimization-based":[235,361],"approaches,":[236],"which":[237],"are":[238],"time-consuming":[239],"impractical":[241],"real-time":[243,369],"work":[246],"presents":[247],"approach":[250],"fast":[252],"motion":[253],"in":[255,289],"environments":[257],"(E-pTL).":[263],"E-pTL":[266],"not":[267],"only":[268],"enhances":[269],"but":[272],"also":[273],"be":[275],"checked":[276],"automaton,":[279],"simplifying":[280],"checks.":[282],"existing":[284],"methods":[286,294,307,362],"encounter":[287],"limitations":[288],"tasks.":[291],"Graph":[292],"search":[293,340,349],"require":[295],"replanning":[296],"at":[297],"each":[298,314],"step":[300],"lack":[302],"guarantees,":[304],"sampling":[306],"can\u2019t":[308],"efficiently":[309],"handle":[310],"proposition.":[316],"In":[317],"contrast,":[318],"developed":[320],"decision":[322],"(PDT)-based":[324],"framework":[325],"searches":[327],"validates":[331],"propositions":[332],"without":[333,351],"transition":[335],"system,":[336],"significantly":[337],"reducing":[338],"suggested":[343],"further":[346],"trims":[347],"space":[350],"compromising":[352],"feasibility.":[353],"Overall,":[354],"enables":[356],"rapid,":[357],"reliable":[358],"planning,":[359],"outperforming":[360],"like":[363],"ILP/MILP":[364],"proving":[366],"well-suited":[367],"applications.":[370]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2}],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-10-10T00:00:00"}