{"id":"https://openalex.org/W3159493716","doi":"https://doi.org/10.23919/acc50511.2021.9482810","title":"A Control Architecture for Provably-Correct Autonomous Driving","display_name":"A Control Architecture for Provably-Correct Autonomous Driving","publication_year":2021,"publication_date":"2021-05-25","ids":{"openalex":"https://openalex.org/W3159493716","doi":"https://doi.org/10.23919/acc50511.2021.9482810","mag":"3159493716"},"language":"en","primary_location":{"id":"doi:10.23919/acc50511.2021.9482810","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc50511.2021.9482810","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 American Control Conference (ACC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2105.02759","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042146883","display_name":"Erfan Aasi","orcid":null},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Erfan Aasi","raw_affiliation_strings":["Department of Mechanical Engineering, Boston University, Boston, MA, USA","Boston University,Department of Mechanical Engineering,Boston,MA,USA,02215"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]},{"raw_affiliation_string":"Boston University,Department of Mechanical Engineering,Boston,MA,USA,02215","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086654963","display_name":"Cristian-Ioan Vasile","orcid":"https://orcid.org/0000-0002-1132-1462"},"institutions":[{"id":"https://openalex.org/I186143895","display_name":"Lehigh University","ror":"https://ror.org/012afjb06","country_code":"US","type":"education","lineage":["https://openalex.org/I186143895"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cristian Ioan Vasile","raw_affiliation_strings":["Mechanical Engineering and Mechanics Department, Lehigh University, Bethlehem, PA, USA","Lehigh University,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mechanical Engineering and Mechanics Department, Lehigh University, Bethlehem, PA, USA","institution_ids":["https://openalex.org/I186143895"]},{"raw_affiliation_string":"Lehigh University,","institution_ids":["https://openalex.org/I186143895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086742095","display_name":"C\u0103lin Belta","orcid":"https://orcid.org/0000-0002-7141-2657"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Calin Belta","raw_affiliation_strings":["Department of Mechanical Engineering, Boston University, Boston, MA, USA","Boston University,Department of Mechanical Engineering,Boston,MA,USA,02215"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]},{"raw_affiliation_string":"Boston University,Department of Mechanical Engineering,Boston,MA,USA,02215","institution_ids":["https://openalex.org/I111088046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4086,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.45496305,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"2913","last_page":"2918"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9977999925613403,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9976999759674072,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7655531167984009},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.6729679703712463},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.6453229188919067},{"id":"https://openalex.org/keywords/model-predictive-control","display_name":"Model predictive control","score":0.6084913611412048},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5322603583335876},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.513769268989563},{"id":"https://openalex.org/keywords/vehicle-dynamics","display_name":"Vehicle dynamics","score":0.455033540725708},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.43698006868362427},{"id":"https://openalex.org/keywords/control-logic","display_name":"Control logic","score":0.42304527759552},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.4118383526802063},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4060797393321991},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19951170682907104},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18364351987838745},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12036657333374023},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09664765000343323}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7655531167984009},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.6729679703712463},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6453229188919067},{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.6084913611412048},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5322603583335876},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.513769268989563},{"id":"https://openalex.org/C79487989","wikidata":"https://www.wikidata.org/wiki/Q934680","display_name":"Vehicle dynamics","level":2,"score":0.455033540725708},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.43698006868362427},{"id":"https://openalex.org/C2776350369","wikidata":"https://www.wikidata.org/wiki/Q843479","display_name":"Control logic","level":2,"score":0.42304527759552},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.4118383526802063},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4060797393321991},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19951170682907104},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18364351987838745},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12036657333374023},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09664765000343323},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C171146098","wikidata":"https://www.wikidata.org/wiki/Q124192","display_name":"Automotive engineering","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.23919/acc50511.2021.9482810","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc50511.2021.9482810","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 American Control Conference (ACC)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2105.02759","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2105.02759","pdf_url":"https://arxiv.org/pdf/2105.02759","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"","raw_type":"text"},{"id":"mag:3159493716","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2105.02759v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2105.02759","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2105.02759","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2105.02759","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2105.02759","pdf_url":"https://arxiv.org/pdf/2105.02759","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"","raw_type":"text"},"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.6399999856948853}],"awards":[{"id":"https://openalex.org/G4553413310","display_name":"NRI: FND: A Formal Methods Approach to Safe, Composable, and Distributed Reinforcement Learning for co-Robots","funder_award_id":"2024606","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4633791274","display_name":"S&AS: INT: COLLAB: Autonomy as a Service","funder_award_id":"1723995","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3159493716.pdf","grobid_xml":"https://content.openalex.org/works/W3159493716.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W828139470","https://openalex.org/W1498432697","https://openalex.org/W1524391858","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1935692274","https://openalex.org/W1969857858","https://openalex.org/W1985574396","https://openalex.org/W2019826771","https://openalex.org/W2019954549","https://openalex.org/W2064572756","https://openalex.org/W2092884371","https://openalex.org/W2093699968","https://openalex.org/W2102975675","https://openalex.org/W2107556430","https://openalex.org/W2112320238","https://openalex.org/W2155327357","https://openalex.org/W2167185915","https://openalex.org/W2263673729","https://openalex.org/W2282033015","https://openalex.org/W2411577903","https://openalex.org/W2576586002","https://openalex.org/W2729776805","https://openalex.org/W2737479107","https://openalex.org/W2785700716","https://openalex.org/W2890208026","https://openalex.org/W2907589330","https://openalex.org/W2962867954","https://openalex.org/W2968120782","https://openalex.org/W2990116160","https://openalex.org/W3102923851"],"related_works":["https://openalex.org/W3187012765","https://openalex.org/W2292633880","https://openalex.org/W2767859977","https://openalex.org/W2773864053","https://openalex.org/W3009175151","https://openalex.org/W3139113494","https://openalex.org/W632067229","https://openalex.org/W1994900184","https://openalex.org/W3116722337","https://openalex.org/W3090841560","https://openalex.org/W3197063322","https://openalex.org/W3036994337","https://openalex.org/W2123756249","https://openalex.org/W2017882127","https://openalex.org/W2508650754","https://openalex.org/W2172373856","https://openalex.org/W2996414395","https://openalex.org/W2890975607","https://openalex.org/W2056405105","https://openalex.org/W2808618031"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,9,14,37,48,103],"novel":[4],"two-level":[5],"control":[6,27,96,168],"architecture":[7],"for":[8,98,128],"fully":[10],"autonomous":[11],"vehicle":[12,26,44,122],"in":[13,76,102,136,151,154,170],"deterministic":[15],"environment,":[16],"which":[17,69],"can":[18],"handle":[19],"traffic":[20,58],"rules":[21,59],"as":[22],"specifications":[23],"and":[24,43,60,121,139,160],"low-level":[25],"with":[28,115],"real-time":[29],"performance.":[30],"At":[31,107],"the":[32,41,57,77,84,90,94,100,108,119,129,132,137,140,152,155,163,171],"top":[33,85],"level,":[34],"we":[35,161],"use":[36],"simple":[38,133],"representation":[39],"of":[40,118,157,165],"environment":[42,120],"dynamics":[45],"to":[46,72,92,126],"formulate":[47],"linear":[49],"Model":[50],"Predictive":[51],"Control":[52],"(MPC)":[53],"problem.":[54,79],"We":[55,144],"describe":[56],"safety":[61],"constraints":[62,75,101],"using":[63],"Signal":[64],"Temporal":[65],"Logic":[66],"(STL)":[67],"formulas,":[68],"are":[70,124],"mapped":[71],"mixed":[73],"integer-linear":[74],"optimization":[78],"The":[80],"solution":[81],"obtained":[82],"at":[83,89],"level":[86],"is":[87],"used":[88,125,135],"bottom-level":[91],"determine":[93],"best":[95],"command":[97],"satisfying":[99],"more":[104],"detailed":[105,116],"framework.":[106],"bottom-level,":[109],"specification-based":[110],"runtime":[111,158],"monitoring":[112],"techniques,":[113],"together":[114],"representations":[117],"dynamics,":[123],"compensate":[127],"mismatch":[130],"between":[131],"models":[134],"MPC":[138],"real":[141],"complex":[142],"models.":[143],"obtain":[145],"substantial":[146],"improvements":[147],"over":[148],"existing":[149],"approaches":[150],"literature":[153],"sense":[156],"performance":[159],"validate":[162],"effectiveness":[164],"our":[166],"proposed":[167],"approach":[169],"simulator":[172],"CARLA.":[173]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}