Zhiping Shi

关于

暂无简介。

研究焦点

主要成就

代表论文

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

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

   39 次引用 · 2018
3. 3
   Disturbance Observer-Based Consensus Control for Multiple Robotic Manipulators

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

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

   16 次引用 · 2016
6. 6
   Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula

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

   11 次引用 · 2014
8. 8
   Formal analysis of the kinematic Jacobian in screw theory

   8 次引用 · 2018
9. 9
   Runtime Verification of Robots Collision Avoidance Case Study

   7 次引用 · 2018
10. 10
    Formalization of the inverse kinematics of three-fingered dexterous hand

    6 次引用 · 2023

主要合作者