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

• 作者: 俞立 欧林林 肖云涛
• 来源期刊: 自动化学报
• 关键词: 线性时序逻辑 任务需求 切换系统 巡回路径规划
• 年，卷（期）: 2014,（10）
• 页码范围: 2126-2133
• 页数: 8页
• 字数: 7169字
• 语种: 中文
• DOI: 10.3724/SP.J.1004.2014.02126

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	俞立	浙江工业大学信息工程学院	253	3625	30.0	50.0
2	欧林林	浙江工业大学信息工程学院	28	273	9.0	16.0
3	肖云涛	浙江工业大学信息工程学院	2	22	2.0	2.0