[1]焦梦甜,宋运忠.线性时序逻辑约束下的滚动时域控制路径规划[J].智能系统学报,2020,15(2):281-288.[doi:10.11992/tis.201810038]
 JIAO Mengtian,SONG Yunzhong.Receding horizon control path planning with linear temporal logic constraints[J].CAAI Transactions on Intelligent Systems,2020,15(2):281-288.[doi:10.11992/tis.201810038]
点击复制

线性时序逻辑约束下的滚动时域控制路径规划(/HTML)
分享到:

《智能系统学报》[ISSN:1673-4785/CN:23-1538/TP]

卷:
第15卷
期数:
2020年2期
页码:
281-288
栏目:
学术论文—智能系统
出版日期:
2020-07-09

文章信息/Info

Title:
Receding horizon control path planning with linear temporal logic constraints
作者:
焦梦甜 宋运忠
河南理工大学 电气工程与自动化学院, 河南 焦作 454003
Author(s):
JIAO Mengtian SONG Yunzhong
School of Electrical Engineering and Automation, He’nan Polytechnic University, Jiaozuo 454003, China
关键词:
线性时序逻辑滚动时域控制路径规划最优控制有限确定性系统Büchi自动机Product自动机地势影响因子
Keywords:
linear temporal logicreceding horizon controlpath planningoptimal controlfinite deterministic systemsBüchi automatonproduct automatonterrain factor
分类号:
TP273
DOI:
10.11992/tis.201810038
摘要:
针对有限确定性系统中的路径规划问题,本文提出了一种线性时序逻辑约束下的在线实时求解滚动时域控制的新方法。该方法将滚动时域控制方法和满足线性时序逻辑公式的策略相结合,控制目标是在满足高级别任务规范的同时,使收集的累积回报值最大化。其中,在有限时域内的每个时间步长上局部优化回报值,并应用当前时刻计算获得的最优控制序列。通过执行适当的约束,保证控制器产生的无限轨迹满足期望的时序逻辑公式。而且,由于地势影响因子的引入,所建议的方案更接近于真实情况。仿真实验结果验证了文中提出方法的可行性和有效性。
Abstract:
To address the path planning problem in finite deterministic systems, we propose a new method based on linear temporal logic constraints for the online real-time solution of receding horizon control. This method combines a receding horizon control method with a strategy that satisfies a linear temporal logic formula. The control objective is to maximize the collected reward while satisfying the high-level task specification, where the rewards are locally optimized at each time step over a finite horizon, and the immediate optimal control computed for the current time step is applied. By enforcing the appropriate constraints, the infinite trajectory produced by the controller is guaranteed to satisfy the desired temporal logic formula. Furthermore, by introducing the terrain factor, the results can be easily obtained. The simulation results indicate the feasibility and effectiveness of the proposed method.

参考文献/References:

[1] Fainekos G E, Girard A, Kress-Gazit H, et al. Temporal logic motion planning for dynamic robots[J]. Automatica, 2009, 45(2): 343-352.
[2] Plaku E, Karaman S. Motion planning with temporal logic specifications: progress and challenges[J]. AI communications, 2015, 29(1): 151-162.
[3] Saha S, Julius A A. Task and motion planning for manipulator arms with metric temporal logic specifications[J]. IEEE robotics and Automation letters, 2018, 3(1): 379-386.
[4] Andersen M S, Jensen R S, Bak T, et al. Motion planning in multi-robot systems using timed automata[J]. Promoting health for working women, 2004, 37(8): 597-602.
[5] Kloetzer M, Xuchu Ding, Belta C. Multi-robot deployment from LTL specifications with reduced communication[C]. The 50th IEEE conference on decision and control and European control conference. Orlando, USA, 2011: 4867-4872.
[6] Shital S. Chiddarwar, N Ramesh Babu. Multi-agent system for off-line coordinated motion planning of multiple industrial robots[J]. International journal of advanced robotic systems, 2011, 8(1): 102-112.
[7] Karaman S, Frazzoli E. Vehicle routing with linear temporal logic specifications: applications to multi-UAV mission planning[J]. International journal of robust & Nonlinear control, 2011, 21(12): 1372-1395.
[8] Zhou Y, Maity D, Baras J S. Optimal mission planner with timed temporal logic constraints[C]. IEEE 2015 European control conference. Linz, Austria, 2015: 759-764.
[9] Chen Y, Ding X C, Stefanescu A, et al. Formal approach to the deployment of distributed robotic teams[J]. IEEE transactions on robotics, 2012, 28(1): 158-171.
[10] Ulusoy A, Smith S L, Ding X C, et al. Optimality and robustness in multi-robot path planning with temporal logic constraints[J]. International journal of robotics research, 2013, 32(8): 889-911.
[11] Guo M, Dimarogonas D V. Multi-agent plan reconfiguration under local LTL specifications[J]. International journal of robotics research, 2015, 34(2): 218-235.
[12] Dunbar W B, Caveney D S. Distributed receding horizon control of vehicle platoons: stability and string stability[J]. IEEE transactions on automatic control, 2012, 57(3): 620-633.
[13] 李佩杰, 林颂晨, 白晓清, 等. 计及配电网三相模型的电动汽车充电滚动时域控制[J]. 中国电机工程学报, 2016, 36(17): 4533-4543
LI Peijie, LIN Songchen, BAI Xiaoqing, et al. Receding-horizon-control-based charging method of electric vehicle considering three-phase model of distribution network[J]. Proceedings of the CSEE, 2016, 36(17): 4533-4543
[14] Grema A S, Cao Y. Receding horizon control for oil reservoir waterflooding process[J]. Systems science & Control engineering an open access journal, 2017, 5(1): 449-461.
[15] 王文彬, 秦小林, 张力戈, 等. 基于滚动时域的无人机动态航迹规划[J]. 智能系统学报, 2018, 13(04): 524-533
WANG Wenbin, QIN Xiaolin, ZHANG Lige, et al. Dynamic UAV trajectory planning based on receding horizon[J]. CAAI transactions on intelligent systems, 2018, 13(04): 524-533
[16] 段海滨, 杨之元. 基于柯西变异鸽群优化的大型民用飞机滚动时域控制[J]. 中国科学: 技术科学, 2018, 48(03): 277-288
DUAN Haibin, YANG Zhiyuan. Large civil aircraft receding horizon control based on cauthy mutation pigeon inspired optimization[J]. Scientia Sinica technologica, 2018, 48(03): 277-288
[17] Ulusoy A, Belta C. Receding horizon temporal logic control in dynamic environments[J]. The international journal of robotics research, 2014, 33(12): 1593-1607.
[18] Ding X C, Belta C, Cassandras C G. Receding horizon surveillance with temporal logic specifications[C]. The 49th IEEE conference on decision and control. Atlanta, USA, 2010: 256-261.
[19] Tumova J, Dimarogonas D V. A Receding horizon approach to multi-agent planning from local LTL specifications[C]. 2014 American control conference. Portland, USA, 2014: 1775-1780.
[20] Wongpiromsarn T, Topcu U, Murray R M. Receding horizon temporal logic planning for dynamical systems[C]. Proceedings of the 48th IEEE conference on decision and control. Shanghai, China, 2009, 57 (11): 5997-6004.
[21] Wongpiromsarn, Topcu, Ufuk, et al. Receding horizon control for temporal logic Specifications[C]. Proceedings of the 13th ACM international conference on hybrid systems. Stockholm, Sweden, 2010: 101-110.
[22] 朱创营, 常亮, 徐周波, 等. 含有合取查询的时态描述逻辑ALC-LTL模型检测[J]. 智能系统学报, 2014, 9(06): 714-722
ZHU Chuangying, CHANG Liang, XU Zhoubo, et al. Research on the model checking of temporal description logic ALC-LTL containing conjunctive query[J]. CAAI transactions on intelligent systems, 2014, 9(06): 714-722
[23] 郭建, 边明明, 韩俊岗. LTL公式到自动机的转换[J]. 计算机科学, 2014, 9(06): 714-722
GUO Jian, BIAN Mingming, HAN Jungang. Translation from LTL formula into automata[J]. Computer science, 2014, 9(06): 714-722

相似文献/References:

[1]王文彬,秦小林,张力戈,等.基于滚动时域的无人机动态航迹规划[J].智能系统学报,2018,13(04):524.[doi:10.11992/tis.201708031]
 WANG Wenbin,QIN Xiaolin,ZHANG Lige,et al.Dynamic UAV trajectory planning based on receding horizon[J].CAAI Transactions on Intelligent Systems,2018,13(2):524.[doi:10.11992/tis.201708031]

备注/Memo

备注/Memo:
收稿日期:2018-10-31。
基金项目:国家自然科学基金项目(61340041, 61374079);河南省自然科学基金资助项目(182300410112)
作者简介:焦梦甜,硕士研究生,主要研究方向为复杂系统建模与控制。发表学术论文2篇;宋运忠,教授,博士生导师,主要研究方向为多智能体系统的分析与控制、非线性系统的分析与控制。主持完成国家自然科学基金项目5项。发表学术论文80余篇
通讯作者:焦梦甜.E-mail:jiaomengtianxaz@163.com
更新日期/Last Update: 1900-01-01