งานวิจัยนี้นำเสนอแนวทางการแก้ปัญหาที่พบบ่อยในระบบวางแผนการเคลื่อนที่หุ่นยนต์แบบ Reactive (เช่น Bug2) ซึ่งมักจะละเลยขีดจำกัดมุมของข้อต่อแขนกล (Joint-angle limits) เมื่อต้องเคลื่อนที่ในพื้นที่งาน (Cartesian space) โดยเฉพาะในจุดที่ค่า Jacobian มีความซับซ้อน ซึ่งอาจนำไปสู่การสะสมความผิดพลาดจนหุ่นยนต์เข้าไม่ถึงเป้าหมาย
ทีมวิจัยได้เสนอวิธีการคำนวณหาค่าพื้นที่ที่ยืนยันได้ว่าเข้าถึงได้จริง (Certifiably reachable) ในทุกขั้นตอนการวางแผน โดยใช้การประมาณค่า Inverse Kinematics ด้วยพหุนามอันดับสองร่วมกับ S-procedure เพื่อสร้างการโปรแกรมแบบ Semidefinite ขนาดเล็ก ซึ่งสามารถประมวลผลได้เร็วระดับเสี้ยววินาที (Sub-millisecond) การรวมระบบนี้เข้ากับอัลกอริทึม Bug2 ช่วยให้หุ่นยนต์สามารถปรับขนาดการก้าวเดิน (Step size) ได้ตามเงื่อนไขของจลนศาสตร์ในขณะนั้น
จากการทดสอบในสถานการณ์ที่ยากลำบากกว่า 94 รูปแบบ พบว่าระบบวางแผนที่ผ่านการรับรอง SOS นี้สามารถทำสถิติการละเมิดขีดจำกัดข้อต่อเป็นศูนย์ (0%) และมีอัตราการเข้าถึงเป้าหมายได้สมบูรณ์ 100% ในขณะที่ระบบมาตรฐานเดิมมีความเสี่ยงที่จะละเมิดขีดจำกัดถึง 6-11% และล้มเหลวในการเข้าถึงเป้าหมายสูงถึง 18%
