Real-time FEM based control of soft surgical robots

Similar documents
Introducing interactive inverse FEM simulation and its application for adaptive radiotherapy

SOFA - an Open Source Framework for Medical Simulation

Stiffness rendering on soft tangible devices controlled through inverse FEM simulation

An Efficient Numerical Inverse Scattering Algorithm for Generalized Zakharov-Shabat Equations with Two Potential Functions

BoxPlot++ Zeina Azmeh, Fady Hamoui, Marianne Huchard. To cite this version: HAL Id: lirmm

Moveability and Collision Analysis for Fully-Parallel Manipulators

HySCaS: Hybrid Stereoscopic Calibration Software

Deformetrica: a software for statistical analysis of anatomical shapes

A Voronoi-Based Hybrid Meshing Method

How to simulate a volume-controlled flooding with mathematical morphology operators?

Fault-Tolerant Storage Servers for the Databases of Redundant Web Servers in a Computing Grid

Tacked Link List - An Improved Linked List for Advance Resource Reservation

THE KINEMATIC AND INERTIAL SOIL-PILE INTERACTIONS: CENTRIFUGE MODELLING

Real-Time Collision Detection for Dynamic Virtual Environments

Multimedia CTI Services for Telecommunication Systems

Fast and precise kinematic skeleton extraction of 3D dynamic meshes

Linux: Understanding Process-Level Power Consumption

Relabeling nodes according to the structure of the graph

Change Detection System for the Maintenance of Automated Testing

Preconditioner-Based Contact Response and Application to Cataract Surgery

Linked data from your pocket: The Android RDFContentProvider

Workspace and joint space analysis of the 3-RPS parallel robot

Comparator: A Tool for Quantifying Behavioural Compatibility

Multi-atlas labeling with population-specific template and non-local patch-based label fusion

Every 3-connected, essentially 11-connected line graph is hamiltonian

From medical imaging to numerical simulations

Blind Browsing on Hand-Held Devices: Touching the Web... to Understand it Better

QuickRanking: Fast Algorithm For Sorting And Ranking Data

Simulations of VANET Scenarios with OPNET and SUMO

Service Reconfiguration in the DANAH Assistive System

Scalewelis: a Scalable Query-based Faceted Search System on Top of SPARQL Endpoints

Study on Feebly Open Set with Respect to an Ideal Topological Spaces

Natural Language Based User Interface for On-Demand Service Composition

Setup of epiphytic assistance systems with SEPIA

Traffic Grooming in Bidirectional WDM Ring Networks

Comparison of radiosity and ray-tracing methods for coupled rooms

KeyGlasses : Semi-transparent keys to optimize text input on virtual keyboard

Branch-and-price algorithms for the Bi-Objective Vehicle Routing Problem with Time Windows

lambda-min Decoding Algorithm of Regular and Irregular LDPC Codes

Application of Artificial Neural Network to Predict Static Loads on an Aircraft Rib

Mokka, main guidelines and future

Stream Ciphers: A Practical Solution for Efficient Homomorphic-Ciphertext Compression

Interaction between ring shaped permanent magnets with symbolic gradients: application to magnetic bearing system optimization

Malware models for network and service management

Regularization parameter estimation for non-negative hyperspectral image deconvolution:supplementary material

DETERMINATION OF THE TRANSDUCER VELOCITIES IN A SONAR ARRAY USING DIGITAL ACOUSTICAL HOLOGRAPHY

Optimization-Based Inverse Model of Soft Robots With Contact Handling

NP versus PSPACE. Frank Vega. To cite this version: HAL Id: hal

Intra-operative Registration for Stereotactic Procedures driven by a combined Biomechanical Brain and CSF Model

A Resource Discovery Algorithm in Mobile Grid Computing based on IP-paging Scheme

Fuzzy sensor for the perception of colour

SDLS: a Matlab package for solving conic least-squares problems

Representation of Finite Games as Network Congestion Games

MUTE: A Peer-to-Peer Web-based Real-time Collaborative Editor

Comparison of spatial indexes

Assisted Policy Management for SPARQL Endpoints Access Control

FIT IoT-LAB: The Largest IoT Open Experimental Testbed

Motion-based obstacle detection and tracking for car driving assistance

An FCA Framework for Knowledge Discovery in SPARQL Query Answers

Modularity for Java and How OSGi Can Help

X-Kaapi C programming interface

Modelling of large displacements and large strains in coupled electromagnetic/solid mechanics/heat transfer problems

A case-based reasoning approach for unknown class invoice processing

Kinematic skeleton extraction based on motion boundaries for 3D dynamic meshes

Monitoring Air Quality in Korea s Metropolises on Ultra-High Resolution Wall-Sized Displays

Inverting the Reflectance Map with Binary Search

Primitive roots of bi-periodic infinite pictures

The Connectivity Order of Links

Very Tight Coupling between LTE and WiFi: a Practical Analysis

ASAP.V2 and ASAP.V3: Sequential optimization of an Algorithm Selector and a Scheduler

Efficient implementation of interval matrix multiplication

Decentralised and Privacy-Aware Learning of Traversal Time Models

Optimal Design of Remote Center Compliance Devices of Rotational Symmetry

The Proportional Colouring Problem: Optimizing Buffers in Radio Mesh Networks

QAKiS: an Open Domain QA System based on Relational Patterns

Light field video dataset captured by a R8 Raytrix camera (with disparity maps)

Efficient Gradient Method for Locally Optimizing the Periodic/Aperiodic Ambiguity Function

An Experimental Assessment of the 2D Visibility Complex

Real-Time and Resilient Intrusion Detection: A Flow-Based Approach

Computing and maximizing the exact reliability of wireless backhaul networks

Accurate Conversion of Earth-Fixed Earth-Centered Coordinates to Geodetic Coordinates

Reverse-engineering of UML 2.0 Sequence Diagrams from Execution Traces

A million pixels, a million polygons: which is heavier?

Syrtis: New Perspectives for Semantic Web Adoption

Periodic meshes for the CGAL library

Kinematic analysis of planar tensegrity 2-X manipulators

Prototype Selection Methods for On-line HWR

Taking Benefit from the User Density in Large Cities for Delivering SMS

A Methodology for Improving Software Design Lifecycle in Embedded Control Systems

Implementing an Automatic Functional Test Pattern Generation for Mixed-Signal Boards in a Maintenance Context

Virtual Clay for Direct Hand Manipulation

Type Feedback for Bytecode Interpreters

Learning a Representation of a Believable Virtual Character s Environment with an Imitation Algorithm

BugMaps-Granger: A Tool for Causality Analysis between Source Code Metrics and Bugs

Structuring the First Steps of Requirements Elicitation

Shell Model for Reconstruction and Real-Time Simulation of Thin Anatomical Structures

Shape Gradient for Isogeometric Structural Design

The New Territory of Lightweight Security in a Cloud Computing Environment

3D Volumetric Muscle Modeling For Real-time Deformation Analysis With FEM

Querying Source Code with Natural Language

Transcription:

Real-time FEM based control of soft surgical robots Frederick Largilliere, Eulalie Coevoet, Laurent Grisoni, Christian Duriez To cite this version: Frederick Largilliere, Eulalie Coevoet, Laurent Grisoni, Christian Duriez. Real-time FEM based control of soft surgical robots. SURGETICA 2014, Dec 2014, Chambéry, France. <hal-01105146> HAL Id: hal-01105146 https://hal.inria.fr/hal-01105146 Submitted on 19 Jan 2015 HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Real-time FEM based control of soft surgical robots F. Largilliere 1, E. Coevoet 2, L. Grisoni 3, C. Duriez 2 1 LIFL - University of Lille 1, France 2 INRIA - University of Lille 1, France 3 University of Lille 1, CNRS/INRIA, France 1 Introduction Surgical robots, such as the Da Vinci c, interact with delicate biological structures such as blood vessels or internal organs. However, they are made of rigid materials that limit their ability of moving through confined spaces without inducing excessive contact pressures and stress concentrations which could create new injuries. An alternative solution, potentially easier to produce and suitable for interventions where the highest precision (less than a few millimeters) is not necessary, is growing in the scientific community with the development of robots made of soft materials [1]. This type of robots allows for a safer contact with internal organs and displacement among them at the cost of an increase in the complexity of control. Indeed, soft robots can dissipate the energy of collision and comply with the shape of their environment through their internal deformation. However, their infinite number of degrees of freedom does not allow to compute inverse kinematics easily. Also, the idea of using a large number of actuators to simplify the control is countered by the fact that these actuators are coupled together through the whole deformation of the robot. Although soft, these robots could still be used in situations where medical instruments need to stay in a fixed position, by rigidifying a robot filled with particles jammed through vacuum actuation [2]. To address the problem of controlling these robots, traditional robotic methods cannot be used because the coupling between actuators and effectors is constantly modified through the deformation of the robot. This is why it is necessary to know the influence of applied forces on the structure while controlling it. In this purpose, we have developed a new method of control [3] based on the real-time inverse simulation with internal deformation computed through the use of Finite Element Method (FEM). It was coded in SOFA, an open-source framework that contains fast implementations of FEM as well as optimization methods for collision response and mechanical interactions with haptic feedback. This work has demonstrated its first proofs on various numerical examples but also on a real deformable robot made of silicone and actuated through cables.

2 Method To model the large non-linear deformations undergone by the soft structure, a corotational volume FEM formulation [4] is used in this work. At each step i of the real-time simulation, the internal forces are linearized as follows: f(x i ) f(x i 1 )+K(x i 1 )dx (1) where f represents the volumetric internal stiffness forces at a given position x of the nodes, K(x) is the tangent stiffness matrix that depends on the actual position of the nodes and dx is the displacement of nodes between two steps dx = x i x i 1. In a first approach, we want the model to be in static equilibrium state regarding internal and external forces, which is acceptable for quasi-static motions i.e for low velocities. The following equation has then to be solved: K(x i 1 )dx = p+f(x i 1 )+J T λ. (2) where p represents the external forces (e.g. gravity) and J T λ gathers the contributions of the actuators through a product between J T and λ that are respectively the direction of the forces and their unknown intensities. Then, we use the following algorithm : First, a free configuration is found by solving the previous equation with λ = 0. We can then compute the violation of the desired positions before the appropriate actuation. Secondly, the following projection into constraint space is used : δ = [ JK 1 J T] λ+δ free (3) }{{} W where δ free and δ are respectively the violations before actuation and the one after actuation i.e to be minimized by the control. A Gauss-Seidel iterative solver is used to find a solution for the couple (λ,δ) Finally, the free configuration of the robot is updated according to the influence of the forces J T λ previously calculated to obtain the configuration under actuation. The constraint on the terminal actuator is set by assigning its three directions of displacement (x, y and z) and forcing λ at zero, as a non-directly actuated point. This formulation of the problem allows for various actuators to be modeled by taking into account their physical characteristics (directional of actuation, unilateral (e.g pulling cable)/bilateral actuation, limited stroke) through the use of bilateral or unilateral constraints. Pneumatic actuation can also be used via normal constraint applied to selected faces of the deformable cavity.

3 Coupling with soft-tissue models When using FEM, it is usual to impose the load and get the displacements (or deformations), which could be considered as a direct mechanical model in robotics. On the contrary, what the algorithm presented here does is a novel use of FEM to obtain an inverse mechanical model. However, taking into account all degrees of freedom of the model would be too much expensive for the algorithm to be real-time. This is why a compliance matrix W condensed in the constraint space is used. This matrix holds only the modeling of the mechanical coupling between each actuator and effector (or other actuators) so that it can be used in the inverse algorithm computed fast enough to be efficient. With very small changes in the algorithms,[5] uses the method for parametrization of soft-tissue models by inverse simulation. It is applied to semi-automatic registration for adaptive radiotherapy. Indeed, the same condensation strategy is used to find the parameters and the boundary conditions (physics-based external loads) that provide the displacements that are observed on the images. This strategy is very important in the context of the navigation of a surgical soft robot interacting with the soft-tissue environment of the patient (see figure 1) Fig. 1. The concept of a soft laparoscopic robot. Thanks to its flexibility, the robot can access difficult areas, while preventing hard contact stress with the wall of the soft tissues. Both patient anatomy deformations and soft robot would require FEM inverse method The presentation will show how we envision to couple this inverse FEM method to provide online both control of the robot and registration of a physicsbased model of the patient.

4 Conclusion This work presents the use of a FEM inverse model, computed in real-time to control the motion of the soft robot. We also show that this inverse model strategy can be used to parametrize the modeling of the soft tissues of a patient by registration of the deformations. From these works, we can consider the development of a real-time simulation that could be used during a surgical intervention to control a soft robot that could navigate among organs whose positions and properties would be updated and taken in consideration while choosing how to plan the movements of the robot and how to actuate it. Another possible application is the control of soft robotic organs for realistic surgery training. References 1. Majidi C., Soft robotics: A perspective - Current trends and prospects for the future, in Soft Robotics journal, Volume 1, pages 5-11, 2014. 2. Jiang A., Althoefer K., Dasgupta P. and Nanayakkara T., The Core-Snake, the variable stiffness laparoscopic camera in The Hamlyn Symposium on Medical Robotics, London, United Kingdom, 2013. 3. Duriez C., Control of Elastic Soft Robots based on Real-Time Finite Element Method, in Proceedings of ICRA (& Patent application WO 2014122134 A1), 2013. 4. Felippa C., A systematic approach to the element-independent corotational dynamics of finite elements, in Technical Report, Center for Aerospace Structures, 2000. 5. Coevoet E., Reynaert N., Lartigau E., Schiappacasse L., Dequidt J. and Duriez C., Introducing interactive inverse FEM simulation and its application for adaptive radiotherapy, in Medical Image Computing and Computer-Assisted Intervention (MICCAI), 2014.