{"id":"https://openalex.org/W3045535642","doi":"https://doi.org/10.23919/acc45564.2020.9147387","title":"Continuous-time Signal Temporal Logic Planning with Control Barrier Functions","display_name":"Continuous-time Signal Temporal Logic Planning with Control Barrier Functions","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3045535642","doi":"https://doi.org/10.23919/acc45564.2020.9147387","mag":"3045535642"},"language":"en","primary_location":{"id":"doi:10.23919/acc45564.2020.9147387","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc45564.2020.9147387","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 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/A5059211235","display_name":"Guang Yang","orcid":"https://orcid.org/0000-0003-1181-4862"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guang Yang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086742095","display_name":"C\u0103lin Belta","orcid":"https://orcid.org/0000-0002-7141-2657"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Calin Belta","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5031884953","display_name":"Roberto Tron","orcid":"https://orcid.org/0000-0002-6676-8595"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Roberto Tron","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":7.416,"has_fulltext":false,"cited_by_count":38,"citation_normalized_percentile":{"value":0.985209,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"4612","last_page":"4618"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9927999973297119,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9824000000953674,"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/liveness","display_name":"Liveness","score":0.812574565410614},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6996970176696777},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6352089643478394},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.6182858347892761},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5634729862213135},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.5346896648406982},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.5021533966064453},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.45650702714920044},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3640952408313751},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3617779612541199},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.35038816928863525},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3467503786087036},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20050156116485596},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10742443799972534},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10124075412750244}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.812574565410614},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6996970176696777},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6352089643478394},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.6182858347892761},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5634729862213135},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.5346896648406982},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.5021533966064453},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.45650702714920044},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3640952408313751},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3617779612541199},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.35038816928863525},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3467503786087036},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20050156116485596},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10742443799972534},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10124075412750244},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"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/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","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},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc45564.2020.9147387","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc45564.2020.9147387","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.6800000071525574}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1891170951","https://openalex.org/W1935692274","https://openalex.org/W1972149633","https://openalex.org/W1980569135","https://openalex.org/W2023808162","https://openalex.org/W2026629052","https://openalex.org/W2049399166","https://openalex.org/W2092884371","https://openalex.org/W2095274657","https://openalex.org/W2226453522","https://openalex.org/W2234962923","https://openalex.org/W2483914252","https://openalex.org/W2489231587","https://openalex.org/W2491042601","https://openalex.org/W2841721725","https://openalex.org/W2886268387","https://openalex.org/W2911097698","https://openalex.org/W2964219844","https://openalex.org/W2973005513","https://openalex.org/W2986444891","https://openalex.org/W3011888914","https://openalex.org/W3101375348","https://openalex.org/W3104880332","https://openalex.org/W6630053826","https://openalex.org/W6674485495"],"related_works":["https://openalex.org/W2130786035","https://openalex.org/W2359796614","https://openalex.org/W2993543941","https://openalex.org/W2131064738","https://openalex.org/W2110857346","https://openalex.org/W1557079643","https://openalex.org/W2168791893","https://openalex.org/W1481201928","https://openalex.org/W2122686575","https://openalex.org/W1583251282"],"abstract_inverted_index":{"Temporal":[0,90],"Logic":[1,91],"(TL)":[2],"guided":[3],"control":[4,132],"problems":[5],"have":[6,36],"gained":[7],"enormous":[8],"interests":[9],"in":[10,39,71,117,129],"recent":[11],"years.":[12],"A":[13],"wide":[14],"range":[15],"of":[16,42],"properties,":[17],"such":[18,81],"as":[19,88],"liveness":[20],"and":[21],"safety,":[22],"can":[23],"be":[24],"specified":[25],"through":[26,141],"TL.":[27],"On":[28],"the":[29,40,50],"other":[30],"hand,":[31],"Control":[32],"Barrier":[33],"Functions":[34],"(CBF)":[35],"shown":[37],"success":[38],"context":[41],"safety":[43],"critical":[44],"applications":[45],"that":[46,107,114],"require":[47],"constraints":[48,86],"on":[49,99],"system":[51,112],"states.":[52],"In":[53],"this":[54],"paper,":[55],"we":[56,121],"consider":[57],"linear":[58,85],"cyber-physical":[59],"systems":[60,82],"with":[61,125],"continuous":[62,118],"dynamics,":[63],"where":[64],"controls":[65],"are":[66,115,134],"generated":[67],"by":[68],"digital":[69],"computers":[70],"discrete":[72],"time.":[73],"We":[74,136],"propose":[75],"an":[76],"offline":[77],"trajectory":[78],"planner":[79,96],"for":[80],"subject":[83],"to":[84,110],"given":[87],"Signal":[89],"(STL)":[92],"formulas.":[93],"The":[94],"proposed":[95],"is":[97],"based":[98],"a":[100],"Mixed":[101],"Integer":[102],"Quadratic":[103],"Programming":[104],"(MIQP)":[105],"formulation":[106],"utilizes":[108],"CBFs":[109],"produce":[111],"trajectories":[113],"valid":[116],"time;":[119],"moreover":[120],"allow":[122],"STL":[123],"predicates":[124],"arbitrary":[126],"time":[127],"constraints,":[128],"which":[130],"asynchronous":[131],"updates":[133],"allowed.":[135],"validate":[137],"our":[138],"theoretical":[139],"results":[140],"numerical":[142],"simulations.":[143]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":11},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}