Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verified Planar Formation Control Algorithms by Composition of Primitives (AIAA 2015-1541)


    Beteiligte:
    Bobadilla, Leonardo (Autor:in) / Johnson, Taylor T. (Autor:in) / Laviers, Amy (Autor:in) / Huzaifa, Umer (Autor:in)

    Kongress:

    Guidance; Navigation; Control ; 2015 ; Kissimmee, FL



    Erscheinungsdatum :

    01.01.2015


    Format / Umfang :

    10 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    Verified Planar Formation Control Algorithms by Composition of Primitives

    Bobadilla, Leonardo / Johnson, Taylor T. / LaViers, Amy | AIAA | 2015


    Supersonic Air Flows Around Some Geometrical Primitives (AIAA 2015-3012)

    Kotov, Mikhail / Kryukov, Igor / Ruleva, Larisa et al. | British Library Conference Proceedings | 2015


    A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories (AIAA 2015-0795)

    Narkawicz, Anthony / Munoz, Cesar | British Library Conference Proceedings | 2015


    Nr. 1541

    DataCite | 1875


    Verified Computations of Laminar Premixed Flames AIAA Paper

    Al-Khateeb, A. / Powers, J. / Paolucci, S. et al. | British Library Conference Proceedings | 2007