Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

    Guidance; Navigation; Control ; 2015 ; Kissimmee, FL



    Publication date :

    2015-01-01


    Size :

    10 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    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