Robust impedance-matching of manipulators interacting with unknown environments

Information

  • Patent Grant
  • 7688016
  • Patent Number
    7,688,016
  • Date Filed
    Wednesday, September 28, 2005
    19 years ago
  • Date Issued
    Tuesday, March 30, 2010
    14 years ago
Abstract
A system for replicating the behavior of a target robotic manipulator with respect to a payload and worksite, has a real-time simulator capturing the dynamics of the target robot manipulator; a mock-up of the payload and worksite; and an emulating robotic manipulator for interacting with said payload and worksite. The emulating robotic manipulator is controlled by the real-time simulator in a control loop to replicate the dynamical behavior of said target robotic manipulator in its environment by matching the impedance of the emulating robotic manipulator with that of the target robotic manipulator.
Description
FIELD OF THE INVENTION

This invention relates to the field of robotics, and in particular to a method for replicating the dynamic behavior of a target robotic manipulator operating in an unknown environment by using a different robotic manipulator.


BACKGROUND OF THE INVENTION

There is growing interest in employing robotic manipulators to perform assembly tasks. In particular, space robots have become a viable means to perform extravehicular robotic tasks. For instance, the Special Purpose Dextrous Manipulator (SPDM) will be used to handle various orbital replacement units (ORU) for the maintenance operations of the International Space Station.


The complexity of a robotic operation associated with a task demands verification facility on the ground to ensure that the task can be performed on orbit as intended. This requirement has motivated the development of the SPDM task verification facility at Canadian Space Agency. The verification operation on the ground is challenging as space robots are designed to work only in micro-gravity environment. In reality, thanks to weightlessness on orbit, the SPDM can handle payloads as massive as 600 kg. On the ground, however, it cannot even support itself against gravity. Although this problem could be fixed by using a system of weights and pulleys to counterbalance gravity, the weights change the robot inertia and its dynamical, behavior. Moreover, it is difficult to replicate the dynamical effects induced by the flexibility of the space robot or space structure on which the manipulator is stowed.


Simulation is another tool that can be used to validate the functionality of a space manipulator. Although the dynamics and kinematics models of space manipulators are more complex than those of terrestrial manipulators due to dynamic coupling between the manipulator and its spacecraft, the space-robot dynamics can be captured by the concept of a Virtual-Manipulator, which has a fixed base in inertial space at a point called Virtual Ground. Today, with the advent of powerful computers, faithful and real-time simulators are available that can capture dynamics of almost any type of manipulator with many degrees of freedom. However, simulation of a robot interacting with environment with a high fidelity requires accurate modeling of both the manipulator and the contact interface between the manipulator and its environment. Faithful models of space-robots are available; it is the calculation of the contact force which poses many technical difficulties associated with contact dynamics.


In the literature, many models for the contact force, consisting of normal and friction forces, have been reported. The Hertz contact theory is used to estimate local forces. However, to predict where the contact points are, calls to an optimization routine, thus demanding substantial computational effort. In particular, the complexity of contact-dynamics modelling tends to increase exponentially when the two objects have multi-point contacts. Moreover, since the SPDM is tele-operated by a human operator, the validation process requires inclusion of a real-time simulation environment since the simulation should allow human operators to drive the simulation in real-time.


The greatest challenge in the control of robots interacting with an unknown environment is to establish a desired impedance characteristic while maintaining stability of the contact between the robot and the environment. Typically, the parameters of the impedance controller, i.e., desired mass, damping and stiffness matrices, are tuned by trial-and-error to achieve stability and a satisfactory performance. This is not effective because the performance is not optimal and control parameters are valid only for a particular environment; they often need to be changed as the environment changes.


Impedance control is suitable for robotic tasks such as assembly or insertion operations to avoid jamming among parts. The impedance captures the dynamical relation between position and force of a robot's end-effector. The underlying idea of impedance control is to assign a prescribed dynamic behavior for a robot manipulator while its end-effector is interacting with the environment. It is known that any assigned impedance may not lead to contact stability even if the desired impedance per se is stable. In practice, the parameters of the impedance controller, i.e., desired mass, damping and stiffness matrices, are tuned by trial-and-error to achieve stability and a satisfactory performance. Typically, the control parameters are valid for a particular environment and they often need to be changed as the environment changes.


The impedance control of a robot to shape the robot force-response was proposed by Hogan, “Impedance Control: An approach to manipulation”, Journal of Dynamics, Measurement, and Control, vol. 107, pp. 8-16, 1985, the contents of which are herein incorporated by reference. In his approach the force is virtually controlled by controlling position by using programmable stiffness and damping matrices in the impedance model. Analysis and general methodology for implementation of attaining the desired impedance have been the focus of many other research works. All control approaches are based on the premise that a perfect model of the manipulator and ideal source of joint torque, i.e., no actuator dynamics, are available and that the robot is rigid. Therefore, the control system can trivially assign infinite stiffness to the manipulator and then the desired impedance of the target robot can be achieved by cascading the transfer function of desired impedance model.


In practice, the robot prototype has a finite bandwidth and stiffness that impose a serious limitation on the impedance that can be attained in a stable manner. In other words, the conventional impedance control methodology does not guarantee that a passive mechanical admittance will result from the design and hence contact instability may occur for a class of environment impedance. Also, the conventional impedance approach doesn't allow a generic desired-impedance; only the second order system of mass-spring-damper is allowed.


SUMMARY OF THE INVENTION

The invention employs an emulation technique which can replicate dynamical behavior of a robot interacting with a complex environment without actually simulating the environment. The system consists of three main functional elements: a real-time simulator capturing the dynamics of the space robot, the mock-up of the payload and its work site, and a rigid robot which handles the payload. Interconnecting the simulator and the emulating robot, the entire system works in a hardware-in-loop simulation configuration.


Accordingly one aspect of the invention provides a system for replicating the behavior of a target robotic manipulator with respect to a payload and worksite, comprising a real-time simulator capturing the dynamics of the target robot manipulator; a mock-up of said payload and worksite; and an emulating robotic manipulator for interacting with said payload and worksite; said emulating robotic manipulator being controlled by said real-time simulator in a control loop to replicate the dynamical behavior of said target robotic manipulator in its environment by matching the impedance of the emulating robotic manipulator with that of the target robotic manipulator.


In accordance with the principles of the invention the impedances of a space robot and a ground-based robot are matched as much as possible in order to replicating contact force response which would be encountered on orbit.


An important aspect of the invention is a mu-based controller for impedance control of manipulators which achieves the followings. (i) minimizes the weighted distance between the realized and the specified force transfer functions, (ii) minimizes noise sensitivity, and (iii) maintain closed-loop stability in spite of a broad variation of environment parameters (stiffness and damping). This approach allows the desired impedance in a generic form, i.e., the desired impedance to be represented by any stable transfer function. This is important for robot emulation where the desired impedance is typically more complex than the standard second order system.


In one embodiment of the invention the control methodology is implemented by the following steps:

  • a) Apply a motion control law to the emulating robot. The motion controller should have sufficient bandwidth for adequate maneuvering in free space. The effect of tip force/moment perturbation should be compensated with the best knowledge of the robot's model.
  • b) Obtain the impedance the target-robot—which constitutes the desired impedance—by either a spectral analysis of input/output data or linearization of the dynamics model.
  • c) Identify experimentally the open-loop admittance of the actual robot (admittance is inverse of impedance) from a sequence of input-output data obtained by excitation of the robot in contact. Then, calculate the coefficient of a fixed transfer function to match the input/output behavior.
  • d) Specify the range of variation on the environment's stiffness and damping. Then build a parametric uncertainty model. Also, define the frequency range of interest on which the impedances should be matched.
  • e) Built a LFT (Linear Fractional Transformation) model based on the performance specification and the uncertainty model. Then design a mu-controller for the force feedback.


Novel aspects of this approach are believed to include a stiff motion controller which maintains the endpoint pose of the emulating robot and that of the simulated robot; a method for expressing the unknown environment parameters in the form of a parametric uncertainty-model which is bounded and hence it is suitable for a robust control synthesis; and experimental identification procedure for the measurement of the robot impedance; and a mu-synthesis based force feedback which achieves the desired impedance and ensures contact stability for all environment impedances specified.


In accordance with the principles of the invention, the impedance of the emulator manipulator is matched with the impedance of the target manipulator. The control system can change the impendence of a manipulator to match that of a prescribed manipulator (e.g., a space robot) as much as possible while maintaining stability of the manipulator in contact with a class of unknown environments. Since the force/moment interaction of a manipulator with an environment can be captured by the impedance, the matching impedance of the two manipulators is tantamount to matching their force responses with respect to the same environment.


The invention proposes two different methods to deal with the emulation problem: The first is based on a non-linear approach and can match the non-linear dynamic responses. However, the control requires an emulating robot which is rigid, its dynamics model is exactly known, and its joints' actuators are ideal, i.e., actuator with no dynamics. The second deals with matching of linear impedance. This method assumes that the impedance of the robot can be captured by a linear model, i.e., by a transfer function, and subsequently the control design is conveniently cast in the frequency domain. This linear impedance-matching is more practical than the former one because: (i) It doesn't require ideal emulating robot, i.e., the structural flexibility and the actuator dynamics are allowed, (ii) no parametric model of the robots is needed; the impedance of the emulating robot can be measured directly using spectral analysis.


Experiment on the SPDM Task Verification Facility at CSA has proved that without such a scheme contact stability cannot be achieved. Notably, a similar facility in DLR (the German space agency and NASDA) has failed to produce a stable contact.


The mu-synthesis based controller in accordance with the principles of the invention optimally compromises the performance and stability requirements for a selected class of environments. Specifically, the controller minimizes the weighted distance between the realized and the specified impedances (or force transfer functions); minimizes the sensitivity to force/moment sensor noise; and maintains the closed-loop stability in spite of a broad variation of environment parameters (stiffness and damping).





BRIEF DESCRIPTION OF THE DRAWINGS

The invention will now be described in more detail, by way of example only, with reference to the accompanying drawings, in which:



FIGS. 1A and B are schematic diagrams of a space manipulator (A) and emulating manipulator (B) performing a task;



FIG. 2 is a block diagram of a robotic emulating system;



FIG. 3 is a block diagram showing a CLIK jacobian transpose scheme for extracting the generalized coordinate of a target manipulator;



FIG. 4 shows a robot-emulation scheme with the application of the rheonomic constraint in which the simulator comprises the DAE model of the target robot;



FIG. 5 shows a robot-emulation scheme without the application of the constraint; the simulator comprises the ODE model of the target robot;



FIG. 6 is a graph of |T(jw)|;



FIG. 7 is a linear model of a space robot;



FIGS. 8A and B are diagrams of the emulating robot system, comprised of the stimulator cascaded with the emulating robot (A), in a cascaded configuration and the simulator cascaded with the lumped model of emulating robot system (B);



FIG. 9 shows the upper bound for the magnitude of the perturbation;



FIG. 10 is a block diagram of an LFT model for control synthesis;



FIG. 11 illustrates the 1 d0f experiment setup;



FIGS. 12A and B show the position (A) and velocity (B) of the tracking performance of the 1-dof robot emulator;



FIG. 13 shows the performance of the 1-dof robot-emulator in contact/non-contact transition;



FIG. 14 shows the contact force error;



FIGS. 15A and 15B shows the contact test without applying the reheonomic constraint; contact force (A), and constraint error (B);



FIGS. 16A and B show the unstable contact where Q>4; tip position (A), and contact force (B);



FIG. 17 shows the 3-dof experimental setup;



FIGS. 18A and B show the excitation impulse force (A), and the subsequent position response of the 3-dof robot (B);



FIG. 19 shows the experimental results obtained form emulation of the thee-dof robot Simulated position and force responses; two actuated joints;



FIG. 20 shows comparisons of the actual and estimated force signals (fit: 76%);



FIG. 21 shows the desired admittance, |Ys|, versus open-loop, |Yr| and closed-loop admittances;



FIG. 22 shows the upper bound on μ;



FIG. 23 shows the force transmissivity functions |Tr,fr| (solid line) and |Tr,fs| (dashed line) for various environment stiffness; and



FIG. 24 shows the variation of sensitivity function |Tω,z2(jω)|.





DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS


FIG. 1 schematically illustrates the concept of a robot emulation system. The system consists of three main functional elements: a real-time simulator capturing the dynamics of the space robot 10, the mock-up of the payload and its work-site 12, and a rigid robot 14 which handles the payload. Interconnecting the simulator and the emulating robot, the entire system works in a hardware-in-loop simulation configuration that permits replication of the dynamic behavior of the space robot.


The purpose of the control system is to make the constrained-motion dynamical behavior of the emulating robot as close as possible to that actually encountered by the space robot. The advantage of this methodology is that there is no need for modeling a complex environment. Moreover, because of using the real hardware, a visual cue of the payload and the work-site is available which otherwise, must be simulated.



FIG. 2 shows the concept of emulation of the space robot. Dynamics of the space robot is numerically simulated and a real-time simulator drives a robot prototype which performs contact task. The contact force and moment resulting from the interaction of the real robot end-effector and the environment are measured by a force plate and the signals are feedback into the space robot simulator, which in turn, affects the control commands. For implementation of the control law, it is assumed that (i) knowledge of dynamics of the emulation robot; (ii) ideal source of joint torque are available. Based on these premises the control law triviality compensates the effect of contact force resulting in infinite stiffness and perfect motion tracking in contact phase. Moreover, the exact compensation of contact force decouples dynamic interaction of the simulator and the emulating robot systems which are connected in a closed-loop configuration, see FIG. 2. However, in practice, the control system of the emulating robot has finite bandwidth and stiffness and is susceptible to instability.


To achieve a high fidelity force response from the emulating robot requires that its impedance matches that of the space robot. The emulating robot is rigid-body while the space robots are typically flexible. A complete knowledge of the dynamic model of the robot is needed to implement the desired impedance.


In accordance with the principles of the invention, a synthesis-based controller for shaping force response of a robot according to a desired response even with the presence of variation of the environment parameters (stiffness and damping) is used. The performance is defined in terms of distance between the actual and desired force responses and also sensitivity to the force sensor noise, while the variation of the environment impedance enters as a perturbation. The controller achieves robust performance and contact stability.


Nolinear Control of Emulating Robot


Let's consider an emulating robot and a target robot, referred to by subscripts r and s, with n and m degrees-of-freedom (DOF), respectively, operating in an n-dimensional task space. The generalized coordinates of the robots are represented by vectors qr∈Rn and qs∈Rm, respectively. Note that the emulating robot is rigid but the space robot is typically a flexible one with many degrees-of-freedom. Hence, we can say

dim(qs)=m≧dim(qr)=n.


Let vector prT=[xrTrT] denote the pose of the end-effector of the emulating robot, where xr and φr describe, respectively, the position and a minimal representation of the orientation of the end-effector expressed in the base frame attached to the work-site; see FIG. 1. Similarly, the pose of the target robot is denoted by vector ps.


Assume that

    • 1. both robots have identical end-effector pose configuration with respect to their base frames, i.e., pr=ps=p and
    • 2. they experience the same contact force/moment f∈Rn.


Moreover, we assume that Mr∈Rn×n and Ms∈Rm×m are the inertia matrices of the two manipulators; hr∈Rn and hr∈Rm contain Coriolis, centrifugal, friction, gravity (for the emulating robot), and stiffness (for the space robot); τr∈Rn and τs∈Rn are the joint torque vectors; and that Jr=∂pr/∂qr∈Rn×n and Js=∂ps/∂qs∈Rn×m are the analytical Jacobian matrices. Then, the equations of motion of the robots can be described by

Mr{umlaut over (q)}r+hr(qr,{dot over (q)}r)=τr+JrTfa,  (1)
Ms{umlaut over (q)}s+hs(qs,{dot over (q)}s)=s+JsTfa,  (2)

where







B
=


[



I




0



]



R

m
×
n




,





and fa∈Rn is the vector of generalized constraint force expressed in the base frame. Note that fa performs work on {dot over (p)}, and it is related to the contact force f by

fa=Λ(φ)f,  (3)

where Λ(φ)=diag{I,Λ1(φ)} is a transformation matrix that depends on a particular set of parameters used to represent end-effector orientation; φsr=φ.


Now, assume that a real-time simulator captures the dynamics of the space robot. Also, assume that the endpoint pose of the simulated robot be constrained by that of the emulating robot, i.e., the following rheonomic (time-varying) constraint

Φ(qs,qr(t))=pr(qr(t))−ps(qs)≡0  (4)

holds. Enforcing the constraint ensures that the end-effector of the simulated robot is constrained by the pose of the environment barriers, which physically constrain the emulating robot. The Lagrange equations of the simulated robot can be formally expressed by a set of Differential Algebraic Equations (DAE) as

Ms{umlaut over (q)}sqsTλ=−hs+Bτs.  (5)
Φ(qs,t)=0  (6) )

where Φqs=∂Φ/∂qs=−Js∈Rm×n denotes the Jacobian of the constraint with respect to qs, and λ∈Rn represents the Lagrange multiplier which can be solved from equation (5) together with the second time derivative of the constraint equation (6). That is,

λ=(JsMs−1JsT)−1(c+JsMs−1(hs−Bτs)),  (7)

where c={umlaut over (p)}r(t)−{dot over (j)}s{dot over (q)}s; note that the constraint force λ can be measured only if a measurement of pose acceleration {umlaut over (p)}r is available, say via an accelerometer.


A comparison of equations (5) and (2) reveals that the Lagrange multiplier λ acts as a constraint force/moment on the simulated robot. Therefore, our goal is to equate the constraint force and the Lagrange multiplier, i.e., fa=λ. This can be achieved by using the computed torque method in the task space. Substituting the joint acceleration from (1) into the second time derivative of the pose, {umlaut over (p)}r=Jr{umlaut over (q)}r+{dot over (J)}r{dot over (q)}r, yields

{umlaut over (p)}r=JrMr−1r+JrTfa−hr)+{dot over (J)}r{dot over (q)}r.  (8)

This equation can then be substituted into (7) to obtain the joint torque solution, assuming fa=λ. That is











τ
r
c

=


h
r

+


M
r




J
r

-
1




(



J
s




M
s

-
1




(


B






τ
s


-

h
s


)



+



J
.

s




q
.

s


-



J
.

r




q
.

r



)



-




J
r
T



(

I
-


M
r



M
s

-
1




)




f
a





force





feedback





,




(
9
)








where M:=[JM−1JT]−1 is the Cartesian inertia matrix whose inverse can be interpreted as mechanical impedance. The torque control (9) can be grouped into force and motion feedback terms.


The force feedback gain tends to decrease when the inertia ratio approaches one. In the limit, i.e., when Ms=Mr, the force feedback is disabled, and hence the robot emulation can be realized without using force feedback.


In free space, where fa=0, the controller matches the end-point poses of two robots at acceleration level and that inevitably leads to drift. We can improve the control law by incorporating a feedback loop to minimize the drift error, i.e.,










τ
r
c

=


h
r

-


M
r



J
r

-
1





J
.

r




q
.

r


-


J
r
T



f
r


+


M
r




J
r

-
1




[



a
~

s

-


G
v



(



J
r




q
.

r


-





a
~

s




t




)


-


G
p



(



p
r



(

q
r

)


-







a
~

s




t





)



]








(
10
)








where ãs:=JsMs−1(Bτs−hs)+{dot over (J)}s{dot over (q)}s+JsMs−1JsTfa is the estimated pose acceleration of the target robot calculated from the unconstrained dynamics model, and Gν>0 and Gp>0 are drift compensation gains. In the following, we show that the constraint force asymptotically tracks the Lagrange multiplier. Denoting

ëp:={umlaut over (p)}r−ãs,

then the dynamics of the errors under the control law (10) is

ëp+Gνėp+Gpep=0.  (11)


This dynamics is asymptotically stable if the gain parameters are adequately chosen, i.e., eppp→0 as t→∞. Furthermore, let

ef:=fa−λ,  (12)

represent the force error. Then, one can show from (7) that the force error is related to the acceleration error by

ef=Msëp.  (13)


Since the mass matrix is bounded, i.e. ∃κ>0 such that Ms(qs)≦κI, then

∥ef∥≦κ∥ëp

and hence ef→0 as t→∞. Therefore, the error between the constraint force and the Lagrange multiplier is asymptotically stable under the control law (10). The above mathematical development can be summarized in the following proposition.


Assume the followings: (i) the endpoint pose of the simulated robot is constrained with that of the emulating robot performing a contact task, (ii) the torque control law (10) is applied on the emulating robot. Then, (i) the emulating robot produces the end-effector motion of the space robot, (ii) the constraint force asymptotically approaches the Lagrange multiplier: fa→λ.


In this case, the simulated robot behaves as if it interacts virtually with the same environment as the emulating robot does. In other words, the combined system of the simulator and the emulating robot is dynamically equivalent to the original target robot.


Calculating States of the Flexible Robot


To implement control law (10) the values of qr, qs, and their time derivatives are required. Vectors qr and {dot over (q)}r can be measured, but qs and its time derivative should be obtained by calculation. Consider the rheonomic constraint Φ(qr(t),qs)=0 whose differentiation with respect to time leads to

Js{dot over (q)}s=Jr{dot over (q)}r(t)={dot over (p)}r(t)  (14)


In the case that both robots have the same number of degrees of freedom, i.e., m=n, one can obtain {dot over (q)}s uniquely from the above equation. Subsequently, qs can be found algebraically through solving inverse kinematics Φ(qr(t),qs)=0, that is qs=Ω(qr(t)). Although, more often an explicit function may not exist, one can solve the set of nonlinear constraint equations numerically, e.g., by using the Newton-Raphson method, as elaborated in Appendix A. Alternatively, an estimation of qs, can be solved by resorting to a closed-loop inverse kinematic (CLIK) scheme based on either the Jacobian transpose or the Jacobian pseudoinverse.


Since the emulating robot is structurally rigid while the simulated robot is usually flexible, we can say n<m. Therefore, there are less equations than unknowns in (14). The theory of linear systems equations establishes that the general solution can be expressed by

{dot over (q)}s={dot over (q)}sp+Pξ,  (15)
where
{dot over (q)}sp:=Js+{dot over (p)}r(t)=Js+Jr{dot over (q)}r(t).  (16)

is the particular solution and Pξ represents the general solution of the homogenous velocity. In the above Js+=JsT(JsJsT)−1 is the pseudoinverse of Js, P is a projection matrix whose columns annihilate the constraints, i.e., JsP=0, and ξ∈Rn−m is the independent coordinate, which represents the self-motion of the robot.


Similarly, the general solution of acceleration can be found from the second derivative of the constraint equations as

{umlaut over (q)}s=P{dot over (ξ)}+Js+c  (17)

with c defined previously below (7). Now, substituting the acceleration from (17) into (5) and premultiplying by PT and knowing that that PT annihilates the constraint force, i.e., pTJsT=0 we arrive at

N{dot over (ξ)}=PThs+ν,  (18)

where N=PTMsP and ν=PTMsJs+c. Equation (18) expresses the acceleration of the independent coordinates in closed-form that constitutes the dynamics of the independent coordinates.


Now, one can make use of the dynamics equation to obtain the velocity of independent coordinate ξ by numerical integration; that, in turn, can be substituted in (15) to yield the velocity {dot over (q)}s. Subsequently, qs can be obtained as a result of numerical integration. However, since integration inevitably leads to drift, we need to correct the generalized coordinate, e.g., by using. the Newton-Raphson method, in order to satisfy the constraint precisely. Alternatively, an estimate of the generalized coordinates of the target robot can be solved by resorting to a closed-loop inverse kinematics (CLIK) scheme, where the inverse kinematics problem is solved by reformulating it in terms of the convergence of an equivalent feedback control systems. FIG. 3 illustrates the Jacobian transpose CLIK scheme to extract the generalized coordinates of a redundant system whose null-space component Pξ and qr are considered as input channels. The feedback loop after the integration of the velocity ensures that constraint error can be diminished by increasing the feedback gain. More specifically, assume that a gain matrix K is positive-definite and that the Jacobian matrix Js is of full rank. Then, the closed-loop inverse kinematics solution based on a control law {dot over (q)}s=Pξ+JsTKΦ(qs,qr(T)), see FIG. 3, ensures that the constraint error is ultimately bounded into an attractive ball centered at Φ=0; the radius of the ball can be reduced arbitrarily by increasing the minimum eigenvalue of the gain matrix.


To summarize, the robot emulation can proceed in the following steps:

    • 1. Start at the time when the entire system states, i.e., {qs,{dot over (q)}s,qr,{dot over (q)}r}, are known.
    • 2. Apply the control law (10).
    • 3. Upon the measurement of the emulating-robot joint angles and velocities, simulate independent states of the target robot by making use of the acceleration model (18).
    • 4. Solve the inverse kinematics, e.g., by using the CLIK, to solve the generalized coordinate of the target robot; then go to step 1.



FIG. 4 illustrates the implementation of the robot-emulation scheme with the application of the rheonomic constraint. Note that the target robot is modelled as a rheonomically constrained manipulator and the equations of motion are represented by the DAE system.


Flexible-Joint Case Study


In the case of a robot with flexible-joint, the generalized coordinates of the simulated flexible-joint robot are given by qsT=[qs1T qs2T], where vectors qs1 and qs2 represent the joint angles and motor angles, respectively. Since only the joint angles contribute to the robot end-effector motion, we have Φ(qs1,qr)=0, which implies that the Jacobian of flexible-joint manipulators should be of this form

Js=[Js1 0]  (19)


Assuming submatrix Js1 is invertible means that the joint variables can be derived uniquely from the mapping below

{dot over (q)}s1=Js1−1Jr{dot over (q)}r.  (20)


The independent coordinates, which are comprised of the motor rotor angles, should be obtained through simulation. The structure of Jacobian (19) specifies the projection matrix as









P
=


[



0




I



]

.





(
21
)







Moreover, the dynamics model of flexible-joint manipulators can be written as











[




M

s





1





M

s





12







M

s





12

T




M

s





2





]



[





q
..


s





1








q
..


s





2





]


=


[




h

s





1







h

s





2





]

+

[



0





τ
s




]






(
22
)







Finally, substituting the parameters from (21) and (22) into (18) yields N=Ms2 and ν=Ms21Js1−1c. Hence, the acceleration model of the independent coordinates is given by

{umlaut over (q)}s2={dot over (ξ)}=Ms2−1(hs2s+Ms12Js1−1c),  (23)

which can be numerically integrated to obtain {dot over (q)}s2.


Simulation Without Applying the Constraints


The robot emulation problem can be reformulated without imposing the kinematic constraint. Indeed, one can show that the control law can maintain the asymptotic stability of the constraint condition if the dynamics model of the emulating robot is accurately known. Assume that the constraint is no longer applied to the simulated robot. In other words, the dynamics of the target robot is described by (2), which is an Ordinary Differential Equation (ODE). Then, we can obtain the complete states of the target robot from integration of the acceleration

{umlaut over (q)}s=Ms−1(s−hs+JsTfa).


It can be readily shown that the dynamics of the constraint error under the control law (10) is described by

{umlaut over (Φ)}+Gν{dot over (Φ)}+GpΦ=0.  (24)


Therefore, by selecting adequate gains, the constraint error is exponentially stable, Φ,{dot over (Φ)}→0 as t→∞.



FIG. 5 illustrates the concept of robot emulation without the application of the constraint. Note that the simulator contains the dynamics model of the target robot in the ODE form.


Topological Difference Between the Two Robot-Emulation Schemes


Both emulation schemes establish identical force/motion dynamics between the end-effector of the emulating-robot and that of the target robot. The difference between the two schemes, however, lies in how the simulator is synchronized with the actual emulating robot. In the first scheme, FIG. 4, the end-effector pose of the simulated robot is rheonomically constrained with that of the actual robot, then the controller matches trajectories of the simulated constraint force, i.e. the Lagrange multiplier, and that of physical constraint force. In the other hand, in the second scheme, FIG. 5, the physical constraint force is input to the simulator and the controller matches the pose trajectories of the simulated and the actual robots. The former scheme requires that the simulated robot be rheonomically constrained and hence the simulator comprises a DAE system, whereas the latter scheme does not require the application of the constraint and hence the simulator comprises an ODE system. Ideally, both schemes should yield the same result. But in presence of lumped uncertainty and external disturbance, as shall be discussed in the next section, the first and the second schemes result in pose error and constraint force error, respectively.


Stability and Performance Analysis


Since there is small displacement during the contact phase, the velocities and centripetal and Coriolis forces go to zero and also the mass inertia matrices and the Jacobian matrices can be assumed constant. Hence we will proceed with the frequency domain analysis.


Effect of Disturbance


In practice, the fidelity of the robot-emulation is adversely affected by disturbance and sensor noise. Assume vector d capture the disturbance caused by error in the contact force/moment measurement, sensor noise, and lumped uncertainty in the robot parameters such as uncompensated gravitational forces and joint frictions. Then, the robot dynamics in presence of the disturbance can be written as

Mr{umlaut over (q)}r+hrr+JrT(fa+d).  (25)


In the following, the effect of the additive disturbance on the two schemes shall be investigated. In the case of the robot-emulation without application of the constraint, the dynamics of the constraint error (24) is no longer homogeneous. The transmissivity from the disturbance to the constraint error can be obtained in the Laplace domain by

Φ=s2Z(s)−1Mr−1d,  (26)

where







Z


(
s
)


=


s
2



s
2

+


G
v


s

+

G
p








can be interpreted as the admittance of the motion controller. It is apparent from (26) that decreasing the inertia of the emulating-robot makes the constraint error more sensitive to the disturbance and the sensor noise.


In the contrast, the robot emulation scheme with the application of the constraint naturally fulfills the constraint condition even in presence of the external disturbance. However, the simulated and the emulating robots may no longer experience identical constraint force. One can obtain the transmissivity from the disturbance to the force error in the Laplace domain by

ef=−Z(s)Qd,  (27)

where Q=MsMr−1 is the inertia ratio of the two robots. Adequate choice of gains implies that ∥Z∥α=1. Hence, we can say ∥ef∥≦ σ(Q)∥d∥, where σ(•) denote the maximum singular value.


The magnitude of the sensitivity of the force error to the disturbance depends on the inertia ratio; the higher the ratio ∥Q∥, the more sensitivity. Roughly speaking, choosing a massive emulating robot is preferable because that minimizes the disturbance sensitivity of the emulating system to sensor noise and disturbance.


Actuator Dynamics and Contact Stability


Practical implementation of the control law requires ideal actuators. In free space, the actuator dynamics can be neglected, because the fast dynamics of the actuators is well masked by relatively slow dynamics of the manipulator. In contact phase, however, where the velocity tends to be zero, the manipulator losses its links dynamics. In this case, the simulator and actuators form a closed-loop configuration which may lead to instability.


In the contact phase, the emulating-robot develops constraint force/moment as result of its joint torques, i.e. fa=−Jr−Tτr. The joint torques, in turn, are a function of the contact force according to the torque-control law (10). This input-output connection forms an algebraic loop which cannot be realized in a physical system unless the actuator dynamics is taken into account. In fact, the emulating-robot cannot produce joint torque instantaneously due to finite bandwidth of its actuators and time delay. Let transfer function H(s) represent the actuator dynamics, i.e., τr=H(s)τrc, where τrc is joint torque command. Then, the contact force developed by the emulating-robot is

fa=−H(s)Jr−Tτrc  (28)


Assuming negligible velocity and acceleration at the contact, i.e. {dot over (q)}r≈0. Then, substituting the torque-control law (10) into (28) yields













f
a

=



H


(
s
)




f
a


-


H


(
s
)





Z


(
s
)



-
1




Q

-
1




f
a


-


H


(
s
)





Z


(
s
)



-
1




Q

-
1



λ









=


-

L


(
s
)





(


f
a

-
λ

)



,







(
29
)








where L(s)=Q−1L′(s) is the loop-gain transfer function and L′(s)=H(s)/(Z(s)−Z(s)H(s)); recall that Z(s) and Q have been already defined in the previous section. It is clear from (29) that the actuator dynamics is responsible to form a force feedback loop which only exist if the actuator has finite bandwidth, otherwise the force terms from both sides of equation (29) are cancelled out.


According to the Nyquist stability criterion for a multi-variable system, the closed-loop system is stable if and only if the Nyquist plot of det(I+L(s)) does not encircle the origin. This is equivalent to say that there must exist a gain ε∈(0 1] such that

det (I+εL(s))≠0 ∀s>0  (30)

Since det(I+εL)=Πiλi(I+εL), λi(I+εQ−1L′)=1+εL′λi(Q−1), and λi(Q−1)=1/λi(Q), the stability condition (30) is equivalent to the following

εL′(s)/λi(Q)+1≠0 ∀s>0,∀i, ∀ε∈(0,1]  (31)


Let the actuator dynamics (or time delay) be captured by a first-order system








H


(
s
)


=

1

1
+


ω
a

-
1



s




,





where ωa is the actuator's bandwidth, i.e.,








L




(
s
)


=




s
2

+


G
v


s

+

G
p




ω
a

-
1




s
3



.






Then, the characteristic equation of (31) is given by











λ
i



(
Q
)



ɛω
a




s
3


+

s
2

+


G
v


s

+

G
p



0









s
>
0


,






i

,







ɛ


(

0
,
1

]







Since the inertia matrices are always positive definite, one expects that matrix Q is positive definite too. Assume that λi(Q)>0, Gp>0, and Gν>0. Then, according to the Routh-Hurwitz stability criterion, one can show that the above equation has no roots in the right-half plane if and only if λi(Q)>0 and













-


λ
i



(
Q
)






(

ɛω
a

)


-
1




G
p


+

G
v


>

0







i



,



ɛ



(

0
,
1

]









λ
max



(
Q
)


<


2


ω
a



ω
p






,




(
32
)








where ωP=2Gp/Gν is the bandwidth of the controller. The above development can be summarized in the following proposition


Assume matrices Mr and Ms represent the Cartesian inertia of the emulating and the target robots, respectively. Also assume that the control law (10) with bandwidth ωp be applied to the emulating-robot whose actuators have bandwidth ωa. Then, the emulating-robot can establish a stable contact if matrix Q=MsMr−1 remains positive-definite and its maximum eigenvalue is bounded by 2ωap.


The stability condition (32) imposes a lower bound limit on the ratio of Cartesian inertia matrix of the emulating robot to that of the simulated robot.


Since |λmax(Q)|≦ σ(Q), remarks 2 and 3 imply that the low disturbance sensitivity and contact stability requirements relating to Q are not in conflict.


Force Transmissivity


The Lagrange multiplier is no longer consistent with λ≡fa in presence of actuator dynamics. Assuming stable contact, one can show from (29) that the constraint force fa is related to the Lagrange multiplier λ by

fa=T(s

where













T


(
s
)


=



[

I
+

L


(
s
)



]


-
1




L


(
s
)









=



[

Q
+



L




(
s
)



I


]


-
1





L




(
s
)










(
33
)








is the transmissivity transfer function.


In presence of actuator dynamics, the force response of the emulating-robot depends on the inertia ratio of the two robots.


A high fidelity emulation requires that |T(s)| be flat over a wide bandwidth and then roll-off at high frequency. The graph of |T(jω)| for a scaler case is shown in FIG. 6 for ωp=10, ωa=25, and different values of Q. Note that according to (32), contact stability requires Q<5. It is evident from the figure that Q has to be sufficiently larger than the critical value Q=5 in order to avoid the resonance.


Design Considerations


The fidelity and the stability of the emulation scheme has been analyzed. In this regard, the inertia ratio of the two robots, Q=MsMr−1, turned out to be an important factor. Specifically, the analysis has yielded the following results:

    • 1. ∥Q∥>>1 makes the emulating system sensitive to force/moment sensor noise and disturbance; a low-noise force/moment sensor is required.
    • 2. λmax(Q)>>1 may lead to contact instability due to actuator dynamics and delay; a high bandwidth actuator is required.
    • 3. |Q|=1 minimizes actuation effort; a large deviation from one requires actuators with large torque capacity.


      Impedance Approach


So far the control approach proposed for emulating robot has been based on the premise that a perfect model of the manipulator and ideal source of joint torque, i.e. no actuator dynamics, are available. Therefore, the control system can trivially assign infinite stiffness to the manipulator thereby achieving dynamic decoupling of the simulator and the emulating robot systems which are in a closed-loop configuration. However, in practice, the motion control system of the emulating robot can only achieve finite bandwidth and stiffness and this scheme is susceptible to instability.


In accordance with the principles of the invention, there is described a μ synthesis based controller for shaping force response of a robot according to a desired response even with the presence of variation of the environment parameters (stiffness and damping). The performance is defined in terms of distance between the actual and desired force responses and also sensitivity to the force sensor noise, while the variation of the environment impedance enters as a perturbation. The H controller achieves robust performance and contact stability.



FIG. 2 shows the concept of emulation of the space robot. Dynamics of the space robot is numerically simulated and a real-time simulator drives a robot prototype which performs contact task. The contact force and moment resulting from the interaction of the real robot end-effector and the environment are measured by a force plate and the signals are feedback into the space robot simulator, which in turn, affects the control commands. Let νs and νr denote the end-effector velocities corresponding to the space robot simulator, and the emulating robot, respectively. Then, the objective of control is νr tracks νs in free-space and also in contact phase.


A Linear Model of Robots Interacting with Environment


Manipulators are generally non-linear devices, but the system dynamics can be well captured by linear system about a certain position of the end-effector provided slow operation. In the sequel, the analysis and design of robot emulation are cast in the framework of multivariable control in frequency-domain. The input-output behavior or the system consisting of the space robot and its controller can be described by (see Appendix C for a detailed derivation)










v
s

=


[




T
vs




-

Y
s





]



[



r





f
s




]






(
34
)








where νs is the velocity of the robot end-effector, r is the hand controller velocity command, and fs is contact force. Transfer functions Tνs and Ys represent velocity transmissivity and admittance of the space robot system—admittance is the inverse of impedance, i.e. Ys=Zs−1. The mechanical impedance relating the force and the velocity at the point of contact describes the environment dynamics as

fs=Zννs.  (35)



FIG. 7 demonstrates the robot-environment interaction in a closed-loop configuration. The input-output representation of the closed-loop system is given by so-called force transmission function as













f
s

r

=

T
fs


,


where






T
fs


=


Z
cls



T
vs



,




and








Z
cls

=



(

1
+


Z
v



Y
s



)


-
1




Z
v







(
36
)








is the so-called closed-loop impedance of the robot, that amounts to equivalent of serial impedances of the robot and the environment.


Let's define exogenous signal










w
=


T
vs



r
.




Then










Z
cls

=



f
s

w

.






(
37
)








Uncertainty Model of Environment


In essence, the contact dynamics emulation should be able to perform without incorporating a model of environment. However, the environment impedance enters into the system as a perturbation. Hence, in order to achieve an optimal performance, one need to characterize the impedance by an uncertainty model. The environment impedance can be adequately modelled by











Z
e

=

diag


{


(



c
i


s

+

k
i


)



1
s


}



,




(
38
)








where k and c denote the stiffness and damping coefficients. Now assume Z as a class of all impedances whose stiffness and damping coefficients are ki= kiki and ci= cici, where the signs and Δ denote the nominal value and uncertainty, respectively. Δki and Δci are bounded parametric uncertainties such that |Δki|≦γki and |Δci|≦γci. Now the transfer function of the impedance can be expressed in terms of the parameters uncertainty as

Zν= Zν(I+Δz)

where Δz belongs to the following uncertainty set







Δ
z

:=


{


diag


{




Δ
ci


s

+

Δ
ki






c
_

i


s

+


k
_

i



}


,




Δ
ki





γ
ki


,




Δ
ci





γ
ci



}

.





It is evident from above that the uncertainty is bounded over all frequencies, i.e. Δz∈H, which is an important requirement for robust control synthesis. Also, it is always possible to find a weighting function Wz∈H such that the uncertainty is normalized less than one, i.e.

Δz=Wz{tilde over (Δ)}z and custom charactercustom character≦1.


For practical relevance, it is more convenient to express the uncertainty in terms of damping ratio ζ=c/k, where ζ= ζζ and ζ= c/ k, i.e.







Δ
z

=



Δ
k

k




1
+


(

ζ
+


Δ
ζ




k
_


Δ
k




)


s



1
+


ζ
_


s








Let's assume the parameter variations be

103≦k≦2×106,
0.05≦ζ≦0.2,  (39)

that is k=106 and ζ=0.125. Hence








Z
_

v

=




0.125

s

+
1

s

×


10
6

.







FIG. 9 are Bode plots of Δz(s) for the above parameter variation. It is clear that the magnitude of











W
z



(
s
)


=



0.99

s

+
0.27


s
+
0.13






(
40
)








tightly bounds all of the variations in the uncertainty Δz.


Robust Stability Analysis


The sensitivity function S(L) and complementary sensitivity function

Δz=Wz{tilde over (Δ)}z and ∥{tilde over (Δ)}z≦1.


For practical relevance, it is more convenient to express the uncertainty in terms of damping ratio ζ=c/k, where ζ= ζζ and ζ= c/ k, i.e.







Δ
z

=



Δ
k


k
_





1
+


(

ζ
+


Δ
ζ




k
_


Δ
k




)


s



1
+


ζ
_


s








Let's assume the parameter variations be

103≦k≦2×106,
0.05≦ζ≦0.2,  (39)

that is k=106 and ζ=0.125. Hence








Z
_

v

=




0.125

s

+
1

s

×


10
6

.







FIG. 9 are Bode plots of Δz(s) for the above parameter variation. It is clear that the magnitude of











W
z



(
s
)


=



0.99

s

+
0.27


s
+
0.13






(
40
)








tightly bounds all of the variations in the uncertainty Δz.


Robust Stability Analysis


The sensitivity function S(L) and complementary sensitivity function S(T) of closed-loop associated with open-loop function L are defined as S(L)=[I+L]−1 and T(L)=I−S(L), respectively.


The robot with admittance Y(s) is robust stable (RS) with all environment Zν∈Z if

σ(T)|Wz|<1 where T=(1+ZνY)−1ZνY.


With the application of small gain theorem, we can say

RScustom characterσ(z)<1
custom characterσ(T)|Wz|∥{tilde over (Δ)}z∥<1

Emulating Robot System


A linear model representation of dynamics of the emulating robot system is given in FIG. 8A, where a real-time simulator capturing dynamics of the space robot in free-space issues end-effector motion commands to be tracked by the emulating robot. The motion tracking performance of the emulating robot controller is depicted by transfer function Tνr. The emulating robot admittance Yr is different from Ys. Therefore, when the emulating robot establishes contact, the contact force is fed back to the simulator through filter F in order to compensate the difference. Now let's consider the combined systems of the simulator and the emulating robot as a whole, as illustrated in FIG. 8B. Then, the system IO can be described by










v
r

=


[





T
vr



T
vs





-

(


Y
r

+


T
vr


F


)





]



[



r





f
r




]






(
41
)







In the above Tνe=TνrTνs and Ye=Yr+TνrF can be treated as equivalent velocity transmissivity and admittance of the entire emulating robot system. Similarly, the closed-loop impedance of the emulating system can be defined as












Z
cle

=



(

I
+


Z
v



Y
e



)


-
1




Z
v



,




where








Z
cle

=



f
r

w

.






(
42
)







Now the control paradigm is: Given identical environment stiffness in both systems in FIGS. (7) and (8), find stabilizing feedback F such that the two systems are equivalent.


That is the contact forces fr and fs in response to velocity command r are close as much as possible. A trivial solution to this problem exists when

Tνr≡1 and Yr≡0custom characterF=Ys.


In that case the emulating robot is totally transparent so that as if the simulation robot directly interacts with the environment. Note that this result is consistent with the ideal control system described in the previous section. However, in practice, this ideal specification can not be met as real robots have finite bandwidth and stiffness. Indeed, in the course of many experiments it becomes apparent that choosing F(s)=Ys(s) often leads to instability of the entire system. In the following, we cast the problem of finding an adequate force feedback F(s) in a H control synthesis.


Assume that the environment impedance belongs to a class of transfer functions, i.e. Zν∈Z. Then, the control requirements can be specified as follows:

    • 1. motion tracking, i.e. νr→νs.
    • 2. Matching force response of the emulating robot system with that of the target robot, i.e. min ∥ef∥ ∀Zν∈Z where ef=fr−fs is error w.r.t. a command r.
    • 2. Low sensitivity to the noise associated with force sensor.
    • 3. Contact stability ∀Zν∈Z.


Good tracking performance in free space doesn't guarantee νr tracks νs while the robot performs contact task. In the following we show that the second and the third requirements in the above are almost equivalent.



FIG. 8B shows the emulating system where the force sensor noise fdis enters as disturbance. Let's define Zc/r and Tfr as the closed-loop impedance and force transmissivity associated with emulating robot analogously to equation (36). Then, the sensitivity function to the noise is

Tfdis,fr=S, where S:=(1+TfrF)−1  (43)

is the sensitivity function of the closed-loop force feedback.


Control Design in the Frequency Domain


Given the emulating robot characterized by and admittance find the force feedback loop closed around the robot motion controller such that robot contact force response be to that of the target robot as closely as possible for a class of environment impedances. Besides the robot remains stable in the contact and the sensitivity of the output force with respect to the force plate noise is limited at will for all class of impedances.


The control design methodology in accordance with the principles of the invention is based on uncertainty representation and the performance specifications that are mentioned earlier. Let's z1 and z2 specify the exogenous output signals as

z1:=fr−fs and z2:=νs,

and w be the exogenous input signal. Then, the aforementioned control requirements can be met by shaping the closed-loop sensitivity functions Tw,z1:=wcustom characterz1 and Tw,z2:=wcustom characterz2 so that |Tw,z1(jω)|≦|W1(jω)| and |Tw,z2(jω)|≦|W2(jω)| over all the environment impedances, where weighting functions W1 and W2 are specified based on desired performance. More specifically, the control problem can be specified as finding a controller F(s) such that for all {tilde over (Δ)}z with ∥{tilde over (Δ)}z≦1, the closed loop system remains stable and besides the following performance criterion holds







min

F


(
s
)








[





W
1



T

w
,

z
1







(

P
,
F
,


Δ
~

z


)







W
2



T

w
,

z
2







(

P
,
F
,


Δ
~

z


)




]









The resulting controller will obviously ensure robust performance of the closed loop system against model uncertainty represented by {tilde over (Δ)}z. Note that in the above Tw,z1=Zc/e−Zc/s is the distance between the impedances and Tw,z2=S is the noise sensitivity of the emulating system.


Robust Stable Solution


A robust stable solution can be found that optimizes the performance for the nominal plant, while ensuring stability for all uncertainties Δz∈Δz. This problem can be formulated as a μ-synthesis problem based on the uncertain model structure FIG. 10 presented in the Linear Fractional Transformation (LFT) form. The generalized plant with inputs p, w, and u and outputs q, {circumflex over (z)}, and y, where {circumflex over (z)}1=W1, z1 and {circumflex over (z)}2=W2z2 and

{circumflex over (z)}T:=[{circumflex over (z)}1T {circumflex over (z)}2T], pT:=[p1T p2T], qT:=[q1T q2T].

Let the transfer function from [pTwTuT]T→[qT{circumflex over (z)}Ty]T be denoted by P partitioned as






P
:=

[




P
11




P
12




P
13






P
21




P
22




P
23






P
31




P
32




P
33




]






where










P
11

:=


[





Q
r

-
1



0




0




Q
s

-
1




]



W
z



,






P
12

:=

[






Z





_


clr



T
vr








Z
_

cls




]


,






P
13

:=

[





Q
r



T
vr






0



]


,








P
21

:=



W
1



[






Z
_

clr

-


Z
_

cls











0


0



]




W
z



,






P
22

:=

[





W
1



(




Z
_

clr



T
vr


-


Z
_

cls


)







-

W
z





]


,






P
23

:=

[





-
W




Z





_


clr



T
vr







W
2




]


,








P
31

:=

[











Z





_


clr



W
z





0



]


,






P
32

:



Z
_

clr



T
vr



,





P
33

:=


-


Z
_

clr





T
vr

.









In the above, Qr= Zν−1Zc/r and Qs= Zν−1Zc/s, where the bar sign denotes the nominal quantities corresponding to nominal environment impedance Zν. It is worthwhile noting that replacing the impedances with the force transmissivity transfer functions has two folds: it reduces arithmetic operations for calculating the elements of P. This results in a reduced order system that facilitates control synthesis. Also, form a practical relevant, the new notation makes experimental identification easier. This is because one have access to input/output signals of Zν but not to those of Yr.


The robustness and performance issues can be completely addressed by adding a fictitious uncertainty Δp through which feedback from output {circumflex over (z)} to input w is established. Then, robust performance is achieved if the lower LFT

M=F1(P,F)=P11+P12F(I−P22F)−1P21

is robust stable with respect to the structured perturbation Δ=diag{Δp,{tilde over (Δ)}z}. That is the structured singular value (SSV) has to be less than one, that is

μΔ(M)=[infΔ∥Δ∥|det(I−MΔ)=0]−1<1.


Quantity μ(M) is the size of smallest perturbation Δ that can destabilize the closed-loop system. Therefore, the objective of the μ-synthesis is to find a controller F(s) minimizing μ(M). μ(M) can be approximated by finding scale matrix D from the following











μ
Δ



(
M
)





inf

D

D






σ
_



(

DMD

-
1


)


.






(
44
)







This problem, in general, is a hard to solve due to non-convexity of resulting feasibility problems. However, it can be solved numerically by the D-F iteration. Assuming that {tilde over (Δ)}z=diag{δi}, we have

Δ:={diag{δ1, . . . , δn, Δp}:δ1, . . . , δn∈C,Δp∈Cn×2n}.

Define D to be the set of matrices D which commutate with Δ, i.e., satisfy DΔ=ΔD. That is

D:={diag(D1,d2In×n):D1∈Cn×n,d2∈C}.

Weighting Functions


The exogenous signal w is passed through filter Tνs (see equation (37)). Moreover, to normalized the force error requires that it is filtered by Tfs−1. This fact may suggest that magnitude of the weighting function should be selected as

|W1|=a1|TνsTfs−1|.

where a1 is scaling coefficient.


Robust Performance Solution


Robust performance means that the performance objective is satisfied for all possible plants in the uncertainty set, even the worst case plant. Again the system can be presented in a LFT form with uncertain model structure corresponding diag{{tilde over (Δ)}z,{tilde over (Δ)}zp}. The model structure depends on the structure of the environment-impedance matrix.


Example 1: Let's assume the matrix of environment impedance be diagonal, i.e., {tilde over (Δ)}z=diag{δi}. Then uncertainty is

Δ1:={diag{δ1I2×2, . . . , δnI2×2p}:δ1, . . . , δn∈C,Δp∈Cn×2n},

which specifies the scaling matrix D as

D:={diag(D1, . . . , Dn,In×n):D1, . . . , Dn∈C2×2}.

For the SISO case D={diag(D1, d2I),D1∈C2×2,d2∈C}. The μ-synthesis problem with the above structure can be solved by using the Matlab μ-Synthesis Toolbox.


Example 2: Let's assume that the environment impedance has no particular structure. Then, the uncertainty should have the following structure







Δ
2

:=


{



diag


{



Δ
~

z

,


Δ
~

z

,

Δ
p


}



:




Δ
~

z




C

n
×
n



,


Δ
p



C

n
×
2

n




}

.




Then








D
2

:=


{


diag


{


[





d
11



I

n
×
n







d
12



I

n
×
n









d
21



I

n
×
n







d
22



I

n
×
n






]

,

I

n
×
n



}



:



d
11


,

d
12

,


d
22


C

,


d
21

=

d
12
*



}

.





The Matlab μ-Synthesis μ-synthesis cannot handle the above problem. However, the minimization problem (44) can be transformed into the following LMI (Linear Matrix Inequality) problem

M*XM−Xβ<0,

where X=D*D>0, which can be solved by Matlab LMI Toolbox.


Experimental Validation


Consider a simple 1-dof (degree of freedom) robot case study to demonstrate the performance of the robot-emulation schemes with and without application of the constraints. It follows by implementation of the robot emulation on a 3-dof robot to demonstrate aspects of multi-axes case. In both cases, the objective is to change the dynamics of the actual robots, which are structurally rigid, in such a way that their dynamic responses resemble those of flexible-joint robots. In other words, the actual robot behave, either in contact phase or non-contact phase, as if there exist soft springs in their joints. Moreover, in order to create the zero-gravity condition in the laboratory environment, the gravitational forces are compensated by the controller.



FIG. 11 illustrates the 1-dof experimental setup consisting of a brushless electric motor (Inland Motor, model RBEH-02102-k02), an arm 20 mounted on the motor's shaft 22, and a load-cell 24 (Omega, model LCGD-100) installed at the work-site. The measurements of joint angle and tip acceleration are provided by a high resolution encoder (Precision Instrument, model R137) and an accelerometer (Endevco, model 7290A), respectively. The feedback loop runs at 1 kHz and the controller gains are chosen as Gp=350 and Gν=40. The accelerometer device outputs acceleration signal aout superimposed with gravitational acceleration, i.e.








a
out

=



p
¨

r

+

[






R
T



(

q
r

)



g





0



]



,





where matrix R(qr)∈R3×3 represents orientation of manipulator endpoint with respect to the vertical line and g=[00−9.81]T is the gravity vector. Hence, the acceleration signals can be retrieved from (45) if the orientation matrix is given. For the single-axis case, we have:

{umlaut over (p)}r=aout−9.81 cos(qr).


The dynamics of a 1-dof flexible joint arm can be expressed by







[





m

s





1





q
¨


s





1









m

s





2





q
¨


s





2






]

=

[





k


(


q

s





2


-

q

s





1



)


+

ζ


(



q
.


s





2


-


q
.


s





1



)









-

k


(


q

s





2


-

q

s





1



)



-

ζ


(



q
.


s





2


-


q
.


s





1



)


-


c
s




q
.


s





2



+


τ
s



(
t
)






]






where ms1=0.05 kgm2 and ms2=0.1 kgm2 are the link inertia and the drive inertia, l=0.3 m is the arm length, k=3.0 Nm/rad represents joint stiffness, ζ=0.1 Nm.s/rad is damping at joint, and τs(t) is real-time control input of the simulated robot—in this particular illustration, the control law is comprised of the resolved-rate controller accompanied with a force-moment accommodation (FMA) loop.


The dynamics of the rigid joint robot is simply described by

mr{umlaut over (q)}r+cr{dot over (q)}r+w cos(qr)=τr+fl

where cr=0.022 Nm.s/rad represents joint viscous friction, and mr=0.05 kgm2 is the collective arm inertia, and w=0.5 Nm is the maximum gravity torque. Since Js1=Jr=l, we have qs1≡qr. Hence the control law for the rigid robot which makes it behaves as a flexible joint robot can be expressed by

τr=cr{dot over (q)}r+w cos(qr)−fl+mrms1−1[{umlaut over (q)}s1+Gν({dot over (q)}r−{dot over (q)}s1)+Gp(qr−qs1)],
where
{dot over (ξ)}=ms2−1[−k(ξ−qr)−ζ({dot over (ξ)}−{dot over (q)}r)+τs(t)],
and
{umlaut over (q)}s1=ms1−1[−k(ξ−qr)+ζ({dot over (ξ)}−{dot over (q)}r)].



FIG. 12 demonstrates the performance of robot emulation in free space. A comparison of the endpoint position and velocity of the actual arm and those obtained from a pure simulation (dashed lines) demonstrates a good tracking performance. The performances in contact and transition phases are demonstrated in FIG. 13 for two cases: rigid environment and soft environment with stiffness of 700 N/m. FIGS. 13A and 13E show hand-controller (HC) input signals, which drive the simulated robot, while the remainder subplots illustrate the system responses. In order to make impulsive effect of contact/non-contact transition prominent, we choose a relatively high approaching velocity 0.1 m/s. Trajectories of joint angle and motor angle of the flexible-joint robot along with their velocities are depicted in FIGS. 13B, 13C, 13F, and 13G for a typical task with a sequence of non-contact, contact, and non-contact phases. A good match between the contact force and the Lagrange multiplier regardless of environment stiffness is demonstrated in FIGS. 13D and 13H. Trajectories of the force error ef=fa−λ are zoomed in FIGS. 14A and 14B at the instant of transition from non-contact phase to contact phase for the two environment cases. The figures evidence that the emulating-robot performs with high fidelity when operating in either contact or free space phases while, up to a lesser extent in the transition phase, particularly when dealing with a stiff environment.


In the next experiment, the rigid environment case for performing the robot emulation without applying the constraints to the simulator is considered. Trajectories of the hand controller command, the tip position, the contact force, and the constraint error are illustrated in FIGS. 15A, 15C, 15B, 15D, respectively. The latter evidences that the constraint condition is grossly violated in the contact phase due to insufficient impedance of robot controller; even though the controller attempts to cancelled out the perturbation term JrTfa. The implication of the constraint error is that the simulated robot virtually goes through the barrier which is physically rigid. In fact, the deviation of the constraint from zero in FIG. 15D with respect to the contact force in FIG. 15B amounts to a stiffness 1.6×103 N/m. This can be interpreted as the stiffness of a virtual environment seen by the simulated robot. That is the simulated robot behaves as if it interacts with the “soft” virtual environment, while the actual environment is rigid. This deficiency is avoided in the other emulation scheme by enforcing the constraints to the simulated robot. Thus, the pose of the simulated robot is always constrained by that of the physical barrier with which the actual robot interact.


Three-Dof testbed



FIG. 17 illustrates the 3-dof experimental setup. The robot joints are driven by geared motors RH-8-6006, RH-11-3001, and RH-14-6002 from Hi-T Drive accompanied by optical encoders. A multi-axes ATI force/moment sensor (gamma type) is installed at the robot wrist to measure contact force/moment. The emulating-robot is to emulate a flexible-joint robot with a joint compliance of [10 5 2]T Nm/rad and linkage inertia twice as much as its own. In this experiment, the feedback gains are Gp=480 and Gν=45, which corresponds to the bandwidth of 3.5 Hz. The flexible-joint robot is tele-operated using a hand-controller, and the robot control law comprises a resolved-rate controller accompanied by a force-moment accommodation loop similar to the previous one-dof case.


The first experiment involves testing performance of the robot emulating system in free space using an impulse response test. To this end, an excitation force is applied by a hammer to the robot end-effector; FIG. 18A illustrates the magnitude of the impulse force. The solid line in FIG. 18B illustrates the subsequent motion trajectory of the emulating robot end-effector, while the dashed line in the figure illustrates the predicted trajectory obtained from a pure simulation. A comparison of the plots evidences that the actual robot can accurately replicate the endpoint motion of the flexible robot in free space.


The performance of constrained motion of the robot is demonstrated qualitatively in FIG. 19 for a typical contact task. As can be seen from the pose trajectories in FIG. 19A, the robot starts moving in free space towards the barrier shown in FIG. 17. Having established contact with the barrier, the robot end-point can only move horizontally, because the vertical motion is constrained by the barrier; observe the flat segment of the y-axis component of the motion in FIG. 19A. Trajectories of the contact force signals, measured by the ATI sensor, and the Lagrange multiplier are depicted in FIGS. 19B and 19C, respectively. Note that the fy component of the contact force is produced by the elastic deformation of the environment, while fx component is mainly due to friction—the coefficient of the friction can be estimated from the ratio of the two force components that is about 0.2. The force/moment errors are illustrated in FIG. 19D. It is evident from the results that the emulating robot can produce high fidelity contact force/moment while performing the contact task. The emulating robot is also able to replicate motion of the flexible robot in a free space. However, the spikes in the plot of force error at time 3.5 sec. indicates that the emulating system exhibits less fidelity at the instance of transition from non-contact to contact phases.


Impedance-Matching


A hydraulic manipulator is used for emulation of the SPDM space robot. Although the control methodology is applicable to a multivariable case, we consider a decentralized controller assuming negligible cross-coupling among different channels of the robot impedance. In the sequel, all transfer functions are associated with the translational z-axis. The contact force/moment developed between the manipulator and environment is measured by a force plate installed on the ground.


In this test, the environment consists of a square plate which is mounted on the force plate by four poles. The stiffness of this environment is measured to be k=1.06×106 N/m and c=1.1×105 N.s/m that are close to the nominal values (39).


The design synthesis relies on the identification of the admittance of the emulating robot. The first step in identification process involves obtaining a sequence of input-output data. To this end, the robot grabs a peg and push the plate while a chirp disturbance signal is injected to the input. Matlab Identification toolbo were used to calculate the coefficients of a fixed rational transfer function to fit the data. Several parametric model were examined, and it turned out a 4th order system is sufficient to match the I/O behavior adequately. FIG. 20 illustrates some segments of the actual and estimated force signals at low and high frequencies; the estimated signal fits the actual data by 75%. The graph of the identified robot admittance is shown in FIG. 21 by the dashed-dotted line. It is evident from the plot that the robot exhibits a resonance at 15 Hz. The graph of the space robot admittance is also shown in the figure by the dashed line. The weighing functions are chosen as












W
1



(
s
)


=



3
×

10

-
7




s
3


-

3
×

10

-
4




s
2


+

0.1





s

+
0.14



s
3

+

20


s
2


+

140

s

+
210



,









W
2



(
s
)


=


s
+
0.8



1.1

s

+
0.009



,








and Wz(s) was previously derived in (40).


A μ controller was designed by taking into account the robust performance specifications for all possible variation of environment parameters, i.e. stiffness and damping, corresponding to (39). The solution was found by using Matlab Robust Control Toolbox based on the D-F iteration method. The μ upper bound obtained is less than 0.18, which shows the controller design effectively achieves the robust performance specified, in spite of the uncertain environment impedance.


The graph of |Yrcl| is depicted in FIG. 20 by solid line that demonstrates a good match with the desired admittance |Ys|. A comparison of the force transfer functions of the emulation system (solid line) with that of the space robot (dashed-line) are given in FIG. 23 for various environment stiffness. The bode plots show a good match between the two systems. Also, the noise sensitivity functions for various environment stiffness are depicted in FIG. 24. It is evident form the figures that the magnitude of the sensitivity functions are well bounded by functions |W2(jω)|−1 which is the desired disturbance attenuation factor.


It is also possible to develop a linear model for the SPDM space robot as follows. The linearized model of a flexible-joint robot assuming slow operation in the neighborhood of some set point q0 and {dot over (q)}0,{umlaut over (q)}0=0 can be expressed by

Ms{umlaut over (q)}s+Cs{dot over (q)}s+Ksqs=Dτs+JsTfs  (47)

where qsT=[q1sT q2sT], and q1s and q2s are the motor angles and joint angles, and







D
=

[



I




0



]


,






J
s

=


[



0



J

s





2





]

.






In the above, M(q0) and Js(q0) are assumed constant matrices, and Ks is the stiffness matrix. A Force/Moment Accommodation (FMA) servo loop is closed around a resolved-rate motion controller. The joint rate servo includes a PI controller, i.e.

τs=Kp({dot over (q)}*−{dot over (q)}1s)+Ki∫({dot over (q)}*−{dot over (q)}1s)dt,  (48)

and

{dot over (q)}*=Js2+(r−{dot over (x)}f),  (49)

where Js2+ generalized inverse of the Jacobian, and {dot over (x)}f is the filtered version of contract force

{umlaut over (x)}f=−σ−1{dot over (x)}f−1Kffs,  (50)

Kf and σ are the FMA gain and time constant.


Let's assume u and y be the system input and output as







u
=

[



r






f
s









]


,





y
=


v
s

=


J
s





q
.

s

.








Also, assume xT=[x1, . . . , x5] be the state vector, where x1=qs, x2={dot over (q)}s, x3=xf, x4={dot over (x)}f, and {dot over (x)}5=r. Then, substituting the control law (48) and (49) in (47) yields state-space representation of the system dynamics, i.e.

{dot over (x)}=Ax+Bu
y=Cx

where







A
=





[



0


1


0


0


0





-


M
s

-
1




(


K
s

+

DK
i


)






-


M
s

-
1




(


C
s

+

DK
p


)







-

M
s

-
1





DK
i



J

s





2

+






-

M
s

-
1





DK
p



J

s





2

+






-

M

s





2


-
1





DK
i



J

s





2

+






0


0


0


1


0




0


0


0



σ

-
1




0




0


0


0


0


0



]


,









B
=

[



0


0






M
s

-
1




DK
p



J

s





2

+






M
s

-
1




J
s
T






0


0




0




σ

-
1




K
f






1


0



]


,


and





C

=


[



0



J

s





2




0


0


0



]

.






Finally, the multivariable transfer function of the system is obtained from the state-space model as

[Tνs−Ys]=C(sI−A)−1B.


The invention permits the emulation of a target robot, say a space robot, operating in a complex environment by using. an actual robot. Although the actual emulating-robot is not dynamically equivalent to the target robot, the former is controlled such that the dynamical similarity is achieved. The emulation scheme aims to replicate the dynamical behavior of the target robot interacting with environment interaction without dealing with a complex calculation of the contact dynamics. Based on the uncertain model structure and the performance specifications, a robust performance is achieved using μ controller.

Claims
  • 1. A system for replicating the behavior of a target robotic manipulator with respect to a payload and worksite, comprising: a real-time simulator capturing the dynamics of the target robot manipulator; a mock-up of said payload and worksite; and an emulating robotic manipulator for interacting with said payload and worksite; said emulating robotic manipulator being controlled by said real-time simulator in a control loop to replicate the dynamical behavior of said target robotic manipulator in its environment by matching the impedance of the emulating robotic manipulator with that of the target robotic manipulator.
  • 2. A system as claimed in claim 1, wherein said control loop is a feedback loop.
  • 3. A system as claimed in claim 2, comprising a sensor for measuring at least one of the contact force and moment resulting from the interactive of said emulating robotic manipulator with its environment, and wherein signals from said sensor are fed back to said real-time simulator.
  • 4. A system as claimed in claim 1, wherein said emulating robotic manipulator is rigid and said emulating robotic manipulator is controlled by a non-linear controller.
  • 5. A system as claimed in claim 1, wherein said emulating robotic manipulator is rigid or flexible, and said emulating robotic manipulator is controlled by a linear controller.
  • 6. A system as claimed in claim 5, wherein said linear controller is a mu-synthesis controller.
  • 7. A system as claimed in claim 1, wherein the impedance of said emulating robotic manipulator is matched to the impedance of said target robotic manipulator as simulated by said real-time simulator, which is in a closed-loop configuration.
  • 8. A system as claimed in claim 1, wherein the endpoint pose of the simulated robot manipulator is constrained with that of the emulating robot by applying a rheonomic constraint to the real-time simulator.
  • 9. A system as claimed in claim 1, further comprising a controller applies a specified transfer function.
  • 10. A system as claimed in claim 9, wherein said controller is configured to: minimize the weighted distance between realized and specified force transfer functions; minimize force sensitivity; and maintain closed loop stability over a wide range of environmental parameters.
  • 11. A system as claimed in claim 1, wherein said control loop is based on a non-linear approach and matches the non-linear dynamic responses, and said emulating robotic manipulator is flexible or rigid.
  • 12. A system as claimed in claim 1, wherein the impedance of the robot can be captured by a linear model, and the control of the emulating robotic manipulator is effected in the frequency domain.
  • 13. A system as claimed in claim 12, wherein the impedance of the emulating robot is measured using spectral analysis.
  • 14. A method of replicating the behavior of a target robotic manipulator in its environment using an emulating robotic manipulator, comprising: applying a motion control law to the emulating robotic manipulator with sufficient bandwidth to allow adequate maneuvering in free space; obtaining the impedance of the target robotic manipulator; obtaining experimentally the open-loop admittance of the emulating robotic manipulator; and matching the impedance of the target robotic manipulator and emulating robotic manipulator.
  • 15. A method as claimed in claim 14, wherein the emulating robot is rigid, and the emulation is based on a non-linear model.
  • 16. A method as claimed in claim 15, wherein the emulating robotic manipulator is assumed to be rigid or non-rigid, and the impedance of the robotic manipulator is captured using a linear model.
  • 17. A method as claimed in claim 16, wherein said linear model is based on mu synthesis.
  • 18. A method as claimed in claim 16, wherein control is effect in the frequency domain.
  • 19. A method as claimed in claim 18, wherein the impedance of the emulating robotic manipulator is captured by spectral analysis.
  • 20. A method as claimed in claim 14, further comprising computing a transfer function to match the input/output behavior of the emulating robotic manipulator.
  • 21. A method as claimed in claim 14, further comprising: specifying a range of variation for stiffness and damping of the environment; building a parametric uncertainty model for the environment; and building a linear fractional transformation model based on the performance specification and said uncertainty model.
  • 22. A method as claimed in claim 14, wherein the impedance of the target robotic manipulator is obtained for a sequence of input/output data obtained by excitation of the emulating robotic manipulator in contact with its environment.
  • 23. A method for replicating the behavior of a target robotic manipulator with respect to a payload and worksite, comprising: providing a mock-up of payload and worksite; providing an emulating robotic manipulator which emulates the performance of the target robotic manipulator while interacting with said mock-up of the payload and worksite; and controlling said emulating robotic manipulator with a real-time simulator to maintain an endpoint pose of the emulating robotic simulator coincident with that of the target robotic simulator by applying a rheonomic constraint to the simulator.
  • 24. A method as claimed in claim 23, wherein the dynamical behavior of said target robotic manipulator in its environment is emulated by matching the impedance of the emulating robotic manipulator with that of the target robotic manipulator.
  • 25. A force feedback controller for an emulating robotic manipulator of a target robot, wherein, said force feedback controller is configured to: (i) build a parametric uncertainty model based on the range of variation on the stiffness and damping values in the environment;(ii) determine the open-loop frequency response of the emulating robot manipulator from a sequence of input-output data obtained by excitation of the emulating robotic manipulator in contact with the environment;(iii) compute the coefficient of a fixed transfer function to match the observed input/output behavior; and(vi) build a linear fractional transformation model based on a performance specification and the uncertainty model to achieve desired impedance and ensure contact stability.
  • 26. A controller as claimed in claim 25, wherein said controller is a mu-synthesis based controller.
US Referenced Citations (2)
Number Name Date Kind
5231693 Backes et al. Jul 1993 A
7403826 Aghili et al. Jul 2008 B2
Related Publications (1)
Number Date Country
20070073442 A1 Mar 2007 US