Analytical Design and Experimental Verification of Geofencing Control for Aerial Applications

Keep-in operational envelopes are essential to maintain the safety of unmanned aerial vehicles (UAVs). System properties and constraints, including underactuated dynamics and actuator saturation, dramatically affect the system's maneuverability inside the operational envelope. Moreover, sate-of-the-art safety control depends heavily on the specifications of the operational envelope. Thus, this work focuses on creating a scalable technique to transform safety envelopes into input-constrained barriers along each axis of motion. Then, it is shown that the proposed class of operational envelopes simultaneously guarantees safety and asymptotic stability. The closed-form solution for the safety rule is derived as allowable low and high bounds of the control command, which are calculated in real-time. Furthermore, it is shown that the proposed safety design seamlessly integrates with an existing motion control algorithm with minimum modification. The super-twisting control (STC) is used to handle the nonlinear complexity of the UAV and parametric uncertainties and achieve a desirable robust behavior for trajectory and attitude control. The control calibration and tuning are carried out on a state-of-the-art experimental system. The experimental results verify the effectiveness of the proposed safety control.

[1]  A. Matveev,et al.  Algorithms for collision-free navigation of mobile robots in complex cluttered environments: a survey , 2014, Robotica.

[2]  Emanuele Garone,et al.  A robust explicit reference governor for constrained control of Unmanned Aerial Vehicles , 2016, 2016 American Control Conference (ACC).

[3]  Azad Ghaffari Operational Safety Control for Unmanned Aerial Vehicles Using Modular Barrier Functions , 2020, 2020 American Control Conference (ACC).

[4]  R. Sarpong,et al.  Bio-inspired synthesis of xishacorenes A, B, and C, and a new congener from fuscol† †Electronic supplementary information (ESI) available. See DOI: 10.1039/c9sc02572c , 2019, Chemical science.

[5]  Jesús Santiaguillo-Salinas,et al.  Observer-Based Time-Varying Backstepping Control for a Quadrotor Multi-Agent System , 2017, 2017 International Conference on Unmanned Aircraft Systems (ICUAS).

[6]  Isabelle Fantoni,et al.  Observer-based Super Twisting Controller Robust to Wind Perturbation for Multirotor UAV , 2019, 2019 International Conference on Unmanned Aircraft Systems (ICUAS).

[7]  David González,et al.  A Review of Motion Planning Techniques for Automated Vehicles , 2016, IEEE Transactions on Intelligent Transportation Systems.

[8]  Ella M. Atkins,et al.  Specification and evaluation of geofence boundary violation detection algorithms , 2017, 2017 International Conference on Unmanned Aircraft Systems (ICUAS).

[9]  Frank L. Lewis,et al.  Robust backstepping‐based trajectory tracking control for quadrotors with time delays , 2019, IET Control Theory & Applications.

[10]  Homayoun Najjaran,et al.  A review of quadrotor: An underactuated mechanical system , 2018, Annu. Rev. Control..

[11]  Bin Xu,et al.  Safe Teleoperation of Dynamic UAVs Through Control Barrier Functions , 2018, 2018 IEEE International Conference on Robotics and Automation (ICRA).

[12]  Javier Moreno-Valenzuela,et al.  Adaptive Control for Quadrotor Trajectory Tracking With Accurate Parametrization , 2019, IEEE Access.

[13]  Mrdjan Jankovic,et al.  Robust control barrier functions for constrained stabilization of nonlinear systems , 2018, Autom..

[14]  Emanuele Garone,et al.  Constrained Control of UAVs in Geofencing Applications , 2018, 2018 26th Mediterranean Conference on Control and Automation (MED).

[15]  Ian R. Petersen,et al.  Adaptive Second-Order Strictly Negative Imaginary Controllers Based on the Interval Type-2 Fuzzy Self-Tuning Systems for a Hovering Quadrotor With Uncertainties , 2020, IEEE/ASME Transactions on Mechatronics.

[16]  Vadim I. Utkin,et al.  Discussion Aspects of High-Order Sliding Mode Control , 2016, IEEE Transactions on Automatic Control.

[17]  A. Levant Sliding order and sliding accuracy in sliding mode control , 1993 .

[18]  Guangming Xie,et al.  Hybrid finite-time trajectory tracking control of a quadrotor. , 2019, ISA transactions.

[19]  Frank Allgöwer,et al.  CONSTRUCTIVE SAFETY USING CONTROL BARRIER FUNCTIONS , 2007 .

[20]  Hui Kong,et al.  Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems , 2013, CAV.

[21]  Stephen Prajna Barrier certificates for nonlinear model validation , 2006, Autom..

[22]  Chau Ton,et al.  Super-Twisting Control of Double Integrator Systems With Unknown Constant Control Direction , 2017, IEEE Control Systems Letters.

[23]  Hashem Ashrafiuon,et al.  Integral backstepping control for trajectory and yaw motion tracking of quadrotors , 2019, Robotica.

[24]  Miroslav Krstic,et al.  Safety Verification Using Barrier Certificates with Application to Double Integrator with Input Saturation and Zero-Order Hold , 2018, 2018 Annual American Control Conference (ACC).

[25]  Vadim I. Utkin,et al.  On Convergence Time and Disturbance Rejection of Super-Twisting Control , 2013, IEEE Transactions on Automatic Control.

[26]  Hashem Ashrafiuon,et al.  Robust Tracking Control of Quadrotors Based on Differential Flatness: Simulations and Experiments , 2018, IEEE/ASME Transactions on Mechatronics.

[27]  Ilyas Eker,et al.  Second-order sliding mode control with experimental application. , 2010, ISA transactions.

[28]  Yoonjin Yoon,et al.  How to assess the capacity of urban airspace: A topological approach using keep-in and keep-out geofence , 2018, Transportation Research Part C: Emerging Technologies.

[29]  Holger Voos,et al.  Nonlinear control of a quadrotor micro-UAV using feedback-linearization , 2009, 2009 IEEE International Conference on Mechatronics.

[30]  Javier Moreno-Valenzuela,et al.  Nonlinear PID-Type Controller for Quadrotor Trajectory Tracking , 2018, IEEE/ASME Transactions on Mechatronics.

[31]  Paulo Tabuada,et al.  Control Barrier Function Based Quadratic Programs for Safety Critical Systems , 2016, IEEE Transactions on Automatic Control.

[32]  Hongwei Mo,et al.  Nonlinear and Adaptive Intelligent Control Techniques for Quadrotor UAV – A Survey , 2019 .

[33]  Leonid M. Fridman,et al.  Implementation of Super-Twisting Control: Super-Twisting and Higher Order Sliding-Mode Observer-Based Approaches , 2016, IEEE Transactions on Industrial Electronics.

[34]  Yen-Chen Liu,et al.  Adaptive Backstepping Tracking Control for Quadrotor Aerial Robots Subject to Uncertain Dynamics , 2019, 2019 American Control Conference (ACC).

[35]  Leonid M. Fridman,et al.  Super twisting control algorithm for the attitude tracking of a four rotors UAV , 2012, J. Frankl. Inst..

[36]  Arie Levant,et al.  Principles of 2-sliding mode design , 2007, Autom..

[37]  Abhijit Chatterjee,et al.  Barrier Functions in Cascaded Controller: Safe Quadrotor Control , 2019, 2020 American Control Conference (ACC).