Software Open Access

An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles

Patrick Musau; Nathaniel Hamilton; Diego Manzanas Lopez; Preston Robinette; Taylor Johnson


MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
  <leader>00000nmm##2200000uu#4500</leader>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">eng</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Machine Learning</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Formal Verification</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Autonomous Systems</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Simplex</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Neural Networks</subfield>
  </datafield>
  <controlfield tag="005">20220407014915.0</controlfield>
  <controlfield tag="001">6418817</controlfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Vanderbilt University</subfield>
    <subfield code="0">(orcid)0000-0002-7147-1964</subfield>
    <subfield code="a">Nathaniel Hamilton</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Vanderbilt University</subfield>
    <subfield code="0">(orcid)0000-0003-0721-1241</subfield>
    <subfield code="a">Diego Manzanas Lopez</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Vanderbilt University</subfield>
    <subfield code="0">(orcid)0000-0002-4906-2179</subfield>
    <subfield code="a">Preston Robinette</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Vanderbilt University</subfield>
    <subfield code="0">(orcid)0000-0001-8021-9923</subfield>
    <subfield code="a">Taylor Johnson</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">979288269</subfield>
    <subfield code="z">md5:b558246cfe245195e610fc654d85fb39</subfield>
    <subfield code="u">https://zenodo.org/record/6418817/files/Platooning-F1Tenth-1.1.0.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">981377788</subfield>
    <subfield code="z">md5:acd457adf9a04ad2185bb0453284d18e</subfield>
    <subfield code="u">https://zenodo.org/record/6418817/files/Platooning-F1Tenth-1.1.0.zip</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2022-04-06</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">software</subfield>
    <subfield code="o">oai:zenodo.org:6418817</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">Vanderbilt University</subfield>
    <subfield code="0">(orcid)0000-0002-0227-1336</subfield>
    <subfield code="a">Patrick Musau</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u">https://creativecommons.org/licenses/by/4.0/legalcode</subfield>
    <subfield code="a">Creative Commons Attribution 4.0 International</subfield>
  </datafield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2">opendefinition.org</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;Recent advances in sensing and machine learning technologies have paved the way for the belief that safe, accessible, and convenient autonomous vehicles may be realized in the near future. Despite tremendous advances within this context, the fundamental challenge generally regarded as limiting the arrival and comprehensive adoption of autonomous systems are challenges around safety and reliability. Autonomous vehicles are often tasked with operating in dynamic and uncertain environments. As a result, &amp;nbsp;they often make use of highly complex components such as machine learning components to handle the nuances of sensing, actuation, and control. While these methods are highly effective, they are notoriously difficult to assure. Moreover, within uncertain and dynamic environments, design time assurance analyses may not be sufficient to guarantee safety. Thus, it is critical to monitor the correctness of these systems at runtime. One approach for providing runtime assurance of systems with components that may not be amenable to formal analysis is the simplex architecture, where an unverified component is wrapped with a safety controller and a switching logic designed to prevent dangerous behavior. In this paper, we propose the use of a real-time reachability algorithm for the implementation of such an architecture for the safety assurance of a 1/10 scale open source autonomous vehicle platform known as F1/10. The reachability algorithm (a) provides provable guarantees of safety, and (b) is used to detect potentially unsafe scenarios. In our approach, the need to analyze the underlying controller is &amp;nbsp;abstracted away, instead focusing on the effects of the controller&amp;#39;s decisions on the system&amp;#39;s future states. We demonstrate the efficacy of our architecture through a vast set of experiments conducted both in simulation and on an embedded hardware platform.&lt;/p&gt;</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.6418816</subfield>
  </datafield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.6418817</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">software</subfield>
  </datafield>
</record>
29
2
views
downloads
All versions This version
Views 2929
Downloads 22
Data volume 2.0 GB2.0 GB
Unique views 2626
Unique downloads 11

Share

Cite as