{"id":"https://openalex.org/W2964243697","doi":"https://doi.org/10.1109/cdc.2015.7402950","title":"Towards provably safe mixed transportation systems with human-driven and automated vehicles","display_name":"Towards provably safe mixed transportation systems with human-driven and automated vehicles","publication_year":2015,"publication_date":"2015-12-01","ids":{"openalex":"https://openalex.org/W2964243697","doi":"https://doi.org/10.1109/cdc.2015.7402950","mag":"2964243697"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2015.7402950","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2015.7402950","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 54th IEEE Conference on Decision and Control (CDC)","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/A5107987841","display_name":"Xi Liu","orcid":"https://orcid.org/0000-0002-3883-5340"},"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":true,"raw_author_name":"Xi Liu","raw_affiliation_strings":["The Department of Electrical and Computer Engineering, Texas A&M University"],"affiliations":[{"raw_affiliation_string":"The Department of Electrical and Computer Engineering, Texas A&M University","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029142853","display_name":"Ke Ma","orcid":"https://orcid.org/0000-0002-8154-4354"},"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":"Ke Ma","raw_affiliation_strings":["The Department of Electrical and Computer Engineering, Texas A&M University"],"affiliations":[{"raw_affiliation_string":"The Department of Electrical and Computer Engineering, Texas A&M University","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027778188","display_name":"P. Kumar","orcid":"https://orcid.org/0000-0002-2362-3695"},"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":["The Department of Electrical and Computer Engineering, Texas A&M University"],"affiliations":[{"raw_affiliation_string":"The Department of Electrical and Computer Engineering, Texas A&M University","institution_ids":["https://openalex.org/I91045830"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5107987841"],"corresponding_institution_ids":["https://openalex.org/I91045830"],"apc_list":null,"apc_paid":null,"fwci":3.1398,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.92218905,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"4688","last_page":"4694"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9991000294685364,"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/T10524","display_name":"Traffic control and management","score":0.9983999729156494,"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.9833999872207642,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7330018877983093},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.6035143136978149},{"id":"https://openalex.org/keywords/intelligent-transportation-system","display_name":"Intelligent transportation system","score":0.48639920353889465},{"id":"https://openalex.org/keywords/fraction","display_name":"Fraction (chemistry)","score":0.47173917293548584},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.45982077717781067},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44165724515914917},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.42454782128334045},{"id":"https://openalex.org/keywords/advanced-driver-assistance-systems","display_name":"Advanced driver assistance systems","score":0.4121546447277069},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2772738039493561},{"id":"https://openalex.org/keywords/transport-engineering","display_name":"Transport engineering","score":0.19167524576187134},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14923810958862305}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7330018877983093},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.6035143136978149},{"id":"https://openalex.org/C47796450","wikidata":"https://www.wikidata.org/wiki/Q508378","display_name":"Intelligent transportation system","level":2,"score":0.48639920353889465},{"id":"https://openalex.org/C149629883","wikidata":"https://www.wikidata.org/wiki/Q660926","display_name":"Fraction (chemistry)","level":2,"score":0.47173917293548584},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.45982077717781067},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44165724515914917},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.42454782128334045},{"id":"https://openalex.org/C87833898","wikidata":"https://www.wikidata.org/wiki/Q1060280","display_name":"Advanced driver assistance systems","level":2,"score":0.4121546447277069},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2772738039493561},{"id":"https://openalex.org/C22212356","wikidata":"https://www.wikidata.org/wiki/Q775325","display_name":"Transport engineering","level":1,"score":0.19167524576187134},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14923810958862305},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2015.7402950","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2015.7402950","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 54th IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6600000262260437,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1964703036","https://openalex.org/W2000171190","https://openalex.org/W2003307877","https://openalex.org/W2027067237","https://openalex.org/W2067052661","https://openalex.org/W2088356556","https://openalex.org/W2091392553","https://openalex.org/W2098916117","https://openalex.org/W2120423655","https://openalex.org/W2122368713","https://openalex.org/W2123665586","https://openalex.org/W2140464472","https://openalex.org/W2169702386","https://openalex.org/W2204561521","https://openalex.org/W6688170360"],"related_works":["https://openalex.org/W4377081758","https://openalex.org/W2136583354","https://openalex.org/W2111238207","https://openalex.org/W178140751","https://openalex.org/W1191014223","https://openalex.org/W3134175566","https://openalex.org/W1137063513","https://openalex.org/W2760721665","https://openalex.org/W2519676117","https://openalex.org/W2218202131"],"abstract_inverted_index":{"Currently":[0],"we":[1,29,39,117],"are":[2,85,158,170,180,189],"in":[3,22,108,152,207,211,230,237],"an":[4],"environment":[5],"where":[6],"the":[7,23,41,82,98,112,119,135],"fraction":[8,19],"of":[9,43,46,50,100,105,121,126,129,137,174,219],"automated":[10,33,83,106,130,140],"vehicles":[11,53,60,84,107,133],"is":[12,67,210,228],"negligibly":[13],"small.":[14],"We":[15,142],"anticipate":[16],"that":[17,65,68],"this":[18,38,115,153,208],"will":[20],"increase":[21,111],"coming":[24],"decades":[25],"before,":[26],"if":[27,81],"ever,":[28],"have":[30,74],"a":[31,127,194,223],"fully":[32],"transportation":[34],"system.":[35,156,225],"Motivated":[36],"by":[37,139],"address":[40,118],"problem":[42],"provable":[44],"safety":[45,227],"mixed":[47,70,155,224],"traffic":[48,79],"consisting":[49,125],"both":[51],"intelligent":[52],"(IVs)":[54],"as":[55,57,103,160,172,234,236],"well":[56,73,235],"human":[58,94],"driven":[59],"(HVs).":[61],"An":[62],"important":[63],"issue":[64],"arises":[66],"such":[69,102],"systems":[71,124],"may":[72],"lesser":[75],"throughput":[76],"than":[77],"all-human":[78],"systems,":[80],"expected":[86,181],"to":[87,93,110,182,191,214],"remain":[88],"provably":[89,122],"safe":[90,123],"with":[91,164],"respect":[92],"traffic.":[95],"This":[96],"necessitates":[97],"consideration":[99],"strategies":[101],"platooning":[104,138],"order":[109],"throughput.":[113],"In":[114],"paper":[116,209],"design":[120,143],"mix":[128],"and":[131,147,162,185,202],"human-driven":[132],"including":[134],"use":[136],"vehicles.":[141],"motion":[144,200],"planning":[145],"policies":[146],"coordination":[148,203],"rules":[149],"for":[150],"participants":[151],"novel":[154],"HVs":[157,179],"considered":[159,171],"nearsighted":[161],"modeled":[163],"relatively":[165],"loose":[166],"constraints,":[167],"while":[168],"IVs":[169,188],"capable":[173],"following":[175],"much":[176],"tighter":[177],"constraints.":[178],"follow":[183],"reasonable":[184],"simple":[186],"rules.":[187],"designed":[190],"move":[192],"under":[193],"model":[195],"predictive":[196],"control":[197],"(MPC)":[198],"based":[199],"plans":[201],"protocols.":[204],"Our":[205],"contribution":[206],"showing":[212],"how":[213],"integrate":[215],"these":[216],"two":[217],"types":[218],"models":[220],"safely":[221],"into":[222],"System":[226],"proved":[229],"single":[231],"lane":[232,241],"scenarios,":[233],"multi-lane":[238],"situations":[239],"allowing":[240],"changes.":[242]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}