Cover Image

A Signal Temporal Logic Approach for Task-Based Coordination of Multi-Aerial Systems: a Wind Turbine Inspection Case Study

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Silano, Giuseppe, Caballero, Alvaro, Liuzza, Davide, Iannelli, Luigi, Bogdan, Stjepan, Saska, Martin
Format:	Preprint
Published:	2024
Subjects:	Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Task Coordination and Trajectory Optimization for Multi-Aerial Systems via Signal Temporal Logic: A Wind Turbine Inspection Study
by: Silano, Giuseppe, et al.
Published: (2024)

Sensitivity-Based Robust NMPC for Close-Proximity Offshore Wind Turbine Inspection with a Tilted Multirotor
by: Silano, Giuseppe, et al.
Published: (2026)

Communications-Aware NMPC for Multi-Rotor Aerial Relay Networks Under Jamming Interference
by: Silano, Giuseppe, et al.
Published: (2026)

Free-Space Optical Communication-Driven NMPC Framework for Multi-Rotor Aerial Vehicles in Structured Inspection Scenarios
by: Silano, Giuseppe, et al.
Published: (2025)

Omnidirectional Multi-Rotor Aerial Vehicle Pose Optimization: A Novel Approach to Physical Layer Security
by: Licea, Daniel Bonilla, et al.
Published: (2024)

Sensitivity-Based Tube NMPC for Cooperative Aerial Structures Under Parametric Uncertainty
by: Silano, Giuseppe, et al.
Published: (2026)

STL-Based Motion Planning and Uncertainty-Aware Risk Analysis for Human-Robot Collaboration with a Multi-Rotor Aerial Vehicle
by: Silano, Giuseppe, et al.
Published: (2025)

Harnessing the Potential of Omnidirectional Multi-Rotor Aerial Vehicles in Cooperative Jamming Against Eavesdropping
by: Licea, Daniel Bonilla, et al.
Published: (2024)

Reshaping UAV-Enabled Communications with Omnidirectional Multi-Rotor Aerial Vehicles
by: Licea, Daniel Bonilla, et al.
Published: (2024)

Robust Planning and Control of Omnidirectional MRAVs for Aerial Communications in Wireless Networks
by: Silano, Giuseppe, et al.
Published: (2025)

Gesture-Controlled Aerial Robot Formation for Human-Swarm Interaction in Safety Monitoring Applications
by: Krátký, Vít, et al.
Published: (2024)

Free-Space Optical Communication-Driven NMPC Framework for Multi-Rotor Aerial Vehicles in Structured Inspection Scenarios
by: Silano, Giuseppe, et al.
Published: (2026)

AERIAL-CORE: AI-Powered Aerial Robots for Inspection and Maintenance of Electrical Power Infrastructures
by: Ollero, Anibal, et al.
Published: (2024)

PACNav: Enhancing Collective Navigation for UAV Swarms in Communication-Challenged Environments
by: Ahmad, Afzal, et al.
Published: (2024)

Aerial Maritime Vessel Detection and Identification
by: Kulas, Antonella Barisic, et al.
Published: (2025)

A Generalized Thrust Estimation and Control Approach for Multirotors Micro Aerial Vehicles
by: Santos, Davi, et al.
Published: (2024)

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
by: Liu, Wenliang, et al.
Published: (2025)

Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
by: Peron, Davide, et al.
Published: (2025)

A Value Function Space Approach for Hierarchical Planning with Signal Temporal Logic Tasks
by: Liu, Peiran, et al.
Published: (2024)

Bio-inspired visual relative localization for large swarms of UAVs
by: Křížek, Martin, et al.
Published: (2024)

Survey of Simulators for Aerial Robots: An Overview and In-Depth Systematic Comparisons
by: Dimmig, Cora A., et al.
Published: (2023)

Autonomous Inspection of Power Line Insulators with UAV on an Unmapped Transmission Tower
by: Riss, Václav, et al.
Published: (2026)

Wind-Aware Optimal Trajectory Planning for Efficient Gliding of Fixed-Wing Aerial Systems
by: Morando, Luca, et al.
Published: (2026)

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
by: Wei, Zhongqi, et al.
Published: (2025)

Aerial Robots Persistent Monitoring and Target Detection: Deployment and Assessment in the Field
by: Boldrer, Manuel, et al.
Published: (2025)

Perception-Aware Communication-Free Multi-UAV Coordination in the Wild
by: Boldrer, Manuel, et al.
Published: (2026)

Automated UAV-based Wind Turbine Blade Inspection: Blade Stop Angle Estimation and Blade Detail Prioritized Exposure Adjustment
by: Shi, Yichuan, et al.
Published: (2025)

UMBRELLA: Uncertainty-aware Multi-robot Reactive Coordination under Dynamic Temporal Logic Tasks
by: Zhao, Qisheng, et al.
Published: (2026)

Model Predictive Path Integral Control for Agile Unmanned Aerial Vehicles
by: Minarik, Michal, et al.
Published: (2024)

A Cost-Effective Cooperative Exploration and Inspection Strategy for Heterogeneous Aerial System
by: Xu, Xinhang, et al.
Published: (2024)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
by: Yang, Shuo, et al.
Published: (2024)

Fast Collective Evasion in Self-Localized Swarms of Unmanned Aerial Vehicles
by: Novák, Filip, et al.
Published: (2024)

Landing a UAV in Harsh Winds and Turbulent Open Waters
by: Gupta, Parakh M., et al.
Published: (2022)

Design and Aerodynamic Modeling of MetaMorpher: A Hybrid Rotary andFixed-Wing Morphing UAV
by: Bosak, Anja, et al.
Published: (2026)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
by: Meng, Yue, et al.
Published: (2025)

Fusion of Visual-Inertial Odometry with LiDAR Relative Localization for Cooperative Guidance of a Micro-Scale Aerial Vehicle
by: Pritzl, Václav, et al.
Published: (2023)

AgiPIX: Bridging Simulation and Reality in Indoor Aerial Inspection
by: Arachchige, Sasanka Kuruppu, et al.
Published: (2026)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
by: Liu, Ruijia, et al.
Published: (2025)

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition
by: Ren, Jiming, et al.
Published: (2025)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
by: Ye, Bowen, et al.
Published: (2025)