Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Verification of Maneuvering Target Tracking


    Beteiligte:
    Moulin, Mark (Autor:in) / Gluhovsky, Leonid (Autor:in) / Bendersky, Eli (Autor:in)

    Kongress:

    AIAA Guidance, Navigation, and Control Conference and Exhibit



    Erscheinungsdatum :

    01.01.2003




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Schlagwörter :


    Formal Verification of System States for Spacecraft Automatic Maneuvering

    Hobbs, Kerianne L. / Perez, Ivan / Fifarek, Aaron et al. | AIAA | 2019


    Formal Verification of System States for Spacecraft Automatic Maneuvering

    Hobbs, Kerianne L. / Perez, Ivan / Fifarek, Aaron et al. | TIBKAT | 2019


    Visual Tracking of a Maneuvering Target

    Stepanyan, Vahram / Hovakimyan, Naira | AIAA | 2006


    Maneuvering target tracking with colored noise

    Wen-Rong Wu / Dah-Chung Chang | IEEE | 1996