Quadcopter controllers are in use today and in practice they can often cope well in non adverse weather conditions such as lack of strong sudden gusts of wind around the corner of a building or no frequent demands of travel directions by remote control or a guidance law. Different payloads can alter the boundaries of the stable state space region of a drone, its flight envelop, beyond which its autopilot may not be able to regain stable control of the craft. For fixed gain autopilot controllers, reaching the boundary of the flight envelop can be caused by (1) external disturbance like gusts of wind and turbulence, (2) altered drone mass and its distribution and (3) reduction or misalignment of thrust output in the propulsion system caused ware after multiple uses of the drone. This paper introduces symbolic computation to map out the numerical boundaries of controller tolerances in terms of these three factors that affect the autopilots ability to retain stability of the craft. Proof theoretic methods are developed that can be applied to quadcopter of various nominal parameters.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Verification of Quadcopter Flight Envelop Using Theorem Prover


    Beteiligte:
    Jasim, Omar A. (Autor:in) / Veres, Sandor M. (Autor:in)


    Erscheinungsdatum :

    01.08.2018


    Format / Umfang :

    744664 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Method of dynamic flight envelop assessment for aircraft wing damages

    Xiaoxiong, L. / Xun, S. / Qiang, T. et al. | British Library Online Contents | 2013


    Mission-Based Quadcopter Flight Simulation

    Hemmati, Vahid / Behnia, Mohammad / Mohammadi, Ahmad et al. | IEEE | 2024


    Quadcopter Control with Smooth Flight Mode

    Mendoza-Mendoza, Julio Alberto / Gonzalez-Villela, Victor / Sepulveda-Cervantes, Gabriel et al. | Springer Verlag | 2020


    Viewpoint Insensitive Action Recognition Using Envelop Shape

    huang, Feiyue / Xu, Guangyou | Springer Verlag | 2007


    QUADCOPTER

    KORNILOV VLADIMIR ALEKSANDROVICH / TUGAENKO VYACHESLAV YUREVICH | Europäisches Patentamt | 2020

    Freier Zugriff