Show simple item record

dc.contributor.authorCorbett-Davies, Joseph W.
dc.date.accessioned2018-10-03T19:27:51Z
dc.date.available2018-10-03T19:27:51Z
dc.date.issued2017-12-30
dc.identifier.otherCorbettDavies_cornell_0058O_10237
dc.identifier.otherhttp://dissertations.umi.com/cornell:10237
dc.identifier.otherbibid: 10474214
dc.identifier.urihttps://hdl.handle.net/1813/59111
dc.description.abstractBefore autonomous vehicles are able to be widely deployed, a number of security and algorithmic challenges must be addressed. Current autonomous vehicles that provide motion safety guarantees exhibit excessively conservative driving behavior when operating in road environments containing highly dynamic obstacles. In this thesis we present a contingency-based motion planning framework for autonomous road vehicles. Probabilistic state predictions are generated for each discrete action of nearby obstacle vehicles, and multiple contingency trajectories are planned such that safe execution is possible under each possible discrete action. An online estimation algorithm is used to infer the discrete obstacle action from sensor observations and inform execution-time contingency selection. We present a fast upper bound on a metric of distinguishability that approximates the predicted probability of correctly identifying the discrete action of an obstacle from a set of possible hypotheses. The metric is used to optimize expected execution cost and safety of a set of contingency trajectories. Simulated experiments show that the proposed planning framework produces trajectories with a lower cost and stronger safety guarantees than that of prior work, and this performance improvement persists across a range of vehicle and obstacle initial conditions. Additionally, a prototype system architecture for a verifiably secure autonomous vehicle is presented. The system architecture is designed to enforce separation of trusted and untrusted information flows. A map verification algorithm is used to verify external data coming from an untrusted source. Motion planning and map verification software components are developed with existing tools that enforce information flow control at the language level. The architecture is implemented on a mobile robotic testbed and experiments are performed to simulate a remote attack scenario. Experimental results show that the architecture is resistant to malicious external data, and can operate safely even when external communications are compromised. Analogies are drawn between the prototype architecture and hardware and software components on real-world autonomous vehicles.
dc.language.isoen_US
dc.subjectinformation flow control
dc.subjectanticipation
dc.subjectautonomous driving
dc.subjectcontingency planning
dc.subjectdistinguishability
dc.subjectmotion planning
dc.subjectRobotics
dc.titleRobust Contingency Planning and System Design for Safe and Secure Autonomous Road Vehicles
dc.typedissertation or thesis
thesis.degree.disciplineMechanical Engineering
thesis.degree.grantorCornell University
thesis.degree.levelMaster of Science
thesis.degree.nameM.S., Mechanical Engineering
dc.contributor.chairCampbell, Mark
dc.contributor.committeeMemberSuh, Gookwon Edward
dcterms.licensehttps://hdl.handle.net/1813/59810
dc.identifier.doihttps://doi.org/10.7298/X4PN93TF


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Statistics