Videos of demo of self-driving robot with map verification

dc.contributor.author	Liu, Jed
dc.contributor.author	Corbett-Davies, Joseph
dc.contributor.author	Ferraiuolo, Andrew
dc.contributor.author	Campbell, Mark
dc.contributor.author	Myers, Andrew C.
dc.contributor.author	Suh, G. Edward
dc.date.accessioned	2017-10-07T05:50:17Z
dc.date.available	2017-10-07T05:50:17Z
dc.date.issued	2017-10-06
dc.description	This project is supported by NASA.	en_US
dc.description.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.	en_US
dc.description.viewer	1_xao1j7b5	en_US
dc.description.viewer	1_9q47y6tn	en_US
dc.description.viewer	1_gpc09vv4	en_US
dc.identifier.uri	https://hdl.handle.net/1813/52638
dc.language.iso	en_US	en_US
dc.rights	Attribution-NonCommercial 4.0 International	*
dc.rights.uri	https://creativecommons.org/licenses/by-nc/4.0/	*
dc.subject	robot, self-driving vehicle, cyber-physical system, security, information flow	en_US
dc.title	Videos of demo of self-driving robot with map verification	en_US

Files

Now showing 1 - 3 of 3

Name:: NASA-CPS October Demo Scenario 2.mp4
Size:: 30.4 MB
Format:: Multimedia/Video
Description:: Incorrect behavior of base system when provided with malicious map

Name:: NASA-CPS October Demo Scenario 3.mp4
Size:: 19.42 MB
Format:: Multimedia/Video
Description:: Safe behavior of system using map verification implemented in Jif, when provided with a malicious map.