Formal methods have been deployed with great success to validate zero-fault tolerant systems such as hardware chips, real-time operating systems (RTOSs). Another feasible application area for formal techniques is in the modelling and verification of cooperative unmanned aerial vehicle (UAV) teams. The rationale being, multi-UAV coordination for cooperative control is a time-critical, zero-fault tolerant activity involving dynamic planning and real-time decision making. This provides sufficient incentive for designers to prove that the proposed system architecture works as advertised. In this paper, a simulation scenario involving multiple UAVs for co-ordinated arrival at a specified target using Dubins' curves, is modelled using the Kripke models of "possible worlds". This formal model is then subjected to a proof verification technique known as model checking, for verifying the safety, reachability, etc. This novel framework is sophisticated enough to be reusable, and consequently, be able to address scalability issues.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal techniques for the modelling and validation of a co-operating UAV team that uses Dubins set for path planning


    Beteiligte:
    Suresh Jeyaraman (Autor:in) / Tsourdos, A. (Autor:in) / Zbikowski, Ratal (Autor:in) / White, B. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2005


    Format / Umfang :

    6 Seiten, 21 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Path Planning of Multiple UAVs Using Dubins Sets

    Shanmugavel, Madhavan / Tsourdos, Antonios / Zbikowski, Rafal et al. | AIAA | 2005


    Path planning algorithm for small UAV based on dubins path

    Yang, Chaojie / Liu, Lifen / Wu, Jiang | IEEE | 2016


    Vehicle steering path planning method based on Dubins curve

    YIN GUODONG / ZHANG BINFENG / SHEN TONG | Europäisches Patentamt | 2022

    Freier Zugriff


    Path planning using 3D Dubins Curve for Unmanned Aerial Vehicles

    Lin, Yucong / Saripalli, Srikanth | IEEE | 2014