Power Line Inspection Tasks With Multi-Aerial Robot Systems Via Signal Temporal Logic Specifications

A framework for computing feasible and constrained trajectories for a fleet of quad-rotors leveraging on Signal Temporal Logic (STL) specifications for power line inspection tasks is proposed in this letter. The planner allows the formulation of complex missions that avoid obstacles and maintain a safe distance between drones while performing the planned mission. An optimization problem is set to generate optimal strategies that satisfy these specifications and also take vehicle constraints into account. Further, an event-triggered replanner is proposed to reply to unforeseen events and external disturbances. An energy minimization term is also considered to implicitly save quad-rotors battery life while carrying out the mission. Numerical simulations in MATLAB and experimental results show the validity and the effectiveness of the proposed approach, and demonstrate its applicability in real-world scenarios.

[1]  Roberto Teti,et al.  A roadmap for automated power line inspection. Maintenance and repair. , 2013 .

[2]  Jorge Valenzuela,et al.  Unmanned Aircraft System Path Planning for Visually Inspecting Electric Transmission Towers , 2018, J. Intell. Robotic Syst..

[3]  GuptaAarti,et al.  Probabilistic Temporal Logic Falsification of Cyber-Physical Systems , 2013 .

[4]  Houssam Abbas,et al.  Smooth operator: Control using the smooth robustness of temporal logic , 2017, 2017 IEEE Conference on Control Technology and Applications (CCTA).

[5]  H. Jin Kim,et al.  Fast Trajectory Planning for Multiple Quadrotors using Relative Safe Flight Corridor , 2019, 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[6]  Jur P. van den Berg,et al.  Kinodynamic RRT*: Asymptotically optimal motion planning for robots with linear dynamics , 2013, 2013 IEEE International Conference on Robotics and Automation.

[7]  Markus Hehn,et al.  A Computationally Efficient Motion Primitive for Quadrocopter Trajectory Generation , 2015, IEEE Transactions on Robotics.

[8]  Oded Maler,et al.  Robust Satisfaction of Temporal Logic over Real-Valued Signals , 2010, FORMATS.

[9]  Dejan Nickovic,et al.  Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.

[10]  Calin Belta,et al.  Formal Methods for Discrete-Time Dynamical Systems , 2017 .

[11]  Gaurav S. Sukhatme,et al.  Trajectory Planning for Quadrotor Swarms , 2018, IEEE Transactions on Robotics.

[12]  Bowen Shi,et al.  Research on Recognition Method of Electrical Components Based on YOLO V3 , 2019, IEEE Access.

[13]  George J. Pappas,et al.  Robustness of temporal logic specifications for continuous-time signals , 2009, Theor. Comput. Sci..

[14]  Angela P. Schoellig,et al.  Online Trajectory Generation With Distributed Model Predictive Control for Multi-Robot Motion Planning , 2020, IEEE Robotics and Automation Letters.

[15]  Martin Saska,et al.  The MRS UAV System: Pushing the Frontiers of Reproducible Research, Real-world Deployment, and Education with Autonomous Unmanned Aerial Vehicles , 2021, J. Intell. Robotic Syst..

[16]  Luigi Iannelli,et al.  Software-in-the-loop simulation for improving flight control system design: a quadrotor case study , 2019, 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC).

[17]  Paulo Tabuada,et al.  Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[18]  Pascual Campoy,et al.  The Power Line Inspection Software (PoLIS): A versatile system for automating power line inspection , 2018, Eng. Appl. Artif. Intell..

[19]  Alberto L. Sangiovanni-Vincentelli,et al.  Model predictive control with signal temporal logic specifications , 2014, 53rd IEEE Conference on Decision and Control.

[20]  Emil Fresk,et al.  Cooperative coverage path planning for visual inspection , 2018 .