{"id":"https://openalex.org/W4294691472","doi":"https://doi.org/10.23919/acc53348.2022.9867464","title":"Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints","display_name":"Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints","publication_year":2022,"publication_date":"2022-06-08","ids":{"openalex":"https://openalex.org/W4294691472","doi":"https://doi.org/10.23919/acc53348.2022.9867464"},"language":"en","primary_location":{"id":"doi:10.23919/acc53348.2022.9867464","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc53348.2022.9867464","pdf_url":null,"source":{"id":"https://openalex.org/S4363607732","display_name":"2022 American Control Conference (ACC)","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 American Control Conference (ACC)","raw_type":"proceedings-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/A5040018988","display_name":"Muhammad Waqas","orcid":"https://orcid.org/0000-0002-2169-1053"},"institutions":[{"id":"https://openalex.org/I144571360","display_name":"Viterbo University","ror":"https://ror.org/039p8pn96","country_code":"US","type":"education","lineage":["https://openalex.org/I144571360"]},{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Muhammad Waqas","raw_affiliation_strings":["University of Southern California,Viterbi School of Engineering,USA,90089"],"affiliations":[{"raw_affiliation_string":"University of Southern California,Viterbi School of Engineering,USA,90089","institution_ids":["https://openalex.org/I144571360","https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081446239","display_name":"Muhammad Ali Murtaza","orcid":"https://orcid.org/0000-0002-9921-4257"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Muhammad Ali Murtaza","raw_affiliation_strings":["Georgia Institute of Technology,Electrical and Computer Engineering Department,Atlanta,USA","Electrical and Computer Engineering Department, Georgia Institute of Technology, Atlanta, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology,Electrical and Computer Engineering Department,Atlanta,USA","institution_ids":["https://openalex.org/I130701444"]},{"raw_affiliation_string":"Electrical and Computer Engineering Department, Georgia Institute of Technology, Atlanta, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067636168","display_name":"Pierluigi Nuzzo","orcid":"https://orcid.org/0000-0003-2984-0364"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]},{"id":"https://openalex.org/I144571360","display_name":"Viterbo University","ror":"https://ror.org/039p8pn96","country_code":"US","type":"education","lineage":["https://openalex.org/I144571360"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pierluigi Nuzzo","raw_affiliation_strings":["University of Southern California,Viterbi School of Engineering,USA,90089"],"affiliations":[{"raw_affiliation_string":"University of Southern California,Viterbi School of Engineering,USA,90089","institution_ids":["https://openalex.org/I144571360","https://openalex.org/I1174212"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004938962","display_name":"P\u00e9tros Ioannou","orcid":"https://orcid.org/0000-0001-6981-0704"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]},{"id":"https://openalex.org/I144571360","display_name":"Viterbo University","ror":"https://ror.org/039p8pn96","country_code":"US","type":"education","lineage":["https://openalex.org/I144571360"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Petros Ioannou","raw_affiliation_strings":["University of Southern California,Viterbi School of Engineering,USA,90089"],"affiliations":[{"raw_affiliation_string":"University of Southern California,Viterbi School of Engineering,USA,90089","institution_ids":["https://openalex.org/I144571360","https://openalex.org/I1174212"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5040018988"],"corresponding_institution_ids":["https://openalex.org/I1174212","https://openalex.org/I144571360"],"apc_list":null,"apc_paid":null,"fwci":2.481,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.90929181,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"5140","last_page":"5146"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10524","display_name":"Traffic control and management","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10524","display_name":"Traffic control and management","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cruise-control","display_name":"Cruise control","score":0.894273579120636},{"id":"https://openalex.org/keywords/piecewise","display_name":"Piecewise","score":0.6381731033325195},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6262723803520203},{"id":"https://openalex.org/keywords/classification-of-discontinuities","display_name":"Classification of discontinuities","score":0.545910120010376},{"id":"https://openalex.org/keywords/differentiable-function","display_name":"Differentiable function","score":0.5036522746086121},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.47899267077445984},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.47769883275032043},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.382295697927475},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1310352385044098},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12117984890937805}],"concepts":[{"id":"https://openalex.org/C113168747","wikidata":"https://www.wikidata.org/wiki/Q507295","display_name":"Cruise control","level":3,"score":0.894273579120636},{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.6381731033325195},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6262723803520203},{"id":"https://openalex.org/C15627037","wikidata":"https://www.wikidata.org/wiki/Q541961","display_name":"Classification of discontinuities","level":2,"score":0.545910120010376},{"id":"https://openalex.org/C202615002","wikidata":"https://www.wikidata.org/wiki/Q783507","display_name":"Differentiable function","level":2,"score":0.5036522746086121},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.47899267077445984},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.47769883275032043},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.382295697927475},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1310352385044098},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12117984890937805},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc53348.2022.9867464","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc53348.2022.9867464","pdf_url":null,"source":{"id":"https://openalex.org/S4363607732","display_name":"2022 American Control Conference (ACC)","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 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1569612973","https://openalex.org/W1819561190","https://openalex.org/W1980569135","https://openalex.org/W2107872611","https://openalex.org/W2149730146","https://openalex.org/W2157525649","https://openalex.org/W2344321026","https://openalex.org/W2525042068","https://openalex.org/W2841721725","https://openalex.org/W2914003710","https://openalex.org/W2968945909","https://openalex.org/W2972644282","https://openalex.org/W3011888914","https://openalex.org/W3025631768"],"related_works":["https://openalex.org/W1972096828","https://openalex.org/W2529137940","https://openalex.org/W4302048708","https://openalex.org/W2359913921","https://openalex.org/W1595194509","https://openalex.org/W4239740410","https://openalex.org/W4285388621","https://openalex.org/W1996195943","https://openalex.org/W4205298958","https://openalex.org/W2953303953"],"abstract_inverted_index":{"The":[0],"safety-critical":[1],"nature":[2],"of":[3,28,53,126,154],"adaptive":[4],"cruise":[5],"control":[6,20],"(ACC)":[7],"systems":[8],"calls":[9],"for":[10,58,75],"systematic":[11],"design":[12,61],"procedures,":[13],"e.g.,":[14],"based":[15,78],"on":[16,42,79],"formal":[17],"methods":[18,57],"or":[19],"barrier":[21],"functions":[22],"(CBFs),":[23],"to":[24,85,95,141],"provide":[25],"strong":[26],"guarantees":[27],"safety":[29,63],"and":[30,64,144],"performance":[31],"under":[32,46,62],"all":[33],"driving":[34],"conditions.":[35],"However,":[36],"existing":[37],"approaches":[38,77],"have":[39],"mostly":[40],"focused":[41],"fully":[43],"verified":[44],"solutions":[45],"smooth":[47],"traffic":[48,68,91,116],"conditions,":[49],"with":[50,100,146],"the":[51,83,87,124,152,155],"exception":[52],"stop-and-go":[54],"scenarios.":[55],"Systematic":[56],"high-performance":[59],"ACC":[60],"regulatory":[65,147],"constraints":[66,88,118],"like":[67],"signals":[69],"are":[70,139],"still":[71],"elusive.":[72],"A":[73],"challenge":[74,112],"correct-by-construction":[76],"CBFs":[80,98],"stems":[81],"from":[82,131],"need":[84],"capture":[86],"imposed":[89],"by":[90,113],"signals,":[92],"which":[93,132],"lead":[94],"candidate":[96],"time-varying":[97],"(TV-CBFs)":[99],"finite":[101],"jump":[102],"discontinuities":[103],"in":[104,123],"bounded":[105],"time":[106],"intervals.":[107],"This":[108],"paper":[109],"addresses":[110],"this":[111],"showing":[114],"how":[115],"signal":[117],"can":[119,134],"be":[120,142],"effectively":[121],"captured":[122],"form":[125],"piecewise":[127],"continuously":[128],"differentiable":[129],"TV-CBFs,":[130],"we":[133],"generate":[135],"switching-based":[136],"controllers":[137],"that":[138],"guaranteed":[140],"safe":[143],"comply":[145],"signals.":[148],"Simulation":[149],"results":[150],"show":[151],"effectiveness":[153],"proposed":[156],"approach.":[157]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3}],"updated_date":"2026-03-09T08:58:05.943551","created_date":"2025-10-10T00:00:00"}