The present invention relates to systems and methods of controlling the position and pose of multi-segment continuum robots. More specifically, the present invention relates to systems and methods of compliant insertion of a continuum robot into a cavity of unknown size, dimensions, and structure.
Multi-segment continuum robots provide for snake-like movement and positioning by deformation of internal structures of the robotic mechanisms as opposed to the relative deformation of individual rigid links. As such, continuum robots can be used to extend deeper into cavities to perform functions including, for example, search and rescue in disaster relief, nuclear handling, and minimally invasive surgical procedures. However, adoption of continuum robots has been limited due to a lack of controls methods to prevent damage to the robotic structure and the environment when the device is inserted into a cavity of unknown dimensions. During insertion into a complex environment, such as a surgical or disaster site, continuum robots must interact safely while being subject to a multitude of unknown contact sites along the robot arm length.
Passive compliance techniques have been proposed to achieve safe interaction without the need for additional sensing and complex control. Passively compliant structures contain flexible members which comply with environment interaction forces without explicit compliant control. Though these systems have shown promise in providing a measure of safety, they suffer from a number of significant disadvantages for exploration and intervention in unstructured environments. By the very nature of their design, passive compliant systems are limited in their accuracy and the magnitude of forces that can be applied during environment interaction. Conversely, the measure of safety provided by passive compliance is limited by the flexibility of the system. Additionally, the compliance adds uncertainty and modeling difficulties that degrade trajectory tracking performance. Thus, a need exists for active compliant instrumentation that can safely interact with the surrounding environment while maintaining manipulation precision and delivering adequate forces for executing manipulation tasks.
The systems and methods described below allow a continuum robot system to adapt to the shape of a multi-segmented continuum robot structure to thereby adapt to the previously unknown dimensions of a cavity. The shape and position of the individual segments of the continuum robot are continually adjusted as the continuum robot is advanced further into the cavity.
International Publication No. WO 2013/158978 to Simaan et al., the entirety of which is incorporated herein by reference, describes a method of compliant insertion of a continuum robot. The continuum robot includes a plurality of independently controlled segments along a length of the continuum robot. The continuum robot is inserted into a cavity of unknown dimensions. A plurality of forces acting on the continuum robot are determined. The plurality of forces includes a force acting on each of the plurality of segments along the length of the continuum robot. Each force of the plurality of forces includes a magnitude and a direction. These forces result in a generalized force that captures the statics of the robot as described in its configuration space (a space describing the shape of each segment by two configuration space angles per a segment). Each determined generalized force is compared to a respective expected generalized force for each of the plurality of segments. The expected force for each segment is determined based on the position of the continuum robot. The position of each segment of the continuum robot is adjusted based on a difference between the determined generalized force and the expected generalized force for the segment. In some embodiments, the method further includes repeating the acts of determining the plurality of forces, comparing each determined force to a respective expected force, and adjusting the position of each segment as the continuum robot is advanced further into the cavity.
In another embodiment, the invention provides a controller for compliant insertion of a continuum robot into a cavity of unknown dimensions. The continuum robot includes a plurality of independently controlled segments along the length of the continuum robot. The controller includes a processor and memory storing instructions that are executable by the processor. The controller is configured to determine a plurality of forces acting on the continuum robot. The plurality of forces includes a generalized force acting on each of the plurality of segments along the length of the continuum robot. Each generalized force includes a magnitude and a direction. Each determined generalized force is then compared to a respective expected generalized force for each of the plurality of segments. The expected generalized force is determined based on the position of the continuum robot. The controller adjusts the position of each segment based on the difference between the determined generalized force and the expected generalized force for each of the plurality of segments.
In another embodiment, the invention provides a robotic system including a continuum robot, a plurality of actuators, and a controller. The continuum robot includes a plurality of independently controlled segments along the length of the continuum robot and a plurality of back-bone structures extending through the continuum robot. Each actuator is connected to a different one of the plurality of back-bone structures and advances or retracts the back-bone structure to control the shape and end effector position of the continuum robot. The controller includes a processor and a memory. The controller determines a plurality of forces acting on the continuum robot based on forces exerted on the plurality of back-bone structures by the plurality of actuators. The determined forces include a generalized force acting on each of the plurality of segments along the length of the continuum robot. Each generalized force includes a magnitude and a direction. The controller compares each determined generalized force to a respective expected generalized force for each of the plurality of segments. The expected generalized force is determined based on the position of the continuum robot. The position of each segment is adjusted based on the difference between the determined generalized force and the expected generalized force for each segment. The acts of determining the plurality of forces, comparing the generalized forces to a respective expected generalized force, and adjusting the position of each segment are repeated as the continuum robot is advanced into the cavity.
In some embodiments, compliant motion control of the continuum robot is provided by mapping generalized forces into a configuration space of a robot. Support vector regression techniques are used to provide sparse interpolation to estimate and cancel out effects of uncertainty in the generalized forces due to friction and uncertainty in material properties.
In some embodiments, the compliant motion control methods are used to operate rapidly deployable handheld robotic devices that are inserted into the human anatomy for surgical operations such as trans-urethral bladder resection, trans-nasal surgery, and frontal sinus exploration/surgery. In some embodiments, the methods are also used to provide impedance control of continuum robots and to enable a method for bracing the continuum robot against the anatomical features inside the cavity once contact has been localized and detected. Bracing techniques provide increased stability and increased accuracy for operations performed by a tool positioned at the distal end of the continuum robot. Collaborative telemanipulation algorithms can be implemented to work with the compliant motion control methods to reduce the telemanipulation burden of high degree-of-freedom (DoF) surgical slave devices.
Continuum robots with compliant insertion functionality can be used, among other things, to perform a minimally invasive surgery (MIS) of the throat which typically requires full anesthesia and use of a laryngoscope. Additional examples of potential applications include frontal sinus exploration surgery and office-based sinus surgery treatment and monitoring of disease progression. This technology is can also be used, for example, for micro-surgical function restoration of paralyzed vocal cords, which requires control of the location and amount of material to inject inside the paralyzed vocal cord. Currently, surgeons guess the amount of material and adjust accordingly during a follow-up surgery (assuming they do not overfill the vocal cord). By avoiding the use of full anesthesia, cost of operation is reduced and surgeons can get feedback about surgical outcomes during the procedure. Relevance is also found in injection site targeting that currently pairs a trans-dermal injection with a microscope for visualizing the anatomy.
In one embodiment, the invention provides a method of controlling movement of a continuum robot that includes a plurality of independently controlled segments along the length of the continuum robot. The continuum robot is inserted into a cavity of unknown dimensions or shape. A plurality of forces acting upon the continuum robot by the surrounding cavity are estimated. A positioning command indicating a desired movement of the distal end of the continuum robot is received from a manipulator control. The desired movement is augmented based, at least in part, on the estimated plurality of forces acting on the continuum robot such that movement is restricted to within safe boundaries of the surrounding cavity. The positioning of the continuum robot is then adjusted based on the augmented desired movement.
In some such embodiments, the desired movement includes an advancement of the continuum robot through a nasal cavity towards a surgical site in the throat of a patient. The desired movement is augmented by determining an appropriate safe pose for the continuum robot as the distal end is advanced further into the cavity.
In another embodiment, the invention provides a method of controlling positioning of a continuum robot. A set of allowable motions and a set of allowable forces are determines for a continuum robot based, in some cases, on the current position and surroundings of the continuum robot. The set of allowable motions and the set of allowable forces are then projected as projection matrices into a joint space corresponding to a manipulator control. Motion commands received through the manipulator control are translated into one or more task-specific wrenches and then into a joint-torque vector command. The position of the continuum robot is adjusted based on the joint-torque vector command using a joint-space PID controller.
Other aspects of the invention will become apparent by consideration of the detailed description and accompanying drawings.
Before any embodiments of the invention are explained in detail, it is to be understood that the invention is not limited in its application to the details of construction and the arrangement of components set forth in the following description or illustrated in the following drawings. The invention is capable of other embodiments and of being practiced or of being carried out in various ways.
The inset 131 of
A continuum robot 100 can be inserted into various cavities to reach a target location. Once the distal end of the continuum robot 100 is positioned at the target location, tools emerging from the distal end of the continuum robot 100 are used to perform operations.
Once the continuum robot has been sufficiently inserted into the cavity and the distal end of the continuum robot has reached its target location, the same compliant insertion techniques can be used to brace the continuum robot against the surfaces of the cavity. Bracing the continuum robot provides additional stability and allows for more accurate placement and maneuvering of the tools emerging from the distal end of the continuum robot. To brace the continuum robot, the controller 301 adjusts the position of each segment of the continuum robot to increase the difference between the measured generalized force and the expected generalized force on each end disc 127. To prevent damage to the continuum robot structure, the controller 301 ensures that the difference between the expected generalized force and the measured generalized force (i.e., the magnitude of the wrench) does not exceed a defined threshold.
The following nomenclature is used to describe the kinematics of the continuum robot, the mathematical modeling, and the specific techniques used to map external wrenches to a generalize force to provide for compliant insertion:
The pose of the kth segment continuum robot (as illustrated in
ψ(k)=[θ(k),δ(k)]T (1)
where (·)(k) denotes a variable associated with the kth segment. θ(k) defines the bending angle of the segment measured from the plane defined by the base disk, {̂ub(k), ̂vb(k)}, and the direction normal to the end disk ̂wg(k). δ(k) defines the orientation of the bending plane of the segment as measured from the plane to the ̂ub(k) about ̂wb(k).
The inverse kinematics of the segment relating the configuration space, ψ(k), to the joint space, q1,(k)=[q2,(k), qm,(k)]T, is given by
L
j,(k)
=L
(k)
+q
j,(k)
=L
(k)+Δj,(k)θ(k). (2)
where Lj,(k) is the length of the jth secondary backbone of the kth segment for j=1, . . . , m, L(k) is the length of the primary backbone of the kth segment, Δj,k=r cos δj,k; δj,(k)=δ(k)+(j−1) (2π/m), and Θ(k)=θ(k)−π/2.
The instantaneous inverse kinematics can be described by differentiating (2) to yield
{dot over (q)}
(k)
=J
qψ(k){dot over (ψ)}(k) (3)
where the Jacobian Jqψ(k) is given by
The direct kinematics of the kth segment is given by the position b(k)Pb(k)g(k) and orientation b(k)Rg(k) of the segment end disk with respect to its base disk. For
the kinematics takes the form
where {circumflex over (ν)}=[0, 1, 0]T, ŵ=[0, 0, 1]T and the frames {g(k)} and {b(k)} are shown in
the formulation singularity,
resolves to
By differentiating (5) and (6), the instantaneous direct kinematics takes the form
where, for
the Jacobian Jrψ(k) is given by δ
and for
the formulation singularity,
is resolved by applying l'Hôspital's rule, to yield
Using Euler beam bending analysis and neglecting gravitational potential energy, the total energy of the continuum robot is given by
where the potential elastic energy of the kth segment is given by
The principle of virtual work and the energy expression (12) are used to obtain a statics model for the kth continuum segment as
J
qψ(k)
T
T
(k)
=∇U
(k)
−J
xψ
T
w
e,(k) (13)
where τ(k) represents the actuation forces on the secondary backbones, ∇U(k) is the gradient of the potential energy, and ψe,(k) is the external wrench applied to the end disk of the kth continuum segment. The energy gradient ∇U(k) is calculated with respect to a virtual displacement in configuration space. Δψ(k)=[Δθ(k), Δδ(k)]T and is given by
The statics expression (13) projects both the actuation forces T(k) and perturbation wrench we,(k)w into the configuration space of the continuum segment, ψ(k) Thus, after projecting the wrench from three-dimensional Cartesian space, 6, into the configuration space, 2, the projected generalized force on the segment resides in the vector space controllable within the framework of the single-segment kinematics of equation (1). This projection eliminates the requirements for explicit determination of wrenches required by conventional compliance algorithms and casts the interaction force minimization problem into the configuration space of the continuum segment.
If the wrench acting on the end disk that is projected into the configuration space of the kth segment is defined as the generalized force vector
f(k)Jt,ψ
Applying equation (13) to the generalized force expression, the ith row of the generalized force f(k) can be written as
f
i
=∇U
i
−[J
qψ
T]iT=∇Ui[Jqψ[i]]TT (16)
where Jqψ[i] denotes the ith column of Jqψ.
For small perturbations from an equilibrium configuration, the stiffness of the individual continuum segment can be posed in the configuration space as
δf=Kψδψ (17)
where the stiffness is given by the Jacobian of the generalized force with respect to configuration space perturbation. Thus, the elements of Hψ are given by:
The elements of the stiffness matrix (18) can be expanded as
The first term of the configuration space stiffness, Hψ is the Hessian of the elastic energy of the segment given by
The individual elements of the Hessian, Hψ, are given by
The second term of equation (19) expands to
Finally, the third term of equation (19) can be expanded by applying a simplifying assumption based on the relative geometry of the backbones in remote actuated continuum system configurations. The stiffness of the continuum robot, as measured from the actuation forces at the proximal end of the actuation lines, is a function of strain throughout the length of the actuation lines. As illustrated in
The axial stiffness along the length of a given actuation line can then be expressed as
where
and A denotes the cross-sectional area of the backbone.
For continuum robotic systems with remote actuation that are designed to access deep confined spaces, the lengths of the non-bending regions of the actuation lines far exceed that of the bending regions, Lc>>Lb. The stiffness will therefore be dominated by the non-bending regions of the actuation lines. Local perturbations of the backbones at the actuation unit can be expressed as
Expanding terms by applying the chain rule and using the instantaneous inverse kinematics of equation (3),
is given by
The configuration space stiffness therefore reduces to
Using the generalized force and stiffness as defined in equations (15) and (31), a compliant motion controller can be constructed to minimize the difference between the expected and measured actuation forces in the secondary backbones. The controller provides compliant motion control of each continuum segment subject to a perturbing wrench at the end disk of the segment. This wrench approximates a multitude of small perturbation forces acting along the length of a continuum segment during an insertion through a tortuous path (e.g., a cavity of unknown size, shape, and dimensions). In an analogy to a linear spring model with an equilibrium position, f=k(xeq−x), there exists an equilibrium pose, {
For multi-segment continuum robots, a pose exists in the overall configuration space that minimizes the augmented generalized force on the system. The augmented generalized force vector for an n-segment continuum robot
f
a
=[f
(1)
T
. . . f
(n)
T]T (32)
is associated with the augmented configuration space
ψa=[ψ(1)T . . . ψ(n)T]T (33)
The configuration space stiffness of an individual segment is generalized as the following to result in the augmented configuration space stiffness of the multi-segment continuum robot
An error function is defined as the distance in configuration space from the current configuration, ψa to the desired configuration ψad, as
e
ψ
=ψa
For a passive wrench condition, the equilibrium pose and corresponding configuration space remain fixed, e.g., ψad=0. For external wrenches changing slowly with respect to the compliant control update rate, this condition becomes ψad≈0 and hence negligible when taking the time derivative of eψn. The following discussion uses ψad=0 although it is to be understood that the same derivation follows for ψad≈0 by changing the equality sign to an approximation sign.
The time derivative of the error function under these conditions becomes
e
ψ
=−{dot over (ψ)}a. (36)
For small perturbations, the distance in configuration space is given as Δψa=ψa
f
a
=K
ψ
e
ψ
. (37)
Where Δfa≅fa for the small perturbations. This assumption holds for robots that are calibrated such that fa≈0 for unloaded movements throughout the workspace.
During control of a continuum system the estimated generalized force {circumflex over (f)}a is calculated using the idealized statics model of fa based on the estimate of the energy and measured actuation forced as in equation (16). This estimate is contaminated by an error λ due to un-modeled friction and strain along the actuation lines, perturbations from circulate-bending shape of individual segments, deviations in the cross-section of the backbones during bending, and uncertainties in the elastic properties of the NiTi backbones. Thus without compensation, the generalized force estimate takes the form
{circumflex over (f)}
a,uncompensated
=f
a+λ (38)
where fa is given by equation (16).
The generalized force error is identified using the definition in equation (38) for movements of the continuum robot through its workspace with no externally applied wrenches. During this unloaded movement, the wrench at the end disk is we=0 and equation (15) predicts fa=0. In an ideal continuum robot lacking backlash, friction and other un-modeled effects, the prediction of the generalized force based on the measured values of the actuation forces T(k) in equation (16) for each segment would also return fa=0. However, the actual kinetostatic effects cause fa=0 and this deviation forms λ that we seek to estimate. In order to compensate for the errors due to the interaction between segments, non-linear regression via Support Vector (SV) machines is investigated and applied.
These model errors are highly dependent on the pose of the robot and the path in the configuration space to this pose. To compensate for the error, a feed forward term is added to equation (38) to reduce the effects of λ during compliant motion control such that the compensated generalized force estimate is given by
{circumflex over (f)}
a
=f
a+λ−{circumflex over (λ)}. (39)
An augmented compliant motion controller, taking into account the estimates of the un-modeled error, {circumflex over (λ)}, takes the form
{dot over (ψ)}a=μA{circumflex over (f)}a (40)
where μ and A correspond respectively to positive definite scalar and matrix gains to be chosen by the operator.
A compliant motion controller utilizing the error compensation techniques described above, results in a system error that is uniformly bounded for any generalized force error by
∥eψ
The dynamics of the error in the configuration space applying equation (40) to equation (36) and accounting for equation (39) is represented as
ė
ψ
=μA(Kψ
A Lyapunov function candidate of the error system for compliant control, represented by equation (42), can be defined as
where P is any symmetric positive definite matrix. Differentiating equation (43) with respect to time and accounting for equation (42) yields
{dot over (V)}(eψ
Choosing the control and Lyapunov weighting matrices as A=Kψn−1 and P=I, the derivative of the Lyapunov function reduces to)
{dot over (V)}(eψ
A controller implementing these techniques relies on the invertibility of the configuration space stiffness. The block diagonal matrix is constructed of the sub-matrices, Kψ(k) as in equation (34). Singular configurations of Kψ(k) and, therefore, Kψ
For control purposes, the effect of singular poses can be mitigated using a singularity robust inverse of the configuration space stiffness.
Noting the expression eψ
Assuming the bound on the generalized force error, represented by equation (41), and applying the identity ∥eψ
∥eψ
Applying the Schwarz inequality ∥eψ
∥eψ
thus proving the stability of the controller given the bounds on the compensation error.
The techniques described above illustrate controller stability for estimation uncertainties, λ−{circumflex over (λ)} that are small with respect to the system error, eψ
Bounds for the sensitivity of the compliant motion controller, defined by equation (40), are limited by the error in canceling the generalized force uncertainties, λ−{circumflex over (λ)} For small load perturbations to the continuum robot, the errors in the generalized force, λ, are well approximated by a function of the robot pose in configuration space ψa and the trajectory leading to this pose. ψa Furthermore, the trajectory required to achieve a pose influences the friction and backlash in the system at the current pose. The performance of the controller depends on canceling deviations from the idealized model. As specified in equation (39), this cancellation is carried out by a feed-forward term, {circumflex over (λ)} that is obtained though off-line training and online estimation of the model error via support vector regression (SVR).
SV machines provide a method for nonlinear regression through mapping of the input vectors into a higher dimensional feature space. Parameters for the estimation are learned by application of empirical risk minimization in this feature space through convex optimization. A subset of the training data forms the support vectors which define the parameters for regression. The robustness and favorable generalization properties with noisy data, coupled with a compact structure which allows real-time function estimation during motion control motivate the choice of a SV machine.
To estimate the error in the generalized force based on an initial unloaded exploration of the workspace, the “ν” SV Regression (ν-SVR) is employed along each dimension of the generalized force. The ν-SVR algorithm provides a means for controlling the sparsity of support vectors, therefore providing robustness to over-fitting while simultaneously reducing the number of control parameters required to be defined.
The training set for the ν-SVR contains input pairs {x[l], y[l]}t=1N based on the pose and generalized force gathered during an exploration of the continuum robot workspace in the absence of external perturbing forces. For the ith component of the generalized force, the input is given as
where N is the number of training samples,
is the maximum recorded magnitude of the ith row of ψa over the set 1ε[1,N], and ψa is the configuration space velocity. This expression normalizes each element of the input vector x[l] to the range of [−1, 1] for all data in the training set.
Given these training input vector pairs, ν-SVR provides a method for estimating the function
f(x)=w,φ(x)+b (49)
where (·,·) is the inner product space, w and b are parameters to be determined by the convex optimization and φ(·)R4th→Rn
As specified in equation (49), the SVR algorithm allows mapping of the input space to a higher dimensional vector space. Uncertainties in predicting the generalized force, including friction and non-linear bending, are modeled by exponential functions. As such, a Gaussian radial basis function (RBF) kernel
k(x[l],x[m])=e−γ∥(x
is chosen as a suitable candidate for higher dimensional mapping.
The resulting ν-SVR model for function estimation with a new input vector, x*, is given by
It should be noted that only those training points x[l], y[l], denoted SV in equation (51), for which |y[l]−f(x[l])|≧ε form the support vectors. During the computation of new estimates, only these support vectors contribute to the final function estimation of equation (51), thus enforcing sparsity in the regression.
Software, such as LibSVM, provided by C. C. Chang and C. J. Lin at http://www.csie.ntu.edu.tw/cjlin/libswm, is employed for solving for the optimal parameters of equation (51) for each coordinate of the generalized force independently. The measured error in the generalized force λ and the output of the regression for each component of the error compensation, equation (51), is presented for a sample data set in
The ν-SVR displays good generalization to the untrained data. The compensation provides a minimum of 1.4 times reduction in the RMS error for λ4 and a maximum of 2.5 times reduction for λ1. While the ν-SVR reduces errors on average, the compensation is locally imperfect as can be seen by maxima in the error in the λ directions exceeding the measured errors,
Joint force sensors 701 provide actuation force measurements for individual segments of the continuum robot, τ(m). The actuation forces are utilized to determine a Jacobian matrix linearly mapping the configuration space velocities to joint velocities (step 703). The Jacobian matrix 703 is multiplied by the energy gradient 705 at step 707. The estimated augmented generalized force errors 709 are filtered by a low pass filter 711. At step 713, the filtered force error is multiplied by the combination of the Jacobian matrix 703 and the energy gradient 705 to provide an estimated augmented force, Fa. In order to reduce aberrant motions of the controller due to modeling and estimation errors, a dead-band filter 715 is applied to the estimated generalized force to reduce joint motion due to uncompensated errors.
The inverse of the configuration space stiffness 717 is applied to determine difference, Δψ
In the examples described above, the compliant motion controller uses a feed forward term for compensation of model uncertainties. The sum of the uncertainty estimate and the expected generalized force are filtered through a dead-band to prevent motion by the controller due to errors in the compensation. Thus, generalized forces less than the threshold of the deadband filter will be neglected and the threshold for this filter therefore forms a tradeoff between the sensitivity to external perturbations and insensitivity to errors in the model and compensation.
In order to quantify the effects of the controller and thresholding, the sensitivity of the controller to external wrenches was quantified on a single-segment continuum robot.
The optical tracking system 1109 provides a specification for the linear accuracy of the device while the experiment requires an orientation prediction. The linear accuracy can be used to estimate the orientation accuracy of the optical tracking system 1109 by noting the orientation of a vector that is calculated based on the position of two marker points. The smallest linear distance between marker points of 48.5 mm used for the orientation estimation occurs at the base marker system 1103. Although the direction marker perpendicular to the thread is significantly shorter, this direction is not used for computing the direction vector of the Kevlar thread 1105. An RMS error of 0.2 mm at a moment of 24.25 mm corresponds to an orientation error of less than 0.5°.
For the sensitivity measurement at each pose, the segment was guided into position by manually applying an external wrench and allowing the continuum structure to comply to the sampled configuration. The pose estimate was measured via the nominal kinematics and was verified by an embedded magnetic tracker system 1108 with an RMS orientation accuracy of 0.5°. The load direction was measured via the optical trackers after a 10 gram weight was applied to the Kevlar thread to straighten the thread length between the optical markers. Calibration weights were added to the load in 1 gram increments until the threshold for motion was exceeded. The dead-band of the controller was set during the sensitivity experiments as
∥f1∥≦20 Nmm, ∥f2∥≦10 Nmm. (52)
These thresholds were determined empirically based on the error compensation in the generalized force and the stability of the controller.
Sensitivity measurements were recorded for 28 poses shown for the odd samples in
The sensitivity measurements provide an opportunity to evaluate the contribution of the model uncertainties and the compensation by ν-SVR. Under ideal conditions in which the generalized force is undisturbed by uncertainty, equation (15), the applied force required to induced motion can be estimated as the minimum force required to exceed the motion threshold defined by equation (52). The minimum force required to exceed the threshold in the direction of the applied force measured for each pose based on the idealized model is provided in addition to the measured force in
Noting the experimental setup is sized appropriately for use in exploration and intervention during minimally invasive sinus surgery, the compliant controller for this robot demonstrated adequate sensitivity for this application. Average interaction forces for functional endoscopic sinus surgery have been measured at 2.21 N and forces required to breach the sinus walls ranged between 6.06 N and 17.08 N. The compliant motion controller demonstrated in these experiments obtains a comfortable margin of safety for exploration and interaction.
To evaluate the controller in the setting of an application, a two segment continuum robot was inserted into an acrylic tube with a three-dimensional shape comprised of multiple out of plane bends. The tube was mounted to an insertion stage that autonomously brought the tube into contact with the robot in a manner analogous to blind insertion into a cavity and subsequent retraction. The controller had no prior knowledge of the geometry of the tube or the path plan of the insertion stage. As illustrated in
The generalized force estimates during insertion and retraction are presented in
Trans-Nasal Throat Surgery
Minimally Invasive Surgery of the throat is predominantly performed trans-orally. Although trans-oral (TO) access provides a scarless access into the airways, its outcomes are affected by complications, high cost, and long setup time. Continuum robotic systems such as described herein can be used to provide trans-nasal (TN) access to the throat. Furthermore, as described below, a hybrid position/compliant motion control of a rapidly deployable endonasal telerobotic system can also be used to safely manipulate the robot during trans-nasal access. The system uses a unique 5 mm surgical slave with force sensing capabilities used to enable semiautomation of the insertion process. Working channels in the continuum robot allow the deployment of surgical tools such as a fiberscope, positioning sensors, grippers, suction tubes, cautery, and laser fibers. The treatment of vocal fold paralysis is chosen as a benchmark application and a feasibility study for collagen injection is conducted. Experiments on a realistic human intubation trainer demonstrated successful and safe TN deployment of the end effector and the feasibility of robotic-assisted treatment of vocal nerve paralysis.
The robotic system of
The system can operate in both passive and semi-active modes. The passive mode is based on a standard telemanipulation architecture where the operator guides the end-effector via a master manipulator (the Phantom Omni) while observing endoscopic images provided by the in-hand fiberscope. The semi-active mode is used to reach the surgical site. During the semi-active mode the surgeon commands the insertion depth while the continuum manipulator autonomously complies with the anatomy using a variation of the compliance motion controller described above.
The position and orientation of end-effector frame B3 in B0 may be described by the following augmented configuration space vector:
Ψ=[θ1δ1qinsθ2δ2θ3δ3]T (53)
where, qins is the insertion depth and angles θk and δk are defined similarly for the passive segment (k=1) and active segments (k=2, 3) as depicted in
with: L1=qins, L2, and L3 being the lengths of the first and second active segments. θk=θk−π/2, and operator Rot(a,b) being the rotation matrix about axis b by angle a. Note that, since the first segment is passive, θ1 and δ1 are not directly controllable. In the remainder of this example, we assume that θ1 and δ1 and the origin of from B1 are measured by a magnetic tracker (the position and the orientation frame B1 is known). Hence, the forward kinematics is calculated using θ1 and δ1 and B1 along with joing values qi, i=1 . . . 6.
The configuration space vector Ψ relates to the joint space vector as
q(Ψ)=[qinsq2(Ψ)Tq3(Ψ)T]T (58)
where q2 and q3 are the amount of pushing-pulling on the secondary backbones of active segments 2 and 3. In particular
where β=2π/3, r is the radial distance of the secondary backbone from the center of the base disk, θ0=θ0−π/2, θ1=θ1−π/2, and Rij is element ij of rotation matrix wR1 obtained from the magnetic sensor placed at the based of the first active segment. Note that angles θ0 and δ0 allow us to work in local frame B0 decoupling the kinematics of the distal active and passive segments from shape variations of the passive stem.
(1) Compliant Motion Control:
Compliance Motion Control (CMC), as described above, allows multi-backbone continuum robots with intrinsic actuation sensing to autonomously steer away from constraints without a priori knowledge of the contact nor the external wrench. In the following, the CMC control mechanism is modified in order to use only information about actuation forces sensed on the most distal segment. This control law allows the robot to actively comply to the circle-shaped nasopharyngeal tube. If actuation force information on the second active segment is available, the actuation force error is defined as:
τe
where τ3 are the expected actuation forces and −τ3 are the sensed actuation forces acting on the third segment respectively. We now project the actuation force error, τe3, into the configuration space of the distal segment obtaining the generalized force error:
f
e
=J
qψ
Tτe
where Jqψ is the Jacobian matrix that relates the configuration space velocities to the joint space velocities.
Hence, the desired configuration space velocity vector that steers the robot away from the unknown contact is:
{dot over (Ψ)}e=ΦKψ
where Kψ2 is the configuration space stiffness matrix of the second segment and
Note that Equation (65) is a simplification of the algorithm presented above for compliant motion control for multiple segments. In the case of TN insertion, assuming an overall circular shape of the entire manipulator, both segments need to bend by the same angle in order pass through the nasopharyngeal tube.
(2) Motion Control:
Telemanipulation of the surgical slave is achieved by defining a mapping between the movement of the master's end-effector and the desired motion directions in the fiberscope image space as shown in
The desired position and orientation of distal segment are given as follows:
2
p
3,des=2p3,curr+2R3,currpdes,master (67)
2
R
3,des=2R3,currRTRdes,masterR (68)
where matrix R defines the transformation between the camera-attached frame (
In Equation (69), J2 is the Jacobian matrix of the distal segment:
matrix Σ transforms the desired twist into gripper frame
And selection matrix Γ defines a desired subtask
In this example, matrix Γ selects the third, fourth, and fifth rows of the Jacobian matrix allowing to control only 3 DoF: translation along z3 and tilting about x3, y3. As a result, we only invert a square 3×3 matrix and control only the desired DoFs.
Finally, the augmented desired configuration space velocity vector is given as follows:
{dot over (Ψ)}m=[{dot over (q)}ins00{dot over (θ)}2{dot over (δ)}2]T (73)
(3) Projection Matrices:
Depending on the operational mode (insertion or telemanipulation) the configuration space Ψ can be partitioned in directions in which motion needs to be controlled, T, and directions in which compliance needs to be controlled, C. Similar to wrench and twist systems in the hybrid motion/force control formulation, these two spaces, T and C, are orthogonal and their sum returns the configuration space Ψ(T+C=Ψ). It is, therefore, possible to construct two projection matrices, Ω and −Ω, that project desired configuration space velocities into the motion space T and into the compliance space C:
Ω=T(TTT)†TT (74)
where T is a 5×m matrix in which its columns define a base of T and superscript † indicate the pseudo-inverse. For example, in the case of compliant insertion, configuration variables qins, δ2, and δ3 will be position-controlled while variables θ2 and θ3 will be compliance-controlled allowing the segment to adapt to the shape of the nasal conduit. Hence, matrix T is defined as:
(4) Actuation Compensation:
The desired joint variables are computed using a theoretical kinematics model and a model-based actuation compensation.
Motion Force Control of Multi-Backbone Continuum Robots
This section presents a general framework for hybrid motion/force control of continuum robots. The examples described below assume that the kinematic model is known and that the robot is equipped with a device for measuring or estimating environmental interaction forces. This information can be provided by a dedicated miniature multi-axis force sensor placed at the tip of the robot or by an intrinsic wrench estimator of the types. A multi-backbone continuum robot with intrinsic wrench estimation capabilities is used to demonstrate the hybrid motion/force control framework. The following assumptions specifically apply to multi-backbone continuum robots with intrinsic force sensing. Different assumptions are necessary for different types of robots but the fundamental control framework remain invariant.
Assumption 1: The continuum robot bends in a circular shape and gravitational forces are negligible.
Assumption 2: The continuum robot is able to sense actuation forces via load cells placed between each actuation line and its actuator.
Assumption 3: The geometric constraint is known and the environment is rigid. This information is used for both the hybrid motion/force controller and the intrinsic wrench estimation. However, because of the innate compliance of continuum robots and as demonstrated by experimental results, an exact knowledge of the geometric constraint is not necessary.
Control Architecture—A First-Order Model of Contact:
Hybrid motion/force control aims at controlling the interaction of two rigid bodies by decoupling control inputs into allowable relative motions and constraining wrenches. The control inputs are specifically generated to maintain contact between the two bodies by simultaneously generating motion directions that do not break the contact state and apply the desired interaction wrench. For example, in the case of frictionless point contact (as illustrated in
Regardless of the type of contact, it is possible to define two dual vector sub-spaces, one containing wrenches F6, and the other containing motion screws M6. The reciprocal product between these two spaces is defined as the rate of work done by a wrench fi acting on a motion screw mj. In the case of rigid bodies, under conservative contact, the bases of the two spaces must satisfy the reciprocity condition. At any given time, the type of contact between the two rigid bodies defines two vector sub-spaces: a n-dimensional space of normal vectors N⊂F6 and a (6−n)-dimensional space of tangent vectors T⊂M6, where n is the degree of motion constraint. The bases of these two spaces can be defined by a 6×n matrix N and a 6×(6−n) matrix T. The columns of N and T are respectively any n linearly independent wrench in N and any 6−n linearly independent motion screw in T. As a consequence of the reciprocity condition and the contact constraint, the scalar product of any column of N with any column of T is zero, i.e.
N
T
T=0 (77)
For example, for the contact constraint depicted in
Although in many situations matrices N and T are simply the composition of canonical vectors in IR6 and can be obtained by inspection, this is not the case when dealing with complex interaction tasks and multi-point contacts.
The efficacy of hybrid motion/force control stems from its ability to produce adequate motion and force control inputs that do not violate the reciprocity condition (Equation 77). The reciprocity of the control inputs is enforced by projecting each control input into the correct subspace by pre-multiplication of a projection matrix. We, therefore, define two projection matrices Ωf and Ωm that project any control input into consistent wrenches and twists respectively:
Ωf=N(NTN)−1NT
Ωm=T(TTT)−1TT=I−Ωf. (79)
According to the classical formulation of hybrid motion/force control, the frame-work inputs are defined by the desired twist tref=[vrefTωrefT]T and the desired interaction wrench at the operational point qref=[frefTmrefT]T.
At any given time, the wrench error is given by:
w
e
=w
ref
−w
curr (80)
where wcurr is the sensed wrench.
The output of the motion controller, tdes, is first projected onto the allowed motion space M6 via projection matrix Ωm as defined in equation (79) and then onto the configuration space velocity of the manipulator via the pseudo-inverse of the Jacobian matrix J†tψ:
{dot over (Ψ)}m=Jtψ†Ωmtdes (81)
One the other hand, the output of the motion controller wdes can be obtained with a conventional PI control schemes:
w
des
=K
f,p
w
e
+K
f,i
/w
e, (82)
Similarly to the motion controller, the desired wrench wdes is first projected into the allowed wrench space F6 via projection matrix Ωf as defined in equation (79), then into the generalized force space via the transpose of the Jacobian matrix Jtψ. The generalized force is the projection of the task-space wrench acting at the end effector into the configuration space of the manipulator. Finally into the configuration velocity space of the continuum manipulator via the configuration space compliance matrix Kψ−1:
{dot over (Ψ)}f=Kψ−1JtψTΩfwdes. (83)
Using equations (81) and (83) the motion and force control inputs are merged into a configuration space velocity vector Ψ{dot over ( )} that does not violate the contact constraint:
{dot over (Ψ)}={dot over (Ψ)}m+{dot over (Ψ)}f. (84)
Equation (84) provides the desired configuration of the continuum manipulator that accomplishes both the desired motion and force tasks without violating the contact constraint. The next step in the control architecture is to generate joint-level commands to accomplish the desired tasks. Because of the flexibility of the arm, actuation compensation is required for both achieving the desired pose and applying the desired wrench at the end-effector. Using the statics model, the desired actuation forces τdes are obtained as follows:
τdes=(JqψT)†(∇U−JtψTΩfwref) (85)
According to a model-based actuation compensation scheme, the desired joint-space compensation is given by:
ε=Ka−1τdes (86)
where Ka−1 designates the compliance matrix of the actuation lines.
By combining equations (84) and (86), the desired joint-space control input is obtained as follows:
q
des
={circumflex over (q)}
des(Ψ)+ε (87)
where ̂qdes(Ψ) is the joint's positions associated with configuration (Ψ) according to the theoretical inverse position analysis.
The hybrid motion/force control architecture for continuum robots with intrinsic force sensing is summarized in
Compensation Uncertainties:
During control of the real continuum robot there will be a deviation λ between the desired actuation force vector τdes and the sensed actuation force vector tcurr. This deviation is due to friction and extension in the actuation lines, perturbation of the bending shape from the ideal circular configuration, and geometric and static parameters. Thus, the sensed actuation force vectors is as follows:
τcurr=τdes+λ. (88)
Force deviation λ is a function of the configurations Ψ of the manipulator and the joint-space velocities Several methods have been proposed in order to characterize friction and uncertainties. A discrete Dahl model for friction compensation in a master console may be implemented. A Dahl friction model can also be implemented into the control architecture of steerable catheters. Friction estimation and compensation can also be used in the control of concentric tube robots. A non-linear regression via Support Vector regressors might also be used to compensate for lumped uncertainties in multi-backbone multi-segment continuum robots.
Wrench Estimation:
Continuum robots with actuation force sensing allow to estimate external wrenches acting at the tip. Using a statics model, the external wrench acting at the tip of the continuum robot is given by:
Se and Wse contain a priori knowledge of the contact constraint and guide the estimation algorithm. The a priori knowledge is defined by contact normal vector {circumflex over (n)}t, and contact tangential vector ̂nt. These two vectors define the plane in which the sensible component of the external wrench lies.
Experimental Results:
In order to validate the proposed framework, the control algorithms were implemented on the one-segment multi-backbone continuum robot of
The remainder of this section is organized as follows. First, the experimental setup is presented. The continuum robot manipulator and required equipment are described. Second, the estimation of uncertainties such as friction and un-modeled actuation forces are presented. Finally, three experiments are presented: force regulation in the ̂x and ŷ direction, shape estimation, and stiffness characterization.
The Continuum Manipulator—Direct Kinematics:
The surgical slave of
p
5
0
=p
1
0
+R
1
0
p
3
1
+R
4
0
p
5
4
R
5
0
=R
4
0=Rot(−δ,{circumflex over (z)})Rot(θ,{circumflex over (y)})Rot(δ,{circumflex over (z)}) (90)
where R10=I, p10=[0 0 qins]T, p32=[0 0 d]T, d is the distance between frames {4} and {5} (see
Ψ=[θδqins]T (91)
In order to achieve configuration Ψ, the secondary backbones of the continuum robot (i=1, 2, 3) are shortened or lengthened as follows:
q
i=τ cos(δi)(θ−θ0) (92)
where δi=δ+(i−1)β, β=⅔π, and r is the radial distance of each secondary back-bone from the centrally-located backbone. Similarly to the configuration space, we define the augmented joint-space vector qξIR4 as:
q=[q
1
q
2
q
3
q
ins]T. (93)
Differential Kinematics:
The tool twist tT=[vTωjT] is given by:
t=J
tψ{dot over (Ψ)} (94)
where Ψ{dot over ( )} is the rate of change of the configuration space vector Ψ and
where cy=cos(γ), sy=sin(γ), A1=L sin (δ)(sin(θ)−1), and A2=L cos(δ) (sin(θ)−1). Similarly, the configuration space velocities are related to the configuration space velocities as:
Statics:
Using virtual work arguments we can derived the following first order linear relationship:
Configuration Space Stiffness:
The configuration space stiffness is used for compliant motion control. Let the wrench acting on the end disk that is projected into the configuration space of the kth segment be given as the generalized force vector
f
(k)
=J
tψ
T
w
e,(k). (98)
Applying equation (97) to the generalized force expression, the ith row of the generalized force f(k) can be written as
f
t
=∇U
i
−[J
qψ
T]iτ=∇Ui−[Jqψ[i]]Tτ. (99)
where J[i] denotes the ith column of Jqψ.
For small perturbations from an equilibrium configuration, the stiffness of the individual continuum segment can be posed in the configuration space as
δf=Kψδψ (100)
where the stiffness is given by the Jacobian of the generalized force with respect to configuration space perturbation. Thus, the elements of Kψ are given by:
The elements of the stiffness matrix (equation (101)) can be expanded as
The first term of the configuration space stiffness, Hψ, is the Hessian of the elastic energy of the segment given by
The axial stiffness along the length of a given actuation line can then be expressed as
where
and A denotes the cross-sectional area of the backbone.
For continuum robotic systems with remote actuation designed to access deep confined spaces, the lengths of the non-bending regions of the actuation lines far exceed that of the bending regions, Lc>>Lb. The stiffness will therefore be dominated by the non-bending regions of the actuation lines. Local perturbations of the backbones at the actuation unit can be expressed as
Expanding terms by applying the chain rule and using the instantaneous inverse ∂τ kinematics, ∂ψ is given by
The configuration space stiffness therefore reduces to
Kinematic and Static Parameters:
The numerical value of the kinematic and static parameters defined in the previous sections are reported in the table of
is the second area moment of each backbone.
Estimation Uncertainties:
Uncertainties are due to: 1) deviation of the kinematic and static parameters from the nominal ones reported in the table of
Methods:
The continuum manipulator of
Results:
Several methods can be used to characterize friction and uncertainties. In this work, we populated a lookup table using the data shown in
Force Regulation:
This section presents force regulation experimental results. The goal of these experiments is to demonstrate the ability of the controller to regulate a predetermined force in both x and y directions at different configurations. As illustrated in
Methods:
In order to test the force estimation and force controller efficacy in the x̂ direction the continuum robot is bent to the following three configurations: 1) θ=80°, δ=0°, 2) θ=60°, δ=0°, and 3) 1) θ=40°, θ=0°. At each configuration, a reference force magnitude of 5 gr, 10 gr, and 15 gr were commanded. Data from the force estimator and the ATI Nano 17 were compared and the rise time and steady state error computed.
In order to test the force estimation and force controller efficacy in the ŷ direction the continuum robot is bent to the following configurations: 1) θ=80°, δ=0°, 2) θ=60°, δ=0°, and 3) 1) θ=40°, δ=0°. At each configuration, a reference force magnitude of 10 gr is tested. Data from the force estimator and the ATI Nano 17 are compared and the rise time and steady state error are computed.
Results:
The experimental results demonstrate both that the hybrid motion/force control is able to regulate forces of different magnitudes in different directions and that the accuracy depends on the configuration of the manipulator. Steady state error in the x direction between the force sensed by the ATI Nano 17 and the intrinsic force estimator are mainly due to residual un-modeled uncertainties as the more energy is stored into the system (θ=π/2 zero energy, θ=0 maximum energy). These uncertainties are static and dynamic friction, bending shape, and extension/contraction of the actuation lines. Steady state error in the y direction is due to uncompensated uncertainties for side motions δ./=0 and the much more compliance of the continuum manipulator in the δ direction at this particular configuration.
As shown in
Force Regulated Shape Estimation:
This section presents environment's shape estimation experimental results. The goal of these experiments is to demonstrate simultaneous force and motion control. The user is able to control the end-effector while free of contact and engage the force control in pre-determined directions when in contact with the environment.
The experimental setup of
Methods: The 5 mm continuum robot is equipped with a plastic probe having a 5 mm radius sphere at the interaction point. The sphere reduces the impingement of the probe into the soft tissue. A 0.9 mm magnetic coil is delivered through one of the robot's working channels and secured to the probe. A silicon diamond-shaped extrusion is placed in a YZ plane at a distance of approximately 18 mm from the robot's reference frame as shown in
The end-effector's motions in the ŷ and ẑ directions were commanded via a Force Dimension Omega 7 with 3-axis force feedback. Position commands were sent over the Local Area Network (LAN) using User Datagram Protocol (UDP) at 100 Hz. The end-effector's position was acquired at 125 Hz using the Ascension Technology trakSTAR 2 and sent over the LAN using UDP at 100 Hz. The high-level motion and force controllers and the wrench estimator run at 200 Hz while the low-level joint controller run at 1 kHz. Switching between full motion control and hybrid motion/force control was enabled using the 7th axis of the Omega 7 (gripper).
The continuum robot, under full motion telemanipulation mode, is guided to reach a point on the silicon phantom. Once hybrid motion/force control is enabled, the continuum robot autonomously regulates a force of −0.1 N in the x̂ direction. Position data of the probe were only collected when the sensed force in the x̂ direction was smaller or equal to −0.05 N and the hybrid motion/force controller was engaged. These conditions ensured that each data point was actually on the surface of the silicon phantom. Switching between full motion/force control and hybrid motion/force control allowed to cover a workspace of 18 mm×30 mm×40 mm.
Ground truth shape data was obtained using a second probe equipped with another 0 0.9 mm magnetic coil as shown in
Position data from the electro-magnetic tracker were stored and linearly interpolated using Matlab function grid data. This function interpolates the surface at query points on the YZ plane and returns the interpolated value along the x̂ direction. Multiple data points are automatically averaged during the interpolation.
Results: The estimated shape using the continuum robot is shown in
The very small inertia of the continuum manipulator allows the force controller to maintain contact with the unknown surface without perfect knowledge of the tangent and normal vectors at the contact point. These experiments demonstrate the efficacy of the proposed hybrid motion/force control scheme to perform independent motion and force regulation. The intrinsic compliance of the continuum manipulator also makes the impact phase stable allowing for safe and smooth transitions between full motion control and hybrid motion/force control.
Stiffness Imaging:
This section presents experimental results on stiffness characterization of soft tissues using the proposed hybrid motion/force controller. The goal of the experiment is to build a stiffness image of the surrounding environment using both position and force data. One way to build such image is to repetitively scan the surface applying different force and recording the displacement of each point between scans.
Methods:
Five consecutive surface scans were completed under hybrid motion/force control applying respectively 5 gr, 10 gr, 15 gr, 20 gr, and 25 gr. After selecting the desired force magnitude, the operator guides the robot to cover the designated area (as shown in
Position data during each scan were recorded from the electro-magnetic sensor placed at the tip along with the sensed force in the x̂ direction and smoothed by spline interpolation. Because of the position RMS of the Ascension Technologies trakSTAR 2 it was chosen to use the first and the last scan in order to obtain a better noise/signal ratio.
Results:
The estimated surfaces under 5 Gr force control and 25 Gr force control are shown in
In order to characterize the difference in stiffness along the surface (not the absolute stiffness) a linear spring-model is used.
Thus, the invention provides, among other things, systems and methods for controlling the pose of a multi-segmented continuum robot structure to adapt to the unknown dimensions of a cavity. The shape and position of the individual segments of the continuum robot are continually adjusted as the continuum robot is advanced further into the cavity, thereby providing for compliant insertion of a continuum robot into an unknown cavity. Various features and advantages of the invention are set forth in the following claims.
This application claims priority to U.S. Provisional Application No. 61/819,808, filed on May 6, 2013 and titled “METHOD AND SYSTEM FOR COMPLIANT INSERTION OF CONTINUUM ROBOTS,” the entire contents of which are incorporated herein by reference.
This invention was made with government support under grant IIS-1063750 awarded by the National Science Foundation. The government has certain rights in the invention.
Number | Date | Country | |
---|---|---|---|
61819808 | May 2013 | US |