Skip to main content

Provably-Correct Interventions for Human-Cyber-Physical Systems

With machines and humans increasingly working together to complete various tasks, from robot-assisted surgery to flying airplanes, it is critical that people can easily control dynamic robotic systems. Because humans may misunderstand the robotic system’s intentions, or behave unexpectedly, such systems can easily become unsafe. By developing better closed-loop systems, data flows both ways between a human and robot, resulting in enhanced performance, safety and resiliency. The ultimate goal of this research is to pave the way for provably safe teleoperated robots that can provide reliable services in various fields, such as transportation, manufacturing, medicine and emergency response.



Research Areas