线性时序逻辑约束下的滚动时域控制路径规划

• 作者: 宋运忠 焦梦甜
• 来源期刊: 智能系统学报
• 学科: 工学
• 关键词: 线性时序逻辑 滚动时域控制 路径规划 最优控制 有限确定性系统 Büchi自动机 Product自动机 地势影响因子
• 年，卷（期）: 2020,（2）
• 所属期刊栏目: 智能系统
• 页码范围: 281-288
• 页数: 8页
• 分类号: TP273
• 字数: 7757字
• 语种: 中文
• DOI: 10.11992/tis.201810038

摘要

针对有限确定性系统中的路径规划问题,本文提出了一种线性时序逻辑约束下的在线实时求解滚动时域控制的新方法.该方法将滚动时域控制方法和满足线性时序逻辑公式的策略相结合,控制目标是在满足高级别任务规范的同时,使收集的累积回报值最大化.其中,在有限时域内的每个时间步长上局部优化回报值,并应用当前时刻计算获得的最优控制序列.通过执行适当的约束,保证控制器产生的无限轨迹满足期望的时序逻辑公式.而且,由于地势影响因子的引入,所建议的方案更接近于真实情况.仿真实验结果验证了文中提出方法的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋运忠	河南理工大学电气工程与自动化学院	49	229	9.0	13.0
2	焦梦甜	河南理工大学电气工程与自动化学院	1	0	0.0	0.0