非确定性环境中移动机器人避障策略的验证——基于形式化建模和概率分析

摘要：

针对存在制动机误差和传感器噪声等因素的移动机器人,提出采用概率模型检测的方法对非确定性环境中移动机器人的避障策略进行验证和定量分析.首先将移动机器人的避障运动和动态障碍物的不确定性运动建模为马尔可夫决策过程.然后运用概率计算树逻辑语言描述移动机器人运动的关键属性并使用概率模型检测工具对其进行验证.最后分析得到移动机器人成功避障所花费的避碰时间,移动机器人到达目标位置所需要的时间和能量以及操作误差发生时的避碰时间对避障策略的影响,并使用MATLAB仿真验证成功避碰时间的正确性.

关键词：非确定性环境、移动机器人、避障、概率模型检测、马尔可夫决策过程

所属期刊栏目：52

分类号：TP24(自动化技术及设备)

资助基金：国家自然科学基金61373034,61303014;国际科技合作计划2011DFG13000;北京市教委科研基地建设项目TJSHG201310028014

在线出版日期：2016-07-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：31-38,70