Autonomous vehicles are often complex systems that work in a partially unknown environment, with narrow energy/time/movement constraints. 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 a model checking based tool, namely UPMurphi, can be used to generate optimal plans to control the engine of an autonomous planetary vehicle, working directly on its hybrid model, and thus achieving very accurate results

Planning for Autonomous Planetary Vehicles

DELLA PENNA, GIUSEPPE;
2010-01-01

Abstract

Autonomous vehicles are often complex systems that work in a partially unknown environment, with narrow energy/time/movement constraints. 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 a model checking based tool, namely UPMurphi, can be used to generate optimal plans to control the engine of an autonomous planetary vehicle, working directly on its hybrid model, and thus achieving very accurate results
978-1-4244-5915-5
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/11697/31364
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 5
social impact