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.
Della Penna, G., Intrigila, B., Magazzeni, D., Mercorio, F. (2010). Planning for Autonomous Planetary Vehicles. In Proceedings of the The Sixth International Conference on Autonomic and Autonomous Systems (pp.131-136). Washington : IEEE COMPUTER SOC [10.1109/ICAS.2010.26].
Planning for Autonomous Planetary Vehicles
MERCORIO, FABIO
2010
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.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
