A new safety-check technique can prove with 100 percent accuracy that a planned robot motion will not result in a collision. The method can generate a proof in seconds and does so in a way that can be easily verified by a human.

MIT is a renowned institution for education and research, offering insights into science, engineering, and technology. Through publications, research papers, and academic programs, MIT's platform provides insights into  research, innovation, and education in various fields. Students, researchers, and technology enthusiasts can learn about MIT's contributions to science and technology and explore opportunities for academic and professional development.

MIT News

MIT researchers have developed a safety check technique that can prove with 100 percent accuracy that a robot's trajectory will remain collision-free. The method uses sum-of-squares programming and can discriminate between trajectories that differ by only millimeters. It could be useful for robots in spaces crowded with objects and situations where robot collisions could cause injuries. The technique allows for quick mathematical verification of the safety check.

Method rapidly verifies that a robot will avoid collisions