摘要
现有的基于时序逻辑任务的多体协同控制方法,通常采用将时序任务描述为形式化语言后,将其转化为自动机,并与环境模型做乘积,最后在乘积自动机中做图搜索等方式完成任务规划.对现有方法的优缺点进行了比对,从目前常用的结合时序逻辑语言的控制方法出发,梳理了人机融合异构团队控制方法、系统对任务违反程度鲁棒性控制和人机协作任务间的耦合任务分配这3项关键技术的发展脉络,并盘点了 TSTL等新兴时序语言描述在人机融合架构中的良好表现.分析了当前该类协同控制研究存在的任务描述难、解耦分配难、在线计算量大的科学技术瓶颈问题.
Abstract
The existing multi-agent collaborative control methods based on temporal logic tasks usually adopt formal language to describe the temporal task,convert it into an automaton,multiplicate it with the environment model,and finally complete task planning by performing graph-search in the product automata.The advantages and disadvantages of existing methods are compared and summarized in this paper;Starting from the commonly used control methods which have combined temporal logic languages,the development of three key technologies,namely man-machine fusion heterogeneous team control method,system's robust control of task violation degree and coupling task assignment between human-machine collaboration tasks,are emphatically sorted out.Meanwhile,the good performance of emerging temporal languages such as TSTL in human-machine fusion architecture is also reviewed.Finally,an in-depth analysis was conducted on the scientific and technological bottlenecks in current research on collaborative control,including difficulty in task description,decoupling allocation,and large online computing load.These bottleneck issues which urgently need to be solved in the future development,have become the main study trend of this field in the future.
NETL
NSTL
万方数据