<?xml version="1.0" encoding="UTF-8"?><?xml-stylesheet type="text/xsl" href="static/style.xsl"?><OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd"><responseDate>2026-09-18T21:47:09Z</responseDate><request verb="GetRecord" identifier="oai:dspace.mit.edu:1721.1/144508" metadataPrefix="dim">https://dspace.mit.edu/server/oai/request</request><GetRecord><record><header><identifier>oai:dspace.mit.edu:1721.1/144508</identifier><datestamp>2022-08-30T03:48:56Z</datestamp><setSpec>com_1721.1_7582</setSpec><setSpec>com_1721.1_7581</setSpec><setSpec>col_1721.1_131023</setSpec></header><metadata><dim:dim xmlns:dim="http://www.dspace.org/xmlns/dspace/dim" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:doc="http://www.lyncode.com/xoai" xsi:schemaLocation="http://www.dspace.org/xmlns/dspace/dim http://www.dspace.org/schema/dim.xsd">
   <dim:field mdschema="dc" element="contributor" qualifier="advisor">Rus, Daniela</dim:field>
   <dim:field mdschema="dc" element="contributor" qualifier="author">Vorbach, Charles J.</dim:field>
   <dim:field mdschema="dc" element="contributor" qualifier="department">Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science</dim:field>
   <dim:field mdschema="dc" element="date" qualifier="accessioned">2022-08-29T15:52:17Z</dim:field>
   <dim:field mdschema="dc" element="date" qualifier="available">2022-08-29T15:52:17Z</dim:field>
   <dim:field mdschema="dc" element="date" qualifier="issued">2022-05</dim:field>
   <dim:field mdschema="dc" element="date" qualifier="submitted">2022-05-27T16:19:57.048Z</dim:field>
   <dim:field mdschema="dc" element="identifier" qualifier="uri">https://hdl.handle.net/1721.1/144508</dim:field>
   <dim:field mdschema="dc" element="description" qualifier="abstract">Each year, automotive crashes cause thousands of deaths and injuries. Autonomous safety systems have the potential to greatly reduce this tragic loss of life and improve safety, but such systems must meet existing requirements for automotive certification. Particularly, active safety systems must designed to comply with the Automotive Safety Integrity Level risk classification scheme described in the ISO 26262 standard.&#xd;
&#xd;
In this thesis, I design a system using redundant components to independently enforce safety requirements across parallel software supervisors within an autonomous vehicle planning pipeline. I use Hamilton-Bellman-Jacobi reachability analysis to provide new guarantees for safe navigation on public roadways. I create new and extend existing safety modules to independently verify collision avoidance, obedience to traffic rules, and vehicle lane discipline. This project provides theoretical proof of safety and implements control methods within Nvidia’s DriveWorks autonomous vehicle framework.</dim:field>
   <dim:field mdschema="dc" element="description" qualifier="degree">M.Eng.</dim:field>
   <dim:field mdschema="dc" element="publisher">Massachusetts Institute of Technology</dim:field>
   <dim:field mdschema="dc" element="rights">In Copyright - Educational Use Permitted</dim:field>
   <dim:field mdschema="dc" element="rights">Copyright MIT</dim:field>
   <dim:field mdschema="dc" element="rights" qualifier="uri">http://rightsstatements.org/page/InC-EDU/1.0/</dim:field>
   <dim:field mdschema="dc" element="title">Safety Assurance for Automated Vehicles Beyond Collision Avoidance</dim:field>
   <dim:field mdschema="dc" element="type">Thesis</dim:field>
   <dim:field mdschema="dc" element="format" qualifier="mimetype">application/pdf</dim:field>
   <dim:field mdschema="mit" element="thesis" qualifier="degree">Master</dim:field>
   <dim:field mdschema="thesis" element="degree" qualifier="name">Master of Engineering in Electrical Engineering and Computer Science</dim:field>
   <dim:field mdschema="dspace" element="entity" qualifier="type">Publication</dim:field>
   <dim:field mdschema="others" element="access-status">unknown</dim:field>
   <dim:field mdschema="others" element="access-status">unknown</dim:field>
   <dim:field mdschema="cerif" element="openaire" authority="" confidence="-1">&lt;Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="44c2bd94-e46c-4c23-8571-c2915d7504ba">
	&lt;Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843&lt;/Type>
   	&lt;Title>Safety Assurance for Automated Vehicles Beyond Collision Avoidance&lt;/Title>
   	&lt;PublishedIn>
    	&lt;Publication>
      	&lt;/Publication>
   	&lt;/PublishedIn>
   	&lt;PublicationDate>2022-05&lt;/PublicationDate>
   	&lt;Authors>
      	&lt;Author>
        	&lt;DisplayName>Vorbach, Charles J.&lt;/DisplayName>
         	&lt;Affiliation>
         		&lt;OrgUnit>
         		&lt;/OrgUnit>
         	&lt;/Affiliation>
      	&lt;/Author>
	&lt;/Authors>
   	&lt;Editors>
	&lt;/Editors>
    &lt;Publishers>
        &lt;Publisher>
            &lt;DisplayName>Massachusetts Institute of Technology&lt;/DisplayName>
            &lt;OrgUnit />
        &lt;/Publisher>
    &lt;/Publishers>
    &lt;License>http://rightsstatements.org/page/InC-EDU/1.0/&lt;/License>
   	&lt;Abstract>Each year, automotive crashes cause thousands of deaths and injuries. Autonomous safety systems have the potential to greatly reduce this tragic loss of life and improve safety, but such systems must meet existing requirements for automotive certification. Particularly, active safety systems must designed to comply with the Automotive Safety Integrity Level risk classification scheme described in the ISO 26262 standard.&#xd;
&#xd;
In this thesis, I design a system using redundant components to independently enforce safety requirements across parallel software supervisors within an autonomous vehicle planning pipeline. I use Hamilton-Bellman-Jacobi reachability analysis to provide new guarantees for safe navigation on public roadways. I create new and extend existing safety modules to independently verify collision avoidance, obedience to traffic rules, and vehicle lane discipline. This project provides theoretical proof of safety and implements control methods within Nvidia’s DriveWorks autonomous vehicle framework.&lt;/Abstract>
	&lt;Access xmlns="http://purl.org/coar/access_right" 
    >
    &lt;/Access>
&lt;/Publication>
</dim:field>
</dim:dim>
</metadata></record></GetRecord></OAI-PMH>