Manuel Toscano-Moreno

Accurate victim localization in Remote, Outdoor, Unstructured, and Disaster (ROUD) scenarios remains a significant challenge due to limited infrastructure, complex terrains, and time constraints inherent in Search and Rescue (SAR) operations. This article introduces an innovative real-time positioning system that leverages Fine Time Measurement (FTM), a feature of the IEEE 802.11mc amendment, to detect WiFi-enabled devices typically carried by potential victims. The system integrates a Hybrid Wireless Sensor Network (H-WSN) composed of static and mobile anchors mounted on Uncrewed Ground and Aerial Vehicles (UGVs and UAVs), within a Robot Operating System (ROS)-based architecture. A centralized Feedback Information System (FIS) processes real-time RTT data from the field, executes a multilateration algorithm, and provides live geolocation updates to SAR coordinators. The system was validated during a large-scale SAR drill, successfully locating two types of victims—a semi-hidden surface victim and a buried victim—within a 2000m2 area in under 7 minutes, without any filtering or post-processing. The maximum positioning error was 22.87m for the buried victim and 17.14m for the surface one. The complete system, including source code, dataset, and a containerized environment, is openly available to support reproducibility and further research, highlighting the potential of robotic and wireless technologies to enhance disaster response through accurate, real-time localization in complex environments.

Linear temporal logic (LTL) formalism can ensure the correctness of mobile robot planning through concise, readable, and verifiable mission specifications. For uneven terrain, planning must consider motion constraints related to asymmetric slope traversability and maneuverability. However, even though model checker tools like the open-source Simple Promela Interpreter (SPIN) include search optimization techniques to address the state explosion problem, defining a global LTL property that encompasses both mission specifications and motion constraints on digital elevation models (DEMs) can lead to complex models and high computation times. In this article, we propose a system model that incorporates a set of uncrewed ground vehicle (UGV) motion constraints, allowing these constraints to be omitted from LTL model checking. This model is used in the LTL synthesizer for path planning, where an LTL property describes only the mission specification. Furthermore, we present a specific parameterization for path planning synthesis using a SPIN. We also offer two SPIN-efficient general LTL formulas for representative UGV missions to reach a DEM partition set, with a specified or unspecified order, respectively. Validation experiments performed on synthetic and real-world DEMs demonstrate the feasibility of the framework for complex mission specifications on DEMs, achieving a significant reduction in computation cost compared to a baseline approach that includes a global LTL property, even when applying appropriate search optimization techniques on both path planners.

Cloud robotics and advanced communications can foster a step-change in cooperative robots and hybrid wireless sensor networks (H-WSN) for demanding environments (e.g., disaster response, mining, demolition, and nuclear sites) by enabling the timely sharing of data and computational resources between robot and human teams. However, the operational complexity of such multi-agent systems requires defining effective architectures, coping with implementation details, and testing in realistic deployments. This article proposes X-IoCA, an Internet of robotic things (IoRT) and communication architecture consisting of a hybrid and heterogeneous network of wireless transceivers (H2WTN), based on LoRa and BLE technologies, and a robot operating system (ROS) network. The IoRT is connected to a feedback information system (FIS) distributed among multi-access edge computing (MEC) centers. Furthermore, we present SAR-IoCA, an implementation of the architecture for search and rescue (SAR) integrated into a 5G network. The FIS for this application consists of an SAR-FIS (including a path planner for UGVs considering risks detected by a LoRa H-WSN) and an ROS-FIS (for real-time monitoring and processing of information published throughout the ROS network). Moreover, we discuss lessons learned from using SAR-IoCA in a realistic exercise where three UGVs, a UAV, and responders collaborated to rescue victims from a tunnel accessible through rough terrain.