{"id":"https://openalex.org/W4402265231","doi":"https://doi.org/10.23919/acc60939.2024.10644604","title":"Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications","display_name":"Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications","publication_year":2024,"publication_date":"2024-07-10","ids":{"openalex":"https://openalex.org/W4402265231","doi":"https://doi.org/10.23919/acc60939.2024.10644604"},"language":"en","primary_location":{"id":"doi:10.23919/acc60939.2024.10644604","is_oa":false,"landing_page_url":"http://dx.doi.org/10.23919/acc60939.2024.10644604","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 American Control Conference (ACC)","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/A5101320985","display_name":"Nhan-Khanh Le","orcid":null},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Nhan-Khanh Le","raw_affiliation_strings":["School of Computation, Information and Technology, Technical University of Munich,Chair of Information-oriented Control (ITR),Munich,Germany,80333"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computation, Information and Technology, Technical University of Munich,Chair of Information-oriented Control (ITR),Munich,Germany,80333","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051837539","display_name":"Erfaun Noorani","orcid":"https://orcid.org/0000-0002-5171-122X"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Erfaun Noorani","raw_affiliation_strings":["Institute for Systems Research (ISR) at the University of Maryland,Department of Electrical and Computer Engineering,College Park,MD,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Systems Research (ISR) at the University of Maryland,Department of Electrical and Computer Engineering,College Park,MD,USA","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024376647","display_name":"Sandra Hirche","orcid":"https://orcid.org/0000-0001-7819-5926"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sandra Hirche","raw_affiliation_strings":["School of Computation, Information and Technology, Technical University of Munich,Chair of Information-oriented Control (ITR),Munich,Germany,80333"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computation, Information and Technology, Technical University of Munich,Chair of Information-oriented Control (ITR),Munich,Germany,80333","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044395526","display_name":"John S. Baras","orcid":"https://orcid.org/0000-0002-4955-8561"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John S. Baras","raw_affiliation_strings":["Institute for Systems Research (ISR) at the University of Maryland,Department of Electrical and Computer Engineering,College Park,MD,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Systems Research (ISR) at the University of Maryland,Department of Electrical and Computer Engineering,College Park,MD,USA","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3629,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.79499811,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"4133","last_page":"4140"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/trajectory","display_name":"Trajectory","score":0.6984760761260986},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6113346219062805},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5645718574523926},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.5440442562103271},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5153850317001343},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.4710179269313812},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4669412672519684},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38621848821640015},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.33193135261535645},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2661259174346924},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.21954789757728577},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.11404880881309509},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07028403878211975}],"concepts":[{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.6984760761260986},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6113346219062805},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5645718574523926},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.5440442562103271},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5153850317001343},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.4710179269313812},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4669412672519684},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38621848821640015},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.33193135261535645},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2661259174346924},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.21954789757728577},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.11404880881309509},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07028403878211975},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc60939.2024.10644604","is_oa":false,"landing_page_url":"http://dx.doi.org/10.23919/acc60939.2024.10644604","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5899999737739563,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W2095274657","https://openalex.org/W2095901198","https://openalex.org/W2139711135","https://openalex.org/W2167799541","https://openalex.org/W2621540998","https://openalex.org/W2792781634","https://openalex.org/W2841721725","https://openalex.org/W3098341813","https://openalex.org/W3164776375","https://openalex.org/W4210600503","https://openalex.org/W4210750948","https://openalex.org/W4229885360","https://openalex.org/W4286001025","https://openalex.org/W4391020624","https://openalex.org/W6632722279","https://openalex.org/W6780312108","https://openalex.org/W6781391216"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W2763487042","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W3021103820","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2359600231","https://openalex.org/W2077520193"],"abstract_inverted_index":{"Real-world":[0],"scenarios":[1],"are":[2,15],"characterized":[3],"by":[4],"timing":[5],"uncertainties,":[6],"e.g.,":[7],"delays,":[8],"and":[9,24,135,157],"disturbances.":[10],"Algorithms":[11],"with":[12,59,96,106],"temporal":[13],"robustness":[14],"crucial":[16],"in":[17,26,44],"guaranteeing":[18],"the":[19,69,87,130,155,158],"successful":[20],"execution":[21],"of":[22,79,133,160],"tasks":[23],"missions":[25],"such":[27],"scenarios.":[28],"We":[29,139],"study":[30],"time-robust":[31],"path":[32],"planning":[33,109],"for":[34,68,104,117,125],"synthesizing":[35],"robots'":[36],"trajectories":[37,58],"that":[38,54,112],"adhere":[39],"to":[40,51,85,129,145],"spatial-temporal":[41],"specifications":[42,105],"expressed":[43],"Sig-nal":[45],"Temporal":[46],"Logic":[47],"(STL).":[48],"In":[49],"contrast":[50],"prior":[52],"approaches":[53],"rely":[55],"on":[56],"discretized":[57],"fixed":[60],"time-steps,":[61],"we":[62,114,121],"leverage":[63],"Piece-Wise":[64],"Linear":[65,93],"(PWL)":[66],"signals":[67,72,127],"synthesis.":[70],"PWL":[71,118,126],"represent":[73],"a":[74,77,91,107,150],"trajectory":[75],"through":[76],"sequence":[78],"time-stamped":[80],"waypoints.":[81],"This":[82,99],"allows":[83],"us":[84],"encode":[86],"STL":[88,134],"formula":[89],"into":[90,149],"Mixed-Integer":[92],"Program":[94],"(MILP)":[95],"fewer":[97],"variables.":[98],"reduction":[100],"is":[101],"more":[102],"pronounced":[103],"long":[108],"horizon.":[110],"To":[111],"end,":[113],"define":[115],"time-robustness":[116],"signals.":[119],"Subsequently,":[120],"propose":[122,141],"quantitative":[123],"semantics":[124,148],"according":[128],"recursive":[131],"syntax":[132],"prove":[136],"their":[137],"soundness.":[138],"then":[140],"an":[142],"encoding":[143],"strategy":[144],"transform":[146],"our":[147,161],"MILP.":[151],"Our":[152],"simulations":[153],"showcase":[154],"soundness":[156],"performance":[159],"algorithm.":[162]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}