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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Verification of Quadcopter Flight Envelop Using Theorem Prover


    Contributors:


    Publication date :

    2018-08-01


    Size :

    744664 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Mission-Based Quadcopter Flight Simulation

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


    Method of dynamic flight envelop assessment for aircraft wing damages

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


    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 | European Patent Office | 2020

    Free access