Automating Bird Diverter Installation through Multi-Aerial Robots and Signal Temporal Logic Specifications
Abstract: This paper tackles the task assignment and trajectory generation problem for bird diverter installation using a fleet of multi-rotors. The proposed motion planner considers payload capacity, recharging constraints, and utilizes Signal Temporal Logic (STL) specifications for encoding mission objectives and temporal requirements. An event-based replanning strategy is introduced to handle unexpected failures and ensure operational continuity. An energy minimization term is also employed to implicitly save multi-rotor flight time during installation. Simulations in MATLAB and Gazebo, as well as field experiments, demonstrate the effectiveness and validity of the approach in a mock-up scenario.
- A. Caballero et al., “A Signal Temporal Logic Motion Planner for Bird Diverter Installation Tasks with Multi-Robot Aerial Systems,” IEEE Access, 2023.
- M. Ferrer, “Birds and Power Lines: From Conflict to Solution,” ENDESA SA and Fundacion MIGRES, 2020.
- A. Suarez et al., “Experimental Evaluation of Aerial Manipulation Robot in Contact With 15 kV Power Line: Shielded and Long Reach Configurations,” IEEE Access, vol. 9, pp. 94 573–94 585, 2021.
- A. Donzé et al., “Robust satisfaction of temporal logic over real-valued signals,” in International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 2010, pp. 92–106.
- G. Silano et al., “Power Line Inspection Tasks With Multi-Aerial Robot Systems Via Signal Temporal Logic Specifications,” IEEE Robotics and Automation Letters, vol. 6, no. 2, pp. 4169–4176, 2021.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.