Zhiping Shi

About

Zhiping Shi is a leading researcher in robotics, with a primary focus on formal verification and model-based design for robotic systems. Their work bridges the gap between theoretical correctness and practical implementation, particularly in kinematic analysis and control. Shi’s major contributions include developing a formal model-based method that automatically generates code for robotic systems, significantly improving software efficiency and quality (47 citations). They have also advanced inverse kinematic solutions using screw theory and the Paden–Kahan subproblem, offering a more robust alternative to traditional Denavit–Hartenberg methods (39 citations). Their research on disturbance observer-based consensus control for multiple robotic manipulators addresses critical challenges in cooperative robotics (22 citations). Shi has further formalized complex geometric and algebraic frameworks, such as conformal geometric algebra and the Rodrigues formula, to verify robotic manipulation algorithms and camera pose estimation. With over 180 citations across their top papers, Shi’s work has been instrumental in ensuring the reliability and safety of robotic systems, from dual-arm collision avoidance to dexterous hand manipulation. Their contributions are widely recognized for advancing both theoretical foundations and practical applications in robotics.

Research Focus

Key Achievements

Top Papers

1. 1
   A Formal Model-Based Design Method for Robotic Systems

   47 citations · 2018
2. 2
   Inverse kinematic solution of 6R robot manipulators based on screw theory and the Paden–Kahan subproblem

   39 citations · 2018
3. 3
   Disturbance Observer-Based Consensus Control for Multiple Robotic Manipulators

   22 citations · 2018
4. 4
   Formal Kinematic Analysis of a General 6R Manipulator Using the Screw Theory

   17 citations · 2015
5. 5
   Higher-Order Logic Formalization of Conformal Geometric Algebra and its Application in Verifying a Robotic Manipulation Algorithm

   16 citations · 2016
6. 6
   Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula

   11 citations · 2020
7. 7
   Formal verification of a collision-free algorithm of dual-arm robot in HOL4

   11 citations · 2014
8. 8
   Formal analysis of the kinematic Jacobian in screw theory

   8 citations · 2018
9. 9
   Runtime Verification of Robots Collision Avoidance Case Study

   7 citations · 2018
10. 10
    Formalization of the inverse kinematics of three-fingered dexterous hand

    6 citations · 2023

Key Collaborators

Contact & Links