A framework for multi-robot motion planning from temporal logic specifications
文献类型:期刊论文
作者 | Koo, T. John; Li, RongQing; Quottrup, Michael M.; Clifton, Charles A.; Izadi-Zamanabadi, Roozbeh; Bak, Thomas |
刊名 | SCIENCE CHINA-INFORMATION SCIENCES |
出版日期 | 2012 |
英文摘要 | We propose a framework for the coordination of a network of robots with respect to formal requirement specifications expressed in temporal logics. A regular tessellation is used to partition the space of interest into a union of disjoint regular and equal cells with finite facets, and each cell can only be occupied by arobot or an obstacle. Each robot is assumed to be equipped with a finite collection of continuous-time nonlinear closed-loop dynamics to be operated in. Therobot is then modeled as a hybrid automaton for capturing the finitely many modes of operation for either staying within the current cell or reaching an adjacent cell through the corresponding facet. By taking the motion capabilities into account, a bisimilar discrete abstraction of the hybrid automaton can be constructed. Having the two systems bisimilar, all properties that are expressible in temporal logics such as Linear-time Temporal Logic, Computation TreeLogic, and A mu-calculus can be preserved. Motion planning can then be performed at a discrete level by considering the parallel composition of discrete abstractions of the robots with a requirement specification given in a suitable temporal logic. The bisimilarity ensures that the discrete planning solutions are executable by the robots. For demonstration purpose, a finite automaton is used as the abstraction and the requirement specification is expressed in Computation Tree Logic. The model checker Cadence SMV is used to generate coordinated verified motion planning solutions. Two autonomous aerial robots are used to demonstrate how the proposed framework may be applied to solve coordinated motion planning problems. |
收录类别 | SCI |
原文出处 | http://link.springer.com/article/10.1007/s11432-012-4605-8 |
语种 | 英语 |
源URL | [http://ir.siat.ac.cn:8080/handle/172644/4194] |
专题 | 深圳先进技术研究院_数字所 |
作者单位 | SCIENCE CHINA-INFORMATION SCIENCES |
推荐引用方式 GB/T 7714 | Koo, T. John,Li, RongQing,Quottrup, Michael M.,et al. A framework for multi-robot motion planning from temporal logic specifications[J]. SCIENCE CHINA-INFORMATION SCIENCES,2012. |
APA | Koo, T. John,Li, RongQing,Quottrup, Michael M.,Clifton, Charles A.,Izadi-Zamanabadi, Roozbeh,&Bak, Thomas.(2012).A framework for multi-robot motion planning from temporal logic specifications.SCIENCE CHINA-INFORMATION SCIENCES. |
MLA | Koo, T. John,et al."A framework for multi-robot motion planning from temporal logic specifications".SCIENCE CHINA-INFORMATION SCIENCES (2012). |
入库方式: OAI收割
来源:深圳先进技术研究院
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。