arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 1007.5130cs.AI
收藏

自主行星飞行器的资源最优规划

Resource-Optimal Planning For An Autonomous Planetary Vehicle

University of L’Aquila(拉奎拉大学);University of Rome “Tor Vergata”(罗马第二大学(“罗马托尔韦尔加塔”大学));University of Chieti(基耶蒂大学)

Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio

摘要:

自主行星飞行器(Autonomous planet vehicles),也称为漫游者(rover),是一种小型自主飞行器,配备了各种传感器,用于在行星表面进行探索和实验。漫游车工作在部分未知的环境中,具有狭窄的能量/时间/运动约束,并且通常具有限制在线规划和调度的复杂性的小计算资源,因此它们代表了自主车辆领域的巨大挑战。事实上,这种车辆的正式模型通常涉及混合动力系统的非线性动力学,这是很难处理的大多数目前的规划算法和工具。因此,当需要离线规划车辆活动时,例如对于在没有连续地球监督的情况下操作的漫游车,通常在不完全现实的简化模型上执行这种规划。在本文中,我们展示了如何UPMurphi模型检验为基础的规划工具,可以用来生成资源优化计划,以控制自动行星车的发动机,直接工作的混合动力模型,并考虑到几个安全约束,从而实现非常准确的结果。

英文摘要:

Autonomous planetary vehicles, also known as rovers, are small autonomous vehicles equipped with a variety of sensors used to perform exploration and experiments on a planet's surface. Rovers work in a partially unknown environment, with narrow energy/time/movement constraints and, typically, small computational resources that limit the complexity of on-line planning and scheduling, thus they represent a great challenge in the field of autonomous vehicles. Indeed, formal models for such vehicles usually involve hybrid systems with nonlinear dynamics, which are difficult to handle by most of the current planning algorithms and tools. Therefore, when offline planning of the vehicle activities is required, for example for rovers that operate without a continuous Earth supervision, such planning is often performed on simplified models that are not completely realistic. In this paper we show how the UPMurphi model checking based planning tool can be used to generate resource-optimal plans to control the engine of an autonomous planetary vehicle, working directly on its hybrid model and taking into account several safety constraints, thus achieving very accurate results.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑