Simulation-Based Uncertainty Propagation in Geometric Networks for Surgical Robotics

Last updated: 01/05/2026

Summary

This project presents a simulation-based framework for modeling and propagating geometric uncertainty in complex surgical robotic systems. Multiple components—such as tracking sensors, robotic kinematics, and anatomical models—each introduce uncertainty through noise, calibration error, and modeling approximations, and these uncertainties interact through chains of geometric relationships. The framework represents the system as a network of uncertain frames and points connected by uncertain transformations, with uncertainty modeled using multivariate Gaussian distributions. Analytical, Jacobian-based methods are used to propagate uncertainty through composition, with Monte Carlo simulation available for validation. By allowing uncertainty to be computed between arbitrary nodes in the network, the framework provides a general and extensible tool for studying error propagation in surgical navigation and robot-assisted procedures, and serves as a foundation for future work on closed-loop updates and anatomy-aware uncertainty estimation.

  • Students: X.M. Christine Zhu
  • Mentor(s): Dr. Russell H. Taylor

Fig. 1: System components and basic scenario. The available components include an optical tracking system, a pointer with a user designed handle, and one or more user defined marker bodies.

Background, Specific Aims, and Significance

Background: Surgical robotic systems rely on multiple interacting geometric components, including robot kinematic chains, tracking systems, surgical tools, sensors, and anatomical models. Each component introduces uncertainty due to calibration error, measurement noise, modeling assumptions, and manufacturing tolerances. These uncertainties interact through geometric composition: transformations are chained, measurements are fused, and points of interest must be expressed consistently across multiple coordinate frames.
Core problem: There is no unified, general framework to model and query uncertainty propagation across an arbitrary geometric network.

Specific Aims:

  • This project bridges geometry, probability, and simulation, providing a principled way to understand uncertainty in complex robotic systems.
  • Develop a general simulation framework that models and propagates uncertainty through a network of geometric relationships, enabling uncertainty queries between any two nodes.

Significance: This project develops a mathematically rigorous uncertainty propagation framework for interconnected rigid-body networks. By modeling 6-DOF pose uncertainty in SE(3) and supporting both open-chain and closed-loop structures, the framework enables quantitative estimation of how local uncertainty affects task-level quantities such as tool tip position, relative distances, and anatomical localization. Beyond theoretical analysis, this work will be developed into a design tool for robotic system evaluation. The software will allow users to define geometric networks, assign uncertainty models, and compute propagated covariance to compare system architectures before physical implementation. This enables sensitivity analysis, calibration evaluation, and early stage risk assessment. Additionally, the framework will serve as a teaching tool for future Computer-Integrated Surgery (CIS) courses. It will provide a structured computational environment where students can visualize uncertainty flow through geometric systems and connect multivariate Gaussian theory with real robotic applications. As such, the project contributes not only to research methodology but also to long-term educational infrastructure in surgical robotics.

  • Enables quantitative uncertainty reasoning in:
    • Surgical navigation
    • Registration
    • Tracking–robot fusion
  • Models systems as networks of uncertain frames and points
  • Treats uncertainty as a first-class geometric quantity
  • Enables end-to-end uncertainty queries between any two nodes
  • Supports Monte Carlo validation
  • Supports both 1-time uncertainty (e.g. tolerance) and multiple times uncertainty (e.g. noise)

Deliverables

  • Minimum:
    1. Mathematical formulation for uncertainty propagation
    2. Core data structures
      1. Uncertain Frame
      2. Uncertain Point
    3. Basic subroutines for composing and propagating uncertainty
    4. Open-chain network support
    5. Simple test cases demonstrating correctness
  • Expected:
    1. Fully functional network system for uncertainty propagation
    2. Support for querying uncertainty between arbitrary nodes
    3. Command-line or script-based network specification
    4. Documentation and examples
  • Maximum:
    1. Monte Carlo simulation for validation and comparison
    2. AMBF-based visualization
    3. GUI for interactive network specification and querying

Technical Approach

The technical approach consists of three major layers:

  • Uncertainty-aware geometric primitives for frames and points.
  • Composable operators for transformation, composition, and uncertainty propagation.
  • Network-level querying to compute uncertainty between arbitrary nodes.

Development will proceed in progressive phases:

  • Phase 1: Mathematical & software foundations (core representations and operators).
  • Phase 2: Network & simulation (graph structure, path composition, query interface).
  • Phase 3: AMBF & visualization (workflow demonstration and visualization hooks).

Dependencies

  • Access to computing – resolved
  • Consultation from Dr. Munawar for AMBF - resolved

Milestones and Status

  • Milestone name: Documents for math framework and implementation plan.
    • Planned Date: 06/02/2026
    • Expected Date: 06/02/2026
    • Status: Done
  • Milestone name: Core function library validated on basic examples.
    • Planned Date: 20/02/2026
    • Expected Date: 20/02/2026
    • Status: Done
  • Milestone name: General geometric network support implemented.
    • Planned Date: 06/03/2026
    • Expected Date: 06/03/2026
    • Status: Done
  • Milestone name: Monte Carlo validation completed
    • Planned Date: 20/03/2026
    • Expected Date: 20/03/2026
    • Status: Done
  • Milestone name: User workflow validated on representative examples
    • Planned Date: 10/04/2026
    • Expected Date: 10/04/2026
    • Status: Haven't start yet
  • Milestone name: Visualization integrated
    • Planned Date: 24/04/2026
    • Expected Date: 24/04/2026
    • Status: Haven't start yet
  • Milestone name: Final documentation and presentation ready
    • Planned Date: 01/05/2026
    • Expected Date: 01/05/2026
    • Status: Haven't start yet

Reports and presentations

Project Bibliography

Other Resources and Project Files

courses/456/2026/projects/456-2026-01/project-01.txt · Last modified: by xzhu83




ERC CISST    LCSR    WSE    JHU