典型文献
基于信号时序逻辑的轮式移动机器人路径规划和漏斗控制设计
文献摘要：
时序逻辑可通过提供丰富的规范语言来确保系统对任务规范的准确描述和执行.文章使用相关的鲁棒语义来分析信号时序逻辑规范片段下的连续时间系统,并使用基于漏斗的反馈控制律来实现对轮式移动机器人路径规划和控制的协同设计,在引入更加严格有效的形式化验证方法的同时还有效降低了运算量,其首先利用信号时序逻辑对任务进行相应的描述,再将此描述转换为对应的鲁棒公式,最后基于漏斗反馈控制策略的瞬态特性来最大化鲁棒公式的鲁棒语义,从而达到规划和控制协同进行的目的.在轮式移动机器人运动学模型上的仿真结果表明,采用文中所提出的协同设计方法,当满足任务约束时,系统能够完成信号时序逻辑所指定的目标,并具有用户定义的鲁棒性;当不能满足任务约束时,仍可找到最小违背解.文中所提出的路径规划和漏斗控制算法解决了移动机器人规划和控制的协同设计问题,可有效提升运算效率,简化计算复杂度,扩大了信号时序逻辑在移动机器人路径规划中的应用范围,同时增加了系统的鲁棒性.
文献关键词：
信号时序逻辑;漏斗控制;轮式移动机器人;路径规划;协同设计
中图分类号：
作者姓名：
田畅;朱化杰;杨妍;石忠佼;刘志杰
作者机构：
北京科技大学 顺德研究生院,广东 佛山 528399;北京理工大学 宇航学院,北京 100081;北京科技大学 智能与科学技术学院,北京 100083
文献出处：
引用格式：
[1]田畅;朱化杰;杨妍;石忠佼;刘志杰-.基于信号时序逻辑的轮式移动机器人路径规划和漏斗控制设计)[J].控制与信息技术,2022(06):50-55
A类：
信号时序逻辑,连续时间系统
B类：
轮式移动机器人,移动机器人路径规划,漏斗控制,控制设计,反馈控制,控制律,协同设计,形式化验证,验证方法,运算量,瞬态特性,控制协同,机器人运动学,运动学模型,所指,违背,控制算法,设计问题,运算效率,简化计算,计算复杂度
AB值：
0.174539
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
