温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本公开实施例公开了一种机械臂稳定性形式化分析方法、装置、设备及存储介质，所述方法包括：根据机械臂状态方程构造李雅普诺夫函数；立机械臂平衡状态稳定性分析的形式化模型；将所述李雅普诺夫函数的性质与所述形式化模型组成逻辑命题；基于定理证明器证明所...
该专利属于首都师范大学所有，仅供学习研究参考，未经过首都师范大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。