A Signal Temporal Logic Motion Planner for Bird Diverter Installation Tasks with Multi-Robot Aerial Systems
arXiv:2210.09750 · doi:10.1109/ACCESS.2023.3300240
Abstract
This paper addresses the problem of task assignment and trajectory generation for installing bird diverters using a fleet of multi-rotors. The proposed solution extends our previous motion planner to compute feasible and constrained trajectories, considering payload capacity limitations and recharging constraints. Signal Temporal Logic (STL) specifications are employed to encode the mission objectives and temporal requirements. Additionally, an event-based replanning strategy is introduced to handle unforeseen failures. An energy minimization term is also employed to implicitly save multi-rotor flight time during installation operations. The effectiveness and validity of the approach are demonstrated through simulations in MATLAB and Gazebo, as well as field experiments carried out in a mock-up scenario.
arXiv comment23 pages, 14 figures, journal preprint, accepted for publication to IEEE ACCESS
References in corpus (9)
- Vehicle Routing Problems for Drone Delivery
- Online Trajectory Generation with Distributed Model Predictive Control for Multi-Robot Motion Planning
- The MRS UAV System: Pushing the Frontiers of Reproducible Research, Real-world Deployment, and Education with Autonomous Unmanned Aerial Vehicles
- Multi-Tour Set Traveling Salesman Problem in Planning Power Transmission Line Inspection
- Learning Minimum-Time Flight in Cluttered Environments
- Power Line Inspection Tasks with Multi-Aerial Robot Systems via Signal Temporal Logic Specifications
- Optimal Trajectory Planning for Cinematography with Multiple Unmanned Aerial Vehicles
- MRS Drone: A Modular Platform for Real-World Deployment of Aerial Multi-Robot Systems
- MRS Modular UAV Hardware Platforms for Supporting Research in Real-World Outdoor and Indoor Environments
Cited by in corpus (3)
- A Signal Temporal Logic Planner for Ergonomic Human-Robot Collaboration
- A Signal Temporal Logic Approach for Task-Based Coordination of Multi-Aerial Systems: a Wind Turbine Inspection Case Study
- Free-Space Optical Communication-Driven NMPC Framework for Multi-Rotor Aerial Vehicles in Structured Inspection Scenarios