Sep 2025· IEEE International Conference on Robotics and Automation· pp. 22364-22371· 1 citation· 24 references
Computer Science
TL;DR
This work introduces a method to update the internal potential field model of the patient with measured positions, forces and torques for more transparent model-mediated tele-ultrasound and shows the addition of measurements to the model reduced the force magnitude RMSE by an average of 7.42 N.
Abstract
Teleoperated ultrasound can improve diagnostic medical imaging access for remote communities. Having accurate force feedback is important for enabling sonographers to apply the appropriate probe contact force to optimize ultrasound image quality. However, large time delays in communication make direct force feedback impractical. Prior work investigated using point cloud-based model-mediated teleoperation and internal potential field models to estimate contact forces and torques. We expand on this by introducing a method to update the internal potential field model of the patient with measured positions, forces and torques for more transparent model-mediated tele-ultrasound. We first generate a point cloud model of the patient’s surface and transmit this to the sonographer in a compact data structure. This is converted to a static voxelized volume where each voxel contains a potential field value. These values determine the forces and torques, which are rendered based on overlap between the voxelized volume and a point shell model of the ultrasound transducer. We solve for the potential field using a convex quadratic that combines the spatial Laplace operator with measured forces and torques. This was evaluated on volunteers (n = 4) by assessing the accuracy of rendered forces and torques. Results showed the addition of measurements to the model reduced the force magnitude RMSE by an average of 7.42 N, the force vector angle error by an average of 3.71°, and the torque vector angle error by an average of 64.0° compared to using only Laplace’s equation.
Abstract The fusion of ultrasound (US) imaging with threedimensional (3D) surface scanning enables the combination of internal anatomical and mechanical tissue properties with external body geometry and is particularly relevant for residual-limb assessment in prosthetic care. Accurate alignment of these modalities rema...
Anna Furman, Ming Yin, Jonas Walter et al.· Current Directions in Biomed...· 0 citations
Abstract Optical coherence tomography (OCT) is an imaging modality for depth-resolved visualization of tissue with microscopic resolution but is typically limited to small imaging areas of ~10×10 mm2. To address this, we previously developed a large-area robotically assisted OCT (LARA-OCT) system combining MHz-rate swe...
Madita Göb, Simon Lotz, Tjalfe Laedtke et al.· Current Directions in Biomed...· 0 citations
Safe robot-assisted ultrasound imaging requires a reliable controller able to detect and localize probe--tissue interaction. In this paper, we present a B-mode ultrasound image-based contact perception method and a contact-aware impedance controller for robotic ultrasound imaging. The proposed method detects acoustic c...
Robotic ultrasound couples a high-rate contact-force loop with slower, delayed image feedback, so image-guided ultrasound probe rotation can perturb contact force before the resulting image response is observed. We derive a closed-form orientation-rate limit that bounds the modeled rotation-induced estimated-force excu...
T. Foster, Qiang Zhang, A B M Tahidul Haque et al.· 0 citations
In robotic manipulation, robot-assisted surgery, and other contact-rich interactions with deformable bodies, reliable prediction of contact force and deformation requires rapid determination of the effective mechanical parameters governing the soft-tissue model. However, these model-equivalent properties are difficult...
Le Zhang, Yi Liu, Zi-Yu Liang et al.· Biomimetics· 0 citations
Ultrasound technology has become a major research focus in medical imaging because of its noninvasiveness, cost-effectiveness, and safety. However, due to the physical diffraction limit, conventional ultrasound imaging struggles to satisfy increasing clinical demands for resolution and image quality. Reverse time migra...
Ting Li, B. Feng, Yu-Bing Li et al.· IEEE Transactions on Computa...· 0 citations
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
MIT News · Artificial Intelligence· news.mit.eduNov 5, 2026
A new system identifies and corrects unreliable object descriptions stored in a robot’s memory, improving the robot’s ability to interact with its environment.