Fast, composable rescue mission planning for UAVs using metric temporal logic
We present a hybrid compositional approach for real-time mission planning for multi-rotor
unmanned aerial vehicles (UAVs) in a time critical search and rescue scenario. Starting with …
unmanned aerial vehicles (UAVs) in a time critical search and rescue scenario. Starting with …
RISCuer: a reliable multi-UAV search and rescue testbed
Abstract We present the Robotics Intelligent Systems & Control (RISC) Lab multiagent
testbed for reliable search and rescue and aerial transport in outdoor environments. The …
testbed for reliable search and rescue and aerial transport in outdoor environments. The …
Docking and undocking payloads from mobile robots
CC Byers, RG Twiss - US Patent 11,104,552, 2021 - Google Patents
In one embodiment, a mobile robot energizes its state-variable anchor into a released state
while contacting a payload, and then de-energizes it to put it into an anchored state …
while contacting a payload, and then de-energizes it to put it into an anchored state …
Assured autonomy in multiagent systems with safe learning
UA Fiaz - 2022 - search.proquest.com
Autonomous multiagent systems is an area that is currently receiving increasing attention in
the communities of robotics, control systems, and machine learning (ML) and artificial …
the communities of robotics, control systems, and machine learning (ML) and artificial …
[PDF][PDF] Fast, Composable Rescue Mission Planning for UAVs using Metric Temporal Logic
UAFJS Baras - johnbaras.com
We present a hybrid compositional approach for real-time mission planning for multi-rotor
unmanned aerial vehicles (UAVs) in a time critical search and rescue scenario. Starting with …
unmanned aerial vehicles (UAVs) in a time critical search and rescue scenario. Starting with …