{"id":"https://openalex.org/W6968910430","doi":"https://doi.org/10.5281/zenodo.6418817","title":"An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles","display_name":"An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles","publication_year":2022,"publication_date":"2022-04-06","ids":{"openalex":"https://openalex.org/W6968910430","doi":"https://doi.org/10.5281/zenodo.6418817"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:6418817","is_oa":true,"landing_page_url":"https://zenodo.org/record/6418817","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/6418817","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Musau, Patrick","orcid":"https://orcid.org/0000-0002-0227-1336"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Musau, Patrick","raw_affiliation_strings":["Vanderbilt University"],"raw_orcid":"https://orcid.org/0000-0002-0227-1336","affiliations":[{"raw_affiliation_string":"Vanderbilt University","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hamilton, Nathaniel","orcid":"https://orcid.org/0000-0002-7147-1964"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hamilton, Nathaniel","raw_affiliation_strings":["Vanderbilt University"],"raw_orcid":"https://orcid.org/0000-0002-7147-1964","affiliations":[{"raw_affiliation_string":"Vanderbilt University","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Lopez, Diego Manzanas","orcid":"https://orcid.org/0000-0003-0721-1241"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lopez, Diego Manzanas","raw_affiliation_strings":["Vanderbilt University"],"raw_orcid":"https://orcid.org/0000-0003-0721-1241","affiliations":[{"raw_affiliation_string":"Vanderbilt University","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Robinette, Preston","orcid":"https://orcid.org/0000-0002-4906-2179"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robinette, Preston","raw_affiliation_strings":["Vanderbilt University"],"raw_orcid":"https://orcid.org/0000-0002-4906-2179","affiliations":[{"raw_affiliation_string":"Vanderbilt University","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"last","author":{"id":null,"display_name":"Johnson, Taylor","orcid":"https://orcid.org/0000-0001-8021-9923"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Johnson, Taylor","raw_affiliation_strings":["Vanderbilt University"],"raw_orcid":"https://orcid.org/0000-0001-8021-9923","affiliations":[{"raw_affiliation_string":"Vanderbilt University","institution_ids":["https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I200719446"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7901999950408936},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7163000106811523},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6092000007629395},{"id":"https://openalex.org/keywords/autonomous-system","display_name":"Autonomous system (mathematics)","score":0.4691999852657318},{"id":"https://openalex.org/keywords/fail-safe","display_name":"Fail-safe","score":0.4586000144481659},{"id":"https://openalex.org/keywords/safety-assurance","display_name":"Safety assurance","score":0.43880000710487366},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4115999937057495},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4090000092983246},{"id":"https://openalex.org/keywords/limiting","display_name":"Limiting","score":0.387800008058548}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7901999950408936},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7407000064849854},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7163000106811523},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6092000007629395},{"id":"https://openalex.org/C9628104","wikidata":"https://www.wikidata.org/wiki/Q788009","display_name":"Autonomous system (mathematics)","level":2,"score":0.4691999852657318},{"id":"https://openalex.org/C42259789","wikidata":"https://www.wikidata.org/wiki/Q1392940","display_name":"Fail-safe","level":2,"score":0.4586000144481659},{"id":"https://openalex.org/C112805685","wikidata":"https://www.wikidata.org/wiki/Q10566551","display_name":"Safety assurance","level":2,"score":0.43880000710487366},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4115999937057495},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4090000092983246},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.387800008058548},{"id":"https://openalex.org/C2780234205","wikidata":"https://www.wikidata.org/wiki/Q2281276","display_name":"Safety case","level":2,"score":0.37220001220703125},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36500000953674316},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.3379000127315521},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.3287000060081482},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.31380000710487366},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.30880001187324524},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.3075000047683716},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.30649998784065247},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.2946999967098236},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.289900004863739},{"id":"https://openalex.org/C87833898","wikidata":"https://www.wikidata.org/wiki/Q1060280","display_name":"Advanced driver assistance systems","level":2,"score":0.28439998626708984},{"id":"https://openalex.org/C2776544517","wikidata":"https://www.wikidata.org/wiki/Q189447","display_name":"Unexpected events","level":2,"score":0.28360000252723694},{"id":"https://openalex.org/C98025372","wikidata":"https://www.wikidata.org/wiki/Q477538","display_name":"Systems architecture","level":3,"score":0.2782000005245209},{"id":"https://openalex.org/C2776654903","wikidata":"https://www.wikidata.org/wiki/Q2601463","display_name":"SAFER","level":2,"score":0.26969999074935913},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.263700008392334},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.26330000162124634},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.25189998745918274}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:6418817","is_oa":true,"landing_page_url":"https://zenodo.org/record/6418817","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.6418817","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6418817","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:6418817","is_oa":true,"landing_page_url":"https://zenodo.org/record/6418817","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Recent":[0],"advances":[1,31],"in":[2,25,63,271],"sensing":[3],"and":[4,18,44,54,65,91,108,167,220,273],"machine":[5,81],"learning":[6,82],"technologies":[7],"have":[8],"paved":[9],"the":[10,13,26,35,42,86,128,154,181,189,196,232,236,245,248,252,258],"way":[11],"for":[12,137,188,195],"belief":[14],"that":[15,145],"safe,":[16],"accessible,":[17],"convenient":[19],"autonomous":[20,48,205],"vehicles":[21,57],"may":[22,115,146],"be":[23,117,148],"realized":[24],"near":[27],"future.":[28],"Despite":[29],"tremendous":[30],"within":[32,106],"this":[33,177],"context,":[34],"fundamental":[36],"challenge":[37],"generally":[38],"regarded":[39],"as":[40,80,209],"limiting":[41],"arrival":[43],"comprehensive":[45],"adoption":[46],"of":[47,75,88,130,141,183,191,199,218,247,260,267],"systems":[49,132,142],"are":[50,58,96,100],"challenges":[51],"around":[52],"safety":[53,165,197],"reliability.":[55],"Autonomous":[56],"often":[59,72],"tasked":[60],"with":[61,143,163],"operating":[62],"dynamic":[64,109],"uncertain":[66,107],"environments.":[67],"As":[68],"a":[69,164,168,184,200,264],"result,":[70],"they":[71,99],"make":[73],"use":[74,182],"highly":[76,97],"complex":[77],"components":[78,83,144],"such":[79,192],"to":[84,103,119,126,150,172,224,234],"handle":[85],"nuances":[87],"sensing,":[89],"actuation,":[90],"control.":[92],"While":[93],"these":[94,131],"methods":[95],"effective,":[98],"notoriously":[101],"difficult":[102],"assure.":[104],"Moreover,":[105],"environments,":[110],"design":[111],"time":[112],"assurance":[113,140,198],"analyses":[114],"not":[116,147],"sufficient":[118],"guarantee":[120],"safety.":[121],"Thus,":[122],"it":[123],"is":[124,153,161,222,239],"critical":[125],"monitor":[127],"correctness":[129],"at":[133],"runtime.":[134],"One":[135],"approach":[136],"providing":[138],"runtime":[139],"amenable":[149],"formal":[151],"analysis":[152],"simplex":[155],"architecture,":[156],"where":[157],"an":[158,193,275],"unverified":[159],"component":[160],"wrapped":[162],"controller":[166,238],"switching":[169],"logic":[170],"designed":[171],"prevent":[173],"dangerous":[174],"behavior.":[175],"In":[176,229],"paper,":[178],"we":[179],"propose":[180],"real-time":[185],"reachability":[186,212],"algorithm":[187,213],"implementation":[190],"architecture":[194,262],"1/10":[201],"scale":[202],"open":[203],"source":[204],"vehicle":[206],"platform":[207],"known":[208],"F1/10.":[210],"The":[211],"(a)":[214],"provides":[215],"provable":[216],"guarantees":[217],"safety,":[219],"(b)":[221],"used":[223],"detect":[225],"potentially":[226],"unsafe":[227],"scenarios.":[228],"our":[230,261],"approach,":[231],"need":[233],"analyze":[235],"underlying":[237],"abstracted":[240],"away,":[241],"instead":[242],"focusing":[243],"on":[244,251,274],"effects":[246],"controller's":[249],"decisions":[250],"system's":[253],"future":[254],"states.":[255],"We":[256],"demonstrate":[257],"efficacy":[259],"through":[263],"vast":[265],"set":[266],"experiments":[268],"conducted":[269],"both":[270],"simulation":[272],"embedded":[276],"hardware":[277],"platform.":[278]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}