pith. machine review for the scientific record. sign in

arxiv: 2604.05111 · v1 · submitted 2026-04-06 · 💻 cs.RO

Recognition: 2 theorem links

· Lean Theorem

Bilinear Model Predictive Control Framework of the OncoReach, a Tendon-Driven Steerable Stylet for Brachytherapy

Authors on Pith no claims yet

Pith reviewed 2026-05-10 18:47 UTC · model grok-4.3

classification 💻 cs.RO
keywords steerable needlemodel predictive controlbrachytherapytendon-driven styletbilinear modeltrajectory trackingtissue phantom
0
0 comments X

The pith

A bilinear MPC framework enables fixed and moving target tracking for a tendon-driven steerable stylet compatible with standard brachytherapy needles.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a control method for a steerable stylet that slides inside ordinary clinical needles used for brachytherapy. It builds a bilinear model that treats insertion speed and two bending rates as virtual inputs, then maps those to the actual tendon tensions a surgeon can apply. Simulations and experiments in phantom tissue show the closed-loop system can hold a fixed tip position to 1.45 mm error and follow moving targets, which would let needles curve around sensitive organs. Open-loop validation keeps tip-position error under 2 mm, or 3 percent of inserted length. The results establish that such control is feasible for commercial needle systems but also flag the need for better calibration and sensing to reduce errors in some bending directions.

Core claim

The authors formulate a geometric bilinear model for the tendon-driven OncoReach stylet with three virtual inputs (insertion speed and two bending rates) that map to physically realizable insertion speed and tendon tensions, then embed this model in a model predictive controller that achieves fixed-target positioning errors as low as 1.45 mm and moving-target trajectory tracking in tissue-mimicking phantoms, demonstrating feasibility for clinically compatible steerable brachytherapy systems while identifying calibration and sensing as areas for future improvement.

What carries the argument

The geometric bilinear model with three virtual inputs (insertion speed and two bending rates) mapped to physical insertion speed and tendon tensions, used inside a model predictive controller for real-time path correction.

If this is right

  • Curved needle trajectories become possible with standard clinical needles rather than requiring custom designs.
  • Image-based tip tracking combined with the MPC loop produces sub-2 mm accuracy for fixed targets in phantom material.
  • The same virtual-input mapping supports tracking of moving targets under the bilinear dynamics.
  • Position errors rise to 8.3 mm in certain bending directions, indicating the current sensing and calibration are not yet uniform.
  • The framework shows a practical route to steerable brachytherapy without replacing existing needle hardware.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the model holds in living tissue, clinicians could reach tumors with fewer needle insertions by following curved paths.
  • Adding real-time ultrasound or electromagnetic sensing could directly address the calibration gaps noted in the phantom tests.
  • The virtual-input simplification may transfer to other tendon-driven tools where physical inputs are hard to model directly.

Load-bearing premise

The bilinear geometric model correctly predicts the stylet's bending and insertion behavior when it is inside a standard needle and surrounded by tissue-like material.

What would settle it

Repeated physical insertions in which measured tip positions deviate from model predictions by more than 8 mm across multiple bending directions and tissue densities would show the model does not capture the real dynamics.

Figures

Figures reproduced from arXiv: 2604.05111 by Behnam Moradkhani, Keith Sowards, Mir Masoud Ale Ali, Pejman Kheradmand, Scott R. Silva, Yash Chitalia.

Figure 1
Figure 1. Figure 1: Computed tomography (CT) images of a patient with med [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Overview of the proposed modeling and control framew [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Experimental calibration of the curvature-tension [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Simulation results for fixed-target scenarios. (a) N [PITH_FULL_IMAGE:figures/full_fig_p005_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Simulation results for trajectory-tracking scenar [PITH_FULL_IMAGE:figures/full_fig_p006_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Experimental setup. (a) System overview showing the [PITH_FULL_IMAGE:figures/full_fig_p006_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Model validation experimental results. (a) Needle tr [PITH_FULL_IMAGE:figures/full_fig_p006_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Fixed-target experimental results. (a) Needle traj [PITH_FULL_IMAGE:figures/full_fig_p007_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Experimental trajectory-tracking results with MAT [PITH_FULL_IMAGE:figures/full_fig_p007_9.png] view at source ↗
read the original abstract

Steerable needles have the potential to improve interstitial brachytherapy by enabling curved trajectories that avoid sensitive anatomical structures. However, existing modeling and control approaches are primarily developed for custom needle designs and are not directly applicable to stylets compatible with commercially available clinical needles. This paper presents a bilinear model predictive control (MPC) framework for a tendon-driven steerable stylet integrated with a standard brachytherapy needle. \textcolor{black}{A geometric bilinear model is formulated with three virtual inputs (an insertion speed and two bending rates) which are mapped to physically realizable inputs consisting of the insertion speed and the associated tendon tensions.} The approach is validated through simulations and physical insertion experiments in tissue-mimicking phantom material using image-based tip tracking. While open-loop model validation yielded estimation errors below $2$~mm, corresponding to $3\%$ of the inserted needle length, and closed-loop fixed-target tracking achieved an error as low as $1.45$~mm, corresponding to $1.7\%$ of the inserted length, experiments showed larger position errors in certain bending directions, reaching $8.3$~mm, or $7.8\%$ of the inserted length. Overall, the results demonstrate the feasibility of fixed-target positioning and moving-target trajectory tracking for clinically compatible steerable brachytherapy systems, while highlighting necessary areas for future improvements in calibration and sensing.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript presents a bilinear model predictive control (MPC) framework for the OncoReach tendon-driven steerable stylet integrated with a standard brachytherapy needle. It formulates a geometric bilinear model using three virtual inputs (insertion speed and two bending rates) that are mapped to physical inputs consisting of insertion speed and tendon tensions. The approach is validated via simulations and physical insertion experiments in tissue-mimicking phantoms with image-based tip tracking, reporting open-loop estimation errors below 2 mm (3% of inserted length) and closed-loop fixed-target tracking errors as low as 1.45 mm (1.7%), though with direction-dependent errors up to 8.3 mm (7.8%). The results are presented as demonstrating feasibility for fixed-target positioning and moving-target trajectory tracking in clinically compatible systems, while noting needs for future calibration and sensing improvements.

Significance. If the geometric bilinear model and its virtual-to-physical mapping hold under the reported conditions, the work offers a meaningful contribution by extending model-based MPC to steerable stylets compatible with existing clinical needles rather than requiring custom designs. This could support curved trajectories in brachytherapy to avoid sensitive structures. The phantom-based experimental validation, including both open- and closed-loop results, provides concrete evidence of practicality for the MPC framework, and the explicit reporting of error ranges strengthens the feasibility assessment.

major comments (1)
  1. Abstract: The closed-loop fixed-target tracking errors reach 8.3 mm (7.8% of inserted length) in certain bending directions, substantially higher than the best-case 1.45 mm and the open-loop errors below 2 mm. This direction-dependent discrepancy directly challenges the central claim that the geometric bilinear model with virtual-input mapping accurately captures the physical dynamics (including tendon tensions inside the needle and tissue-mimicking conditions), as unmodeled effects such as friction or backlash would undermine transfer of the MPC performance guarantees to the physical system.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their constructive feedback, which has helped us better contextualize the limitations of our approach. We address the major comment below and have revised the manuscript to more explicitly discuss model approximations and their implications.

read point-by-point responses
  1. Referee: Abstract: The closed-loop fixed-target tracking errors reach 8.3 mm (7.8% of inserted length) in certain bending directions, substantially higher than the best-case 1.45 mm and the open-loop errors below 2 mm. This direction-dependent discrepancy directly challenges the central claim that the geometric bilinear model with virtual-input mapping accurately captures the physical dynamics (including tendon tensions inside the needle and tissue-mimicking conditions), as unmodeled effects such as friction or backlash would undermine transfer of the MPC performance guarantees to the physical system.

    Authors: We agree that the direction-dependent errors (up to 8.3 mm) indicate that the geometric bilinear model is an approximation and does not fully capture all physical effects, including friction and backlash in the tendon-driven mechanism and needle-tissue interactions. The abstract already reports both the minimum (1.45 mm) and maximum (8.3 mm) closed-loop errors transparently to avoid overstating performance. Our central claim concerns feasibility of the MPC framework for clinically compatible stylets rather than exact dynamic capture or transferable guarantees; the virtual-input formulation still enables useful closed-loop behavior in many directions, with errors remaining within ranges relevant to brachytherapy. We have revised the abstract to further emphasize these variations and added a dedicated paragraph in the Discussion section acknowledging unmodeled dynamics and outlining future calibration needs for friction and backlash compensation. revision: yes

Circularity Check

0 steps flagged

No significant circularity; geometric bilinear model and MPC are formulated and experimentally validated independently.

full rationale

The paper formulates a geometric bilinear model using virtual inputs (insertion speed and bending rates) mapped to physical tendon tensions, then validates it through open-loop error measurements (<2 mm) and closed-loop MPC experiments in tissue-mimicking phantoms. No steps reduce predictions to fitted parameters by construction, self-citations are not load-bearing for the core kinematics or control law, and the derivation chain does not invoke uniqueness theorems or ansatzes from prior self-work that would collapse the result to its inputs. Experimental discrepancies (e.g., direction-dependent errors) are reported as limitations rather than hidden in the model definition.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; the bilinear model is described as geometric without detailing any fitted values or unproven assumptions beyond standard modeling practices.

pith-pipeline@v0.9.0 · 5577 in / 1078 out tokens · 40432 ms · 2026-05-10T18:47:40.083431+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

30 extracted references · 12 canonical work pages

  1. [1]

    Brachytherapy: An overview for clinicians,

    C. Chargari, E. Deutsch, P . Blanchard, S. Gouy, H. Martel li, F. Gu´ erin, I. Dumas, A. Bossi, P . Morice, A. N. Viswanathan, and C. Haie- Meder, “Brachytherapy: An overview for clinicians,” CA Cancer J Clin, vol. 69, no. 5, pp. 386–401, Jul. 2019

  2. [2]

    Cervical cancer, version 3.2019, nccn clinical practice guidelines in oncology,

    W.-J. Koh et al., “Cervical cancer, version 3.2019, nccn clinical practice guidelines in oncology,” Journal of the National Comprehensive Cancer Network J Natl Compr Canc Netw , vol. 17, no. 1, pp. 64 – 84, 2019. [Online]. Available: https://jnccn.org/view/journals/jnccn/17/1/article-p64.xml

  3. [3]

    Cancer statistics, 2025,

    R. L. Siegel, T. B. Kratzer, A. N. Giaquinto, H. Sung, and A. Jemal, “Cancer statistics, 2025,” CA: A Cancer Journal for Clinicians, vol. 75, no. 1, pp. 10–45, 2025. [Online]. Available: https://acsjournals.onlinelibrary.wiley.com/doi/abs/10.3322/caac.21871

  4. [4]

    and Laversanne, Mathieu and Soerjomataram, Isabelle and Jemal, Ahmedin and Bray, Freddie , title =

    H. Sung, J. Ferlay, R. L. Siegel, M. Laversanne, I. Soerjo mataram, A. Jemal, and F. Bray, “Global cancer statistics 2020: Globocan estimates of incidence and mortality worldwide fo r 36 cancers in 185 countries,” CA: A Cancer Journal for Clinicians, vol. 71, no. 3, pp. 209–249, 2021. [Online]. Available: https://acsjournals.onlinelibrary.wiley.com/doi/ab...

  5. [5]

    Cervical cancer incidence among us women, 2001-2019,

    Z. Shahmoradi, H. Damgacioglu, M. A. Clarke, N. Wentzens en, J. Montealegre, K. Sonawane, and A. A. Deshmukh, “Cervical cancer incidence among us women, 2001-2019,” JAMA, vol. 328, no. 22, pp. 2267–2269, 12 2022. [Online]. Available: https://doi.org/10.1001/jama.2022.17806

  6. [6]

    A. U. Kishan et al., “Radical prostatectomy, external be am radiotherapy, or external beam radiotherapy with brachyth erapy boost and disease progression and mortality in patients with glea son score 9-10 prostate cancer,” JAMA, vol. 319, no. 9, pp. 896–905, 03 2018. [Online]. Available: https://doi.org/10.1001/jama.2018.0587

  7. [7]

    Hand-held steerable needle device,

    S. Okazawa, R. Ebrahimi, J. Chuang, S. Salcudean, and R. R ohling, “Hand-held steerable needle device,” IEEE/ASME Transactions on Mechatronics, vol. 10, no. 3, pp. 285–296, 2005

  8. [8]

    3-d path-following control for steerable needles with fiber bragg gratings in multi-core fib ers,

    A. Donder and F. R. y. Baena, “3-d path-following control for steerable needles with fiber bragg gratings in multi-core fib ers,” IEEE Transactions on Biomedical Engineering , vol. 70, no. 3, pp. 1072– 1085, 2023

  9. [9]

    Towa rds a robotically steerable system for high dose rate brachyther apy,

    N. J. Deaton, Y . Chitalia, P . Patel, and J. P . Desai, “Towa rds a robotically steerable system for high dose rate brachyther apy,” in Experimental Robotics , B. Siciliano, C. Laschi, and O. Khatib, Eds. Cham: Springer International Publishing, 2021, pp. 233–24 4

  10. [10]

    MR- Tracked deflectable stylet for gynecologic brachytherapy,

    A. L. Gunderman, E. J. Schmidt, M. Morcos, J. Tokuda, R. T . Seethamraju, H. R. Halperin, A. N. Viswanathan, and Y . Chen, “MR- Tracked deflectable stylet for gynecologic brachytherapy, ” IEEE ASME Trans Mechatron, vol. 27, no. 1, pp. 407–417, Mar. 2021

  11. [11]

    Axially rigid steerable needle with compliant active tip c ontrol,

    M. de Vries, J. Sikorski, S. Misra, and J. J. van den Dobbe lsteen, “Axially rigid steerable needle with compliant active tip c ontrol,” PLOS ONE , vol. 16, no. 12, pp. 1–18, 12 2021. [Online]. Available: https://doi.org/10.1371/journal.pone.0261089

  12. [12]

    Towards a tendon-assisted magnetically stee red (tams) robotic stylet for brachytherapy,

    P . Kheradmand, B. Moradkhani, H. Jella, K. Sowards, S. R . Silva, and Y . Chitalia, “Towards a tendon-assisted magnetically stee red (tams) robotic stylet for brachytherapy,” IEEE Robotics and Automation Letters, vol. 9, no. 7, pp. 6464–6471, 2024

  13. [13]

    The onc oreach stylet for brachytherapy: Design evaluation and pilot stud y,

    P . Kheradmand, K. K. Y amamoto, E. Webster, K. Sowards, G. Hatheway, K. L. Jackson, S. Z. Jr., J. A. Raffi, D. N. Ayala- Peacock, S. R. Silva, J. D. Bertram, and Y . Chitalia, “The onc oreach stylet for brachytherapy: Design evaluation and pilot stud y,” 2026. [Online]. Available: https://arxiv.org/abs/2601.13529

  14. [14]

    Robotic needle steering for percutaneous interven tions: Sensing, modeling, and control,

    F. Zhao, R. Xu, W. Zhao, X.-M. Sun, Y . Sun, and C. Dai, “Robotic needle steering for percutaneous interven tions: Sensing, modeling, and control,” Advanced Intelligent Systems , vol. 8, no. 1, p. 2500478, 2026. [Online]. Available: https://advanced.onlinelibrary.wiley.com/doi/abs/10.1002/aisy.202500478

  15. [15]

    A model to predict deflection of bevel- tipped active needle advancing in soft tissue,

    N. V . Datla, B. Konh, M. Honarvar, T. K. Podder, A. P . Dick er, Y . Y u, and P . Hutapea, “A model to predict deflection of bevel- tipped active needle advancing in soft tissue,” Medical Engineering & Physics, vol. 36, no. 3, pp. 285–293, 2014. [Online]. Available: https://www.sciencedirect.com/science/article/pii/S1350453313002488

  16. [16]

    A mechanics-based model for a t endon- driven active needle navigating inside a multiple-layer ti ssue,

    B. Padasdao and B. Konh, “A mechanics-based model for a t endon- driven active needle navigating inside a multiple-layer ti ssue,” Journal of Robotic Surgery , vol. 18, no. 1, p. 146, Mar. 2024

  17. [17]

    Sliding mode control of steerable needle s,

    D. C. Rucker, J. Das, H. B. Gilbert, P . J. Swaney, M. I. Mig a, N. Sarkar, and R. J. Webster, “Sliding mode control of steerable needle s,” IEEE Transactions on Robotics , vol. 29, no. 5, pp. 1289–1299, 2013

  18. [18]

    Kinematics modelling and dynami cs analysis of an sma-actuated active flexible needle for feedb ack- controlled manipulation in phantom,

    S. Karimi and B. Konh, “Kinematics modelling and dynami cs analysis of an sma-actuated active flexible needle for feedb ack- controlled manipulation in phantom,” Medical Engineering & Physics, vol. 107, no. 1, p. 103846, jul 2022. [Online]. Available: https://doi.org/10.1016/j.medengphy.2022.103846

  19. [19]

    Closed-loop c ontrol of a tendon-driven active needle for tip tracking at desired ben ding angle for high-dose-rate prostate brachytherapy,

    S. Lafreniere, B. Padasdao, and B. Konh, “Closed-loop c ontrol of a tendon-driven active needle for tip tracking at desired ben ding angle for high-dose-rate prostate brachytherapy,” Robotica, vol. 42, no. 8, p. 2511–2527, 2024

  20. [20]

    A model to predict deflection of an active Tendon-Driven notched needle inside soft tissue,

    B. Padasdao and B. Konh, “A model to predict deflection of an active Tendon-Driven notched needle inside soft tissue,” J Eng Sci Med Diagn Ther , vol. 7, no. 1, p. 011006, Sep. 2023

  21. [21]

    Design of an actively controlled steerable needle with ten don actuation and fbg-based shape sensing,

    N. J. van de Berg, J. Dankelman, and J. J. van den Dobbelst een, “Design of an actively controlled steerable needle with ten don actuation and fbg-based shape sensing,” Medical Engineering & Physics, vol. 37, no. 6, p. 617, apr 2015. [Online]. Available: https://doi.org/10.1016/j.medengphy.2015.03.016

  22. [22]

    Safer motion planning of steerable needles via a shaft-to- tissue force model,

    M. Bentley, C. Rucker, C. Reddy, O. Salzman, and A. Kuntz , “Safer motion planning of steerable needles via a shaft-to- tissue force model,” Journal of Medical Robotics Research , vol. 08, no. 01n02, p. 2350003, 2023. [Online]. Available: https://doi.org/10.1142/S2424905X23500034

  23. [23]

    Needle-tissue interaction forces for bevel-tip steerable needles,

    S. Misra, K. B. Reed, A. S. Douglas, K. T. Ramesh, and A. M. Okamura, “Needle-tissue interaction forces for bevel-tip steerable needles,” in 2008 2nd IEEE RAS & EMBS International Conference on Biomedical Robotics and Biomechatronics , 2008, pp. 224–231

  24. [24]

    Mechanics of flexible needles robotically steered through soft tissue,

    S. Misra, K. Reed, B. Schafer, K. Ramesh, and A. Okamura, “Mechanics of flexible needles robotically steered through soft tissue,” The International Journal of Robotics Research , vol. 29, no. 13, pp. 1640–1660, 2010, pMID: 21170164. [Online]. Avai lable: https://doi.org/10.1177/0278364910369714

  25. [25]

    Towards steering a high-dose rate brachyther- apy needle with a robotic steerable stylet,

    N. J. Deaton, T. A. Brumfiel, M. Sheft, K. K. Y amamoto, D. E lliott, P . Patel, and J. P . Desai, “Towards steering a high-dose rate brachyther- apy needle with a robotic steerable stylet,” IEEE Transactions on Medical Robotics and Bionics , vol. 5, no. 1, pp. 54–65, 2023

  26. [26]

    Model predictive control for 3d steerable needles: A hierarchica l approach to reduce tissue trauma,

    S. Hussain, M. Tavakoli, B. Siciliano, and F. Ficuciell o, “Model predictive control for 3d steerable needles: A hierarchica l approach to reduce tissue trauma,” in 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) , 2025, pp. 5874–5880

  27. [27]

    Feedback control for steering needles through 3D deformab le tissue using helical paths,

    K. Hauser, R. Alterovitz, N. Chentanez, A. Okamura, and K. Goldberg, “Feedback control for steering needles through 3D deformab le tissue using helical paths,” Robot Sci Syst , vol. V , p. 37, Jun. 2009

  28. [28]

    Steering of flexible needles u sing an lstm encoder with model predictive control,

    C. Morley and R. V . Patel, “Steering of flexible needles u sing an lstm encoder with model predictive control,” in 2022 2nd Interna- tional Conference on Robotics, Automation and Artificial In telligence (RAAI), 2022, pp. 99–104

  29. [29]

    Nonholonomic modeling of needle steering,

    R. J. WebsterIII, J. S. Kim, N. J. Cowan, G. S. Chirikjian , and A. M. Okamura, “Nonholonomic modeling of needle steering,” The International Journal of Robotics Research , vol. 25, no. 5-6, pp. 509–525, 2006. [Online]. Available: https://doi.org/10.1177/0278364906065388

  30. [30]

    Humimic Medical, Humimic SimuGel™ Technical Documentation , Humimic Medical, n.d., technical specification and acousti c data sheet for SimuGel™ formulations 0–5