Videos of demo of self-driving robot with map verification
File(s)NASA-CPS October Demo Scenario 3.mp4 (19.42 MB) NASA-CPS October Demo Scenario 1.mp4 (31.8 MB) NASA-CPS October Demo Scenario 2.mp4 (30.4 MB)
Safe behavior of system using map verification implemented in Jif, when provided with a malicious map.
Nominal behavior with correct map
Incorrect behavior of base system when provided with malicious map
Permanent Link(s)
Author
Liu, Jed
Corbett-Davies, Joseph
Ferraiuolo, Andrew
Campbell, Mark
Myers, Andrew C.
Suh, G. Edward
Abstract
Three videos of a self-driving Segway system are shown, following an oval track. Delivering the system an incorrect map causes the system to drive off the track. The third video shows the system running with software that performs map verification and falls back to a safe planner when verification fails. The software is implemented in Jif, which ensures that untrusted maps are not used without verification.
Description
This project is supported by NASA.
Date Issued
2017-10-06
Rights
Attribution-NonCommercial 4.0 International