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.

Della Penna, G., Intrigila, B., Magazzeni, D., Mercorio, F. (2010). Resource-Optimal Planning For An Autonomous Planetary Vehicle. INTERNATIONAL JOURNAL OF ARTIFICIAL INTELLIGENCE AND APPLICATIONS, 1(3), 15-29.

Resource-Optimal Planning For An Autonomous Planetary Vehicle

MERCORIO, FABIO
2010

Abstract

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.
Articolo in rivista - Articolo scientifico
AI Planning; Autonomous Vehicles ;Model Checking
English
15
29
15
Della Penna, G., Intrigila, B., Magazzeni, D., Mercorio, F. (2010). Resource-Optimal Planning For An Autonomous Planetary Vehicle. INTERNATIONAL JOURNAL OF ARTIFICIAL INTELLIGENCE AND APPLICATIONS, 1(3), 15-29.
Della Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/27870
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact