We present a hybrid, hierarchical architecture for mission control of autonomous underwater vehicles (AUVs). The architecture is model based and is designed with semiautomatic verification of safety and performance specifications as a primary capability in addition to the usual requirements such as real-time constraints, scheduling, shared-data integrity, etc. The architecture is realized using a commercially available graphical hybrid systems design and code generation tool. While the tool facilitates rapid redesign and deployment, it is crucial to include safety and performance verification into each step of the (re)design process. A formal model of the interacting hybrid automata in the design tool is outlined, and a tool is presented to automatically convert hybrid automata descriptions from the design tool into a format required by two hybrid verification tools. The application of this mission control architecture to a survey AUV is described and the procedures for verification outlined.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Hybrid-model based hierarchical mission control architecture for autonomous underwater vehicles


    Beteiligte:
    Tangirala, S. (Autor:in) / Kumar, R. (Autor:in) / Bhattacharyya, S. (Autor:in) / O'Connor, M. (Autor:in) / Holloway, L.E. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2005


    Format / Umfang :

    6 Seiten, 9 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Autonomous Underwater Vehicles: Hybrid Control of Mission and Motion

    Marco, D. B. / Healey, A. J. / McGhee, R. B. | British Library Online Contents | 1996



    An Autonomous Hierarchical Control Architecture for Unmanned Aerial Vehicles

    Boskovic, Jovan / Prasanth, Ravi / Mehra, Raman | AIAA | 2002



    AUTONOMOUS UNDERWATER VEHICLES

    MCENTEE JARLATH / HAYES NATHANIAL / FIREBAUGH MILLARD | Europäisches Patentamt | 2020

    Freier Zugriff