{"id":"https://openalex.org/W6949829645","doi":"https://doi.org/10.5281/zenodo.5879646","title":"On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers","display_name":"On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers","publication_year":2022,"publication_date":"2022-01-19","ids":{"openalex":"https://openalex.org/W6949829645","doi":"https://doi.org/10.5281/zenodo.5879646"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:5879646","is_oa":true,"landing_page_url":"https://zenodo.org/record/5879646","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/5879646","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 T","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 T","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.8633000254631042},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.608299970626831},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.46880000829696655},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.41440001130104065},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.3776000142097473},{"id":"https://openalex.org/keywords/safety-assurance","display_name":"Safety assurance","score":0.36800000071525574},{"id":"https://openalex.org/keywords/active-learning","display_name":"Active learning (machine learning)","score":0.36640000343322754},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.36070001125335693},{"id":"https://openalex.org/keywords/safety-case","display_name":"Safety case","score":0.3292999863624573}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8633000254631042},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7307000160217285},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.608299970626831},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5564000010490417},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5485000014305115},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.46880000829696655},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.41440001130104065},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.3776000142097473},{"id":"https://openalex.org/C112805685","wikidata":"https://www.wikidata.org/wiki/Q10566551","display_name":"Safety assurance","level":2,"score":0.36800000071525574},{"id":"https://openalex.org/C77967617","wikidata":"https://www.wikidata.org/wiki/Q4677561","display_name":"Active learning (machine learning)","level":2,"score":0.36640000343322754},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.36070001125335693},{"id":"https://openalex.org/C2780234205","wikidata":"https://www.wikidata.org/wiki/Q2281276","display_name":"Safety case","level":2,"score":0.3292999863624573},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.323199987411499},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.32100000977516174},{"id":"https://openalex.org/C22367795","wikidata":"https://www.wikidata.org/wiki/Q7625208","display_name":"Structured prediction","level":2,"score":0.29339998960494995},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.27720001339912415},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.27480000257492065},{"id":"https://openalex.org/C2780795517","wikidata":"https://www.wikidata.org/wiki/Q6030997","display_name":"Information assurance","level":3,"score":0.2720000147819519},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.27129998803138733},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.2687000036239624},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.2653999924659729},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2624000012874603},{"id":"https://openalex.org/C115903097","wikidata":"https://www.wikidata.org/wiki/Q7094097","display_name":"Online machine learning","level":3,"score":0.26080000400543213},{"id":"https://openalex.org/C2776654903","wikidata":"https://www.wikidata.org/wiki/Q2601463","display_name":"SAFER","level":2,"score":0.25519999861717224},{"id":"https://openalex.org/C98025372","wikidata":"https://www.wikidata.org/wiki/Q477538","display_name":"Systems architecture","level":3,"score":0.2540999948978424},{"id":"https://openalex.org/C106436119","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assurance","level":3,"score":0.25220000743865967}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:5879646","is_oa":true,"landing_page_url":"https://zenodo.org/record/5879646","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.5879646","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.5879646","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:5879646","is_oa":true,"landing_page_url":"https://zenodo.org/record/5879646","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Repeatability":[0],"package":[1],"for:":[2],"\"On":[3],"Using":[4],"Real-Time":[5],"Reachability":[6],"for":[7,30,55,128,172,179],"the":[8,16,28,31,44,48,57,138,165,173,180,216,220,229,232,236,242],"Safety":[9],"Assurance":[10],"of":[11,51,59,132,167,175,183,202,231,244],"Machine":[12],"Learning":[13],"Controllers\"":[14],"Over":[15],"last":[17],"decade,":[18],"advances":[19],"in":[20,43,84,102,251],"machine":[21,52],"learning":[22,53,56],"and":[23,36,62,88,91,104,151,204,253],"sensing":[24],"technology":[25],"have":[26],"paved":[27],"way":[29],"belief":[32],"that":[33,74],"safe,":[34],"accessible,":[35],"convenient":[37],"autonomous":[38,189],"vehicles":[39],"may":[40,111],"be":[41,113],"realized":[42],"near":[45],"future.":[46],"Despite":[47],"prolific":[49],"competencies":[50],"models":[54,96],"nuances":[58],"sensing,":[60],"actuation,":[61],"control,":[63],"they":[64],"are":[65,81,97],"notoriously":[66],"difficult":[67],"to":[68,120,156,208,218],"assure.":[69],"The":[70,195],"challenge":[71],"here":[72],"is":[73,118,137,145,206,223],"some":[75],"models,":[76],"such":[77,176],"as":[78,193],"neural":[79],"networks,":[80],"``black":[82],"box''":[83],"nature,":[85],"making":[86],"verification":[87],"validation":[89],"difficult,":[90],"sometimes":[92],"infeasible.":[93],"Moreover,":[94],"these":[95,122],"often":[98],"tasked":[99],"with":[100,134,147],"operating":[101],"uncertain":[103],"dynamic":[105],"environments":[106],"where":[107,141],"design":[108],"time":[109],"assurance":[110,131,182],"only":[112],"partially":[114],"transferable.":[115],"Thus,":[116],"it":[117],"critical":[119],"monitor":[121],"components":[123,136],"at":[124],"runtime.":[125],"One":[126],"approach":[127],"providing":[129],"runtime":[130],"systems":[133],"unverified":[135,143],"simplex":[139],"architecture,":[140],"an":[142,177,255],"component":[144],"wrapped":[146],"a":[148,152,168,184],"safety":[149,181],"controller":[150,222],"switching":[153],"logic":[154],"designed":[155],"prevent":[157],"dangerous":[158],"behavior.":[159],"In":[160,213],"this":[161],"paper,":[162],"we":[163],"propose":[164],"use":[166],"real-time":[169],"reachability":[170,196],"algorithm":[171,197],"implementation":[174],"architecture":[178,246],"1/10":[185],"scale":[186],"open":[187],"source":[188],"vehicle":[190],"platform":[191],"known":[192],"F1/10.":[194],"(a)":[198],"provides":[199],"provable":[200],"guarantees":[201],"safety,":[203],"(b)":[205],"used":[207],"detect":[209],"potentially":[210],"unsafe":[211],"scenarios.":[212],"our":[214,245],"approach,":[215],"need":[217],"analyze":[219],"underlying":[221],"abstracted":[224],"away,":[225],"instead":[226],"focusing":[227],"on":[228,235,254],"effects":[230],"controller's":[233],"decisions":[234],"system's":[237],"future":[238],"states.":[239],"We":[240],"demonstrate":[241],"efficacy":[243],"through":[247],"experiments":[248],"conducted":[249],"both":[250],"simulation":[252],"embedded":[256],"hardware":[257],"platform.":[258]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}