手机知网 App
24小时专家级知识服务
打 开
自动化技术
机器人形式化验证方法综述
机器人的形式化验证方法通常很复杂,目前还没有一种通用的方法。本文对机器人的形式化设计和验证的概念进行介绍,描述其框架和基本方法。调查多个设计和验证项目,阐述项目的验证目标、方法、优缺点和进展情况。在总结研究现状的基础上,分析和展望机器人形式化设计和验证的发展趋势,从机器人模型设计、验证工具、代码实现等方面给出形式化设计和验证的思路。
0 79
手机阅读本文
下载APP 手机查看本文
信息记录材料
2019年12期

搜 索