Testing certified control for LIDAR and vision perception via physical testing and simulation
Name
1227276813-MIT.pdf
Size
11.57 MB
Format
Adobe PDF
Checksum (MD5)
b393540b7e3ce053fc5185f347de5b91
Author(s)
Wang, Mike(Mike M.)
Advisor(s)
Daniel N Jackson.
Alternative Title
Testing certified control for Light Detection and Ranging and vision perception via physical testing and simulation
Date Issued
2020
Publisher
Massachusetts Institute of Technology
Abstract
Certified control is a proposed safety architecture for autonomous vehicles. It consists of a runtime monitor that requires evidence from the vehicle's main controller to prove that the controller's desired action is safe. The monitor passes the command to the vehicle's actuators if the action is deemed safe, and intervenes otherwise. In contrast to conventional runtime monitors that process perception data directly in order to evaluate the main controller's decision, certified control places the burden of finding sufficient safety evidence on the main controller. Thus, a runtime monitor in the certified control architecture need only evaluate the proposed action against the relevant subset of the total perception data, reducing overall complexity of the monitor and opens the door to the application of software checking techniques like formal verification. This work describes deployment, testing, and evaluation of certified control on a physical platform and in simulation, using runtime monitors for LIDAR and vision data developed by fellow researchers. These tests successfully demonstrate certified control in simple scenarios, and lay the groundwork for further research into more complex scenarios via simulation.
Description
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, September, 2020
Cataloged from student-submitted PDF of thesis.
Includes bibliographical references (pages 55-57).
Subjects
Electrical Engineering and Computer Science.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
MIT theses may be protected by copyright. Please reuse MIT thesis content according to the MIT Libraries Permissions Policy, which is available through the URL provided.
Persistent DSpace Link
