The present invention relates to methods for manipulation of continuum segment robots. More specifically, the present invention relates to methods for contact detection and estimation of contact location along continuum segment robots. Though the algorithms are described for multi-segment continuum robots they equally apply to other configurations of continuum robots including wire-actuated catheters and concentric tube robots.
Current robotic systems are incapable of fully characterizing their interaction with the environment. Full characterization of the interaction means: discerning collisions, localizing contact constraints, and estimating interaction forces. Although there are mature algorithms for compliant hybrid motion/force control, there exists no unified framework for the impact and post-impact phases. These algorithms require a priori knowledge of the environmental constraint geometry via formulation of natural and artificial constraints or motion and constraint screws. Previous works on rigid-link robots do not apply directly to continuum manipulators and do not provide a unified method for both collision detection and estimation of contact location without a priori knowledge of the environmental constraints and additional sensory devices such as robotic skins.
Previous works individually focused on collision detection, and estimation of constraint locations. For example, generalized momentum of serial robots was used to identify contact incidence and the link at which contact occurs. Additionally, a least-squares method using an estimate of contact location from tactile sensors and joint torque measurements to estimate the magnitude and the location of contact force was presented. Further, two different probabilistic approaches for contact estimation were proposed. Still other researchers have tried to overcome the limitations of rigid-link robots by developing sensitive robotic skins.
Continuum robots are continuously bending, infinite-degree-of-freedom elastic structures that offer an opportunity to overcome the limitations of rigid-link robots. This opportunity stems from the ability of continuum robots to change their shape when interacting with the environment.
The motivation behind investigation into methods for robot manipulation originates in the field of medical robotics. New surgical paradigms such as Natural Orifice Transluminal Endoscopic Surgery (NOTES) demand deeper anatomical reach along increasingly tortuous paths. Medical robots need to be intelligent to autonomously prevent inadvertent trauma to surrounding anatomy while accomplishing surgical tasks beyond the capabilities of conventional robotic platforms for Minimally Invasive Surgery (MIS) in order to meet the challenges of NOTES. Further, robots need to support automated or semi-automated insertion into the anatomy, regulate their contact forces along the whole structure, and use their multi-point interactions to enhance end-effector precision. Up until now, several researchers have relied on passive compliance of continuum robots and wire-actuated articulated robots. However, reliance on passive compliance of surgical robots comes with a price of performance degradation such as payload carrying capability and position accuracy.
Some embodiments of this invention provide a general framework for collision detection and contact location estimation along multi-segment continuum robots. Some embodiments also actively enhance safety of interaction by providing continuum robots with the ability to act as sensors as well as surgical intervention platforms.
The general framework for collision detection and contact estimation for an n-segment continuum robot provide by embodiments of this invention relies only on the relative motion of each segment with respect to its own base. By working in local frames, the methods' scalability is maximized. A Screw Motion Deviation (SMD) is proposed based on the nominal forward kinematics of the robot and exteroceptive sensory information. Online calculation of this deviation for each segment enables single- and multi-collision detection at multiple segments. Estimation of contact location is carried out by using a constrained kinematics model that describes the constrained motion of the continuum robot. Thus, the invention demonstrates the ability to estimate the location of contacts and detect collisions at any point along the robotic structure, multiple collisions acting at different segments, and total arm constraint.
The implementation of these methods is relevant in several ways. First, these methods are applicable to prevent damage to dual-arm robots in instances where inadvertent contact between arms occurs. Further, these methods are appropriate for applications that use contact detection to constrain the kinematics of arms to prevent trauma to bracing anatomy. For example, an implementation of these methods is a continuum robot intended to reach through a trocar or a resectoscope tube and contact the tip of the tube and still enable telemanipulation of remaining degrees of freedom. Additionally, implementations of these methods are compatible with applications where contact with surrounding geometry is used as a safety feature. Finally, unguided blind exploration of geometry, registration of the geometry with respect to the robots, and use with other exploratory manipulation methods for exploration of anatomical constraints on surgical tools are all potential applications of these methods.
In one embodiment, the invention provides a method for collision detection along a continuum robot including inserting a portion of the continuum robot having a plurality of independent segments into a cavity. The method further includes detecting contact between the robot and the cavity, and determining in which segment of the robot the contact occurred.
In another embodiment the invention provides a method for generating a constraint including inserting a continuum robot having a plurality of individual segments into a cavity, detecting contact between the robot and the cavity, and detecting in which segment of the robot the contact occurred. The constraints are generated based on the contact data and the segment data. Once the robot is removed from the cavity, a tool is inserted into the cavity based on the identified constraints.
Other aspects of the invention will become apparent by consideration of the detailed description and accompanying drawings.
a-1c illustrate a few scenarios of a multi-segment continuum robot in contact with a constraint.
a-9c graphically illustrate time histories μ1, μ2, and μ3, respectively, when a constraint acts at a first segment of a multi-segment continuum robot.
a-10c graphically illustrate time histories μ1, μ2, and μ3, respectively, when a constraint acts at a second segment of a multi-segment continuum robot.
a-11c graphically illustrate time histories μ1, μ2, and μ3, respectively, when a constraint acts at the third segment of a multi-segment continuum robot.
a-12c graphically illustrate time histories μ1, μ2, and μ3, respectively, when a constraint acts at multiple segments of a multi-segment continuum robot.
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 following methods are relevant for multi-segment continuum robots 10 that bend in a known, repeatable shape. Examples of such multi-segment continuum robots are active catheters, tentacle/trunk robots, and multi-backbone continuum robots. With respect to
Further, with reference to
Contact detection and contact localization is determined as a result of a combination of kinematic theory and screw theory. Immediately after a constraint is applied (i.e., a collision), constrained kinematics is applied to characterize the behavior of a robot 10 having k continuum segments 12. Specifically, constrained kinematics describes a CS, in point-contact at an arbitrary arc-length location σk, where σk ∈ [0, Lk]. The following relationships are based on the fact that each CS bends in a circular shape and the gravitational forces are negligible for small continuum robots. Further, a distally constrained segment will affect the motion of all preceding segments, but a proximal constrained segment will not affect the motion of subsequent distal segments. Finally, the constrained portion of a constrained segment remains fixed while the free portion bends in the same fashion as the shorter segment. The kinematics nomenclature is illustrated in
Constrained direct kinematics is used to determine a position PCkbk, orientation RCkbk, and bending angle θk(sk). Therefore, immediately after the CS collides with a cavity a position PCkbk, orientation RCkbk, and bending angle θσ
where RPkbk=e−δ
and RckCk=eδ
Using (1) and (2) position Pgkbk and orientation Rgkbk of the ED of the constrained segment is given by:
where θk=θσ
When the CS is not in contact, i.e., θk=0, (3) reads θσ
Constrained differential kinematics is then used to determine the generalized twist of the ED. After collision, contact frame {Ck} remains fixed and the forward instantaneous kinematics takes into account the unconstrained portion of the CS. The generalized twist
of the ED is denoted by a 6×1 vector where
designate the linear and angular velocities of the ED with respect to base of the CS written in frame {Bk}. A commanded configuration space vector of an unconstrained segment k is denoted as ψk. Therefore, by defining {dot over (ψ)}k=[{dot over (θ)}L
v
g
/b
b
=J
υψ
{dot over (ψ)}k (6)
The constrained translational Jacobian Jvψk is given by
Similarly, the time derivative of (5) and the use of the definition of the angular velocity of the
provide the following differential relation:
ωg
where the constrained rotational Jacobian Jωψk is given by
Equations (7) and (12) are ill-defined when θL
Joint-space differential kinematics defines joint-space variables and relates them to the space variables. Therefore, the joint space variables qk,i=Lk,i−Lk are defined in terms of the nominal length of the primary backbone Lk, and the lengths of the secondary backbones Lk,i, i=1, . . . , m. The configuration space variables ψk and the joint space variables qk ∈m×1 of the kth segment are related as follows:
By taking the time derivative of both sides of (13), the instantaneous inverse kinematics of segment k is given by:
{dot over (q)}k=Jqψ
Hence, for an n-segment continuum robot the joint-space kinematics is given by:
{dot over (ψ)}Δ[{dot over (ψ)}1T . . . {dot over (ψ)}nT]T ∈ 2n×1 is the time derivative of the augmented configuration space vector for a robot with n-independent segments and {dot over (q)}Δ[{dot over (q)}1T . . . {dot over (q)}nT]T ∈ nm×1 is the augmented vector of the instantaneous joint velocities. Matrix G ∈ nm×nm accounts for actuation coupling among subsequent. For example, if the actuator of the mth backbone in segment k+1 is serially attached to the actuator of the mth backbone in segment k then G=I. In this case, the actuation unit design is decoupled.
The following mathematical entities that constitute the instantaneous screw of motion of a rigid body are a consequence of Chasles's theorem. The instantaneous motion of a rigid body is fully described by the Plucker line coordinates of the Instantaneous Screw Axis (ISA) and the screw pitch. Thus, the following three entities describe the motion of ED k with respect to local base frame ED, k, with respect to local base frame {Bk}:
Where vector rk locates the closes point on the screw axis relative to the origin, {dot over (ω)}k is the unit vector along the axis, and λk is the screw pitch.
In the general case of rigid body motion, (17), (18) and (19) are ill-defined when
The screw axis lies along the direction of translational velocity and λk=0. However, because of the constrained bending shape of the CS,
always vanish simultaneously. This means that during motion ∥ωg
A better way to compute vector rk is given by the following least square approximation:
rk=A†b (20)
where superscript † indicates the left pseudo-inverse and
A=[Ω
g
/b
T ωg
b=[Ω
g
/b
p
g
b
−Λv
g
b
0]T, (22)
and I is the 3×3 identity matrix.
Using (18) and (20) one obtains an axode of motion associated with the motion of the kth ED. Before a collision, a group of ISAs 40 are associated with a first axode of motion. As a consequence of a collision, a second axode of motion, with a second group of associated ISAs 42, is introduced that is the result of a sudden shift as shown in
Various approaches can be used to quantify the difference between two infinitesimally separated screws. Since the screw axis is essentially a line, one possible way is to use a Riemannian metric. For spatial motion, the natural generalization of the curve of centrodes is given by the striction curve. An approximation of the striction curve is obtained by concatenating the closest points between infinitesimally separated screw axes. These pairs of points are obtained by the intersection of two consecutive screw axes and their common normal. The striction curve is ill-defined when the CS bends in a fixed plane. In fact, during planar motion, the ISAs are all perpendicular to the bending plane and there are infinite pairs of points that define the minimum distance between the axes. In this case, the striction curve is the curve of centrodes. In order to eliminate this special case and decrease computation effort, a Cartesian metric between the closest points from the origin on the expected ISA based on the kinematics model and on the sensed ISA as obtained from an extrinsic sensor is used.
Although it could be possible to detect a motion discrepancy between the theoretical and actual kinematics by separately monitoring position deviation, orientation deviation, and twist deviation, it would not be possible to find a single, units-consistent metric. The proposed SMD incorporates position, orientation, translational and angular velocities into one entity with units of length.
An extrinsic sensor provides the position
g
b
=
W
g
(
g
g
=
g
b
=
W
g
g
W. (24)
where all entities marked with a bar (i.e.,
and
are obtained using (6) and (11) respectively. However, the sensed linear and angular velocities
are obtained by numerical differentiation of (23) and (24), respectively, along with the definition of angular velocity. These theoretical and sensed relative positions and velocities are used to define the following Screw Motion Deviation (SMD):
μk=∥rk(σk=0)−
where
The use of relative motion data for μk decouples the SMDs and provides the basis for collision detection and estimation of contact location along any segment of the continuum robot independently.
The following methods for collision detection and contact estimation location are based on the principles set forth above.
Ideally, for a perfect robot, a perfect controller, and a perfect sensor, one would obtain μk=0. However, because of uncertainties due to kinematic model approximations, an uncalibrated robot, extension of the actuation lines, and sensor noise, μk will be bounded by a certain distance threshold εk during unconstrained motion. Collision is therefore independently detected for any segment when μk>εk for k=1, 2, . . . , n.
In the case of electromagnetic tracking devices, threshold εk is time, position, and velocity dependent because the accuracy varies depending on the workspace and the proximity to ferromagnetic and conductive metals. Although it is possible to improve the accuracy of these devices by recalibrating the device, it can be assumed that non-static ferromagnetic objects are present in the proximity of the robot. Furthermore, if a low-order difference method is used for differentiating (23) and (24) with respect to time, low velocities amplify the noise components and increase the variance of the SMD. For this reason the algorithm needs to filter out false positive due to noise ratio when
where ζk is a threshold with units of rad/s.
This phenomenon is shown in
Since the motion is generated with a quintic polynomial, the dashed ISAs 68 are associated with the beginning and the end of the motion.
If the sensor samples at frequency fs [Hz] with resolution ε [rad], then the value of ζk must meet the following constraint for trustworthy velocity measurements:
ζk>αεsfs (26)
where α>1 (ideally 2 or 3). Threshold ζk is proportional to sensor resolution ε and sample frequency fs and defines the lowest angular velocity of each end disk under which no contact can be detected. There are two ways to reduce the critical angular velocity magnitude ζk: increase sensor resolution or decrease sampling frequency. Although the latter solution also decreases threshold ζk, it also degrades the responsiveness of the collision detection algorithm by introducing lag into the system. However, since the minimal and maximal allowable twist is generally known once a task is defined, threshold ζk can be tuned accordingly.
Thus, the following binary function is defined:
Once μk>εk and
collision is detected when
where tc is the first instant which is μk>εk, Δt is time step constant, and Q is the width of the collision detection window that allows to filter out false positives.
For an n-segment continuum robot, the collision detection method described above identifies which segments are constrained by the environment. Therefore, an auxiliary strategy or method (i.e., algorithm) narrows down the estimation of contact location at the segment level. Immediately after collision, a constrained single segment behaves as described in according to kinematic theory, explained above. Multiple segments behave according to this theory as well if the stiffness of two subsequent segments is comparable. The stiffness of constrained segment k+1 needs to be high enough to prevent the motion of segments k=1, . . . , k.
The accuracy of the estimation of contact location method not only depends on the kinematic modeling arguments described above but it is also affected by the discretization parameter N. Small values of discretization parameter N are associated with finer minimization problems. For the robot 308 as is shown in
With further reference to
k [mm]
indicates data missing or illegible when filed
The continuum robot 308 is controlled with a mixed configuration- and joint-space feedback architecture, indicated at 350 and 352 in
A configuration space error eψ is introduced below as a deviation of the current configuration space vector ψc from the desired configuration space vector ψd
e
ψ=ψd−ψc (29)
The time derivative of (29) when accounting for (16) and the compensation factor K>1 yields:
ė
ψ={dot over (ψ)}d−ηκJqψ†{dot over (q)}comm (30)
where superscript † denotes the pseudo-inverse, {dot over (q)}comm is the commanded augmented vector of joint speeds, and η is a positive scalar corresponding to sensor and plant uncertainties. The control input to the low-level joint-space controller is given by:
{dot over (q)}
comm
=κJ
qψ({dot over (ψ)}d+Kpeψ+Kdėψ). (31)
The following discussion presents examples of single-contact collision detection, multi-contact collision detection, collision detection repeatability, and estimation of contact location. The robot 308 illustrated in
In a first example, the first segment of the continuum robot 308 is constrained during the motion. The time histories of SMDs μ1, μ2, and μ3 are presented in
In a second example, the second segment of the continuum robot 308 is constrained during the motion. The time histories of SMDs μ1, μ2, and μ3 are presented in
In a third example, the third segment of the continuum robot 308 is constrained during the motion. The time histories of SMDs μ1, μ2, and μ3 are presented in
The methods for contact detection and contact location estimation provide the ability to successfully detect collisions with a soft constraint and other continuum arms. This capability is of primary importance when the method is implemented on surgical continuum robots and surgical robotic systems with continuum end-effectors. The collision detection method is able to prevent inadvertent trauma to delicate surrounding tissues by triggering a reaction strategy.
With reference to
The repeatability of the collision detection algorithm is quantified in
The performance of the estimation method is reported in
With reference to
The estimation of contact location on the proximal segment of the continuum robot 308 is presented in
The estimation of contact location on the second segment of the continuum robot 308 is presented in
The estimation of contact location on the third segment of the continuum robot 308 is presented in
The collision detection algorithm presented offers immediate application for safeguarding against inadvertent anatomical trauma in robotic systems equipped with multiple continuum arms. This algorithm is even effective when the robot contacts soft and non-static objects like human fingers and other continuum arms. There are consistent margins for decreasing the detection thresholds after proper calibration of the magnetic tracker device and kinematics parameters of the robot. Despite this, the adoption of the motion deviation described already allows for robust collision detection. The proposed motion deviation incorporates the position, the orientation, and the twist of each actuated segment into a single entity thereby preserving unit consistency.
The estimation of contact location is shown to be effective in the case in which the stiffness of all the individually actuated segments is comparable. Furthermore, screw theory not only allows for estimating the contact location, as demonstrated, but will also provide constraint acting on the continuum segment.
Thus, the invention provides, among other things, a unified framework for collision detection and localization of contacts along continuum robots. Various features and advantages of the invention are set forth in the following claims.
This application claims priority to U.S. Provisional Patent Application No. 61/645,734, filed on May 11, 2013, 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 | |
---|---|---|---|
61645734 | May 2012 | US |