{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/144508"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/144508","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Safety Assurance for Automated Vehicles Beyond Collision Avoidance","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. 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.","abstract_html":"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. 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.","abstract_has_math":false,"creators":["Vorbach, Charles J."],"institution":"Massachusetts Institute of Technology","degree_name":"Master","degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science","school":null,"contributors":[],"advisors":["Rus, Daniela"],"committee_chairs":[],"committee_members":[],"year":2022,"date_issued":"2022-05","date_published":"2022-05","updated_at":"2026-07-22T22:21:14Z","subjects":[],"languages":[],"rights":["In Copyright - Educational Use Permitted","Copyright MIT"],"rights_urls":["http://rightsstatements.org/page/InC-EDU/1.0/"],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/1721.1/144508","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Rus, Daniela"]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science"]},{"key":"dc:creator","label":"Author","values":["Vorbach, Charles J."]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2022-08-29T15:52:17Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2022-08-29T15:52:17Z"]},{"key":"dc:date.issued","label":"Date","values":["2022-05"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Master","Master of Engineering in Electrical Engineering and Computer Science"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:rights","label":"Dc Rights","values":["In Copyright - Educational Use Permitted","Copyright MIT"]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://rightsstatements.org/page/InC-EDU/1.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/1721.1/144508"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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. 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."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["M.Eng."]},{"key":"dc:title","label":"Title","values":["Safety Assurance for Automated Vehicles Beyond Collision Avoidance"]}]}],"canonical_facts":{"dc:contributor.advisor":["Rus, Daniela"],"dc:contributor.department":["Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science"],"dc:creator":["Vorbach, Charles J."],"dc:date.accessioned":["2022-08-29T15:52:17Z"],"dc:date.available":["2022-08-29T15:52:17Z"],"dc:date.issued":["2022-05"],"dc:description.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. 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."],"dc:description.degree":["M.Eng."],"dc:identifier.uri":["https://hdl.handle.net/1721.1/144508"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["In Copyright - Educational Use Permitted","Copyright MIT"],"dc:rights.uri":["http://rightsstatements.org/page/InC-EDU/1.0/"],"dc:title":["Safety Assurance for Automated Vehicles Beyond Collision Avoidance"],"dc:type":["Thesis"],"thesis:degree_name":["Master","Master of Engineering in Electrical Engineering and Computer Science"]},"updated_at":"2026-07-22T22:21:14Z"}