-
题名线性时序逻辑约束下的滚动时域控制路径规划
被引量:2
- 1
-
-
作者
焦梦甜
宋运忠
-
机构
河南理工大学电气工程与自动化学院
-
出处
《智能系统学报》
CSCD
北大核心
2020年第2期281-288,共8页
-
基金
国家自然科学基金项目(61340041,61374079)
河南省自然科学基金资助项目(182300410112)。
-
文摘
针对有限确定性系统中的路径规划问题,本文提出了一种线性时序逻辑约束下的在线实时求解滚动时域控制的新方法。该方法将滚动时域控制方法和满足线性时序逻辑公式的策略相结合,控制目标是在满足高级别任务规范的同时,使收集的累积回报值最大化。其中,在有限时域内的每个时间步长上局部优化回报值,并应用当前时刻计算获得的最优控制序列。通过执行适当的约束,保证控制器产生的无限轨迹满足期望的时序逻辑公式。而且,由于地势影响因子的引入,所建议的方案更接近于真实情况。仿真实验结果验证了文中提出方法的可行性和有效性。
-
关键词
线性时序逻辑
滚动时域控制
路径规划
最优控制
有限确定性系统
BÜCHI自动机
Product自动机
地势影响因子
-
Keywords
linear temporal logic
receding horizon control
path planning
optimal control
finite deterministic systems
Büchi automaton
product automaton
terrain factor
-
分类号
TP273
[自动化与计算机技术—检测技术与自动化装置]
-