Modeling, force estimation and control of steerable catheters for robot-assisted intra-cardiac navigation