Abstract-This paper addresses the motion planning problem for a team of aerial agents under high level goals. We propose a hybrid control strategy that guarantees the accomplishment of each agent's local goal specification, which is given as a temporal logic formula, while guaranteeing inter-agent collision avoidance. In particular, by defining 3-D spheres that bound the agents' volume, we extend previous work on decentralized navigation functions and propose control laws that navigate the agents among predefined regions of interest of the workspace while avoiding collision with each other. This allows us to abstract the motion of the agents as finite transition systems and, by employing standard formal verification techniques, to derive a high-level control algorithm that satisfies the agents' specifications. Simulation and experimental results with quadrotors verify the validity of the proposed method.

No abstract

南海及周边海域融合海表温度产品的验证与互较Validation and inter-comparison of multi-satellite merged sea surface temperature products in the South China Sea and its adjacent waters 遥感学报.2015,19(2):328-338. 热红外地表温度遥感反演方法研究进展Review of methods for land surface temperature derived from thermal infrared remotely sensed data 遥感学报.2016,20(5):899-920. 山地森林叶面积指数(LAI)遥感估算研究进展Review of forest Leaf Area Index retrieval over rugged terrain based on remotely sensed data

No abstract

No abstract