 Review
 Open Access
 Published:
Real time simulation for computational surgery: a review
Advanced Modeling and Simulation in Engineering Sciences volume 1, Article number: 11 (2014)
Abstract
In this paper a nonexhaustive review is made on the existing literature for realtime simulation in the field of computational surgery. Many methods have been proposed so far to deal with the very astringent assumption of realtime response in the field, specially for simulators equipped with haptic peripherals. A special emphasis is made on techniques that respond to the socalled second generation of surgery simulators, that able to adequately model the mechanics of the problem. Techniques employing supercomputing facilities, notably those base upon parallel implementations on GPUs will be covered, while special attention will be paid to techniques based upon model order reduction, a promising technique in the field. Finally, some review is made on techniques able to give some insight in the socalled third generation of surgery simulators, i.e., that able to include physiological details into the simulation.
Introduction
Computational surgery has been defined recently [1] as “the application of mathematics and algorithm design, enabling imaging, robotics, informatics, and simulation technologies, incorporating biological and physical principles, to improve surgery”. It has been since the early times of development of computers that their promising use in the field of medicine has been investigated [2, 3]. With the irruption of endoscopical and minimally invasive procedures, on one side, and robotoperated surgery, on the other, training of surgeons has becoming a task in which computer simulation has acquired a preeminent role in recent years [4]. In essence, surgeons have begun to access organs during surgery in an indirect way, through a screen, and this needs for a period of intensive training to avoid costly errors.
R. Satava [5] proposed some fifteen years ago a taxonomy of virtual anatomy that he divided into five different generations. The first generation was composed by systems representing accurately the geometry of the organs at a macroscopic level. The second generation would include an accurate description of the physical dynamics of the body. While it is still hard, more than a decade after, to find a realtime surgical simulator that incorporates accurate, stateoftheart models for soft tissues at a continuum level, this taxonomy included three more generations. From the third to the fifth one, these virtual descriptions of the patient should include, respectively, accurate descriptions of physiology, microscopic anatomy (at a neurovascular level, for instance) and, finally, biochemical systems.
Many computational methods can be found in the biomechanics literature that deal with different levels of description, see for instance [4, 6–11] among many others. The last three, however, have not been yet fully incorporated into virtual reality simulators due to the impressive computational cost that they involve, since they incorporate descriptions at the molecular level.
To understand the challenge of including stateoftheart constitutive equations in the simulator, let us consider the structure of a laparoscopic surgery simulator for training purposes [4]. In essence, a virtual surgery simulator is composed by, see Figure 1, a haptic peripheral that communicates with a simulation engine (see also Figure 2). This simulation core is responsible of detecting contact between the virtual tool and the organ and, by integrating the stresses produced by such a contact, give back to the user hand a realistic sensation of touch. This is precisely one of the bottlenecks of such systems: to provide the user with a realistic sensation of touch some 500 Hz1 kHz of feedback response (which coincides with the free hand gesture frequency) should be achieved [4]. For a detailed explanation on haptics the reader can consult [12, 13]. It can be easily noticed how this feedback rate becomes a true challenge when we deal, as in the case of living soft tissues, with large deformation settings, frequently in a hyperelastic framework [14, 15]. This type of simulations take hours in today’s computers, while we are now requiring to be solved from 500 to one thousand times per second.
Sometimes realtime constraints are less astringent, and require lower feedback rates but, on the contrary, are expected to provide longtime responses such as, for instance, a simulated outcome of surgery. This is typical in surgery planning simulators [16, 17], that should provide a forecast of the results of a given decision taken in the operating room. In augmented reality applications, for instance, only visual continuity is required, and then feedback at some 25 Hz are enough to perceive this sensation of continuous movement [18].
In this review paper a chronological order is pursued, that coincides roughly with the generations of surgical simulators defined in [5]. It can be said that a true example of secondgeneration simulator, that which includes stateoftheart constitutive modeling for soft living tissues, has never been reported in the literature. However, some attempts have been made to develop simulators including accurate descriptions of large deformations. These will be reviewed in Section ‘Refining the appearance: the second generation of surgery simulation’ particular emphasis is made on methods based upon some form of model reduction, which has revealed as one promising alternative for this challenging problem. In Section ‘Adding physiological details: third to fifth generations of surgery simulators’ a review is made of those works aiming at incorporating physiological, microscopic or biochemical details into the simulation.
Review
Early times of surgery simulation: the first generation
The origins of the socalled “deformable models” in the world of computer imaging date back to the mid eighties [19, 20]. Basically, they deal with the problem of deforming a solid following the laws of continuum mechanics. However, restrictions posed by realtime requirements did not allow, at that time, to perform these freeform deformations in realtime yet.
In 2005, a review by Monserrat et al.[21] divided existing deformable models for surgery simulation into heuristic, hybrid and continuum mechanical approaches, nearly all belonging by that time to the first generation of models. Under the heuristic category, the most relevant approaches are that of springmasses. Since realtime finite element descriptions of continuum mechanics were not achievable by that time, most approaches tried to simplify (sometimes oversimplify) the equations of linear elasticity [22] by substituting the continuum by a series of springs and masses obeying Newton’s second law. In general, these approaches did not obtain much success, since the deformations they produced were far from realistic.
Much more interesting are the approaches based upon continuum mechanics [23]. By that time, most approaches were still based upon linear elasticity. Particularly noteworthy was the attempt to solve linear elasticity by employing boundary element methods, thus avoiding to mesh the interior of the domains [24]. In [25], the authors, on the contrary, computed the equations of motion for a linearly elastic material using FEM and then by using coarse volumetric meshes to do simulations at interactive rates.
Simulation of surgical cutting deserves a special comment. From the early times of cutting springmass systems [26], continuumbased simulations have therefore preferred the use of XFEM techniques [27, 28] or GPU implementations [29].
In general, this first generation of surgery simulation lacks today of interest, since some prototypes are now present that incorporate, at least, nonlinear strain measures into the simulation. These are reviewed in the next section.
Refining the appearance: the second generation of surgery simulation
During the fast developments in the first generation of surgery simulators, it was commonly accepted that existing simulators did not provide with a realistic sensation [4]. This had an origin obviously on the poor constitutive models that realtime constraints allowed to solve by that time. At a visual level it was soon realized that linear elasticity gave raise to a poor perception of deformation, due to the apparent gain in volume that it produces when employed to solve large deformations. In Figure 3 it can be noticed how when solving a beam bending problem undergoing large strains, if linear elasticity is employed, a large gain of volume is perceived.
Thus, it is of utmost importance to consider, at least, Saint VenantKirchhoff (SVK) models (linear elasticity under large deformation settings) [30, 31]. Although SVK models are known to be unstable under compression, for instance [32], they have been considered in a number of recent works as a means to introduce at least a good visual description of large deformations, see [33]. Methods other than finite elements, for instance meshfree methods have also been used for this purpose [34]. Under this same rationale, De and coworkers applied the point collocationbased method of finite spheres (PCMFS) technique to simulate tissue deformations that are geometrically nonlinear [13, 35]. They also developed a technique coined as PointAssociated Finite Field (PAFF) [36] that includes a local approximation to the large deformation field near the surgical tool. Even a system based upon the use of neural networks has been presented in [37]. In it, the system is trained with a large set of possible load states in order to achieve realtime performance in the execution loop. A recent survey on the field could also provide the reader with some more insight on the field [38].
An even more surprising approach to the problem of including nonlinear strain measures can be found in the work of Delingette [39]. In it, a nonlinear (quadratic) springmass model is developed so as to be able to reproduce SVK models. The resulting formulation, in addition, eliminates the typical instabilities in compression of this constitutive model.
However, it is known that soft tissues are often composed of collagen fibers and include considerable amount of water [14], and can therefore be modeled as quasiincompressible. This complex composition cannot be well simulated using only geometrically nonlinear models and other constitutive laws should be used for a better approximation of the behavior of these tissues. Among them the socalled Holzapfel model [14] and neoHookean strain energy functions [32] are very common, see also [15]. Also in [40] a comparison of six different constitutive models was made for the human liver, concluding that an Ogden viscohyperelastic model provided the best result for the registered deformation of a liver on a CT scanner. Furthermore, in [41] a viscoelastic model under large deformations was considered. It can be considered as a particular implementation of a series of Lagrangian codes coined as Total Lagrangian Explicit Dynamics (TLED), developed for that purpose [42]. Basically, it consists of an implementation of a traditional explicit, lumpedmass, finite element code for structural dynamics, in which the constitutive law is evaluated also explicitly.
Briefly speaking, TLED approaches consider the equations of solid dynamics (including nonlinear strain measures) that, after finite element semidiscretisation give rise to a system of equations
where M is a lumped mass matrix and D=α M is a dumping matrix, also diagonal. This allows for a computation of the equilibrium equations at an element level, without the need for an assembly procedure. This fact is specially important in a GPU implementation, since each elemental contribution to the equation could be computed separately and independently.
In general, these methods do not work well for large integration times, as is well known for classical explicit finite elements. With these techniques, mediumsized models (some 16000 tetrahedra) can be solved at realtime (500 Hz) rates.
Of particular interest are also methods based on the use of implicit time integration. Particularly, we highlight works based upon asynchronous preconditioning on CPUs and GPUs [43].
Surgery simulation by model order reduction
In view of the above, it seems that the only possibility to date to consider constitutive laws other than SVK was to implement them in Lagrangian finite element codes in which the chosen constitutive law is evaluated explicitly. The main limitation of this approach comes from the fact that the dynamics of the organ is evaluated explicitly during large time intervals (in the order of hours of real user time), therefore lacking of stability in energy conservation, for instance. The possibility of employing implicit energy and momentum conserving integration schemes for the dynamics, along with a consistent evaluation of tangent stiffness matrices in a NewtonRaphson scheme, for instance, seems to be out of reach for the moment.
One appealing possibility to solve these limitations comes from model order reduction (MOR) techniques. Roughly speaking, MOR provides the simulation with an “optimal” (in some sense) set of global basis functions, specific to the considered problem, so as to perform simulations with a minimum of degrees of freedom. MOR techniques have been discovered and rediscovered in almost all scientific disciplines in the last century, giving rise to a plethora of different names for essentially similar techniques [44–48].
The first to apply a technique similar to model order reduction in the field of visualization of solid deformations seems to be James [33]. In this work, SVK models were considered, with an heuristic choice of the global (Ritz) basis functions to be employed.
In general, in realtime simulation, [8], “ … We do not care about the time taken for onetime precalculation such as setting up equations, inverting matrices, etc.”. This means that the possibility exists of employing as much time as needed in offline computations whose results are to be used online. This paves the way for a consistent offline determination of the optimal set of basis functions for a given problem.
Proper orthogonal decomposition
In Proper Orthogonal Decomposition (POD) techniques, it is assumed that the evolution of the unknown field (here assumed scalar, for simplicity of the exposition), u(x,t) is known. In practical applications (assume that some numerical simulations have been performed offline), this field is expressed in a discrete form which is known at the nodes of a spatial mesh and for some instants of time t^{m}. Thus, we consider that u\left({\mathit{x}}_{i},{t}^{m}\right)={u}^{m}\left({\mathit{x}}_{i}\right)\equiv {u}_{i}^{m}\left({t}^{m}=m\times \mathrm{\Delta t}\right) are known. We can also write u^{m} for the vector containing the nodal degrees of freedom at time t^{m}. The main idea of the KarhunenLoève (KL) decomposition is to obtain the most typical or characteristic structure ϕ(x) among these u^{m}(x), ∀m. This is equivalent to obtain a function that maximizes the functional α:
where N represents the number of nodes of the complete model and M the number of computed time steps. The maximization leads to:
which can be rewritten in the form
Defining the vector ϕ such that its ith component is ϕ(x_{ i }), Eq. (2) takes the following matrix form
where the twopoint correlation matrix is given by
which is symmetric and positive definite. If we define the matrix Q containing the discrete field history:
then it is easy to verify that the matrix c in Eq. (3) results in
Assume now that some direct simulations have been carried out (offline, this process may take as much time as needed). From them, we can determine {u}_{i}^{m}, ∀i∈ [ 1,⋯,N] and ∀m∈ [ 1,⋯,M], and from these solutions the n eigenvectors related to the nhighest eigenvalues that are expected to contain the most important information (at least, statistically speaking) about the problem solution. For this purpose the eigenvalue problem defined by Eq. (3) is solved and all the eigenvalues ϕ_{ k } belonging to some predefined interval are stored. In practice n is much lower than N, and this constitutes the main advantage of the technique.
POD techniques use therefore these n eigenfunctions ϕ_{ k } as Ritzlike (thus, globally supported) basis functions for approximating the solution of a problem slightly different to the one that has served to define {u}_{i}^{m}. For this purpose we need to define the matrix A=[ϕ_{1}⋯ϕ_{ n }]
Consider now the linear system of equations coming from the discretization of a generic problem, in the form:
where the superscript refers to the time step. By assuming that the unknown vector contains the nodal degrees of freedom, it can be expressed as:
from which Eq. (5) results
and by multiplying both terms by A^{T}
is obtained, which proves that the final system of equations is of low order, i.e. the dimension of A^{T}G A is n×n, with n≪N.
It is well known that reducedorder models allow for larger time steps in structural dynamics simulations [49]. This is the approach followed in [50, 51], where POD reduced models were employed trying to enlarge admissible time steps in explicit dynamics solved by finite element methods. In [52] a local/global approach to the problem of model reduction, where a reduced model is employed far from the “conflict” zones, i.e., those with crack sharp gradients, and a more classical finite element implementation is done where the crack influence is bigger. A similar approach (a coupling between POD and FEM) was previously accomplished in [53]. The reader interested in dynamical aspects of model order reduction could also consult an excellent paper by Matthies [54].
In sum, from the results of completeorder models solved previously and offline, it is possible to obtain a basis which is optimal (in the sense that it minimizes the functional in Eq. (1)) to be used in problems slightly different to the original ones. This is essentially the approach followed in [55–57]. As can be noticed from Figure 4, where an example of palpation of a human cornea is shown, there are clear differences between both results, even if the reduced model, that employs only six degrees of freedom, could be refined.
The origin of these discrepancies comes from the fact that a nonlinear, hyperelastic, constitutive equation was used for the corneal tissue [15], while the strong requirements of realtime feedback rates prevent from computing a consistently linearized tangent stiffness matrix. Thus, the simulation is actually linear, and the tangent stiffness matrix at the origin is actually being employed at any time in the simulation.
Other source of problems, which is classical in PODbased model order reduction, is the choice of the complete models from which to extract the snapshots matrix, Eq. (4). More precisely, it is of utmost importance how to interpolate between reduced models when they are obtained after complete models reproducing conditions (load positions, for instance), which are not exactly reproduced in the online phase of the method. In [58] it was pointed out that the set of empirical eigenfunctions given by Eq. (3) for a given model forms the socalled Grassman manifold \mathcal{G}(n,N). Therefore, in order to interpolate the set of basis functions, that consequently do not form a vector space, we must move to the tangent plane at a point of the manifold, which is a “flat” space, interpolate there, and project back to the manifold.
A less rigorous, but much simpler, method to interpolate among previously computed reduced models was established in [59] and coined as POD with interpolation (PODI). Although in the standard PODI technique the POD procedure is applied to the complete set of snapshots (for different load positions, say) of the system to obtain an orthonormal basis A=[ϕ_{1}⋯ϕ_{ n }], in [55] POD was just applied to each complete model (i.e., to each load position). Thus, an orthonormal basis for each system’s parameter value is obtained. Basis were then interpolated for intermediate positions of the load. Although it is clear that the interpolation of orthogonal sets of functions does not yield, in general, new orthogonal basis functions, the technique works well if the “distance” of reduced models in the Grassman manifold is not too large (an aspect always very difficult to determine and covered very elegantly in [60]).
Further developments in the realtime simulation based upon POD techniques include the employ of asymptotic numerical methods (ANM) [61–64] in combination with POD [65–67]. By means of an asymptotic expansion of the variables of interest, PODANM techniques allow to solve nonlinear problems without the burden associated to the update and inversion of tangent stiffness matrices. Instead, a series of linear problems, all with the same tangent operator, are solved, one for each level of expansion. These methods will be detailed in Section ‘Methods based on proper generalized decomposition’ below.
Another way to deal with nonlinear problems in a reduced order context is to consider the Empirical Interpolation Method (EIM) [68] or its discrete counterpart, the DEIM [69].
Some problems, in general, presents special difficulties for their reduction. These are problems in which advancing fronts are present, in general, that lead to hardly separable models that need for many modes (or degrees of freedom). A very interesting problem that poses difficulties in this sense for simulation in general, but very specially for realtime simulation, is that of electrophysiology (see [70, 71] and references therein, for instance). The main cause of these difficulties comes from the fact that electrophysiology is governed by anisotropic reactiondiffusion equations with a very rapidly varying reaction term. Accurate schemes need for very fine meshes and extremely small time step size. The fact that the solution of the problem is roughly composed by an advancing front (very similar to a soliton wave) makes this problem specially difficult for model reduction methods, that do not capture properly the solution. In this framework, the work by Gerbeau and coworkers [72–74] is noteworthy. They use mainly POD techniques to that end, although very recently they employed the concept of Lax pairs to avoid the mentioned problems, characteristic of electrophysiology [74].
Methods based on proper generalized decomposition
Model reduction methods based on POD or related techniques are known as “a posteriori” methods, since they need for a number of complete model simulations in order to obtain the snapshots. It is possible, however, to develop “a priori” methods in which there is no need for a completemodel solution. Proper Generalized Decomposition (PGD) methods belong to this class of methods. Although initially designed for a spacetime decomposition of the solution within the LATIN method [75] or, independently, for high dimensional problems in statistical mechanics [76, 77], PGD methods provide a very appealing alternative to solve in real time complex computational problems.
In fact, PGD approaches to the problem at hand constitute a change of paradigm, since they are based upon the offline computation of a general (high dimensional) solution to the problem, that is after evaluated (rather than simulated) in real time in the online phase [78, 79]. So to speak, it generates a sort of computational vademecum[80] that provides the solution for any possible situation during the online phase of the simulation. Of course, obtaining such a general solution and storing it efficiently is not an easy task. PGD methods tackle these difficulties by means of the following ingredients:

1.
The vademecum solution is in fact a high dimensional solution to the problem, depending on many different parameters such as initial or boundary conditions, material parameters, etc. To deal with the socalled curse of dimensionality (the number of degrees of freedom of the solution grows exponentially with the number of dimensions in traditional meshbased methods), PGD proposes a separated representation. Consider, for the sake of simplicity in the exposition, that the solution of an organ palpation depends solely on the physical coordinates and the load position:
{u}_{j}^{n}\left(\mathit{x},\mathit{s}\right)=\sum _{k=1}^{n}{X}_{j}^{k}\left(\mathit{x}\right)\xb7{Y}_{j}^{k}\left(\mathit{s}\right),(6)
where u_{ j } represents the jth component of the displacement field, depending on the physical position x and the mentioned position of the load exerted by the scalpel, s. Dependence of the solution on further parameters can be treated under this same rationale without difficulties. Problems defined in spaces up to 100 dimensions have been solved successfully in the literature, see [78] and references therein.

2.
Superscript n in Eq. (6) indicates that PGD proceeds actually in an iterative way. Improvements in the approximation are obtained by applying a greedy algorithm, i.e.,
{u}_{j}^{n+1}(\mathit{x},\mathit{s})={u}_{j}^{n}(\mathit{x},\mathit{s})+{R}_{j}\left(\mathit{x}\right)\xb7{S}_{j}\left(\mathit{s}\right),
where R(x) and S(s) are the sought functions that improve the approximation.
To obtain these functions, consider first the admissible variation of the displacement, given by
Several options are at hand so as to determine the new pair of functions R and S. The most frequently used, due to both its ease of implementation and good convergence properties, in general, is a fixedpoint algorithm in which functions R and S are sought iteratively so as to minimize the residual. See the extensive bibliography on PGD for more details.

3.
PGD methods are in fact a model order reduction technique, since the order of the approximation, n, can be fixed so as to have a minimum of degrees of freedom in the model. To this end, error indicators are indispensable [81, 82]. Functions X ^{k} and Y ^{k} in Eq. 6 can actually be seen as the PGD counterpart of the POD modes ϕ _{ k }. However, as opposed to POD, PGD does not always provide with optimal modes. Analytical proofs of optimality exist for elliptic problems with symmetric operators [83].
Another difficult problem, common to virtually all model reduction methods, is that of the nonlinearity of the problem. Since most living tissues are inherently nonlinear, these problems must be solved within the PGD framework. In [84, 85] an explicit approach and one based upon ANM are presented, respectively. Both approaches can lead to similar levels of accuracy, although obtained with very different modes, see Figure 5.
Since, in principle, it is only necessary to store these modes in the form of vectors (and, in the case of functions Y^{k}(s) they are only defined on the boundary of the organ Γ=∂ Ω), the storage in memory of these results is very efficient. As an example, this method allows for an interative implementation on deployed, handheld devices such as smartphones and tables (see Figure 6) or webbased demonstrators (see Figure 7).
Under the model reduction rationale, aspects such as cutting are much less investigated, but in [67], for instance, an approach based upon a combination of XFEM and POD is developed. Regarding PGD applications, a similar approach could be envisaged, based on a PGDXFEM coupling strategy [86].
Adding physiological details: third to fifth generations of surgery simulators
Understanding and quantitatively simulating physiology of the human has been a challenge since some fifteen years ago. The Physiome project [87–89] is a clear paradigm of this, opening the era of computational physiology. But an effective, realtime simulation of physiology is nowadays even further than a successful, purely mechanical, realtime simulation at a continuum level of living tissues, as discussed in Section ‘Refining the appearance: the second generation of surgery simulation’ before.
While introducing physiology in the simulation is not strictly necessary for many applications (most minimally invasive surgery training procedures, for instance), simulation based medical or surgical planning [90] very often needs it. For instance, in [91] a novel haptic simulation system is developed that includes not only force but thermal feedback, useful for the location of tumors, for instance.
In other problems, including physiology in the simulation is simply unavoidable. For instance, predicting the outcome of vein graft surgery is one of these problems that combines the need for simulation at a macroscopic level, but also at a gene regulatory network level [1]. It is hypothesized that blood shearing forces modulates a specific gene regulatory network determining the adaptive response of the vein wall. But simulation at a gene regulatory network level is a challenge in itself. This is so since at this level a stochastic description of the reactions occurring within the cell must be done, since it is nonsense to speak of concentration at this level, where only few specimens of each component are present [9, 92, 93]. It is commonly accepted that under some weak hypothesis (well stirred mixture, fixed volume and temperature), the system can be considered as Markovian, and can be consequently modeled by the socalled Chemical Master Equation (CME), [94], which is in fact no more than an ordinary differential equations stating the conservation of the probability density function P in time:
where P(z,tz_{0},t_{0}) represents the probability of being at a state in which there are a number of molecules of each species stored in the vector z at time t when we started from a state z_{0} at time t_{0}. a_{ j } represents the propensity (i.e., the probability) of reaction j to occur, while v_{ j } represents the change in the number of molecules of each species if reaction j takes place. This change is given, of course, by the stoichiometry of the reaction at hand.
This set of equations are defined in a state space which possess as many dimensions as the number of different species involved in the regulatory network. Under this challenging framework, if we consider N different species, present at a number n of copies, the number of different possible states of the system is n^{N}. This number can take the astronomical value of 10^{6000} if we consider some types of proteins, for instance [94].This phenomenon is known as the curse of dimensionality and has been already mentioned in this survey, see Section ‘Refining the appearance: the second generation of surgery simulation’. For instance, Nobel prize winner R. B. Laughlin said, when talking about this problem [95] that “No computer existing, or that will ever exist, can break this barrier because it is a catastrophe of dimension”.
Monte Carlolike algorithms (the socalled stochastic simulation algorithm, SSA [94, 96, 97]) are often the preferred approach to these problems. But Monte Carlo techniques need for as many as possible individual realizations of the problem that compromise its simple application in inverse identification, leading to excessive time consuming simulations, together with great variance in the results.
In [98], however, a PGD technique is used to avoid precisely the curse of dimensionality. Again, an offline/online strategy is developed that allows to obtain vademecum solutions easy to evaluate online under very astringent realtime restrictions, for example when considering the propensities as extracoordinates. As commented before, PGD approximates the variable of interest, the probability P, as a finite sum of separable functions:
where, as mentioned before, the variables z_{ i } represent the number of molecules of species i present at a given time instant. Note the presence of a function depending solely on time, {F}_{t}^{\phantom{\rule{0.3em}{0ex}}j}\left(t\right). This means that the algorithm is not incremental. Instead, it solves for the whole time history of the chemical species at each iteration of the method, so as to be available to be evaluated at any point in the multiscale simulation pipeline. With this technique, in [98] cascades of up to 20 terms were successfully simulated giving results in good accordance with the best ones available in the literature. This approach allows to compute the steady state of a system, impossible when considering stochastic approaches.
Generally speaking, adding physiological details to realtime simulations for surgery planning is still out of reach in many cases. Additional efforts of research are needed to successfully incorporate many aspects such as bleeding, microscopical details such as glandular anatomy or, finally, biochemical aspects such as those just commented.
Conclusions
Realtime simulation in the field of computational surgery has evolved a lot in the last fifteen years. Although not exhaustive, in this review paper we have presented a survey of some of the most prominent techniques nowadays. Particular attention has been paid to techniques based on model order reduction, a framework that has somewhat revolutionize the field and that seems the only way to incorporate to the field detailed physiological descriptions, with microscopic details and micromacro approaches to the always challenging work of simulating the human body.
Other aspects, such as patientspecific modeling, deserve additional attention. Due to their inherent complexity and the infancy of their state of development, they have not been covered in this review.
References
Garbey M, Bass B, Berceli S: Multiscale mechanobiology modeling for surgery assessment. Acta Mechanica Sinica 2012, 28: 1186–1202. , doi:10.1007/s10409–012–0133–4 http://dx.doi.org/10.1007/s1040901201334,
Champion HR, Gallagher AG: Surgical simulation: a good idea whose time has come. Br J Surg 2003,90(7):767–768. doi:10.1002/bjs.4187, http://dx.doi.org/10.1002/bjs.4187 doi:10.1002/bjs.4187, 10.1002/bjs.4187
Winslow RL, Trayanova N, Geman D, Miller MI: Computational medicine: translating models to clinical care. Sci Transl Med 2012.,4(158): doi:10.1126/scitranslmed.3003528
Delingette H, Ayache N: Soft tissue modeling for surgery simulation. In Computational models for the human body, handbook of numerical analysis (Ph. Ciarlet, Ed.). Edited by: Ayache N. Elsevier, Idem; 2004:453–550.
Satava RM: Medical virtual reality: the current status of the future. In Healthcare in the information age. Edited by: Sieburg H, Weghorst S, Morgan K. IOS Press; 1996.
Delingette H, Ayache N: Hepatic surgery simulation. Comm ACM 2005, 48: 31–36. http://doi.acm.org/10.1145/1042091.1042116
Cotin S, Delingette H, Ayache N: Realtime elastic deformations of soft tissues for surgery simulation. In IEEE transactions on visualization and computer graphics, vol 5 (1). Edited by: Hagen H. IEEE Computer Society; 1999:62–73. citeseer.ist.psu.edu/cotin98realtime.html citeseer.ist.psu.edu/cotin98realtime.html
BroNielsen M, Cotin S: Realtime volumetric deformable models for surgery simulation using finite elements and condensation. Comput Graph Forum 1996,15(3):57–66. 10.1111/14678659.1530057
Hasty J, McMillen D, Isaacs F, Collins JJ: Computational studies of gene regulatory networks: in numero molecular biology. Nat Rev Genet 2001, 2: 268–279.
Hegland M, Burden C, Santoso L, MacNamara S, Boothm H: A solver for the stochastic master equation applied to gene regulatory networks. J Comput Appl Math 2007, 205: 708–724. 10.1016/j.cam.2006.02.053
Sasai M, Wolynes PG: Stochastic gene expression as a manybody problem. Proc Natl Acad Sci 2003,100(5):2374–2379. 10.1073/pnas.2627987100
Kim J, De S, Srinivasan MA: Proceedings 10th symposium on haptic interfaces for virtual environment and teleoperator systems. haptics 2002. Haptic Interfaces for Virtual Environment and Teleoperator Systems, 2002. HAPTICS 2002. Proceedings. 10th Symposium on 2002, 51–57. doi:10.1109/HAPTIC.2002.998933 doi:10.1109/HAPTIC.2002.998933
Basdogan C, De S, Kim J, Muniyandi M, Kim H, Srinivasan M, 2004: Haptics in minimally invasive surgical simulation and training. IEEE Comput Graph Appl Mag 24(2):56–64. doi:10.1109/MCG.2004.1274062
Holzapfel GA, Gasser TC: A new constitutive framework for arterial wall mechanics and a comparative study of material models. J Elasticity 2000, 61: 1–48. 10.1023/A:1010835316564
Alastrue V, Calvo B, Pena E, Doblare M: Biomechanical modeling of refractive corneal surgery. J Biomecha EngTrans ASME 2006, 128: 150–160.
Berceli SA, TranSonTay R, Garbey M, Jiang Z: Hemodynamically driven vein graft remodeling: A systems biology approach. Vascular 2009,17(suppl 1):S2S9. doi:10.2310/6670.2008.00083, http://vas.sagepub.com/content/17/suppl_1/S2.abstract, http://vas.sagepub.com/content/17/suppl_1/S2.full.pdf+html
Vilanova G, Colominas I, Gomez H: Capillary networks in tumor angiogenesis: From discrete endothelial cells to phasefield averaged descriptions via isogeometric analysis. Int J Numer Methods Biomed Eng 2013. doi:10.1002/cnm.2552, http://dx.doi.org/10.1002/cnm.2552 doi:10.1002/cnm.2552,
Azuma R: A survey of augmented reality. PresenceTeleoperators Virtual Environ 1997,6(4):355–385.
Sederberg TW, Parry SR: Freeform deformation of solid geometric models. In Proceedings of the 13th annual conference on Computer graphics and interactive techniques, SIGGRAPH ‘86. New York; 1986:151–160. doi:10.1145/15922.15903, http://doi.acm.org/10.1145/15922.15903 doi:10.1145/15922.15903,
Terzopoulos D, Fleischer K: Deformable models. Vis Comput 1988,4(6):306–331. doi:10.1007/BF01908877, http://dx.doi.org/10.1007/BF01908877 doi:10.1007/BF01908877, 10.1007/BF01908877
Meier U, Lopez O, Monserrat C, Juan M, Alcaniz M: Realtime deformable models for surgery simulation: a survey. Comput Meth Programs Biomed 2005,77(3):183–197. doi:10.1016/j.cmpb.2004.11.002, http://www.sciencedirect.com/science/article/pii/S0169260704002093 doi:10.1016/j.cmpb.2004.11.002, 10.1016/j.cmpb.2004.11.002
Lee Y, Terzopoulos D, Waters K: Realistic modeling for facial animation. In Proceedings of the 22nd annual conference on computer graphics and interactive techniques, SIGGRAPH ‘95. ACM, New York; 1995:55–62. doi:10.1145/218380.218407, http://doi.acm.org/10.1145/218380.218407 doi:10.1145/218380.218407,
Famaey N, Stolen J: Soft tissue modeling for applications in virtual surgery and surgical robotics. Comput Methods Biomech Biomed Engin 2008,11(4):351–366. 10.1080/10255840802020412
Monserrat C, Meier U, Alcaniz M, Chinesta F, Juan M: A new approach for the realtime simulation of tissue deformations in surgery simulation. Comput Methods Programs Biomed 2001,64(2):77–85. doi:10.1016/S0169–2607(00)00093–6, http://www.sciencedirect.com/science/article/pii/S0169260700000936 doi:10.1016/S01692607(00)000936, 10.1016/S01692607(00)000936
Capell S, Green S, Curless B, Duchamp T, Popovic Z: Interactive skeletondriven dynamic deformations. In ACM SIGGRAPH. ACM, New York; 2002.
Cotin S, Delingette H, Ayache N: A hybrid elastic model for realtime cutting, deformations, and force feedback for surgery training and simulation. Vis Comput 2000,16(8):437–452. doi:10.1007/PL00007215, http://dx.doi.org/10.1007/PL00007215 doi:10.1007/PL00007215
Vigneron L, Verly J, Warfield S: On extended finite element method (xfem) for modelling of organ deformations associated with surgical cuts. In Medical Simulation, Lecture Notes in Computer Science, vol 3078. Edited by: Cotin S, Metaxas D. Springer Berlin Heidelberg; 134–143. doi:10.1007/978–3540–25968–8_15, http://dx.doi.org/10.1007/9783540259688_15
Jeřábková L, Kuhlen T: Stable cutting of deformable objects in virtual environments using xfem. IEEE Comput Graph Appl 2009,29(2):61–71. doi:10.1109/MCG.2009.32, http://dx.doi.org/10.1109/MCG.2009.32
Courtecuisse H, Jung H, Allard J, Duriez C, Lee DY, Cotin S: GPUbased realtime soft tissue deformation with cutting and haptic feedback. Prog Biophys Mol Biol 2010,103(2–3):159–168. doi: {http://dx.doi.org/10.1016/j.pbiomolbio.2010.09.016}, http://www.sciencedirect.com/science/article/pii/S0079610710000842, special Issue on Biomechanical Modelling of Soft Tissue Motion
Zhong H, Peters T: A real time hyperelastic tissue model. Comput Methods Biomech Biomed Engin 2007,10(3):185–193. doi:10.1080/10255840701292732, http://www.tandfonline.com/doi/abs/10.1080/10255840701292732, pMID: 17558647, http://www.tandfonline.com/doi/pdf/10.1080/10255840701292732
Zhong H, Wachowiak MP, Peters TM: A real time finite element based tissue simulation method incorporating nonlinear elastic behavior. Comput Methods Biomech Biomed Engin 2005,8(3):177–189. doi:10.1080/10255840500295852, http://www.tandfonline.com/doi/abs/10.1080/10255840500295852, pMID: 16214712, http://www.tandfonline.com/doi/pdf/10.1080/10255840500295852
Bonet J, Wood RD: Nonlinear continuum mechanics for finite element analysis. Cambridge University Press, Cambridge; 2008.
Barbič J, James DL: Realtime subspace integration for St. VenantKirchhoff deformable models. ACM Trans Graph 2005,24(3):982–990. 10.1145/1073204.1073300
Horton A, Wittek A, Joldes GR, Miller K: A meshless total lagrangian explicit dynamics algorithm for surgical simulation. Int J Numer Methods Biomed Eng 2010,26(8):977–998. doi:10.1002/cnm.1374, http://dx.doi.org/10.1002/cnm.1374
Lim YJ, De S: Real time simulation of nonlinear tissue response in virtual surgery using the point collocationbased method of finite spheres. Comput Methods Appl Mech Eng 2007, 196: 3011–3024. 10.1016/j.cma.2006.05.015
De S, Lim YJ, Manivannan M, Srinivasan MA: Physically realistic virtual surgery using the pointassociated finite field (paff) approach. Presence: Teleoperators Virtual Environ 2006,15(3):294–308. doi:10.1162/pres.15.3.294, http://dx.doi.org/10.1162/pres.15.3.294 doi:10.1162/pres.15.3.294, 10.1162/pres.15.3.294
Deo D, De S: Phyness: a physicsdriven neural networksbased surgery simulation system with force feedback. In Third joint eurohaptics conference and symposium on haptic interfaces for virtual environment and teleoperator systems. Salt Lake City, UT, USA; 2009.
Misra S, Ramesh KT, Okamura AM: Modeling of tooltissue interactions for computerbased surgical simulation: a literature review. Presence: Teleoper Virtual Environ 2008,17(5):463–491. doi:10.1162/pres.17.5.463, http://dx.doi.org/10.1162/pres.17.5.463
Delingette H: Biquadratic and quadratic springs for modeling st venant kirchhoff materials. In Proceedings of the 4th international symposium on biomedical simulation, ISBMS ‘08. SpringerVerlag, Berlin, Heidelberg; 2008:40–48. doi:10.1007/978–3540–70521–5_5, http://dx.doi.org/10.1007/9783540705215_5
MartinezMartinez F, Ruperez M, MartinGuerrero J, Monserrat C, Lago M, Pareja E, Brugger S, LopezAndujar R: Estimation of the elastic parameters of human liver biomechanical models by means of medical images and evolutionary computation. Comput Methods Programs Biomed 2013,111(3):537–549. http://dx.doi.org/http://dx.doi.org/10.1016/j.cmpb.2013.05.005, http://www.sciencedirect.com/science/article/pii/S0169260713001491 10.1016/j.cmpb.2013.05.005
Comas O, Taylor ZA, Allard J, Ourselin S, Cotin S, Passenger J: Efficient nonlinear FEM for soft tissue modelling and its GPU implementation within the open source framework SOFA. In Proceedings of the 4th international symposium on biomedical simulation, ISBMS ‘08. SpringerVerlag, Berlin, Heidelberg; 2008:28–39. doi:10.1007/978–3540–70521–5_4, http://dx.doi.org/10.1007/9783540705215_4
Miller K, Joldes G, Lance D, Wittek A: Total lagrangian explicit dynamics finite element algorithm for computing soft tissue deformation. Comm Numer Meth Eng 2007,23(2):121–134. doi:10.1002/cnm.887, http://dx.doi.org/10.1002/cnm.887 doi:10.1002/cnm.887,
Courtecuisse H, Allard J, Kerfriden P, Bordas SP, Cotin S, Duriez C: Realtime simulation of contact and cutting of heterogeneous softtissues. Med Image Anal 2014,18(2):394–410. http://dx.doi.org/http://dx.doi.org/10.1016/j.media.2013.11.001, http://www.sciencedirect.com/science/article/pii/S1361841513001692 10.1016/j.media.2013.11.001
Karhunen KK: Über lineare Methoden in der Wahrscheinlichkeitsrechnung. Ann Acad Sci Fennicae Ser A I MathPhys 1947, 37: 1–79.
Loève MM: Probability theory. The University Series in Higher Mathematics. Van Nostrand, Princeton; 1963.
Lorenz EN 1956. MIT, Departement of Meteorology, Scientific Report Number 1, Statistical Forecasting Project
Park HM, Cho DH: The use of the KarhunenLoève decomposition for the modeling of distributed parameter systems. Chem Eng Sci 1996,51(1):81–98. 10.1016/00092509(95)002308
Sirovich L: Turbulence and the dynamics of coherent structures part I: coherent structures. Q Appl Math XLV 1987, 561–571.
Krysl P, Lall S, Marsden J: Dimensional model reduction in nonlinear finite element dynamics of solids and structures. Int J Numer Meth in Engng 2001, 51: 479–504. 10.1002/nme.167
Taylor Z, Crozier S, Ourselin S: A reduced order explicit dynamic finite element algorithm for surgical simulation. IEEE Trans Med Imaging 2011,30(9):1713–1721. doi:10.1109/TMI.2011.2143723
Taylor Z, Ourselin S, Crozier S: A reduced order finite element algorithm for surgical simulation. In Engineering in Medicine and Biology Society (EMBC). 2010 Annual International Conference of the IEEE; 2010:239–242. doi:10.1109/IEMBS.2010.5627720
Kerfriden P, Passieux JC, Bordas SPA: Local/global model order reduction strategy for the simulation of quasibrittle fracture. Int J Numer Methods Eng 2012,89(2):154–179. doi:10.1002/nme.3234, http://dx.doi.org/10.1002/nme.3234
Ammar A, Pruliere E, Ferec J, Chinesta F, Cueto E: Coupling finite elements and reduced approximation bases. Eur J Comput Mech 2009,18(5–6):445–463.
Meyer M, Matthies HG: Efficient model reduction in nonlinear dynamics using the KarhunenLoève expansion and dualweightedresidual methods. Comput Mech 2003,31(1–2):179–191. doi:10.1007/s00466–002–0404–1, http://dx.doi.org/10.1007/s0046600204041 doi:10.1007/s0046600204041,
Niroomandi S, Alfaro I, Cueto E, Chinesta F: Realtime deformable models of nonlinear tissues by model reduction techniques. Comput Methods Programs Biomed 2008,91(3):223–231. doi:10.1016/j.cmpb.2008.04.008, http://www.sciencedirect.com/science/article/B6T5J4SNPPVY2/2/8a417e7f1371768b4c928d1f12fc7a0f
Dogan F, Celebi MS: Realtime deformation simulation of nonlinear viscoelastic soft tissues. Simulation 2011,87(3):179–187. 10.1177/0037549710364532
Radermacher A, Reese S: Proper orthogonal decompositionbased model reduction for nonlinear biomechanical analysis. Int J Mater Eng Innovat 2013,4(4):149–165. doi:10.1504/IJMATEI.2013.054393 doi:10.1504/IJMATEI.2013.054393
Amsallem D, Farhat C: An interpolation method for adapting reducedorder models and application to aeroelasticity. AIAA J 2008, 46: 1803–1813. 10.2514/1.35374
Ly HV, Tran HT: Modeling and control of physical processes using proper orthogonal decomposition. Math Comput Model 2005, 33: 223–236.
Son NT: A real time procedure for affinely dependent parametric model order reduction using interpolation on grassmann manifolds. Int J Numer Meth Eng 2013,93(8):818–833. doi:10.1002/nme.4408, http://dx.doi.org/10.1002/nme.4408
Cochelin B, Damil N, PotierFerry M: Asymptoticnumerical methods and Padéapproximants for nonlinear elastic structures. Int J Numer Methods Eng 1994, 37: 1187–1213. 10.1002/nme.1620370706
Abichou H, Zahrouni H, PotierFerry M: Asymptotic numerical method for problems coupling several nonlinearities. Comput Meth Appl Mech Eng 2002,191(51–52):5795–5810.
Cao HL, PotierFerry M: An improved iterative method for large strain viscoplastic problems. Int J Numer Methods Eng 1999, 44: 155–176. 10.1002/(SICI)10970207(19990120)44:2<155::AIDNME484>3.0.CO;2M
Cochelin B, Damil N, PotierFerry M: The asymptotic numerical method: an efficient perturbation technique for nonlinear structural mechanics. Revue Europeenne des Elements Finis 1994, 3: 281–297.
Niroomandi S, Alfaro I, Cueto E, Chinesta F: Model order reduction for hyperelastic materials. J Numer Meth Eng 2010,81(9):1180–1206. doi:10.1002/nme.2733, http://dx.doi.org/10.1002/nme.2733
Niroomandi S, Alfaro I, Cueto E, Chinesta F: Accounting for large deformations in realtime simulations of soft tissues based on reducedorder models. Comput Methods Programs Biomed 2012,105(1):1–12. doi:DOI: 10.1016/j.cmpb.2010.06.012, http://www.sciencedirect.com/science/article/B6T5J50VGHDD1/2/1201566766c0d280af9195bf07bfaf91
Niroomandi S, Alfaro I, Gonzalez D, Cueto E, Chinesta F: Realtime simulation of surgery by reducedorder modeling and xfem techniques. Int J Numer Methods Biomed Eng 2012,28(5):574–588. doi:10.1002/cnm.1491, http://dx.doi.org/10.1002/cnm.1491
Barrault M, Maday Y, Nguyen N, Patera A: An ‘empirical interpolation’ method: application to efficient reducedbasis discretization of partial differential equations. Comptes Rendus Mathematique 2004,339(9):667–672. doi:10.1016/j.crma.2004.08.006
Chaturantabut S, Sorensen DC: Nonlinear model reduction via discrete empirical interpolation. SIAM J Sci Comput 2010, 32: 2737–2764. doi:10.1137/090766498, http://dx.doi.org/10.1137/090766498
Boulakia M, Cazeau S, Fernandez M, Gerbeau JF, Zemzemi N: Mathematical modeling of electrocardiograms: A numerical study. Ann Biomed Eng 2010,38(3):1071–1097. doi:10.1007/s10439–009–9873–0, http://dx.doi.org/10.1007/s1043900998730
Heidenreich EA, Ferrero JM, Doblare M, Rodriguez JF: Adaptive macro finite elements for the numerical solution of monodomain equations in cardiac electrophysiology. Ann Biomed Eng 2010,38(7):2331–2345. doi:10.1007/s10439–010–9997–2, http://dx.doi.org/10.1007/s1043901099972
Boulakia M, Schenone E, Gerbeau JF: Reducedorder modeling for cardiac electrophysiology. application to parameter identification. Int J Numer Methods Biomed Eng 2012,28(6–7):727–744. doi:10.1002/cnm.2465, http://dx.doi.org/10.1002/cnm.2465
McLeod K, Caiazzo A, Fernandez MA, Mansi T, VignonClementel IE, Sermesant M, Pennec X, Boudjemline Y, Gerbeau JF: Atlasbased reduced models of blood flows for fast patientspecific simulations. In Statistical Atlases and Computational Models of the Heart, Lecture Notes in Computer Science, vol 6364. Edited by: Camara O, Pop M, Rhode K, Sermesant M, Smith N, Young A. Springer Berlin Heidelberg; 2010:95–104. doi:10.1007/978–3642–15835–3_10, http://dx.doi.org/10.1007/9783642158353_10 doi:10.1007/9783642158353_10,
Gerbeau JF, Lombardi D: Reducedorder modeling based on approximated lax pairs. J Comput Phys 2012,265(2014):246–269.
Ladeveze P: Nonlinear computational structural mechanics. Springer, New York; 1999.
Ammar A, Mokdad B, Chinesta F, Keunings R: A new family of solvers for some classes of multidimensional partial differential equations encountered in kinetic theory modeling of complex fluids. J NonNewtonian Fluid Mech 2006, 139: 153–176. 10.1016/j.jnnfm.2006.07.007
Ammar A, Mokdad B, Chinesta F, Keunings R: A new family of solvers for some classes of multidimensional partial differential equations encountered in kinetic theory modeling of complex fluids. part ii: transient simulation using spacetime separated representations. J NonNewtonian Fluid Mech 2007, 144: 98–121. 10.1016/j.jnnfm.2007.03.009
Chinesta F, Ammar A, Cueto E: Recent advances in the use of the proper generalized decomposition for solving multidimensional models. Arch Comput Meth Eng 2010,17(4):327–350. 10.1007/s118310109049y
Chinesta F, Ladeveze P, Cueto E: A short review on model order reduction based on proper generalized decomposition. Arch Comput Meth Eng 2011, 18: 395–404. 10.1007/s1183101190647
Chinesta F, Leygue A, Bordeu F, Aguado J, Cueto E, Gonzalez D, Alfaro I, Ammar A, Huerta A: Pgdbased computational vademecum for efficient design, optimization and control. Arch Comput Meth Eng 2013,20(1):31–59. doi:10.1007/s11831–013–9080x, http://dx.doi.org/10.1007/s118310139080x
Ammar A, Chinesta F, Diez P, Huerta A: An error estimator for separated representations of highly multidimensional models. Comput Meth Appl Mech Eng 2010,199(25–28):1872–1880. http://dx.doi.org/http://dx.doi.org/10.1016/j.cma.2010.02.012, http://www.sciencedirect.com/science/article/pii/S0045782510000708
Ladeveze P, Chamoin L: On the verification of model reduction methods based on the proper generalized decomposition. Comput Methods Appl Mech Eng 2011,200(23–24):2032–2047. http://dx.doi.org/http://dx.doi.org/10.1016/j.cma.2011.02.019, http://www.sciencedirect.com/science/article/pii/S0045782511001058
Nouy A: A priori model reduction through proper generalized decomposition for solving timedependent partial differential equations. Comput Meth Appl Mech Eng 2010,199(23–24):1603–1626. http://dx.doi.org/http://dx.doi.org/10.1016/j.cma.2010.01.009, http://www.sciencedirect.com/science/article/pii/S0045782510000186
Niroomandi S, Gonzalez D, Alfaro I, Bordeu F, Leygue A, Cueto E, Chinesta F: Realtime simulation of biological soft tissues: a pgd approach. Int J Numer Methods Biomed Eng 2013b,29(5):586–600. doi:10.1002/cnm.2544, http://dx.doi.org/10.1002/cnm.2544
Niroomandi S, Alfaro I, Gonzalez D, Cueto E, Chinesta F: Model order reduction in hyperelasticity: a proper generalized decomposition approach. Int J Numer Meth Eng 2013. doi:10.1002/nme.4531, http://dx.doi.org/10.1002/nme.4531
Ammar A, Chinesta F, Cueto E: Coupling finite elements and proper generalized decompositions. Int J Multiscale Comput Eng 2011,9(1):17–33. 10.1615/IntJMultCompEng.v9.i1.30
Hunter P, Nielsen P: A strategy for integrative computational physiology. Physiology 2005,20(5):316–325. doi:10.1152/physiol.00022.2005, http://physiologyonline.physiology.org/content/20/5/316.abstract, http://physiologyonline.physiology.org/content/20/5/316.full.pdf+html
Hunter P: Modeling human physiology: The iups/embs physiome project. Proc IEEE 2006,94(4):678–691. doi:10.1109/JPROC.2006.871767
Bassingthwaighte J, Hunter P, Noble D: The cardiac physiome: perspectives for the future. Exp Physiol 2009,94(5):597–605. doi:10.1113/expphysiol.2008.044099, http://ep.physoc.org/content/94/5/597.abstract, http://ep.physoc.org/content/94/5/597.full.pdf+html
Wilson N, Wang K, Dutton RW, Taylor C: A software framework for creating patient specific geometric models from medical imaging data for simulation based medical planning of vascular surgery. In Medical Image Computing and ComputerAssisted Intervention, MICCAI 2001, Lecture Notes in Computer Science, vol 2208. Edited by: Niessen W, Viergever M. Springer Berlin Heidelberg; 2001:449–456. doi:10.1007/3–540–45468–3_54, http://dx.doi.org/10.1007/3540454683_54
Guiatni M, Riboulet V, Duriez C, Kheddar A, Cotin S: A combined force and thermal feedback interface for minimally invasive procedures simulation. IEEE ASME Trans Mechatron 2013,18(3):1170–1181. doi:10.1109/TMECH.2012.2197862
Turner TE, Schnell S, Burrage K: Stochastic approaches for modelling in vivo reactions. Comput Biol Chem 2004, 28: 165–178. 10.1016/j.compbiolchem.2004.05.001
Sreenath SN, Cho KH, Wellstead P: Modelling the dynamics of signalling pathways. Essays Biochem 2008, 45: 1–28. 10.1042/BSE0450001
Munsky B, Khammash M: The finite state projection algorithm for the solution of the chemical master equation. J Chem Phys 2006,124(4):044104. doi:10.1063/1.2145882, http://link.aip.org/link/%3FJCP/124/044104/1
Laughlin RB, Pines D: The theory of everything. Proc Natl Acad Sci 2000,97(1):28–31. doi:10.1073/pnas.97.1.28, http://www.pnas.org/content/97/1/28.abstract, http://www.pnas.org/content/97/1/28.full.pdf+html
Gillespie DT: Exact stochastic simulation of coupled chemical reactions. J Phys Chem 1977,81(25):2340–2361. doi:10.1021/j100540a008, http://pubs.acs.org/doi/abs/10.1021/j100540a008, http://pubs.acs.org/doi/pdf/10.1021/j100540a008
Gillespie DT: Approximate accelerated stochastic simulation of chemically reacting systems. J Chem Phys 2001, 115: 1716–1733. 10.1063/1.1378322
Ammar A, Cueto E, Chinesta F: Reduction of the chemical master equation for gene regulatory networks using proper generalized decompositions. Int J Numer Methods Biomed Eng 2012,28(9):960–973. 10.1002/cnm.2476
Acknowledgments
This work has been partially supported by the Spanish Ministry of Economy and Competitiveness, through grant number CICYTDPI201127778C0201.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors, EC and FC, participated equally in the manuscript writing. Both read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Cueto, E., Chinesta, F. Real time simulation for computational surgery: a review. Adv. Model. and Simul. in Eng. Sci. 1, 11 (2014). https://doi.org/10.1186/22137467111
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/22137467111
Keywords
 Numerical simulation
 Computational surgery
 Real time
 Model order reduction