{"id":"https://openalex.org/W3045306771","doi":"https://doi.org/10.1109/lcsys.2020.3032845","title":"Receding Horizon Control-Based Motion Planning With Partially Infeasible LTL Constraints","display_name":"Receding Horizon Control-Based Motion Planning With Partially Infeasible LTL Constraints","publication_year":2020,"publication_date":"2020-10-21","ids":{"openalex":"https://openalex.org/W3045306771","doi":"https://doi.org/10.1109/lcsys.2020.3032845","mag":"3045306771"},"language":"en","primary_location":{"id":"doi:10.1109/lcsys.2020.3032845","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2020.3032845","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2007.12123","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Mingyu Cai","orcid":"https://orcid.org/0000-0002-2967-2703"},"institutions":[{"id":"https://openalex.org/I126307644","display_name":"University of Iowa","ror":"https://ror.org/036jqmy94","country_code":"US","type":"education","lineage":["https://openalex.org/I126307644"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mingyu Cai","raw_affiliation_strings":["University of Iowa, Iowa City, IA, USA"],"affiliations":[{"raw_affiliation_string":"University of Iowa, Iowa City, IA, USA","institution_ids":["https://openalex.org/I126307644"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hao Peng","orcid":"https://orcid.org/0000-0001-8617-4850"},"institutions":[{"id":"https://openalex.org/I2799847335","display_name":"Art Institute of Portland","ror":"https://ror.org/01cb0jg64","country_code":"US","type":"education","lineage":["https://openalex.org/I2799847335","https://openalex.org/I2799969541"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hao Peng","raw_affiliation_strings":["Apex.AI Inc., Palo Alto, CA, USA"],"affiliations":[{"raw_affiliation_string":"Apex.AI Inc., Palo Alto, CA, USA","institution_ids":["https://openalex.org/I2799847335"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Zhijun Li","orcid":"https://orcid.org/0000-0002-3909-488X"},"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":"Zhijun Li","raw_affiliation_strings":["University of Science and Technology of China, Hefei, China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hongbo Gao","orcid":"https://orcid.org/0000-0002-5271-1280"},"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":"Hongbo Gao","raw_affiliation_strings":["University of Science and Technology of China, Hefei, China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"last","author":{"id":null,"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":["University of Science and Technology of China, Hefei, China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I126307644"],"apc_list":null,"apc_paid":null,"fwci":1.7665,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.87298561,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"5","issue":"4","first_page":"1279","last_page":"1284"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.5699999928474426,"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.5699999928474426,"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.3028999865055084,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.021900000050663948,"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/linear-temporal-logic","display_name":"Linear temporal logic","score":0.6876999735832214},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.5752999782562256},{"id":"https://openalex.org/keywords/motion","display_name":"Motion (physics)","score":0.5302000045776367},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.4860000014305115},{"id":"https://openalex.org/keywords/horizon","display_name":"Horizon","score":0.460099995136261},{"id":"https://openalex.org/keywords/time-horizon","display_name":"Time horizon","score":0.44999998807907104},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4442000091075897},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.37209999561309814}],"concepts":[{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.6876999735832214},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.5752999782562256},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5547999739646912},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.5302000045776367},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.4860000014305115},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.47099998593330383},{"id":"https://openalex.org/C159176650","wikidata":"https://www.wikidata.org/wiki/Q43261","display_name":"Horizon","level":2,"score":0.460099995136261},{"id":"https://openalex.org/C28761237","wikidata":"https://www.wikidata.org/wiki/Q7805321","display_name":"Time horizon","level":2,"score":0.44999998807907104},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4442000091075897},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.37209999561309814},{"id":"https://openalex.org/C145565327","wikidata":"https://www.wikidata.org/wiki/Q852514","display_name":"Motion control","level":3,"score":0.3677000105381012},{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.3637999892234802},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.34459999203681946},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.3441999852657318},{"id":"https://openalex.org/C55660270","wikidata":"https://www.wikidata.org/wiki/Q5164377","display_name":"Constrained optimization","level":2,"score":0.33559998869895935},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.3075000047683716},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.27000001072883606},{"id":"https://openalex.org/C2776350369","wikidata":"https://www.wikidata.org/wiki/Q843479","display_name":"Control logic","level":2,"score":0.26260000467300415},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2547000050544739},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.25450000166893005},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.25040000677108765}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/lcsys.2020.3032845","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2020.3032845","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2007.12123","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2007.12123","pdf_url":"https://arxiv.org/pdf/2007.12123","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2007.12123","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2007.12123","pdf_url":"https://arxiv.org/pdf/2007.12123","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1432229094","display_name":null,"funder_award_id":"U1913601","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3515097778","display_name":null,"funder_award_id":"61625303","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5133900675","display_name":null,"funder_award_id":"61751310","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5292942112","display_name":null,"funder_award_id":"17030901029","funder_id":"https://openalex.org/F4320326650","funder_display_name":"Anhui Provincial Department of Science and Technology"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320326650","display_name":"Anhui Provincial Department of Science and Technology","ror":"https://ror.org/01e70gy59"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W2010802721","https://openalex.org/W2048563056","https://openalex.org/W2052695231","https://openalex.org/W2059916956","https://openalex.org/W2064572756","https://openalex.org/W2077578897","https://openalex.org/W2091682553","https://openalex.org/W2092884371","https://openalex.org/W2129226651","https://openalex.org/W2155327357","https://openalex.org/W2167185915","https://openalex.org/W2289025432","https://openalex.org/W2381901500","https://openalex.org/W2735478446","https://openalex.org/W2804655496","https://openalex.org/W2900931536","https://openalex.org/W2951796861","https://openalex.org/W3039276491","https://openalex.org/W6686226592"],"related_works":[],"abstract_inverted_index":{"This":[0],"letter":[1,34],"considers":[2,35],"online":[3],"optimal":[4],"motion":[5,66,162],"planning":[6,67],"of":[7,68,78,85,159],"an":[8,123],"autonomous":[9],"agent":[10,70],"subject":[11],"to":[12,59,72,80,126,155],"linear":[13],"temporal":[14],"logic":[15],"(LTL)":[16],"constraints.":[17],"Since":[18],"user-specified":[19],"tasks":[20,54,100],"may":[21],"not":[22,60],"be":[23,57],"fully":[24,141],"realized":[25],"(i.e.,":[26,93],"partially":[27,102],"infeasible)":[28],"in":[29,75],"a":[30,110,132],"complex":[31],"environment,":[32],"this":[33],"hard":[36,42],"and":[37,143,150],"soft":[38,51,91,144],"LTL":[39,124],"constraints,":[40],"where":[41],"constraints":[43,52,92,139,145],"enforce":[44],"safety":[45,86,138],"requirements":[46],"(e.g.,":[47],"avoid":[48],"obstacles)":[49],"while":[50,135],"represent":[53],"that":[55,137],"can":[56],"relaxed":[58],"strictly":[61],"follow":[62],"user":[63],"specifications.":[64],"The":[65],"the":[69,83,95,128,157,160],"is":[71,120],"generate":[73],"trajectories,":[74],"decreasing":[76],"order":[77],"priority,":[79],"1)":[81],"guarantee":[82],"satisfaction":[84],"constraints;":[87],"2)":[88],"mostly":[89,147],"fulfill":[90],"minimize":[94],"violation":[96],"cost":[97],"if":[98],"desired":[99],"are":[101,140,146,153],"infeasible);":[103],"3)":[104],"locally":[105],"optimize":[106],"rewards":[107],"collection":[108],"over":[109,131],"finite":[111,133],"horizon.":[112],"To":[113],"achieve":[114],"these":[115],"objectives,":[116],"receding":[117],"horizon":[118],"control":[119],"synthesized":[121],"with":[122],"formula":[125],"maximize":[127],"accumulated":[129],"utilities":[130],"horizon,":[134],"ensuring":[136],"satisfied":[142],"satisfied.":[148],"Simulation":[149],"experiment":[151],"results":[152],"provided":[154],"demonstrate":[156],"effectiveness":[158],"developed":[161],"strategy.":[163]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2020-07-29T00:00:00"}