{"id":"https://openalex.org/W1964703036","doi":"https://doi.org/10.1109/tac.2014.2351911","title":"An MPC-Based Approach to Provable System-Wide Safety and Liveness of Autonomous Ground Traffic","display_name":"An MPC-Based Approach to Provable System-Wide Safety and Liveness of Autonomous Ground Traffic","publication_year":2014,"publication_date":"2014-09-25","ids":{"openalex":"https://openalex.org/W1964703036","doi":"https://doi.org/10.1109/tac.2014.2351911","mag":"1964703036"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2014.2351911","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2014.2351911","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Transactions on Automatic Control","raw_type":"journal-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/A5001065565","display_name":"Kyoung-Dae Kim","orcid":"https://orcid.org/0000-0003-2631-1993"},"institutions":[{"id":"https://openalex.org/I131651094","display_name":"University of Denver","ror":"https://ror.org/04w7skc03","country_code":"US","type":"education","lineage":["https://openalex.org/I131651094"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kyoung-Dae Kim","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Denver, Denver, CO, USA","Dept. of Electr. & Comput. Eng., Univ. of Denver, Denver, CO, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Denver, Denver, CO, USA","institution_ids":["https://openalex.org/I131651094"]},{"raw_affiliation_string":"Dept. of Electr. & Comput. Eng., Univ. of Denver, Denver, CO, USA","institution_ids":["https://openalex.org/I131651094"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5107699893","display_name":"P. R. Kumar","orcid":"https://orcid.org/0000-0003-0389-5367"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P. R. Kumar","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Texas A&M University, College Station, TX, USA","Dept. of Electr. & Comput. Eng, Texas A&M Univ., College Station, TX, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Texas A&M University, College Station, TX, USA","institution_ids":["https://openalex.org/I91045830"]},{"raw_affiliation_string":"Dept. of Electr. & Comput. Eng, Texas A&M Univ., College Station, TX, USA","institution_ids":["https://openalex.org/I91045830"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5001065565"],"corresponding_institution_ids":["https://openalex.org/I131651094"],"apc_list":null,"apc_paid":null,"fwci":15.5623,"has_fulltext":false,"cited_by_count":173,"citation_normalized_percentile":{"value":0.99095121,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":"59","issue":"12","first_page":"3341","last_page":"3356"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9972000122070312,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9972000122070312,"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/T10142","display_name":"Formal Methods in Verification","score":0.9968000054359436,"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.9944999814033508,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.9555859565734863},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.7980906963348389},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6346896886825562},{"id":"https://openalex.org/keywords/collision-avoidance","display_name":"Collision avoidance","score":0.4655531048774719},{"id":"https://openalex.org/keywords/model-predictive-control","display_name":"Model predictive control","score":0.462754487991333},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4308934807777405},{"id":"https://openalex.org/keywords/system-safety","display_name":"System safety","score":0.416145384311676},{"id":"https://openalex.org/keywords/vehicle-dynamics","display_name":"Vehicle dynamics","score":0.4127853512763977},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3291017413139343},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.258383572101593},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2527259588241577},{"id":"https://openalex.org/keywords/collision","display_name":"Collision","score":0.23342928290367126},{"id":"https://openalex.org/keywords/transport-engineering","display_name":"Transport engineering","score":0.15634801983833313},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.148578941822052},{"id":"https://openalex.org/keywords/automotive-engineering","display_name":"Automotive engineering","score":0.13319578766822815},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13043874502182007}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9555859565734863},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.7980906963348389},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6346896886825562},{"id":"https://openalex.org/C2780864053","wikidata":"https://www.wikidata.org/wiki/Q5147495","display_name":"Collision avoidance","level":3,"score":0.4655531048774719},{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.462754487991333},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4308934807777405},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.416145384311676},{"id":"https://openalex.org/C79487989","wikidata":"https://www.wikidata.org/wiki/Q934680","display_name":"Vehicle dynamics","level":2,"score":0.4127853512763977},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3291017413139343},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.258383572101593},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2527259588241577},{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.23342928290367126},{"id":"https://openalex.org/C22212356","wikidata":"https://www.wikidata.org/wiki/Q775325","display_name":"Transport engineering","level":1,"score":0.15634801983833313},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.148578941822052},{"id":"https://openalex.org/C171146098","wikidata":"https://www.wikidata.org/wiki/Q124192","display_name":"Automotive engineering","level":1,"score":0.13319578766822815},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13043874502182007},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2014.2351911","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2014.2351911","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Transactions on Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5799999833106995,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1978956894","https://openalex.org/W2085865324","https://openalex.org/W2088356556","https://openalex.org/W2098916117","https://openalex.org/W2102104695","https://openalex.org/W2112930335","https://openalex.org/W2113523706","https://openalex.org/W2120423655","https://openalex.org/W2137514195","https://openalex.org/W2140464472","https://openalex.org/W2158914121","https://openalex.org/W2165216595","https://openalex.org/W3142014825"],"related_works":["https://openalex.org/W1565271071","https://openalex.org/W2081199208","https://openalex.org/W3160870209","https://openalex.org/W3349016","https://openalex.org/W2494011163","https://openalex.org/W2053262709","https://openalex.org/W1481041875","https://openalex.org/W2139648957","https://openalex.org/W128654086","https://openalex.org/W2120267624"],"abstract_inverted_index":{"An":[0],"important":[1],"area":[2],"of":[3,10,41,81,90,96,104,136,158,190,197],"cyber-physical":[4],"systems":[5,14],"research":[6],"is":[7,118],"the":[8,23,26,39,79,85,87,93,105,116,137,153,159,191,198,205],"development":[9,40],"smart":[11],"ground":[12,46],"transportation":[13,47],"due":[15],"to":[16,62,119,179],"their":[17,180],"potentially":[18],"significant":[19],"impact":[20],"on":[21,33,71,78,163],"safety,":[22],"economy,":[24],"and":[25,49,98,102,115,151,156],"environment.":[27],"We":[28,139,183],"propose":[29],"an":[30,51,72,173,195],"approach":[31,58,200],"based":[32,70,77,162],"model":[34],"predictive":[35],"control":[36],"(MPC)":[37],"for":[38],"provably":[42],"collision":[43],"free":[44],"autonomous":[45,52,160],"systems,":[48],"present":[50],"intersection":[53,196],"management":[54],"framework.":[55],"The":[56],"MPC":[57,166],"enables":[59],"a":[60,91,148,186],"vehicle":[61],"generate":[63],"its":[64],"own":[65],"motion":[66,167],"locally":[67],"in":[68,84,170],"time":[69],"optimization":[73,123],"framework,":[74],"incorporating":[75],"constraints":[76],"states":[80],"other":[82],"vehicles":[83,177],"neighborhood,":[86],"speed":[88],"limit":[89],"road,":[92],"maximum":[94],"values":[95],"acceleration":[97],"deceleration,":[99],"etc.":[100],"Safety":[101],"liveness":[103,135,157],"traffic":[106,161],"are":[107],"however":[108],"system-wide":[109,130,154],"properties,":[110,114],"not":[111],"merely":[112],"neighborhood":[113],"challenge":[117],"augment":[120],"this":[121],"distributed":[122],"with":[124,147,172],"coordination":[125,144],"rules":[126],"that":[127,175],"guarantee":[128],"overall":[129],"safety":[131,155],"as":[132,134],"well":[133],"traffic.":[138],"design":[140],"two":[141],"vehicle-to-vehicle":[142],"(V2V)":[143],"rules,":[145],"along":[146],"vehicle-to-infrastructure":[149],"rule,":[150],"establish":[152],"each":[164],"vehicle's":[165],"planner,":[168],"operating":[169],"conjunction":[171],"algorithm":[174],"orders":[176],"according":[178],"runtime":[181],"properties.":[182],"also":[184],"conduct":[185],"comparative":[187],"simulation":[188],"study":[189],"throughput":[192],"performance":[193],"at":[194],"above":[199],"against":[201],"another":[202],"popular":[203],"algorithm,":[204],"All-Way":[206],"STOP.":[207]},"counts_by_year":[{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":13},{"year":2021,"cited_by_count":23},{"year":2020,"cited_by_count":20},{"year":2019,"cited_by_count":35},{"year":2018,"cited_by_count":21},{"year":2017,"cited_by_count":15},{"year":2016,"cited_by_count":13},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}