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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Planning for Autonomous Planetary Vehicles


    Contributors:


    Publication date :

    2010


    Size :

    6 Seiten, 31 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English






    Task Space Motion Control of Autonomous Planetary Vehicles

    Necsulescu, D. / Villien, A. / Eghtesad, M. et al. | British Library Conference Proceedings | 1994


    Task Space Motion Control of Autonomous Planetary Vehicles

    Necsulescu, D.S. | Online Contents | 1996


    BEHAVIOR PLANNING FOR AUTONOMOUS VEHICLES

    NISTER DAVID / WANG YIZHOU / NG JULIA et al. | European Patent Office | 2021

    Free access