Provably Safe Robotics

Catalog description

Safe autonomy has become increasingly critical in many application domains. It is important to ensure not only the safety of the ego robot but also the safety of other agents (humans or robots) that directly interact with the au-tonomy. For example: • Robots should be safe for human workers in human-robot collaborative assembly. • Autonomous vehicles should be safe for other road participants. For complex autonomous systems with many degrees of freedom, safe operation depends on the correct function-ing of all system components (e.g., accurate perception, optimal decision making, and safe control). This course addresses both the design and verification of safe robotic systems, focusing on: • Designing safety through control and learning. • Verifying neural components, closed-loop systems, and safety/reachability analyses. Course Website: http://www.cs.cmu.edu/~cliu6/provably-safe-robotics.html