Computer Science – Artificial Intelligence
Scientific paper
2010-07-29
International Journal of Artificial Intelligence & Applications 1.3 (2010) 15-29
Computer Science
Artificial Intelligence
15 pages, 4 figures
Scientific paper
10.5121/ijaia.2010.1302
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.
Intrigila Benedetto
Magazzeni Daniele
Mercorio Fabio
Penna Giuseppe Della
No associations
LandOfFree
Resource-Optimal Planning For An Autonomous Planetary Vehicle does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Resource-Optimal Planning For An Autonomous Planetary Vehicle, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Resource-Optimal Planning For An Autonomous Planetary Vehicle will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-450739