机器人形式化验证方法综述

• 作者: 刘永梅
• 来源期刊: 信息记录材料
• 学科: 工学
• 关键词: 机器人 形式化设计 形式化验证 定理证明 模型检验
• 年，卷（期）: 2019,（12）
• 所属期刊栏目: 综述与论著
• 页码范围: 1-4
• 页数: 4页
• 分类号: TP24
• 字数: 4266字
• 语种: 中文

摘要

机器人的形式化验证方法通常很复杂,目前还没有一种通用的方法.本文对机器人的形式化设计和验证的概念进行介绍,描述其框架和基本方法.调查多个设计和验证项目,阐述项目的验证目标、方法、优缺点和进展情况.在总结研究现状的基础上,分析和展望机器人形式化设计和验证的发展趋势,从机器人模型设计、验证工具、代码实现等方面给出形式化设计和验证的思路.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘永梅	轻型工业机器人与安全验证北京市重点实验室首都师范大学信息工程学院	1	0	0.0	0.0