基于线性时序逻辑的最优巡回路径规划

摘要：

基于线性时序逻辑(Linear temporal logic, LTL)的路径规划方法中,多点巡回路径规划问题尚无有效解决方案。为了在道路网络中实现最优巡回监测,提出了基于LTL 的最优巡回路径规划方法。首先,将环境建模成一个切换系统,用LTL语言描述包含多个巡回点和障碍物的任务需求；接着,利用循环移位法构建能够融合任务需求和环境模型的扩展乘机自动机,以建立路径信息完整的网络拓扑；最后,采用基于迪科斯彻法的最优综合算法搜索扩展乘机自动机网络上的最优路径,从而获得能够满足复杂任务需求的最优巡回路径。仿真结果表明,该方法能够有效实现最优巡回路径规划。

关键词：线性时序逻辑、任务需求、切换系统、巡回路径规划

分类号：TP3;TP2

资助基金：国家自然科学基金61273117,61273116;浙江省自然科学基金Y1111012资助Supported by National Natural Science Foundation of China61273117,61273116;Natural Science Foundation of Zhe-jiang ProvinceY1111012

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

页数：共8页

页码：2126-2133