SearcharxivSearch

arXiv subjects

Christopher Bradley

Publications and source records attributed to Christopher Bradley.

14 recordsLinked to original sources

Motion Planning for Mobile Manipulators Navigating Doorways via Model Predictive Control

Navigating doorways is a fundamental capability for mobile manipulators operating in human environments, requiring coordinated motion between the mobile base and manipulator arm. This paper presents a motion planning framework that generates dynamically feasible and collision-free trajectories for autonomously opening and traversing both push and pull doors. The proposed method formulates the robot and door as a coupled dynamical system within a nonlinear Model Predictive Control (MPC) optimization framework. Manipulation feasibility is enforced through a penalty-based constraint, avoiding explicit arm kinematic modeling in the planner. Simulations and a hardware experiment demonstrate that the approach successfully plans feasible trajectories for door traversal.

cs.RO

StratMamba: Strategic and Reactive Stream Partitioning for Path-Efficient LiDAR-Based Obstacle Avoidance

This paper proposes StratMamba, a dual-stream Mamba-based temporal modeling architecture, to more efficiently capture long-horizon temporal dependencies required for robot navigation in complex and obstacle-rich environments. StratMamba leverages a combination of fast-decay and slow-decay memory architectures, where the fast-decay component processes high-frequency LiDAR data for reactive obstacle avoidance, while the slow-decay component maintains longer-horizon goal information for strategic planning. We perform extensive evaluations of different obstacle avoidance scenarios in IsaacLab and Gazebo, while also validating successful sim-to-real deployment on a Unitree GO1 quadruped robot navigating in the presence of static/dynamic obstacles. Comparisons with other temporal RL baselines, such as LSTM, Transformer, and Vanilla-Mamba, show that our StratMamba achieves exceptional temporal reasoning efficiency with a lower timeout rate, while maintaining the fastest navigation speed (576 median steps, 5.0% better than Vanilla-Mamba). It also achieves the highest path optimality (0.915 path efficiency) across all baselines. Real-world evaluation reveals that StratMamba maintains more robust performance across extended LiDAR ranges compared to vanilla Mamba and the Transformer, demonstrating that dual-stream partitioning effectively balances reactive safety with strategic navigation under challenging sensing conditions.

cs.RO

Placental contractions in uncomplicated pregnancies

In 2020 we first described placental contractions, and we have now undertaken a study to characterise them and seek features that might automatically separate them from uterine contractions. We recruited 36 healthy pregnant women to undergo magnetic resonance imaging (MRI) between 29 and 42 weeks of pregnancy in a single-centre, prospective, observational study. Participants had fetal ultrasound to confirm normal growth. Dynamic MRI was acquired for between 15 and 32 minutes using respiratory triggered, multi-slice, single shot, gradient echo, echo planar imaging covering the whole uterus. All participants had a live birth of a healthy baby weighing over the 10th centile for gestational age and none developed any associated conditions of placental dysfunction e.g. pre-eclampsia, or severe maternal or fetal villous malperfusion on placental histopathology. Any visible contractions were recorded for all participants who completed their MRI scan and placental contractions occurred in at least 60% of our healthy pregnant population with a median frequency of approximately 2 per hour, and a median duration of 2.4 minutes. Contractions involving a decrease in placental volume of >10% were classified as either placental or uterine by visual observation. Placental contractions occurred more frequently than uterine contractions (p=0.0061), were associated with a larger increase in the surface area of the uterine wall not covered by the placenta (p=0.0015), placental sphericity (p<0.0001) and longer duration (p=0.0151). All contractions led to an increase in the MRI parameter R2* in the placenta. There was large variation both between participants and between contractions from the same individual, in terms of time course and contractions features, with no apparent change across the gestational age range studied, although the largest fractional volume changes were detected at early gestation.

physics.med-ph

Language-Grounded Hierarchical Planning and Execution with Multi-Robot 3D Scene Graphs

In this paper, we introduce a multi-robot system that integrates mapping, localization, and task and motion planning (TAMP) enabled by 3D scene graphs to execute complex instructions expressed in natural language. Our system builds a shared 3D scene graph incorporating an open-set object-based map, which is leveraged for multi-robot 3D scene graph fusion. This representation supports real-time, view-invariant relocalization (via the object-based map) and planning (via the 3D scene graph), allowing a team of robots to reason about their surroundings and execute complex tasks. Additionally, we introduce a planning approach that translates operator intent into Planning Domain Definition Language (PDDL) goals using a Large Language Model (LLM) by leveraging context from the shared 3D scene graph and robot capabilities. We provide an experimental assessment of the performance of our system on real-world tasks in large-scale, outdoor environments. A supplementary video is available at https://youtu.be/8xbGGOLfLAY.

cs.RO

An Intrinsically Explainable Approach to Detecting Vertebral Compression Fractures in CT Scans via Neurosymbolic Modeling

Vertebral compression fractures (VCFs) are a common and potentially serious consequence of osteoporosis. Yet, they often remain undiagnosed. Opportunistic screening, which involves automated analysis of medical imaging data acquired primarily for other purposes, is a cost-effective method to identify undiagnosed VCFs. In high-stakes scenarios like opportunistic medical diagnosis, model interpretability is a key factor for the adoption of AI recommendations. Rule-based methods are inherently explainable and closely align with clinical guidelines, but they are not immediately applicable to high-dimensional data such as CT scans. To address this gap, we introduce a neurosymbolic approach for VCF detection in CT volumes. The proposed model combines deep learning (DL) for vertebral segmentation with a shape-based algorithm (SBA) that analyzes vertebral height distributions in salient anatomical regions. This allows for the definition of a rule set over the height distributions to detect VCFs. Evaluation of VerSe19 dataset shows that our method achieves an accuracy of 96% and a sensitivity of 91% in VCF detection. In comparison, a black box model, DenseNet, achieved an accuracy of 95% and sensitivity of 91% in the same dataset. Our results demonstrate that our intrinsically explainable approach can match or surpass the performance of black box deep neural networks while providing additional insights into why a prediction was made. This transparency can enhance clinician's trust thus, supporting more informed decision-making in VCF diagnosis and treatment planning.

cs.LG

Task and Motion Planning in Hierarchical 3D Scene Graphs

Recent work in the construction of 3D scene graphs has enabled mobile robots to build large-scale metric-semantic hierarchical representations of the world. These detailed models contain information that is useful for planning, however an open question is how to derive a planning domain from a 3D scene graph that enables efficient computation of executable plans. In this work, we present a novel approach for defining and solving Task and Motion Planning problems in large-scale environments using hierarchical 3D scene graphs. We describe a method for building sparse problem instances which enables scaling planning to large scenes, and we propose a technique for incrementally adding objects to that domain during planning time that minimizes computation on irrelevant elements of the scene graph. We evaluate our approach in two real scene graphs built from perception, including one constructed from the KITTI dataset. Furthermore, we demonstrate our approach in the real world, building our representation, planning in it, and executing those plans on a real robotic mobile manipulator. A video supplement is available at \url{https://youtu.be/v8fkwLjBn58}.

cs.RO

Learning and Planning for Temporally Extended Tasks in Unknown Environments

We propose a novel planning technique for satisfying tasks specified in temporal logic in partially revealed environments. We define high-level actions derived from the environment and the given task itself, and estimate how each action contributes to progress towards completing the task. As the map is revealed, we estimate the cost and probability of success of each action from images and an encoding of that action using a trained neural network. These estimates guide search for the minimum-expected-cost plan within our model. Our learned model is structured to generalize across environments and task specifications without requiring retraining. We demonstrate an improvement in total cost in both simulated and real-world experiments compared to a heuristic-driven baseline.

cs.RO

Enabling Topological Planning with Monocular Vision

Topological strategies for navigation meaningfully reduce the space of possible actions available to a robot, allowing use of heuristic priors or learning to enable computationally efficient, intelligent planning. The challenges in estimating structure with monocular SLAM in low texture or highly cluttered environments have precluded its use for topological planning in the past. We propose a robust sparse map representation that can be built with monocular vision and overcomes these shortcomings. Using a learned sensor, we estimate high-level structure of an environment from streaming images by detecting sparse vertices (e.g., boundaries of walls) and reasoning about the structure between them. We also estimate the known free space in our map, a necessary feature for planning through previously unknown environments. We show that our mapping technique can be used on real data and is sufficient for planning and exploration in simulated multi-agent search and learned subgoal planning applications.

cs.RO

Miquel circles and Cevian lines

Two theorems are presented concerning the Miquel point configuration, when the operative points on the sides of the triangle are the feet of Cevians,

math.MG

A Singular Miquel Configuration and the Miquel Direct Similarity

Let ABC be a triangle with P on AB, and let circle APC meet BC at Q and circle BPC meet CA at R, then the special Miquel configuration is when P, Q, R are the operative points on the sides. We show that in this case if S is the Miquel point then ASQ and BSR are straight lines. In the last part we investigate the direct similarity between ABC and DEF the triangle formed by the centres of the Miquel circles.

math.MG

On The Ten Point Wood-Desargues' Configuration

The ten pairs of directly similar triangles in perspective in the Wood-Desargues' configuration have ten common Hagge circle centres. These centres are known to lie one each of the ten perspectrices. It is shown in this paper that these centres also lie at the vertices of five cyclic quadrangles, which are similar to the five cyclic quadrangles of the initial Wood-Desargues' configuration and that these five new cyclic quadrangles have a common circumradius.

math.MG

Generalization of the Wallace-Simson line

A Wallace-Simson line of a point J has the property that it passes through the midpoint Q of HJ, where H is the orthocentre. By allowing Q to move on the perpendicular bisector of HJ we obtain generalized Wallace-Simson lines. These turn out to be known in another context.

math.MG