Safe Networked Robotics with Probabilistic Verification

Understand

Autonomous robots must utilize rich sensory data to make safe control decisions.

• To process this data, compute-constrained robots often require assistance from remote computation, or the cloud, that runs compute-intensive deep neural network perception or control models.
• However, this assistance comes at the cost of a time delay due to network latency, resulting in past observations being used in the cloud to compute the control commands for the present robot state.
• Such communication delays could potentially lead to the violation of essential safety properties, such as collision avoidance.