We present a system of two aircraft, one human piloted and one autonomous, that must coordinate to achieve tasks. The vehicles communicate over two data channels, one high rate link for state data transfer and one low rate link for command messages. We analyze the operation of the system when the high rate link fails and the aircraft must use the low rate link to execute a safe lost wingman procedure to increase separation and re-acquire contact. In particular, the protocol is encoded in CCL, the Computation and Control Language, and analyzed using temporal logic. A portion of the verified code is then used to command the unmanned aircraft, while on the human-piloted craft the protocol takes the form of detailed flight procedures. An overview of the implementation for a June, 2004 flight test is also presented.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Verification of an Autonomous Reliable Wingman Using CCL


    Beteiligte:
    S. Waydo (Autor:in) / E. Klavins (Autor:in)

    Erscheinungsdatum :

    2004


    Format / Umfang :

    9 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    A More Alert Wingman

    Online Contents | 2011


    Your Wingman is Your Copilot

    Online Contents | 1994


    The automated wingman - Using JACK intelligent agents for unmanned autonomous vehicles

    Wallis, P. / Ronnquist, R. / Jarvis, D. et al. | IEEE | 2002


    Space Applications-Another Wingman

    British Library Conference Proceedings | 1992


    10.0202 The Automated Wingman - Using JACK Intelligent Agents for Unmanned Autonomous Vehicles

    Institute of Electrical and Electronics Engineers | British Library Conference Proceedings | 2002