2000 character limit reached
Automating Bird Diverter Installation through Multi-Aerial Robots and Signal Temporal Logic Specifications (2309.10406v1)
Published 19 Sep 2023 in cs.RO
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.