Guojun Xie

Nanjing University of Aeronautics and Astronautics

Papers

Total Citations

H-Index

About

Guojun Xie is a researcher advancing the safety and reliability of robotic systems through formal verification. His primary research areas include robot kinematics, motion safety, and formal methods for autonomous systems. Xie's major contribution lies in developing rigorous, mathematically grounded frameworks to verify the correctness of robot motion, addressing critical gaps in conventional design approaches that rely heavily on empirical knowledge. His 2023 paper, "Formal Verification of Robot Rotary Kinematics," which has garnered 6 citations, demonstrates how formal verification can ensure the safety of robots in high-stakes fields such as aerospace, medicine, and automation. Building on this, his 2024 work, "A framework for formal verification of robot kinematics," with 3 citations, provides a more comprehensive methodology for verifying kinematic behaviors across diverse robotic platforms. These contributions are particularly notable for their potential to prevent catastrophic failures in applications where human life and critical infrastructure depend on precise robot motion. Xie's research is essential reading for engineers and researchers seeking to bridge the gap between theoretical verification and practical robotic safety.