一种基于局部线性时序逻辑任务描述的多机器人协同规划方法

来源 :第40届中国控制会议论文集(15) | 被引量 : 0次 | 上传用户:qq540531049
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了一种基于局部线性时序逻辑任务描述的滚动时域多机器人协同规划在线合成方法,初步解决了如何在建模为马尔可夫决策过程的多机器人系统中,对人给出的复杂、高等级任务指令的协同任务计划在线自主合成问题。首先,考虑到真实场景中工作环境属性以及机器人行动等的不确定性,将每个机器人的行为建模为一个概率马尔可夫决策过程并将人给出的复杂任务描述为线性时序逻辑的形式。其次,为每个机器人指定一个线性时序逻辑任务规范,考虑到可能存在机器人无法独立完成的任务,所以将其它机器人的协助以原子命题的形式纳入到机器人的任务规范中来,并将线性时序逻辑任务规范转换为确定性Rabin自动机。接着,通过双时间窗限制自动机和马尔可夫决策过程的规划深度,在机器人运行时动态构建多机器人协同有限时域乘积系统,把全局规划合成问题分解为可以被迭代求解的有限域规划问题,基于值迭代方法在线滚动合成最大化满足任务规范概率的协同任务计划。最后,通过仿真实验验证了方法的有效性和正确性,结果表明方法可以适用于离散步时间间隔不同的情况,极大的降低了传统的基于全局任务和系统概率模型的方法所带来的计算负担。
其他文献
为研究预处理对甘薯片结构及油炸特性的影响,该实验以甘薯为原料,对甘薯切片进行热水浴(65、80、90 ℃)或者蒸汽烫漂-冰箱老化(4 ℃,0~36 h)等预处理后烘干(50 ℃),采用扫描电子显微镜观测、淀粉短程及长程有序结构分析、水分分布测定等手段探究其结构的变化,按照相同条件对甘薯片进行油炸处理,通过脂肪含量测定、色差及穿刺测试等手段分析甘薯片油炸特性的变化情况。结果表明,直接烘干的甘薯片的组
<正>【政策出台】党中央、国务院高度重视“放管服”改革。习近平总书记强调,要加快转变政府职能,该放给市场和社会的权一定要放足、放到位,该政府管理的事一定要管好、管到位。李克强总理多次对全面推行“双随机、一公开”监管工作作出部署和批示,要求全力推进“双随机、一公开”监管改革,狠抓政策配套和督促落实。为贯彻落实习近平总书记重要指示和党中央、
期刊
本文研究了含幺Cliford半群的自动性.利用几何性质与代数性质相结合的方法,获得了在一定条件下,含幺Cliford半群S是自动化的,它的所有H类是自动化的和满足fellow traveller性质这三者之间是等价的,从而推广了群的自动性的一些结果.
日用陶瓷作为一种具有悠久历史的艺术用品,在现代设计中占据重要的地位。随着时代不断发展,日用瓷逐渐成为人们生活必不可少的实用品与装饰品。本文以“现代”为出发点进行分析研究并对其趣味性缺失问题作出了相应研究。
在中国文化“走出去”的过程中,中国文学的译介传播间接影响着中国国际形象的塑造,而鲁迅小说以国民性批判和民族启蒙为特点,塑造了诸多集国民性和民族性特点的经典人物形象,这些人物形象在翻译中的再现效果无疑影响着中国国际形象的塑造。本研究以鲁迅第一部白话文小说《狂人日记》中塑造的“狂人”形象为例,借助语料库工具总结“狂人”形象在蓝诗玲译本、莱尔译本和杨氏译本中的再现特点。研究发现,三个译本中再现的“狂人”
改革开放以来,中央一号文件逐渐成为解决三农问题的专有名词。乡村在政策冲击下打破固有的发展模式,迎来了革新机遇的同时也面临着巨大挑战。东北乡村作为全国粮食生产的重要基地,是经济发展格局中不可忽视的区域。然而由于缺乏资源优势和地域特色,经济建设发展较为滞后,内部发展出现了不适宜、不均衡等现实困境。因此,如何在政策引领下,针对自身农业特色改善东北乡村现状是亟需解决的问题。本文受到了国家自然科学基金项目:
本文基于皮尔斯符号三元关系理论研究齐河文化符号获取的基本模式以及符号自身的传播过程。对齐河地域文化进行多维度梳理和符号解析,将齐河文化中文化符号进行分解与重组。探究出文创产品中地域文化符号在文创产品中的运用方法。同时期望在齐河地域文创产品中文化的有效传递研究,能够为其他地区的地域文创产品设计上提供新的启发和思路。
急性肺损伤(ALI)是临床常见急危重症,是由心源性以外的各种肺内外致病因素导致的急性、进行性缺氧性呼吸衰竭。临床上以急性进行性加重的呼吸困难、呼吸窘迫、难治性低氧血症和非心源性肺水肿为早期表现。严重阶段可发展为急性呼吸窘迫综合征(ARDS)。目前ALI已成为临床危重病学科的研究热点和难点。为深入探讨ALI的发病机理及早期防治,本文归纳和总结近几年国内外相关文献,综述ALI动物模型和体外细胞模型的主
花青素合成酶(anthocyanidin synthase, ANS)是花青素合成途径下游的关键酶之一,负责将花青素由无色的催化成为有色的。为初步探究ANS基因在多肉植物墨法师(Aeonium arboreum ‘Zwartkop’)花青素生物合成中的作用,本试验以墨法师叶片为材料,采用PCR克隆了ANS1基因的全长序列,并进行了生物信息学分析及植物超量表达载体的构建。结果显示,克隆得到的墨法师A
在狂人的十三则日记中,暗藏着一条贯穿全篇的情绪线索,即记录者在"怕"与"不怕"之间的挣扎往复,这亦可称为一种恐惧心理与英雄意识的叠合缠绕。对此线索的深入挖掘、剖析,有利于拓宽对《狂人日记》乃至鲁迅小说的整体解读视域,为新时期的鲁迅研究贡献一份绵薄之力。