Power Line Inspection Tasks with Multi-Aerial Robot Systems via Signal Temporal Logic Specifications

Abstract

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 paper. 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.

8 pages, 12 figures, journal paper

Cited by in corpus (9)

• Multi-Tour Set Traveling Salesman Problem in Planning Power Transmission Line Inspection
• Radial Basis Function Neural Networks for Formation Control of Unmanned Aerial Vehicles
• Mission Planning and Execution in Heterogeneous Teams of Aerial Robots supporting Power Line Inspection Operations
• A Multi-Layer Software Architecture for Aerial Cognitive Multi-Robot Systems in Power Line Inspection Tasks
• MRS Modular UAV Hardware Platforms for Supporting Research in Real-World Outdoor and Indoor Environments
• Optimum Trajectory Planning for Multi-Rotor UAV Relays with Tilt and Antenna Orientation Variations
• A Perception-Aware NMPC for Vision-Based Target Tracking and Collision Avoidance with a Multi-Rotor UAV
• An Application of Stereo Thermal Vision for Preliminary Inspection of Electrical Power Lines by MAVs
• A Vision-Based Algorithm for a Path Following Problem