Sun Qiao PHD 1996
Sun Qiao PHD 1996
by
Qiao Sun
B.Sc.. Shanghai Jiao Tong I’niversity, 1982
M.Sc.. Shanghai Jiao Tong Cniversity. 1986
in the
D epartm ent of Mechanical Fngineering.
/-
" Dr. B. Tabarrok. D epartm ental Memlier ( D ept. of .Mech. F.ng.j
1 ttiversilv of \ ictoria
.All rights reserved. This dissertation may not be reproduced in whole or in p art. l>y
photocopy O f o ther means, without the permissioti of the autlior.
Supervisor; Drs. M. Nahon and I. Sharf
A b str a c t
Cooperative operation of multiple manipulators has been increasingly used in indus
trial automation, outer space and hazardous terrestrial applications. Moreover, the
model is derived for a flexiblc-link cooperating m anipulator system and the inverse
dynamics procedure for such a system is investigated. In particular, th e latter is di
vided into two subproblems — the force distribution problem and the inverse flynam-
ics problem for serial flexible-link manipulators. The approach chosen to the force
A stability analysis of the internal dynamics of the inverse dynamics system is also
the linearized system. .A stability approach to the force distribution problem is then
proposed which ensures stable behavior of the internal dynam ics system under the
condition th a t the num ber of elastic coordinates of the system is less than or equal
to the total num ber of redundant actuators.
Examiners:
T able o f C on ten ts
A b stra ct ii
T able o f C ontents iv
A ck n ow led gem en ts x
D ed ica tio n xi
N o m en cla tu re xii
1 In tro d u ctio n 1
1.1 B a c k g r o u n d ............................................................................................................ I
1 . 1 .1 System D e s c rip tio n ................................................................................. -1
1 . 1 .2 Introduction to Some P r o b l e m s ......................................................... 5
1.2 Research O bjectives.............................................................................................. 11
1.3 Review of Previous W o r k .................................................................................... 12
1.3.1 Dynamics of Constrained Multibody Systems .............................. 13
1.3.2 Work on Rigid-Link Cooperating M anipulators .......................... 14
1.3.3 Inverse Dynamics of the Flexible-Link M a n ip u la to r s ................... 1-5
1.4 Outline of the T h e s i s ........................................................................................... 16
2 D y n a m ics M odeling 18
2.1 I n tr o d u c tio n ............................................................................................................ IS
2.2 Kinematics ............................................................................................................ 19
2.2.1 Kinematics of a Serial M a n i p u l a t o r .................................................. 22
2.2.2 Kinematics of the O b j e c t ....................................................................... 28
2.3 Formulation of the System D y n a m i c s ............................................................ 30
T A B L E OF C O N T E N T S v
L ist o f T ables
I would like to thank my supervisors, Dr. M. Nahon and Dr. I. Sharf for th e ir
guidance, patience as well as their financial support thoughout the course of my
study. I would also like to thank my advisory com m ittee members for th e ir advice
and assistance.
the atm osphere and resources to make my study possible. My thanks also go to th e
professors and graduate students of the departm ent for many of the interesting and
To my motherland
and my parents
XI1
N om en cla tu re
c, position of the z'th contact point on the object relative to the mass
centre of th e object expressed in the fixed fram e
Bn body n
On origin of
Vn spatial velocity of Bn expressed in T n
v„ absolute linear velocity of 0 „
m„ degrees of freedom of joint n
Vn projection m atrix for joint n
uin absolute angular velocity of Bn
<Sv global interbody transform ation matrix for elastic degrees of freedom
of a single arm
rg position vector of O g expressed in the inertial frame
(a . d. 7 ) angles defining the orientation of the object
M„,re mass m atrix of Bn associated with equations for rigid motion and elastic
coordinates
M rr global mass m atrix of a single arm associated with global equations for
rigid motion and rigid coordinates
Mre global mass m atrix of a single arm associated with global equations for
rigid motion and elastic coordinates
Mee global mass m atrix of a single arm associated with global equations for
elastic motion and elastic coordinates
Dee global dam ping matrix for a single arm
Kee global stiffness m atrix for a single arm
T column vector of the actuator torques of a single arm
f[ ^ global generalized nonlinear inertial force of a single arm associated
with rigid coordinates
f[ ^ global generalized nonlinear inertial force of a single arm associated
with elastic coordinates
NOMENCLATURE xv
fext.r global generalized external force on a single arm associated with rigid
coordinates
fext,e global generalized external force on a single arm associated with elastic
coordinates
fw,r global generalized force resulting from the tip wrenches on a single arm
associated with rigid coordinates
fw.c global generalized force resulting from the tip wrenches on a single arm
associated with elastic coordinates
w tip wrench applied to the object by a single arm
f force components of the tip wrench applied to the object by a single
arm
in iBjv
f,r,w.r assembled generalized force due to tip wrench on a single arm associated
with rigid coordinates
NOMENCLATURE xvi
/ length of a beam
m mass of a beam
( Xp//
row vector of shape functions for elastic displacement in th e K direction
//(xp,f) elastic displacement in the fV direction of body fram e
v{t) transverse displacement at a nodal point
v'{t) slope at a nodal point
Cl first moment of mass of a single flexible beam
cross-product operation matrix of Ci
J 1 second moment of inertia of a beam
p density of a beam
NOMENCLATURE xvii
y output vector
optimization problem
b -2 right-hand side of the inequality constraints of optimization problem
X vector of design variables for the optimization problem
C damping ratio
/(x ) objective function
W weighting m atrix
coefficient m atrix of the linear part of a quadratic objective function
NOMENCLATURE xix
X* o p tim u m solution
x'*’ resultant components of the grasping wrenches
x“ internal components of the grasping wrenches
//(x ) objective function for minimum internal force scheme
/r(x ) objective function for minimum weighted norm of a ctu a to r torque
scheme
In tro d u ctio n
1.1 B ackground
Robotic systems are increasingly used in industrial autom ation, deep-sea exploration,
outer space and hazardous terrestrial applications. Common requirements for robot
manipulators to be applied in these situations are autonomy and dexterity. Moreover,
• enhanced reliability due to the fact th a t redundant m anipulators are norm ally
involved so th a t alternative strategies can be adopted by the system if a com
ponent failure is detected.
Figure 1 .1 illustrates the proposed Mobile Servicing System designed at SPAR Aerospace
Ltd.. in which th e Special Purpose Dextrous M anipulator (SPD M ) is attach ed to the
S p a c e Station
R em ote Manipulator System
(SSRMS)
Special P urpose
Oexterous Manipulator
(SPOM)
%
Mobile R em ote
Servicer B ase S y ste m
(MBS)
E lectrical/
E lectronic
C ontrol
EVA Work Station E quipm ent
Flight Telerobotic
S ystem (FTS)
Interface
Payload/ORU
A ccom odations
Support
A ssem bly
(PSA)
Mobile T ransporter
(MT) S p a c e Station Truss
MBS to MT Interface
where links of the m anipulators are designed to be long (due to the ineffectiveness of
the ground-based wheels and legs) and slender (since the micro-gravity environment
of space allows the gravity loads th a t dominate the design of ground-based mechanical
structures to be neglected) [1 ]. Structural flexibility therefore becomes a dom inant
.A. system of multiple manipulators could be very complicated in terms of its kine
m atic stru ctu re and dynam ic features. However, we do not intend to confront all the
problems th a t might stem from considering the most general model. Instead, we still
need to specify the system with some assumptions in order to highlight the essential
Usually, each m anipulator is capable of performing certain tasks in its own workspace.
However, multiple manipulators become constrained kinematically and dynamically
when they form closed loops through a commonly grasped object. When this hap
pens, the total num ber of degrees of freedom of the system decreases whereas the total
C H A P T E R 1. I N T R O D U C T I O N
arm P
arm /
arm /
num ber of actuators remains unchanged and the system is said to be red u n d a n tly ac
tuated. We also note th at general motion of the system in 3-D space is allowed while
the links may undergo bending, extension and torsion.
th a t some tasks which may be difficult or even impossible for a single m a n ipu lator to
accomplish can be performed by two or more m anipulators operating cooperatively.
Hence, a system of coordinated multiple manipulators is normally composed of several
C H A P T E R I. INTRODUCTION 6
Extensive studies have been carried out for rigid cooperating m an ip u lato rs. These
are prim arily related to motion planning, coordinated control and application software
[2]. On the other hand, studies of flexible-link manipulators are still in th e design,
D y n a m ics M od ellin g
Form ulating a concise description of the system dynamics is the first problem we
face. Although much research has been conducted on both rigid and flexible m u lti
body. constrained and unconstrained systems, a concise but effective d ynam ics model
suitable for the inverse dynamics analysis of a flexible-link cooperating m a n ip u la to r
system has not been formulated. On the other hand, in order to analyze and pre
dict the system behavior precisely, an accurate dynamics model is especially useful.
However, there always exists a tradeoff between model accuracy and co m p u ta tio n al
efficiency. From the standpoint of system control, it is satisfactory th a t th e dynam ics
C H A P T E R I. INTRODUCTION 7
model be sim ple to calculate and be reasonably accurate. In this study, finite element
m etho d is used to model th e elastic links of the manipulators. There is no limitation
on the n u m b er of elem ents used to discretize the flexible beams. However, in the
simulations carried out to illustrate the performance of inverse dynamics calculation,
flexible links are modeled by one or two beam elements as it has been shown by many
researchers th a t the first two modes of vibration are most significant [-3 ].
P la n n in g
both kinem atically {motion planning and tracking) and in terms of forces {internal
force control). Motion planning, in this case, differs from what is usually discussed in
single kinem atically redundant or non-redundant manipulators. Emphasis is placed
on coordination within the system rather than optim ality associated with individ
ual m anipulators. This involves avoiding collisions with other manipulators in the
workspace, determ ining the best set of contact locations on the object for each m a
nipulator [4], e.g., vectors c,. {i = 1___, P) in Figure 1.2. and defining a suitable
trajecto ry for th e object which minimizes the excitation of the system elastic modes
[5]. It is also necessary th a t the trajectory of the object lie in the common workspace
of all the m anipulators.
Once the motion is pre-planned for the object, manipulators are required to act
in a way to achieve the desired motion of the object. It is im portant to realize that
redundant actu atio n is an inherent characteristic, once the multiple manipulators
contact the common object. By definition, actuation redundancy allows for an infinite
set of actuation strategies. This may be beneficial since actuators may share the load
evenly so th a t th e overall load carrying capability of the system is enhanced. However.
C H A P T E R 1. I N T R O D U C T I O N 8
w ithout force coordination, actuators may act against each other. In the worst case,
th e m anipulators may crush or tear the object and even cause task failure.
system and contributes to the motion of the object. It can be uniquely determ ined
for a given object trajectory. By contrast, the internal force lies in the null space of
the grasp m atrix and produces a squeezing or tearing effect on the object. It is not
completely defined by the dynamics equations for the object. Therefore, the term
force control in the context of multiple m anipulator systems specifically refers to the
control of internal forces. It is necessary that the internal forces be controlled to avoid
excessive values even if the prim ary task is simply to track a predefined motion of the
object.
T he above leads naturally to the lorce distribution problem [9. 10. I I . 12]. It
is pu t forward for determining the set of grasping wrenches to be applied to the
object so as to achieve a predefined object motion and ensure satisfactory internal
forces. To define the grasping wrenches, the force balance equations, i.e.. th e d y n a m
ics equations of the object should be solved. ,-\s mentioned earlier, these equations are
underdeterm ined. Extra constraints need to be imposed to give a unic|ue solution.
Evidently, optimization techniques can be used to find the best solution. M ath e
m atical descriptions of the optimization problem need to be formulated to define a
C H A P T E R 1. I N T R O D U C T I O N 9
solution which minimizes a certain objective function while satisfying some equality
and inequality constraints [13]. T he force balance equations of the object co n stitu te
the prim ary constraints. They represent a set of linear equality constraints. D epend
ing on the requirements of the particular task and the system under consideration,
inequality constraints are optional. One practical concern with the cooperating m a
nipulator systems is the limited capacities of the actuators. W hen these are included
as constraints, dynamics equations of the manipulators are used to relate th e a c tu a to r
forces/torques to the grasping wrenches [14] so that linear inequality constraints in
terms of the grasping wrenches are formulated.
Com pared with setting up the constraint equations, formulating the objective
function is less straightforward. Firstly, it depends on the type of optim ization tech
nique to be adopted. Common choices for the objective functions are linear and
the minimal internal forces [15]. minimal power consum ption [16, 17] and optim al
load distribution within the actuators [10. 17, 12], .Attempts have also been m ade to
employ a weighted linear combination of the many objectives to obtain a combined
optimal performance [13], W hen the system exhibits structural flexibility, intuition
suggests th a t minimizing the system vibration may be critical for upgrading the per
formance of the system [IS, 19], However, it is not so obvious how this objective
should be formulated and how it can be related to other criteria already used in the
rigid case.
C H A P T E R I. INTRODUCTION 10
serial m a n ip ulators is its instability [20, 21]. This instability results from th e fact
th a t the jo in t-m o u n ted actuators and the required end-effector motion are coupled
by s tru c tu ra lly flexible links. Hence, there is a time delay for the end-effector to
react in response to a given joint actuation. Therefore, the causal solution which
determ ines th e joint actu ato r torques according to the instantaneous motion of the
end-effector exhibits high magnitude and frequency. This is likely to excite th e system
vibration an d result in unbounded values of dynamics variables. .Accordingly, Bayo
[2 1 ] developed a noncausal inverse dynamics solution for the joint actuator torques
which s ta r ts earlier and ends later than does the tip motion. This solution is shown
to be unique and stable [21]. However, the noncausal solution requires solving the
problem in th e frequency domain. This in turn results in extensive com putations for
the transfo rm atio n of the dynamics model, trajectory information and the solution
between th e frequency domain and the tim e domain. It is also necessary th a t the
com plete tim e history of the desired motion of the end-effector be known before one
starts solving th e problem, which is not always possible. Therefore, it would still be
desirable to find a causal solution with the stability issue resolved.
It hcLS been suggested by several other researchers th a t the stability of the inverse
dynam ics solution can be guaranteed if actuator forces/torques are applied at the
location where the trajectory is specified [22]. Very interestingly, we noted th a t
when m ultiple m anipulators act cooperatively on a common object, wrenches applied
by each a rm to the commonly handled object can be viewed as active forces and
torques applied to the other arms. This thought is supported by the fact th a t m any
C H A P T E R 1. I N T R O D U C T I O N 11
possible grasping wrenches exist to achieve th e given object motion due to the presence
which ensures a stable dynamic behavior of the system. In reality however, the
grasping wrenches have to satisfy the object dynamics, but the internal forces can
be chosen freely. We therefore propose as a goal of the force distribution scheme to
ensure stable dynamics of the system by appropriate selection of internal forces.
be appropriate for improving the tip trajecto ry tracking accuracy. Minimizing the
elastic accelerations helps to smooth the elastic motion and therefore reduces its
frequencies. It is worthwhile to experim ent with these choices and their combinations
as it helps achieve an effective force distribution scheme for flexible-link cooperating
manipulators.
To sum m arize the above discussion, this thesis primarily endeavors to answer two
questions: I) how does the link flexibility influence the force distribution problem in
coordinated multiple manipulator systems? 2 ) how will the inverse dynamics solution
for flexible-link m anipulator system be affected by the redundant actuation of the
system?
C H A P T E R 1. [NTRODUCTION 12
1.2 R e s e a r c h O b je c tiv e s
In light of the above questions, the principal objectives of th e proposed work are
summarized as follows:
1. A general and accurate model needs to be formulated to describe the dynam ics
of the system. T h e model will allow three dimensional large rigid-body m otion
and small superimposed link deflection. The model will be 'accu rate' in the
sense th a t all the nonlinear terms due to coupling between rigid and elastic
motions will be included.
2 . Based on the dynamics model, the inverse dynamics problem of serial flexible-
link manipulators will first be investigated to gain insight into the various as
pects of the inverse dynamics solution arising from relaxing the assum ption of
structural rigidity.
aspect of the inverse dynamics problem, and the possibility of improving the
dynamics behavior of the inverse dynamics system by varying the internal forces.
1.3 R e v ie w o f P r e v io u s W ork
In view of the aforem entioned research objectives, in this section, a detailed literature
review is presented on the related topics.
formulation [25).
rithm for a serial chain and with an explicit calculation of Lagrange multipliers, the
forces/torques required at th e a ctuated joints can be found. Based on the sam e idea of
"virtual cut'. N akam ura and Ghodoussi [27] derived the torques applied at the active
joints by projecting the generalized torque vector of the unconstrained tree-structure
system. This was accomplished with a linear map incorporating the .Jacobian of the
passive joints with respect to the active joints. The procedure elim inated the neces
sity of calculating Lagrange multipliers. These methods, however, have only been
used in the context of systems without redundant actuation.
Relatively little work has been done in closed-loop systems with structurally flex
C H A P T E R 1. [NTRODUCTION 14
ible members. Kim and Haug [28] derived a recursive formulation for the simulation
dynamics of a closed-loop Hexible-multibody system. C ut joint constraint equations
and the associated Lagrange multipliers are introduced to represent c u t joint reaction
forces and torques. Bayo et al. [29] extended Bayo’s inverse dynam ics algorithm for
Among the m any issues relating to the cooperative m anipulation by robotic arms,
the force distribution problem has received considerable a ttentio n. T h e presence of
Since uniqueness of the solution calculated with linear program m ing is not en
sured, discontinuity of the solution can be observed for small changes in the con
stra in ts [14]. By contrast, quadratic programming yields a globally (in the design
space) unique solution and proves to be more efficient. It has thus been used to m ini
mize the internal forces [15], the strain energy in th e object [32] and the power losses
[33, 9, 17]. Taking into account the different capacities of the arms for carrying the
loads, an optimal force distribution can be achieved by assigning different weights to
th e design variables in the objective function [10]. Noticing th a t only the objective
function is non-linear, Luh and Zheng [16] applied the approxim ate linear program
m ing m ethod to solve the non-linear programming problem. O ther researchers have
investigated the use of the 'p-ri^^rn approach' to solve the constrained optim ization
problem via unconstrained optimization techniques for multiple arm m anipulators
[ 12].
.A.S alluded to in the previous section, the major problem with the inverse dynamics
solution for serial flexible-link manipulators is th a t it may be unstable. To deal
w ith this problem, approaches can be classified into two categories: the non-causal
solution and the causal solution. The former approach was proposed by Bayo [21].
Kwon and Book [34] later improved this approach by reducing the com putational
not her difficulty with the inverse dynamics solution for flexible-body systems
C H A P T E R 1. I N T R O D U C T I O N 16
arises because of the coupling effects between the rigid-body motions and the elastic
deformations. In contrast to the rigid inverse dynamics solution, the nominal joint
m otion cannot be determined solely by solving the inverse kinematics equations for
the prescribed end-effector motion. Asada et al. [35] proposed to use a ‘v irtu al link
coordinate system ’ to decouple the kinematics from the dynamics of a flexible-link
m anipulator. They also assumed that all the joints follow a nominal predeterm ined
trajectory. C hang and Hamilton [36] also calculated the causal solution by using
an ‘equivalent rigid link system ’ to describe the rigid kinematics of the system . Xi
and Fenton [37] derived a causal solution by solving the kinematics and dynam ics
equations simultaneously and integrating them in the time domain. However, most
of these studies leave the stability issue unaddressed.
1 .4 O u tlin e o f th e T h e sis
th a t of the common object. Constraint forces and torques between the m anip u la
tor end-effector and the object are explicitly included in the dynamics equations in
view of their significance to the force distribution problem and actuation redundancy
resolution. Following Hughes’ procedure [38], derivations of the kinematics relations
between the end-effector and the variables representing the degrees of freedom of a
serial flexible-link manipulator are detailed. In particular, rigid and elastic .Jacobians
are formulated which map the configuration space velocities into the Cartesian space
end-effector velocities. .Also, the transpose of the aforementioned .Jacobians m ap the
C artesian tip wrenches into configuration space generalized forces.
C H A P T E R 1. I N T R O D U C T I O N 17
In C h ap ter 3, the inverse dynam ics problem is investigated for a serial flexible-link
m anipulator. We explore analytically the stability issue of the inverse dynam ics sys
T h e inverse dynamics solutions for the multiple flexible-link m anipulators are dis
cussed in chapter 4. In particular, redundancy in choosing the grasping wrenches and
in applying the actuator torques required in handling the object along a prescribed
trajectory are identified. Moreover, the degree of redundancy in determ ining the
grasping wrenches and in calculating the actuation torques are shown to be the same
as the num ber of components of the internal forces. .As a result, the inverse dynam ics
algorithm for multiple flexible arm system is presented in which tip wrenches arc
chosen to be the design variables.
In chapter 5, optimization techniques are discussed and used to solve the force
distribution problem. .After comparing the merits of using the linear and quadratic-
programming techniques, the latter is adopted. Objective functions are discussed with
an emphasis on tackling the particular problems of flexible-link cooperating m a n ip u
lators, th a t is, stabilizing and reducing the system vibration. Numerical exam ples are
carried out for each objective function. Comparisons of the inverse dynam ics solution
by using different objective functions are also made.
T he issues related to stability of the internal dynamics of the inverse dynam ics
system for a cooperating flexible-link m anipulator are further discussed in C hap ter
6 . These are particularly relevant to the inverse dynamics control of flexible ma-
C H A P T E R 1. INTRODUCTION 18
equilibrium points. Dynamics behavior of the original nonlinear system can be pre
dicted by examining the behavior of the linearized system . Accordingly, a stability
approach to the force distribution problem is proposed which, under certain condi
tions, ensures a stable dynam ic behavior of the causal inverse dynam ics systems.
Finally the conclusions are drawn in C hapter 7 together with recom m endations
for future work.
19
C h a p te r 2
D y n a m ic s M od elin g
2 .1 I n tr o d u c tio n
system for which modeling techniques have been well developed. In the second step,
both kinem atic constraints and the internal force relations at the places of virtual cut
are re-introduced. In this way. the original system with closed loops is recovered.
C H A P T E R 2. D Y N A M I C S M O D E L IN G 20
grasp, the m inim um num ber of virtual cuts is P — I. However, in order to facilitate
the analysis of the constraint forces and torques between the end-effector and the
object (grasping wrenches applied by the manipulators), we make virtual cuts at all
the places of grasp to allow us to explicitly include all the grasping wrenches in the
external end-effector wrenches. .\s well, we need to express the equations of motion
in a form which is suitable for the force analysis of multiple m anipulator systems
which will be discussed in chapter 4.
2 .2 K in e m a tic s
While form ulating the dynamics equations is the ultim ate goal of this chapter, e sta b
lishing the kinematics relations is an essential step. To start, we first define several
C H A P T E R 2. D Y N A M I C S M O D E L I N G 21
-n
-n -n
coordinate frames with respect to which the kinematic quantities (position, velocity
and acceleration) are expressed. Each of the frames is a three dimensional orthogonal
coordinate frame (F ig u re 2.2).
arm i Object
its origin located at the proximal end of the link. For link n (n = 0, I. • • • . N,)
of m anipulator i (i = the link frame is denoted by a n d the
origin and axes by ( 0 „,, K„,. In particular. X n , is o rien ted in the
direction along the line connecting the proximal and distal ends of th e link in
its undeformed state.
by { O s t , X e ,- YEl, Z e i ]-
denoted by { O g , X g , Y g , Z g } .
We also need to introduce the following definitions which will be used repeatedly
in this thesis.
of independent variables Çri, Çr2 , ' -, ÇrM which completely define the location
and orientation of each rigid body in the system. For a deformable multibody
system, the generalized coordinates are composed of Çri,?r 2 , " , <7rM and the
set of tim e-dependent variables (?ei, ?e2 , • • •, <?e5 used to approxim ately model
the elastic deform ation of the flexible bodies in the system . T he total number
of generalized coordinates is K = M 4 - S.
within the chain. Generalized coordinates used to model each body of the system
requires the third index. This becomes cumbersome. For this reason, we will omit
th e chain index i when we investigate a single serial m anipulator and will omit body
index n when we stud y the assembled multiple-chain system. In the latter case, each
serial chain is treated as a whole.
any case, advance knowledge of the desired o b ject trajectory is required, if not for
the whole task period, at least for a small interval of future time. In this situation,
the multiple manipulators are kinematically independent of each other. Due to the
rigid grasp, prescribing the object trajectory is equivalent to prescribing the motion
of each end-effector. Therefore, the kinem atics relations established in this section
are those relating the Cartesian space end-effector motion to the configuration space
generalized motion.
with respect to which the elastic deformations are expressed. Several ways of setting
up these moving frames have been proposed. Book [39] attached frames to the prox
imal end of every link and extended Denavit and H artenberg’s 4 x 4 homogeneous
mations of spatial velocities between two interconnected bodies. T heir method allows
for general interjoint motion, that is, arbitrary interjoint displacements and rotations.
Chang and Hamilton [36] used an equivalent rigid link system to represent the large
motion of the arm . The small motion of the sy stem consists of both small rigid-body
motion and elastic deformation. Asada ct al. [35] and Bayo et al. [29] assigned mov
ing frames to each body with one of the axes coinciding with the direction from the
C H A P T E R 2. D YN AM IC S MODELING 25
proxim al joint to the distal joint of the link in the deformed configuration. In this
way, rigid motion can be decoupled from the elastic deformation by assum ing th at
all joints follow their nominal trajectories obtained from the rigid inverse kinematics
solution.
configuration space, a direct method would be to derive equations for the end-effector
position and orientation in terms of the configuration space generalized coordinates.
For the purpose of inverse dynamics analysis, we are particularly interested in the
inverse kinem atics which determ ine the generalized coordinates corresponding to the
end-effector motion. Using the kinematics expressions at the coordinate level (posi
tion) has some disadvantages. One is th a t only for some specially configured rigid
m anipulators there exists a closed form formulation of the inverse kinematics solu
tion. T h e other is that even if a closed-form inverse kinematics equations can be
o btained for some particular manipulators, they are nonlinear functions of the gen
eralized coordinates. The generalized coordinates in the inverse kinematics problem
a d m it multiple solutions. For these reasons, the differential kinematics relations which
describe the differential changes of the position and orientation of the end-effector re
sulting from the differential changes of the generalized coordinates are advantageous.
T hese are linear algebraic equations. For rigid non-redundant m anipulators, a unique
For the present study, we adopt the notational scheme and definition of body
coordinate frames proposed by Hughes and Sincarsin [38. 40]. Small changes are
m ad e to some symbols in order to incorporate traditional robotics notation. .As
described in reference [38], the velocity kinematics between successive bodies and
(F ig u re 2.3) is:
C H A P T E R 2. D Y N A M I C S M O D E L IN G 26
n+2
r»+ l
A
o,
■ün+i — '7 * n + l . n W n + « ^ n + l . n 9 n , e + ”^ ^ + 1 9 n + I , r ( ‘- - 1 )
where a spatial vector Vn<E R® is used to define a combination of the absolute linear
and angular velocities of a moving frame expressed in its own frame. T h a t is.
Vn
v„. = ( 2 .2 )
Vectors R^" and R'""+‘ in eq. (2.1) are referred to as generalized ve
locities associated with th e elastic and rigid degrees of freedom, respectively. We
also use .s„ to denote th e num ber of elastic coordinates used to model the flexible
body S n and m„ for the num ber of degrees of freedom of joint 0 „ . T h e transfor
m ation matrices T'n+i.n'ë. and «S„+i.,iG as well as the projection matrix
7^„+ i G arc defined in .Appendix A. Conceptually, eq. (2.1) means th a t the
sp atial velocity of 'n the chain is the sum m ation of three effects: the first due to
the velocity of 0 „, the second due to the elîistic deformation of and th e last due
to the relative motion at th e joint On+i- Referring to F ig u re 2.4. we use eq. ( 2 . 1 ) to
define the generalized velocity of 13e in terms of variables of th e previous body. t3s-
C H A P T E R 2. D YN AM IC S MODELING 27
S.v
#
Be
Since it is always possible to assume that the end-effector is rigidly attach ed to the
last link of the chain, the spatial velocity of !Fe is
Using eq. (2.1) again to substitute for u.v into the above equation, we obtain
T h e sam e procedure can be applied to replace Uw-i and so on until the base body of
the chain is reached. In th at case, we obtain
ve = T'E.o'PoqQ^ + T e . i V x ^ + . . . + T e .n V \ r
Introducing vectors q^ and q , which combine the rigid and elastic coordinates re-
C H A P T E R 2. D Y N A M IC S M O D E L IN G 28
<70.r
9 l.r
<7r = 9, = (2 .6 )
^ N .r
r 7"
+ ■■■ 'T'e .N ^N.N -I S e ,N 9 o ,e 9ue “ •
Since usually the desired end-effector motion is prescribed with respect to a fixed
reference frame, we need to transform v e from IF e into the inertial fram e IFi by
pre-multiplying it by the generalized rotation m atrix C T h i s generalized
V = J r Çr + Je ( 2 .6 )
where J r and are referred to as the rigid and elastic .Jacobians. T hey are defined
bv
Jr = CeeTaSzS'e_s ( 2. 10)
where
T a = T E.Ü T ea ■ • T e .s (2 . 11)
2 .2 .2 K in e m a tics o f th e O b ject
As mentioned earlier, throughout this work, we assume th a t the motion of the object
is prescribed; th a t is, the position of O g and orientation oI b are known as a
function of tim e. One way to define this trajectory is by specifying, in the inertial
re
a
reit) = (2.13)
j
where both v g and w g are expressed in the inertial frame. While it is clear th a t
differentiating rg in eq. (2.13) with respect to time gives Vg. differentiating (a. 3. 7 )
C H A P T E R 2. D Y N A M I C S M O D E L I N G 30
however, does not yield Wg. To o b ta in th e spatial velocity in eq. (2.14) from eq. (2.13),
we need to consider the following
C g = f?^C g (2.15)
f? ^ = C g C ^ (2.16)
In the above, m atrix f2g represents a cross-product operation of Wg = [u;^ ujy ui-Y
and is defined by
0----- --- U l , Ü jy
— u jy L u 'x 0
and C g can be obtained from ( à . /?. 7 ). .A.Iso notice th a t in eq. (2.16), th e orthogo
nality of the orientation m atrix C g has been used, th a t is, Cg^ = C g .
D e f in e t h e E n d -e fF e c to r M o t i o n s
Once the object motion is defined, motions of the m anipulator end-effectors are com
pletely determ ined for the case of a rigid grasp as assumed here. .At each grasping
location, we have the following constraint equations:
r, = rg -f c, ( 2. 18)
Vg + Wg X c,
V, = ( 2.20 )
UJg
C H A P T E R 2. D Y N A M IC S MODELING 31
Differentiating eq. (2.20) yields the desired acceleration for the zth end-effector:
Vg + Wg X Ci -f Wg X (wg X c.)
Vi = ( 2 .21 )
Wg
which will be used as the prescribed trajectory for the m an ipu lato r end-effectors when
solving th e inverse dynamics problem for each chain.
2 .3 F o r m u la tio n o f t h e S y ste m D y n a m ic s
increases. W hen reviewing the literature, it becomes evident that both analytical
m ethods, such as Lagrange's equations [39. 42, 43] and H am ilton’s Principle [20],
and vectorial formulations, such as the .N'ewton-Euler equations [38, 44, 21], have
been used extensively to derive the dynamics equations for flexible m ultibody sys
tems. By assum ing th at the flexible bodies undergo small deflections (compared with
the dimensions of the link), linear theory of elasticity is usually employed. In fact.
Euler-Bernoulli beam theory is commonly adopted to represent m anipulator links.
T he dynam ics of a flexible body can be written relative to a moving frame which m ay
represent a rigid configuration of the body. .A continuous flexible body is typically dis
cretized an d approxim ated by a finite number of degrees of freedom. .Assumed modes,
finite elem ent m ethod or lumped parameters (masses and springs) are commonly used
for this purpose.
C H A P T E R 2. D Y N A M I C S M O D E L IN G 32
Considering the tree structure of the reduced system, dynamics equations need to be
formulated for the P seriai-chain manipulators and for th e object. In this section, we
is used to derive the equations of motion for elastic coordinates relative to the rigid
configuration. As a result, the motion equations for an elastic body are:
^ n . r e ’^ " T ?n,e "h ^^n.ee Qn.e T Kn.ee Qn.e ~ f nT.e T f nl.e (2.23)
fnT,r and /nT.e represent the total forces (constraint and external) on Bn- As before,
the subscript r stands for rigid, while e stands for elastic.
formulation of the chain dynamics [40]. The resulting global equations can be w ritten
in the following form:
Assuming th a t the manipulator is not kinematically redundant, the total num ber of
independent joint variables in is 6 while the total num ber of elastic coordinates
C H A P T E R 2. D YN AM IC S MODELING 33
and M re€ R ^^^ are mass matrices associated with the rigid and elastic coordinates
of the chain and the coupling between them ; D ^ G R ^ ^ ^ is the d am ping m atrix and
KeeG R^'^^ is the stiffness matrix; r G R® consists of driving forces a n d /o r torques at
the joints; vectors f^xt^r fext,e represent the effect of the external forces applied
to the m anipulator not including those due to the object, whereas and are
the generalized forces generated in reaction to the grasping wrench applied to the
object. Finally, vectors f [ and f [ ^ denote the non-linear inertial forces.
Eqs. (2.24) and (2.25) differ from those given in reference [40] in th a t the general
ized forces due to the external forces (other than the driving forces) are separated into
two parts: those due to the tip wrenches and those due to the o th er external forces
e.g., the gravity forces. This is because for a multi-arm system , we are particularly
Let w represent the grasping wrench applied to the object by the m anipulator,
expressed in the inertial frame and given by
f
w = (2.26)
n
Following the procedure used to assemble the chain (global) dynamics from the body
dynamics equations [38. 40], we first obtain the generalized force term s appearing
in the body dynamics equations of the last body in the chain. , to which the
end-effector is rigidly attached. We s ta rt by expressing the tip wrenches applied by
C H A P T E R 2. D YN A M IC S MODELING 34
f/V.tu
f N .w — (2.27)
and th e generalized force terms appearing in the body d yn am ics equations of Byv are
[38]:
^ N .w 1 0 ^ N .w
f N . w .t — =
^ N , E ^ N . w T H /v.iii " ^N .E 1 n /v .w
= ^ E , J V f N ,w (2.28)
/ /V .u ,.e •■= + © ^ ( r A ^ .£ :) n /v .u ,
f/V.m
(2.29)
nyv.u,
(2.30)
Substituting from eq. (2.27) and making use of the definitions for the transform ation
matrices T and «S, eqs. (2.28) and (2.29) become:
Then, the generalized force terms in th e global dynamics equations due to th e grasping
wrench are calculated from those in the body dynamics equ ation s of S,v by
fw .e = + /s . (2.34)
C H A P T E R 2. D Y N A M I C S M O D E L IN G 35
0 0
:
f^ ,w ,r — f E ,u /,e (2.35)
0 0
f N ,w ,r _ f N , w ,e
q uantities of all th e bodies in the chain. Definitions of 'T ^, «Sr and are given in
A ppendix A. O th e r th an th a t, the “assembled” (chain) matrix is obtained by placing
th e corresponding body matrices along the diagonal while the assembled vector is
formed by aligning the body vectors in sequence.
Expanding the m atrix multiplications in eqs. (2.33) and (2.34) and m aking use of
eqs. (2.9)-(2.I2). we obtain:
1 T 10
0
v j
f w .r — 1
0
N f iV.iL'.r
1
f iW.w.r — f UJ
v l v l
= —'P z ^'TJ\C e .i w = - J j w (2..3G)
C H A P T E R 2. D Y N A M I C S M O D E L IN G 36
Similarly,
cT ...
0 C>2 i 1 T N \ 0
tif.e - 0 1
cT n-T 0
•^ N ,N -l ^ N .N -X
0
f n . w .t
c T tj - T
0 • ^ 1 0 -^ N l 0
oT
0 0
‘^ 2 1 -^ N 2
+ : = : f
f n .w .t N .w .e
cT
0 0
^ N . N - 2 -^ N , N - 1
cT
f N .w .e • ^ N ,N -\ 1
o r /rT
N l 0
oT tj- T
^ 2 1 N 2 0
: '^ ^ .N ^ E .I 'W —
oT t^ -T
* ^ N . N - 2 -^ N . . N - 1 0
cT
< ^ N .N -1 1
T.W
= - { S s: ^ T \ C E ,I + S '^ j ^ ) w = -J :2.3T)
Eqs. (2.36), (2.37) and (2.26) represent closed-form relations between the generalized
forces and and the grasping wrench w . Substituting these into eqs. ( 2 .2 -1 )
and (2.25), the global form of the dynamics equations of each flexible-link m anipulator
can be written as:
M rr = "^ + f I.r + ~ ^ ( 2 -3 8 )
It is not surprising to note that the .Jacobian matrices which map the rigid and
elastic rates from configuration space to the Cartesian space also relate the generalized
C H A P T E R 2. D Y N A M I C S MODELING 37
Equations (2.38) and (2.39) represent a compact form of th e dynam ics equations
for a seriai-chain fle.xible-Iink manipulator interacting with the object through the
grasping wrench w . However, calculation of the mass m atrices, the stiffness matrices
and non-linear inertial force terms are quite complicated. T h e present work is based
on a model which includes all the nonlinear inertial term s arising from the coupling
between the rigid and elastic motions. Geometric stiffening effects are also accounted
for in calculating the stiffness matrix. The reader is referred to D am aren and Sharf
M
^ f, = m e ( v s - f g) - f„ (2.40)
1=1
.V/
^ ( n , -f c, -< f,) = IflWB -f <
jJ b X Ig w g — (n^ -r c, x f ,) (2.41 )
1=1
where all the vectors are expressed in the inertial frame. T h e scalar q u a n tity mg is
the mass of the rigid object, the matrix Ig is the inertia m atrix of the ob ject about its
mass center and g represents the gravity effect. Eqs.(2.40) an d (2.41) also quantify
the dynamic coupling between the individual manipulators since th ey contain the tip
forces f, and moments n, which represent the wrenches applied by each m anipulator.
These equations constitute the primary constraints on the force d istrib u tio n problem
as will be discussed later in the thesis.
38
C h a p ter 3
3 .1 I n tr o d u c tio n
In th e last chapter, the equations of motion for a multiple-arm system were formu
lated. Given the external forces, solving these differential equations to o btain the
m otion of the system is known as the forward dynamics. In contrast, inverse d y n a m
ics entails the calculation of the driving forces a n d /o r torques needed to achieve a
desired motion. More generally, the inverse dynam ics solution can be used in force
analysis, th a t is. the study of both driving forces and constraint forces at th e joints of
a m ultibody system for a specified motion of <i reference body. For robot m anip u la
tors, this reference body is normally the end-effector. For a multiple m a n ip u la to r and
o bject system , achieving a satisfactory motion of the object is a com m on concern.
the dynam ics and kinematics sim ulation problems. Force analysis is also a necessary
procedure in the design of a mechanical system. Probably the most prom inent appli
cation of the inverse dynamics solution is in the design of advanced control schemes
used for controlling multibody systems. In feed-forward compensation, th e a ctu ator
torques are calculated to track a prescribed end-effector motion [46, 47]. In feedback
control, the inverse dynamics solution provides an inversion of the system dynamics
[48, 49, .50]. This gives the control specialist a powerful tool with which he or she can
design stable and robust control laws for the motion control of m ultibody systems.
A lthough solutions to the inverse dynamics problem have been well developed
for rigid m ultibody systems [51. 26], these become substantially more difficult when
stru ctu ral flexibility in the links is considered. Normally, solving the inverse dynam ics
problem requires knowledge of the motion of the system, th a t is, not only the pre
scribed motion of the end-effector but also the corresponding desired motion in the
configuration space of the m anipulator. Then, solving the inverse dynamics problem
is equivalent to evaluating a set of linear algebraic equations where th e generalized
coordinates and their first and second derivatives are known as a function of tim e and
the a ctu ato r torques must be determ ined. The .Newton-Euler method has been used
and proven to be com putationally efficient for solving the inverse dynamics problem
in the rigid case. Nevertheless, with the same definition of the inverse dynam ics prob
lem, obtaining a solution for the flexible multibody system is not so straightforward.
One difficulty is that the desired motion in the configuration space cannot be
d eterm ined from the prescribed motion of the end-effector because of the unknown
deflections of the flexible components. These deflections are, in turn, dependent on
the external forces applied to the system including the a ctu ato r torques, which are also
unknown. It would seem, at this point, th a t there are more unknowns th a n equations
(dynamics equations) in the inverse dynamics problem for flexible-link manipulators.
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 40
To avoid this problem, we could use nominal joint trajectories obtained from the rigid
inverse kinematics solution so th a t the desired joint variables are known when solving
the dynamics equations [29, 35, 52, 53]. A more general m ethod is to include the
acceleration kinematics equations when solving the inverse dynamics equations [37]
so th a t no assum ption is made regarding the desired m otion in the configuration space.
W ith this m ethod, the inverse kinematics and inverse dynam ics problems for flexible-
link manipulators become coupled and the solutions for both the a ctu a to r torques
and configuration space motions are obtained. In any case, the inverse dynamics
solution for flexible-link multibody system differs from th a t for the rigid case in th a t
it requires integration of the differential equations to produce the configuration space
trajectory.
.\ not her difficulty with obtaining inverse dynamics solution for flexible-body sys
tems stems directly from the numerical integration of the derivatives of state variables.
Solutions of a set of differential equations may or m ay not be stable. It has been shown
th at the inverse dynamics solution for serial flexible-link m anipulators with zero ini
tial conditions is unstable [21, 22. 52, 54]. In this context, instability implies th a t the
method by dividing the solution into a causal and anti-causal parts and integrating
them separately. Realizing that an unstable inverse system implies a nonminimum
phase forward system which is further caused by the non-collocation of actuation and
end-effector motion. Asada et al. used a torque transmission mechanism to design a
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 41
collocated system [22]. Wang etal. proposed a delayed ad aptive inverse m ethod which
In this chapter, we focus our attention on the inverse dynamics solution for serial
flexible-link m anipulators. We begin this study with a single link case for which an
analytical formulation of the system dynamics is obtained. Both a state variables
description and an input-output description are established and the latter is used for
analyzing the stability of the inverse dynamics solution. Based on the analysis of the
single link arm and comparison of causal vs. non-causal solutions, we choose to use
the causal solutions for the inverse dynamics analysis of flexible m ulti-body system.
Finally, the causal inverse dynamics solutions are formulated for serial flexible-link
manipulators.
3 ,2 I n v e r se D y n a m ic s o f a S in g le F le x ib le L in k
tial equations. This in turn makes it easier to analyze the system behavior, and in
particular, the system stability.
by directly looking at the time evolution of the system sta te variables. It can also
be analyzed by studying the input-output relations th a t assigns to each input [56].
These two m ethods give different insights into how the system works and may lead
to solution of some of the problems from different angles. For an inverse flexible-link
dynam ics system , the o u tp u t driving forces are calculated in response to the input
prescribed trajectory of the end-effector. A natural question to consider is whether
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 42
inp u t-o u tp u t descriptions can also be obtained by direct m easurem ents when deriving
the dynamics equations is too complicated. For the present study, we will s ta r t with
deriving closed-form dynamics equations since this leads to analytical in p u t-o u tp u t
F ig u re .3.1 shows a single flexible link driven by a torque Ti at the hub while th e oth er
end of the link is free. The link is assumed to move in a horizontal plane a nd its joint
position is specified by The mass, length, and flexural rigidity of the link are m.
/ and E l respectively. .A, uniform cross section (a x k) of the link over the length is
assumed.
and a moving (body) frame. It is assumed that the height of the beam is much
g reater than the w idth i.e., a «C h. so th a t the vibration of the beam is constrained
to the horizontal plane. Also, the shear deformation and the rotary inertia, effects are
ignored for simplicity. .An arbitrary point P on the link can be located in th e moving
frame by [Xp, ijp). For simplicity, the deflection of the flexible link is modeled by a
single planar b e am element with two nodal degrees of freedom. .A cubic polynomial
shape function is adopted to express the transverse deflection of the beam which
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 43
m . I. E l
Yi
0.0
X,
satisfies the cantilevered boundary condition. By using the shape function m atrix
elastic displacement u of any point on the link can be calculated from the nodal
displacement by:
U= (-FI)
0 0 0
= * ( f) (3.2)
0 0 0
where ^ = x / l Ç. [Q, I] represents the location of a point on the link relative to the
joint. By defining the shape function m atrix ^ as in eq. (3.2). th e deflection of the
link takes place only in the Vj direction of the body frame and it can be calculated
as:
v( 0
(:j.3)
v' ( 0
El 12 - 6/
K ,„ (3.4)
P - 6 / 4/2
Following the derivation of the dynam ics equations as described in reference [40],
we calculate the mass matrices of the flexible link. The mass m atrix associated with
the unconstrained rigid degrees of freedom is given by
ml —
h^l.rr — (3.3)
cf J,
In th e above, c f is the cross product o p erato r of Ci, the first m om ent of mass. The
second m om ent of mass is denoted by J ; It should be noticed th a t these quantities
are calculated in the body frame, th a t is. th e moving frame (Ox, X \ . Y i ) attached
to th e joint of the link. In the present case, these are:
1 0 0 0
2 Irx 0 0
Cl = m 0 0 0 _nU (3.6)
Cl = J. = 0 lyy 0
0 0 ml 0
2 0 0 Ex
and
T h e mass matrices associated with the elastic coordinates and the coupling between
the rigid and elastic coordinates are defined by
-^rn l
M (3.6)
-^ m / 105
m
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 45
0 0
. 20^^ ~2Ô^
where r denotes the coordinates of point P in the link frame. Since the link is only
allowed to rotate in the horizontal plane a b o ut the Z\ axis, the projection m a trix is
thus defined as:
0 0 0 0 0 I (3.10)
- -
0 0
Vi
Vi = Vl = 0 UJl = 0 (3.11
UJi
0 01
.A. vector defined in the inertial frame will be expressed in the moving frame by pre
multiplying it by
cos^i sin 0 , 0
0 0 I
and the inter-bodv transform ation m atrix is calculated bv
in which r/i = 0 has been employed. The nonlinear inertial forces are given by
— ( mv 1
/i/.r — (3.14)
—(w(^ J i Wi +c(^u;j^Vi)
denoted with a body index, namely, 1 in the above are used to form ulate the body
dynamics equations. For a single link, there seems to be no difference between the
body dynamics and th e global dynamics except th a t quantities are expressed in dif
ferent frames. This is not really true with Hughes' and Sincarsin’s m ethod. Indeed,
in their method, equations describing the body dynamics are w ritte n in terms of the
derivative of the spatial velocity of the body frame whereas th e global dynamics for
To obtain the global dynamics formulation of the single link in the configura
tion space, the assembled projection and inter-body transform ation matrices and the
assembled mass, stiffness and inertial terms are as follows:
By including eq. (3.16). th e global mass, stiffness and the inertial forces are [40]:
M r e = r ^ M r . r e + M r . r e T " - f r ^ M r . r r T ' - f M ^ . e e
= Mi.ee (3.19)
— / l./.e = 0 (3.21)
Therefore, the global description of the dynamics of the single flexible link is obtained
as
M r r Qr + M re = T (3.23)
M g+ K g = Br (3.25)
w here
^ml 01
M = 9 = V
v'
(3.26)
0 0 0 I
K = ÿ- 0 12 —61 B = 0 r = [t \
0 - 61 \P 0
dynamics problem which we are interested in looking at. However, we will retain the
conventional definition for input and ou tp u t for now since the inverse system can be
investigated by simply reversing the input-output description of the forward system .
Therefore, r in eq. (3.25) is considered as the input to the system and the motion
of a point on the link as the o utp ut. T he o u tpu t trajectory of P can be defined by
th e angle Op measured from the fixed X / axis to the line connecting the joint with P
(F ig u re 3 .1). It is also the sum m ation of the rigid joint displacement and th a t due to
th e elastic displacement, the latter can be calculated by including eq. (3.3):
For reasons which will be mentioned shortly when discussing the properties of the
transfer function, we define the o u tp u t y as the angular acceleration of point P:
y = Op = C q (3.28)
C = € (3.29)
It is evident from eq. (3.27) that the inverse kinematics problem for obtaining the joint
inverse dynamics problem cannot be decoupled from the inverse kinematics solution
for even a single flexible-link arm. .As mentioned earlier, this certainly complicates
the inverse dynamics solution for flexible-link manipulators.
In the above, eqs. (3.25) to (3.28) represent a linear time-invariant system, which
is probably the simplest model one can assemble for a flexible-link m anipulator. T h e
advantage of obtaining such a model will be proven in subsequent sections where the
inp ut-o utp ut relation is established and. based on this relationship, the input-output
stabilities are investigated.
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 49
The method of Laplace transform can be used for solving linear differential equations.
It substitutes a relatively easily solved linear algebraic equations for the more difficult
differential equations. The transfer function of a linear system is defined as the ratio
of the Laplace transform of the o u tp u t variable to th e Laplace transform of the input
variable, with all initial conditions assumed to be zero. T h e zero initial conditions
imply th a t the system is assumed to be relaxed or at rest before an input is applied.
The transfer function of the single flexible arm is obtained from ecjs. (3.25) and
(3.28). rewritten with zero initial conditions as follows:
where Q(.s) is the Laplace transform of the generalized coordinates q while T(.s) and
V’(s) are those of the input r and the o u tp u t Op. In the present case, we have a single
input and a single output. Therefore. T{s) and V' (s) are scalar functions of .s. the
Laplace variable. Combining eq. (3.30) with eq. (3.31) and solving for V’(s) in terms
of T(.s). we obtain the transfer function //(.s) from input 7’(s) to the output } (.s) as:
K(.sj
f/(.s) = = ./^C (M s- + K ) - ‘B (3.321
T{s)
■Substituting cq. (3.26) into the above, and expanding, we derive the input-output
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 50
description as
D e f i n i t i o n 3 .2 (Poles)
Poles of a proper transfer function H( s ) are num bers (real or complex) which
give |/f ( s ) | = 00 .
D e f i n i t i o n 3 .3 (Zeros)
It can be shown that f l {s) defined by eq. (3.33) is proper since //(o o ) equals a
constant.
There are many notions and definitions of ‘stability" which are used for defining the
properties of dynamic systems. .\ system th a t is stable according to one definition of
stability may be unstable under some o ther definitions. Depending on the application,
ensuring a ‘stab le’ performance under certain definitions is more appropriate. For
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 51
o utp ut) stable system dem onstrates a bounded o u tp u t as long as the inp ut is bounded.
These are commonly used concepts in system analysis for control purposes.
For an inverse dynamics system, our prim ary concern is whether th e system is
BIBO stable or not. This is mainly due to the application of the inverse dynamics
solution. For example, when performing force analysis for mechanism design, we are
interested in determining the m axim um value of the forces needed to be tra n sm itte d
to the system and the m ax im u m constraint forces on each component in response to
a variety of required motions of the system. Boundedness of these forces is one of the
m ajor concerns. On the other hand, when the inverse dynamics solution is used as
part of the control scheme, boundedness of the a ctu a to r torques is essential.
T h eorem 3.1
A relaxed single-variable system th a t is described by a proper rational function
H{s) is BIBO stable if and only if all the poles of H{s] are in the open left-half
■s plane or, equivalently, all the poles have negative real parts.
T h eo rem 3.2
If all the poles have nonpositive real parts, but one or more have a zero real
part, the system will be BIBO stable if and only if all the poles having zero
real parts are simple roots (as opposed to m ultiple roots) of the characteristic
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 52
equation.
For analyzing the inverse system, we need to switch th e input with the ou tp u t
th a t was defined in Section 3.2.2. The input to the inverse dynam ics system is now
the desired m otion of point P , 9p, while the o u tp u t is the corresponding joint actuato r
torques r. Consequently, the transfer function for the inverse dynam ics system, H{.s),
can be obtained from th a t of the forward system by:
H( s) = l / H{ s ) (3.34)
.Also, H{-s) is a proper rational function since H{oo) ^ 0. This is the reason why we
define the o u tp u t of the forward system to be the acceleration of point P on the link.
Otherwise, the order of the numerator polynomial would be higher than th a t of the
denom inator polynomial and H{s] would not be proper.
(0.21(^ - 0.3( + 0.1 )m-.s ' + (88.2(^ - 226,8( + 122.4)m E/s^ + 1 5 l2 (P f)^ = 0 (3.35)
In the above, the scalar quantity is a known location of point P on the link relative
to the joint. It can also be interpreted as the relative location of the o u tp u t to the
input. We define
P= (3.36)
200
180
160
140
_ 120
S 100
80
(3.38)
Figure (3.2) depicts the value of the square root term in ec(. (3.38) as a function of
( € [0, I]. It is shown th a t this term is always a real positive number. Hence, p from
eq. (3.38) is always a real (positive or negative) number. It can be predicted th a t the
poles of the transfer function, calculated from
can either be a real num ber or a pure im aginary number depending on the value of
( (= .r//). We now consider the following Ccises:
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 54
1. f = 0
2 . f= l
This is the case where the tip trajectory is specified and th e a c tu a to r is located
at the joint. This is th e most general definition of the inverse d y n a m ic s problem.
T he poles of f l {s) are: ± 9 . 9 7 ^ ^ , ± 3 8 . 9 9 ^ / ^ . According to T h e o re m s 3 . 1 and
3. 0 < f < l
When the location of point P is moved from the joint towards th e tip of th e link,
values of pi o change from being both negative to both positive, which means
th a t the poles of / / ( s ) move from the imaginary axis to th e o p e n righ t-half of
the s-plane as ^ increases from 0 to 1. .A critical position where positive roots of
eq. (3.37) start to a p p e a r is found to be at = 0.529; here, th e s ta b ility s ta tu s
of the inverse dynam ics model changes from being stable to u n stab le.
From the above analysis, we conclude that stability of the inverse d y n a m ic s model
of a single flexible link described by eqs. (3.25) and (3.28) is directly affected by the
location of specified trajectory relative to the actuator. For th e p resent m odel, a
critical position exists where a change in the stability characteristics of th e sy stem is
observed. Indeed, for different approximate models, this critical position varies. W ith
a finite element discretization of the elastic link, the critical position moves towards
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 55
the a c tu a to r as the num ber of elements used to model the link is increased. Based on
this, we predict that with an exact (continuous) model of the link, a stable inverse
dynam ics system will only be obtained if the a c tu a to r and the specified trajecto ry
are collocated.
is th a t the forward system is nonm inim um phase. For a linear system, if th e transfer
function has zeros in the open right-half s-plane, the system is said to be nonm inim um
phase. In practice, the nonminimum phcise property often arises in a system where
there is a tim e delay between the input and the o u tp u t (measured by th e sensors). Ev
idently, when applying a torque at the joint of a flexible link, the tip of the link starts
to respond with a time delay. Assuming instantaneous response of th e tip motion,
the causal inverse dynamics solution calculates th e joint actuator torques according
to the desired tip motion at the same time instant. One can predict this torque to
be of high m agnitude and frequency in order to overcome the tim e delay. Such an
input signal is likely to excite the elastic vibration and eventually cause unbounded
a ctu a to r torques. This physical explanation agrees with the conclusion given by the
above analysis th a t collocation between the input and the o utp ut guarantees a stable
behavior of the inverse dynamics system.
3 .3 I n tr o d u c in g S o m e S o lu tio n s
Several m ethods have been published in the literature to generate stable solutions to
the inverse dynamics problem for flexible-link serial manipulators. These m ethods
can be classified into two main categories: the causal solution and th e non-causal
solution. T h e first group was introduced by Asada and his research group whereas
the non-causal solution was first proposed by Bayo. We now briefly discuss both of
C H A P T E R 3. S E R I A L - C H A [ N I N V E R S E D Y N A M I C S 56
these m ethods.
does not depend on input applied after time t, but depends only on the input applied
before and at tim e t. Otherwise, the system is said to be non-causal.
M otivated by the work of Spector and Flashner [54] who calculated zero locations
of th e transfer function of the forward system as a function of the sensor location
for tracking control of flexible arms. Park and A sada also investigated th e transfer
function for a single-link arm [22]. They assumed th a t actuation efforts could be
applied at an arbitrary point on the link. Therefore, they obtained the transfer
function for an input being the actu ato r torque and an o u tp u t as the tip trajectory.
.A critical position c was also found (F igure3.3) which separates stable and unstable
regions. They concluded that actuation efforts should be applied as close as possible
to the tip. They also pointed out th a t “as long as th e actuator torque is applied at
the joint and the endpoint is the control o u tp u t, the system is nonm inim um phase,
regardless of how the stiffness and mass of the arm are distributed". In consequence,
they proposed to design a torque transmission m echanism to transmit the torques
applied by the actuator located at the joint to a point within the stable region.
Figure 3.3 shows the basic idea of the mechanism design.
Outer Hub
(connected to motor shaft)
Joint A xis
Torque Application Point P
tip mass m
relation in the frequency domain. T he inverse Laplace transform of the transfer func
tion is known as the impulse-response H{t). The tim e dom ain o u tp u t y(t) can be
expressed by using the convolution of the impulse-response with the input u(t) as:
v(t) = [ H (t — X ) u ( \ ) d \ . (3.41
Jo
In fact, application of this m ethod implicitly assumes that the system is causal. Sim
ilarly, the fact th a t direct integration of the dynam ics equations in the tim e dom ain
only requires the past and the present information about the system also implies th a t
the system is treated as causal.
Because of the existing tim e lag between the joint actuation and the tip motion.
Bayo suggested that the actu ato r should act before the endpoint motion and continue
after it has been completed. Considering the a ctu a to r torques as the o u tp u t of the
inverse dynam ics solution and the desired endpoint motion as the input, this means
th a t the o u tp u t is anticipatory. Therefore, the inverse dynamics system for flexible-
link m anipulators is non-causal and direct integration of motion equations in th e tim e
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 58
M v + C v -h K v = T (.3.42)
Following B ayo’s notation, in the above, M , C and K are th e mass, dam ping and
stiffness m atrices. T h e column m atrix v = [Oh, xi, X2 , , x„, y]^ is composed of the
hub rotation angle Oh, n elastic coordinates x i, , x„ for m odeling the flexible link
using the finite elem ent method, and the tip displacement y. T h e la tte r is known as
the desired trajectory. T he column m atrix T = [r, 0, , 0]^ contains the unknown
torque to be applied at the hub. Next, the Fourier transform of eq. (3.42) is obtained
for a particular frequency u-' as:
where (•) denotes the Fourier transform of a variable. T h e above represents a linear
where T[u:) is the Fourier transform of the actuator torque r. Since ÿ{uj) represents
th e prescribed tip trajectory, the actuator torque is calculated in th e frequency dom ain
as
f(vu') = ff(w)ÿ(ù.) (3.46)
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 59
For a typical tra je c to ry defined over a tim e interval [ti, f?], this reduces to:
T he difference between the above equation and eq. (3.41) is readily seen. By using
eq. (3.48), the noncausality of the solution is captured. T h e existence and uniqueness
of the non-causal solution is proved by Moulin etal. [60]. However, we point out th a t
this m ethod requires advance knowledge of the prescribed tip trajectory for the whole
task period. Also, as com m ented by Bayo and Moulin [59], their solution requires
heavy co m p utation al efforts since it involves the fast Fourier transform, solution of
linear systems of complex equations, and the inverse fast Fourier transform.
F le x ib le M a n ip u la to r
.Although we were able to formulate and obtain analytical solutions for the inverse
dynamics equations of a single flexible-link arm, it is. in general, impossible to do so
for a general multiple-link arm. It is well known that the dynamics equations for a
multiple-link m an ip u lato r are time-variant and nonlinear. Analysis of the behavior
of such a system is very complicated and the method we used for a single flexible-link
arm is no longer valid. However, preliminary conclusions can be readily drawn for the
inverse dynam ics system of a multiple flexible-link arm based on the previous analysis
system.
same place as the specified trajectory, solution of the inverse dynam ics problem
would have better behavior than th a t of the conventional (noncollocated) case.
From the previous analysis of a single flexible-link arm, we know th a t the inverse
dynamics solution in which we seek a joint a ctuator torque to achieve a prescribed
tip motion is generally unstable. To avoid the instability of the solution, one way
is to collocate the actuators at the tip of the manipulator and obtain a causal so
lution. Another way is to transform the system equations into frequency domain
and solve for a non-causal solution. Both methods have been shown to be effective
with experimental implementations [22, 21, 29]. .A non-causal solution ensures s ta
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 61
ble solution but is computationally less efficient than a causal solution. However,
a causal solution, due to the instability, is not always applicable unless torques are
tra n sm itte d to a point close to the tip. Very interestingly, we notice th a t when m ul
tiple manipulators are handling a common object, wrenches applied by each arm to
the object can be viewed as active forces and torques on the o th e r arms. This can
be well illustrated by a two-arm system composed of one flexible and one rigid arm .
.Assuming both arms are away from the configuration singularities, the rigid arm can
be used to manipulate both the object and the flexible arm (through the rigid grasp
between the flexible arm and the object). In this situation, a ctu a tio n wrenches are
applied at the tip of the flexible arm through the rigid object by th e rigid arm. This
scenario implies a collocation between the actuation and the end-effector motion of
the flexible arm. Motivated by this observation, we propose to im plem ent the causal
inverse dynamics solution while seeking out a way of utilizing re d u n d a n t actuation to
stabilize the solution.
namics system may depend critically on the input trajectory assigned to the system,
in contrast to the single flexible-link case (linear system) where th e input-ou tp ut re
lations can be described, for example, by the transfer function, independently of the
input. For the present study, we will use smooth acceleration profiles to describe
trajectories of the object, starting and ending from rest.
.-\s mentioned earlier, the inverse dynamics and the inverse kinem atics problems are
coupled. Differentiating the velocity kinematics equation ( 2 .8 ). we obtain the accel
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 62
Û= Jr (3.49)
We repeat here the dynamics equations (2.24) and (2.25) from C hapter 2 for serial
m anipulators in the absence of the external tip wrenches as:
M r r Qr + M r , = T f j ^ + (3-50)
These are linear algebraic equations in terms of unknown variables q^ and r . .At
every tim e instant, the mass matrices, the stiffness m atrix and the non-linear inertial
and generalized external forces are calculated from the known states. Solving for q^.
q^. and r yields;
= J ; ' [ ( l -h (3.53)
9. = M - M - M ^ r 'â - t- f ) (3.54)
wher e
â — Û —J r ^ r — JeQe f — f/.ert.e ~ K . . Ç. ~ D .. 9 .
f / .c x « .r = f f.r A feit.r ft.ert.e= f [ , ^ A /.x t.t (3.55)
Mr. = Mr. - M rrJr'J. M .. = M .. -
In the above, we assume M . . is invertible. Therefore, eq. (3.52) gives the inverse
dynamics solution for actuator torques r . To forward the solution in time, integration
of q^. q^ and q. is required to calculate the initial states for the next tim e instant.
In fact, we can define a set of state variables to be
® = [<7r- 9 .T 9r (3-56)
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 63
T h en , the equations of motion in s tate space form can be w ritten as first-order dif
ferential equations:
where q^{Q) represents the static deformation of the links at the beginning of the
task. The right-hand side of eq. (3.57) is
(3.59)
Eq. (3.57) can be integrated numerically in tim e and in this way. a time history
of both a ctu a to r torques and the state variables are obtained which constitute the
inverse dynamics solution for a serial chain flexible-body system . Figure (3.4 ) contains
the flow chart of the algorithm for calculating the inverse dynam ics solution of a single
serial flexible arm . Through the following example, we will illustrate the solution of
inverse dynamics problem by using the proposed algorithm.
E x a m p le 3.1
F ig u re 3.5 shows a 3-DOF planar serial flexible arm. It is composed of three links
with the first (counted from the base) link flexible. The lengths of the links are 0.5/??.
0.5r?? and 0.1??? respectively. The geometric dimensions of the flexible link are shown
in F ig u re 3.6. and the inertia properties of the arm are sum m arized in Table 3.1. In
the table, we o m itted columns for /j,y. 1^: and since in the present example, these
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 64
Start
luitialization
9r(0)- 9 ,(0 ), 9r(0). 9 ,(0 )
from cq.(3.51)
Stop
Figure 3.4: C om putational .\lgorithm for Inverse Dynamics Solution of a Serial Flex
ible ,A.rm
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 6.5
Rigid Links
t= 0
Flexible Link
/7#7
a = G.3Ô
h = 38 11) n i
I = 300 n im
values are zeros for all the members. VVe model the flexible link by using two planar
beam elements with a total of four degrees of freedom to allow benfling in the plane
of motion. 1 he tip of the arm is refpiired to m<jve alone a circular arc during time
/ “ ]fj. I ft. It is also required that the tip of the last link point to the center ot the
circle during th<‘ inuvr. I sing a sinusoidal acceleration profile, the anele ot rotation
around the center of the circle is defined as.
h 1 .
o = —( t ----- sin(.x,-/1 ). •d.boi
COSO —sino 0
0 0 I
where
■As we are aware of. the actuator torques that we are going to obtain through the
causal inverse dynamics algorithm (F ig u re3.4) may be unbounded. Depending on
the properties of the input, the behavior of the inverse dynamics system may vary
significantly. For a desired tip trajectory as defined in eqs. (3.61)-(3.63). a larger
value of terminal time i f implies a slower maneuver. Letting t f = 100 sec and setting
the absolute tolerance used for numerical integration to e = 1 0 “*
’. the numerical
integration is carried out with an off-the-shelf routine LSODE. Results for the actuator
torques and the tip deformations of the flexible link are shown in F ig ure3.7. VVe
observe from Figure3.7 that the maximum value of the transverse tip deflection is
less than 0 .0 0 2 1 % of the length of the link because the maneuver is slow enough to
allow the arm to behave as 'rigid'. However, if we reduce the duration of the maneuver
to 90 sec. the actuator torques become infinite shortly after the maneuver starts. We
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 68
0.015 0.015
0.01
2 0.005, 2 0.005
too
H- 50
f(s)
-0.005
-0.015 -0.015
Base Joint
0.0025 0.00004
0002
0 0015
1.00002
:t).ooo5
100
-0 0005
-0 .0000 !
00000:
0 0015
^0025
E lb o w Joint
0 00001
too
Î0000025
-0.000005
10000075
W rist Joint
therefore conclude that the unboundedness of the dynam ic variables prohibits the
application of causal solutions to the inverse dynamics problem for serial flexible-link
manipulators.
As a comparison to the previous example, we now propose a hyp oth etical situation.
.Assuming a set of driving wrenches w to be applied at the tip of the a rm . we calculate
the time profiles of these wrenches necessary to achieve the sam e tip tra je cto ry used
in the previous example. Since the tip wrenches are collocated at th e tip of th e arm.
we expect the behavior of the inverse dynamics system to be improved. Combining
the dynamics equations (3.23)and (3.24), in the absence of joint torques r . together
with the acceleration kinematics of eq. (3.49), the driving tip wrenches as well as the
rigid and elastic accelerations are calculated, at every tim e instan t, according to:
W = - M^Jr'â) + MrrJr'â -
- R , M 7/ ( J 7 ‘â + J [ J r " 'f ; . „ ,. .) ] (3.64)
where
= M l -
E x a m p l e 3.2
for the tip driving wrenches and the deflections at the tip of th e flexible link are
shown in Figure 3.8. T h e left column in the figures corresponds to the maneuver
with t f = I sec while th e right column displays the results for t f = 0.5 sec. Higher
driving wrenches an d tip deflections are observed with the increeise of the speed of
the maneuver. C om pared with example 3.1, bounded solutions are obtained when
the arm is driven by tip wrenches for a much faster maneuver. Certainly, this means
th a t tip driven system s have much better behavior than the joint a ctu a te d systems.
One direct way of verifying the correctness of the inverse dynam ics solution is to
apply the forward dy na m ic s procedure by inputing the actu ato r torques obtained as
solutions of the inverse dynamics problem to the same dynamics equations under the
sam e initial states. If the ou tp u t of the forward dynamics simulation gives a response
of the system close to th a t of the input to the inverse dynamics procedure, the inverse
The other way which is also effective and probably more efficient is to keep track of
the error in the energy balance between the input and output of the inverse dynamics
procedure. W ithout using a separate procedure each time after the inverse dynamics
solution is obtained, this check is done within the inverse dynam ics calculations. By
o u tp u ttin g the profile of th e energy drift together with the solution of the a ctu ato r
torques and generalized coordinates, the inverse dynamics solutions are thus verified.
In case when the only external forces applied to the m anipulator are the a ctuator
lorc[ues, the input energy IT is obtained by integrating the power - which is given at
every time instant by
300
1000
200
500
100
05 0.75 0.2
•100
-500
•200
-1000
-300
-too
£
I £
§
j^ '
05
0 5
Η
(.2 5 0.75 0.3 ' 0 .5
0,5 l(S>
•10
•15
-20
0.015 0075
001 0.05
0.025
•0 . 0 1 0.05
■0075
Part of th e above energy is balanced by the dissipative influence such as the modal
dam ping and this can be calculated by
1 .
^ L 9 (3.68)
Assuming the system starts from rest, the error in the energy balance can be calcu
lated from:
where T ( t ) and V(t) are the kinetic and potential energies of the system. T h e kinetic
energy at any time instant is defined by
T= ^q^M q (3.70)
V = -q^KeNq. (3.71)
Not only can the error in the energy balance be used to verify the inverse dynam ics
calculation, it can also be used to assess the validity of the dynam ics model [1-5].
Furthermore, in the case of unbounded solution, a large error in the energy balance
must result since unbounded solution implies unstable system vibrations.
It is expected that the absolute value of the energy drift is related to the m axim um
total energy of the system during the maneuver. It is therefore natural th a t we
measure percentage error in the energy balance by comparing the error with the
m axim um energy of the system:
The root mean square value of the energy balance error is then obtained as:
eE.RMS = \/ (3.7:1)
C H A P T E R 3. S E R I A L - C H A I N I N V E R S E D Y N A M I C S 73
0.2
0 .1 5
*c
OO 0 .0 5
25 ICO
f (S )
-0 .0 5
•O.l
-0 .1 5
- 0.2
where I\ is the total number of points at which the output solution is saved.
F ig u re 3.9 illustrates the error in the energy balance between the input and the
o u tp u t for example 3.1. The root mean square value of the percentage energy balance
error is 0.07% while the peak value of the system energy is 0.0033 .1.
74
C h a p ter 4
In the preceding chapter, we discussed the inverse dynamics solution for a single serial-
chain fle.xible-link manipulator. In particular, we focused on finding th e actu a to r
torques required to achieve a desired motion of the end-effector. It was found th a t the
a ctu ato r torques needed to produce a prescribed motion of a non-collocated reference
body may be unbounded (at this point, we assume that the driving torques are applied
at each joint of the manipulator). Along the sam e line of thought, we define the
inverse dynamics problem for multiple cooperating manipulators as: given a motion
of the object, find the set of actuato r torques for all the arms which will generate
the desired object motion. In this chapter, we will first show that this problem is
underspecified meaning that the num ber of equations necessary to solve the problem
is less than the number of unknown a ctu ato r torques. Then, we will discuss in more
detail the relationship between the actuation redundancy and the degrees of freedom
in choosing the internal forces. Finally, we propose a computational algorithm for
calculating the causal inverse dynamics solution for a system of multiple roo peratin g
C H A P T E R 4. I N V E R S E D Y N A M I C S O F M U L T I P L E A R M S 75
4 .1 U n d e r d e te r m in a c y o f t h e P r o b le m
Repeating, from C hapter 2. the dynamics equations (2.38) and (2.39) for each of
the decoupled serial chains are:
-f 4- D „ q, + K ,, ç, = , - Jjw (1.2)
la the above. / ^.nd ^ have been used to denote the sum m ation of non
linear inertial forces and the generalized external forces (excluding the tip wrenchesi
which originally appeared in eqs. (2.38) and (2.39). If we include the acceleration
kinematics relations for each serial chain, eq. (3.49). and solve together with the above
equations for q^. q^ and r . we find:
where
J[ = Jf (4.6)
Com paring with the inverse dynamics formulation for the noncollocated joint actua
tion system as described in eqs. (.3.52)-(.3.54), eqs. (4..3)-(4..5) can be w ritten cls
9r = q'r+Jjw (4.8)
Qe = (4.9)
where r ' , g' and g' are as defined in eqs. (3.ô2)-(3.ô4). These quantities represent
the inverse dynamics solution in the absence of tip wrenches acting between the end-
effector and the object.
In the case of a rigid grasp, a given object motion automatically defines the motion
of the m anipulator end-effectors. Therefore, t ' . g(. and g' can be determ ined, at,
every tim e instant, from the desired motion of the object regardless of the grasping
wrenches applied at the end-effectors. The last terms in eqs. (4.7)-(4.9) then represent
the effects of the tip wrenches on the solution. In the following, we use E to denote
assembled quantities for P manipulators, for example.
It should be pointed out that although "S' was used in C hapter 2 to symbolize assem
bled quantities over bodies in a single chain, it disappears once the chain dynamics
equations have been obtained and each manipulator is treated as a whole. When
dealing with multiple arms, E ' is used to denote ‘global* quantities for the multiple
arms. Thus, assembling eq. (4.7)-(4.9) for all manipulators, we have
Tv = r ( . -i- 14.12)
C H A P T E R 4. I N V E R S E D Y N A M I C S OF M U L T I P L E A R M S iI
<7rv (4.13)
Qez = (4 .1 4 )
other through the object. The grasping wrenches have to satisfy the dynamics
equations of the object which are given by eqs. (2.40) and (2.41). These are rewritten
here as:
A ; Wr = bi (4 .1 5 )
where
1 0 1 0 ... 1 0
Ai = (4.16)
cf 1 c| 1 ... c ; 1
mg(vB + g) - fe
bi = (4.17)
I g w a + w g X Ig w g - (n^ + c, x f,]
In the above, the m atrix represents the cross-product operator of the relative
contact location vector c,. In the literature, matrix A i has been called the contact
force m ap [11] or the grasp m atrix [4j. Itcan also be w ritten as
VVe solve the inverse dynamics problem by evaluating eqs. (4.12)-(4.1.5) for r ^ .
Çrr And at every tim e instant. .Assuming is invertible, the constraint tip
wrenches W z can be further eliminated from equations (4 .12)-(4.15) by using
problem for the closed-loop multiple arm system can be obtained by solving th e linear
svstem:
A iJ jJ 0 0 bi + A[ Tr
1 0 = - JT,. j r J (4.21)
0 1 , - JÎE-’ r p ;
T h e right hand side of the above is dependent on the prescribed trajecto ry and the
present states of the system. The kinematic constraints at the points of contact have
been included in generating the free m otion accelerations and [II]. Hence,
eq. (4.21) accounts for all the necessary constraints imposed on the system when the
m ultiple serial chains are closed through grasping the common object. To confirm
th a t th e coefficient m atrix in eq. (4.21) is not rank deficient, we only need to m ake
sure th a t the first block entry is full rank. This is apparent since
-T \
rank( Ai J ,j^ ) = m in(rank(A i ). rank(J(^^ )) = m in( 6 . 6 P) 14.22)
VVe have introduced in C hapter 2 the symbol T.S', to denote the total nu m ber of
elastic coordinates in the assembled system. T hen, the num ber of unknown variables
in eq. (4.21) is 6 P + 6P + while the num ber of equations given by (4.21) is
6 4- 6 P 4- ES,. It becomes clear that once P > 1, i.e.. the system consists of more
than one manipulator grasping the object, the num ber of equations used to solve the
inverse dynamics problem is less than the n um b er of unknowns. Therefore, the inverse
dynam ics problem for a multiple arm system is underdetermined. The degree of this
underdeterm inacy is equal to the difference between the row and column dimensions
of the coefficient matrix in eq. (4.21). th at is. 6 ( P — 1 ). In o th e r words, a unique
solution of the inverse dynamics problem can only be obtained if additional 6 ( P — 1)
constraints are imposed on the system.
C H A P T E R 4. I N V E R S E D Y N A M I C S O F M U L T I P L E A R M S 79
4 .2 A c tu a tio n R e d u n d a n c y an d C o n tr o lla b le in
te r n a l fo r ce s
Imposing the closed loop kinematics constraints results in a loss of degrees of freedom
of the multiple arms. For a rigid grasp, closing each loop imposes six holonomie
constraints on the system, thereby reducing the total degrees of freedom of the system
by six. When all P arms are grasping the common object, they form P — I loops and
therefore, the num ber of degrees of freedom of the system is
n,, = 6 P - = 6 ( P — I) (4.24)
This number is called the degree of actuation redundancy and it is equal to the total
number of arm configuration degrees of freedom lost when the object is grasped. We
shall show that the degree of actuation redundancy is also equal to the num ber of
controllable internal forces that exist in the system.
Recall that in deriving the inverse dynamics equations (4.21). we elim inated the
constraint wrenches acting between the m anipulator end-effectors and the object.
This is a logical step to take if only the driving wrenches are of interest in the inverse
C H A P T E R 4. I N V E R S E D Y N A M I C S OF M U L T I P L E A R M S 80
moments at their end-effectors which, when pre-multi plied by the contact force map
give the right hand side of eq. (4.15). The redundancy of the grasping wrenches can
be readily observed since only six forces and m om ents are required to handle the
object, while the number of the components of the grasping wrenches is 6P.
Nakamura [8 ] proposed to decompose the contact forces and moments (the grasping
wrenches) into resultant ones and internal ones. T h e resultant forces are those which
contribute to the motion of the object while the internal forces represent th e squeezing
effect on the object. Physically, internal forces do not contribute to the work needed
C H A P T E R 4. I N V E R S E D Y N A M I C S OF M U L T I P L E A R M S 81
to move the object through a certain distance. We will use this fact to determine
these forces in the analysis below.
Let the manipulators apply the wrenches to, {i = 1. • • •. P ) to the object and
assume the virtual displacements at the contact points are 6 r . {i = I. ■■■. P) Ç R®.
The total virtual work done by the grasping wrenches is
SW = Y^6t Jw , (4.2.5)
1=1
From the kinematics relations, we know that is related to the set of independent
virtual displacements of the object S r ^ = [Svg where 6(f) is the orientation
virtual displacement. This is:
p p
For an arb itrary 6 rg. the sufficient and necessary condition for the virtual work to
vanish is:
AitOr = 0 (4.28 )
.Accordingly, the internal forces must lie in the null space of A i denoted by ,V( Ai ).
Introducing A ^ to denote the pseudoinverse of A i . the resultant wrenches are those
which lie in the orthogonal complement of iV(Ai). th a t is. the range space of A^
denoted as We have shown that Ai depends only on the relative position
of the contact points on the object and is always full rank which ecjuals the row
dimension ‘A A i . The pseudoinverse of A, can therefore be calculated by
A+ = A [ ( A , A [ ) - ‘t (4.29)
C H A P T E R 4. I N V E R S E D Y N A M I C S O F M U L T IP L E A R M S 82
T he decom position of the grasping wrenches satisfying eq. (4.15) can now be w rit
ten as:
=A fb i-f A fz (4.30)
In th e above, the first term on the right hand side represents the projection in the
range space of A ^ while the columns of A'^ constitute a basis for the null space of
A ;. The vector z € R_dimX(At) jg a rb itrary and it represents the freedom in choosing
d i m / ? ( A i ) = r a n k ( A i) = 6
=> dim :V (A i) = 6 ( P — I) (4.31 )
dim /?( A i ) + dim iV(Ai ) = 6P
In concluding the above, we have shown that the degree of actuation redundancy
equals to the degree of redundancy in determining the grasping wrenches which fur
ther represents the degrees of freedom in controlling the internal forces. Hence, in
the context of m ultiple cooperating manipulator systems, resolution of the actuation
redundancy, force distribution and internal force control are commonly used te rm i
nology. all referring to the same concept of resolving the redundancy in determining
the inverse dynam ics solution.
Figure 4.1 shows an example where two planar wrenches are applied to manipulate
an object in a vertical plane. planar wrench is composed of force components in the
A / and V/ directions and a moment about the Z/ axis, that is. w = [ / , fy n.]^. The
mg
K
O: X,
X
Z:
.\ssuming that the center of mass is at the mid-point of the line segment connecting
the two contact points, we have Ci = [—a 0 Oj^andco = [a 0 0]^. In this case, the
m atrix of contact force m ap (grasp matrix) is:
I 0 0 1 0 0
A i = 0 I 0 0 1 0 4.321
0 —a I 0 Ü 1
If the object is m aintained in static equilibrium, the right hand side in eq. (4.1Ô)
contains only the external force which is the weight of the object:
= 0 —{ —mg) 0 ( 1.33)
C H A P T E R 4. I N V E R S E D Y N A M I C S OF M U L T I P L E A R M S 84
I 0 0 0 - 1 0
0 I -a(o : + 1 )"' - 1 0 0
0 0 (o :-F l)-' -2 a 0 - 1
Af = (4 .3 4 )
1 0 0 0 I 0
0 1 a {a^ + I) ” ‘ 1 0 0
0 0 (a f+ l)-' 0 0 I
A ^bi — ^ 0 mg 0 0 mg 0 ( 4 .3 .3 )
which shows that only forces in the Y direction are necessary. T he internal forces
are:
A fz = '-1 -l-X
{'lazi + C3 -I -3
wliere z,, z-, and Z3 can be chosen freely. It is thus apparent th a t aside from the
resultant forces, there is an infinite number of internal forces which can be applied
to the object without affecting its motion. From eq. (4.36). the internal forces at the
two grasping points have to be equal and opposite in the X and Y directions while
the internal moments at the two points must satisfy:
.A.S a result, eqs. (4.35) and (4.36) are the decomposed orthogonal com ponents of the
4 .3 I n e q u a lity C o n str a in ts
Until now, we have only mentioned the prim ary constraints in solving the inverse
dynamics problem for m ultiple cooperating m anipulators, th a t is, th e dynamics equa
tions of the system. Indeed, since the inverse dynamics system satisfying only the
prim ary constraints is underdetermined, it is possible and even desirable th a t some
secondary constraints be taken into consideration in finding an op tim al solution. Most
commonly considered are th e limited actuator capacities which impose inequality con
straints on the solution for t ^. These can be compactly w ritten as:
|T s| < (4..3S)
where is a column m atrix containing the maxim um values of the torques that
each actu ator of all the arm s can generate.
(4.39)
(4.41)
— 4- (4.42)
The assembled inequality constraints for the multiple m anipulator system are then
A jW r > b j (4.43)
C H A P T E R 4. I N V E R S E D Y N A M I C S O F M U L T I P L E A R M S 86
with
0 0 0 r
J n
_rUm _
- J u 0 0 0
—r Urn
0 J 12 0 0
- r ‘^rn _
0 TT 0 0
—J l 2
A -2 = 62 = —T lim + To (4.44)
0 0 0
0 0 0
- r ' r - r'p
0 0 0 jjp
—r ,/im
+ Tp
yr -
0 0 0 —J l p
4 .4 C o m p u ta tio n a l A lg o r ith m s
Sum m arizing the above analysis, we have shown th a t the inverse d ynam ics solution for
a m ultiple arm system is not unique due to the actuation redundancy. T he existence
of this redundancy complicates the solution procedure. One approach would be to
set the torques for the redundant actuators to zero, once they ap p ea r in the system,
and find a unique solution for the rest of the dynam ics variables. However, a better
solution might be to optim ally use this redundancy to improve the d yn am ics behavior
of the system. To accomplish this, optimization techniques a n d /o r o th e r methods can
he used to obtain the inverse dynamics solution.
.-\s alluded to in the previous section, we include explicitly the grasping wrenches
in the inverse dynamics equations from which Tv, and are obtained.
C H A P T E R 4. I N V E R S E D Y N A M I C S OF M U L T I P L E A R M S 87
1 0 0 -J^ -^2
0 1 0 —
(4.45)
0 0 1 —
0 0 0 Ai . .
bi
T he strategy for resolving the actuation redundancy can be applied to the set
of design variables x (here, x = [rv Wv]^) while satisfying the constraint
equations (4.45) and perhaps (4.43) if required. Selection of the design variables
among these dynamics variables is indeed arbitrary. For example, we can also define
the design variable to be x = [r^- In this case, the prim ary constraints imposed
Once and have been determined, the variables q^^ and can be obtained
uniquely from the second and third equations in (4.45).
pact formulation is obtained by defining the design variables to be only the grasping
C H A P T E R 4. I N V E R S E D Y N A M I C S OF M U L T I P L E A R M S 88
wrenches. One reason for this choice is that the grasping wrenches are particularly
im p o rtan t in the performance of the inverse dynamics system. .A.Iso, none of the other
three variables can be determ ined without knowing the value of . And finally, any
cost function formulated in term s of the other variables, namely, r ^ . and q^^
can be-easily written in term s of because of the linear relationship between these
variables and the grasping wrenches. Therefore, the num ber of the design variables
in our formulation is 6P and the primary constraints on the redundancy resolution
are reduced to:
AiX = hi (4.47)
Once the grasping wrenches have been determined, actuator torques and rigid and
elastic accelerations can be obtained from the algebraic equations (4.r2)-(4.14 ).
In conclusion, a flowchart of the algorithm for solving the inverse dynamics prob
lem for a multiple-arm system is proposed and shown in F ig ure4.2. It can be seen
from the flowchart that the solution to the inverse dynamics problem for multiple co
operating flexible arm systems is composed of two parts: the redundancy resolution
and the inverse dynamics solution for serial flexible arms.
.A.gain, the percentage error in the energy balance and the root mean square value of
the energy drift are used to validate the inverse dynamics solution. The work done
by the actuator torques of a multiple-arm system is thus given by
H ' = - dt (4.481
Jo
The dissipative work function becomes
^ (4.49)
C H A P T E R 4. I N V E R S E D Y N A M I C S OF MU LT IPL E A R M S 89
Inpiii
üfl.
Out ptit
The kinetic energy th a t the system possesses at every tim e instant should include
I
^ + Vgmgvg 4-w g l g w g ) ( 4.5(11
The potential energy of the system due to the elastic deformation of the links is:
I
(4..51 i
.Assuming the system starts from rest, the error in the energy balance at every tim e
instant is of th e sam e form as introduced in eq. (.3.69):
£ (0 = (T (0 + V ( f ) ) - ( H ' - H ; )
The percentage error and the root mean square error, respectively, are calculated
according to eqs. (3.72) and (3.73).
I
CHAPTER 90
4 .6 E> S - t o -?
I '•la o - * which
1 i, : 1l : ' planar
simulations c
1.
and a 3D flf mg r =. oulator
4 .6 .1 P I
by harmonic- ithms
direct-drive i placed
joim of each 1
I
9
I
C H A P T E R 4. I N V E R S E D Y N A M I C S O F M U L T IP L E A R M S 90
4 .6 E x a m p le s o f C o o p e r a tin g M a n ip u la to r s
present analysis and the proposed algorithm are not limited to d u a l-a rm systems.
The physical model of this prototype is the Hexible-Unk cooperating m anipulator test
direct-drive motors to actuate both arms and model the motors as rigid bodies placed
at the joints. To sim ulate a general planar motion, we attach a rigid link to the third
joint of each arm to represent the end-effector.
Special design of the arms allows the first two links of each arm to be interchange
able. Therefore, each arm can be assembled to have both links flexible, or one flexible
and one rigid link, or both rigid links. This allows us to investigate th e effect of differ
ent mechanical compositions of the arms on the dynamics behavior of the system and
on the difficulty of controlling it. The notation used to describe a p articu lar setup is
C l l A P T E R !. I S V E R S E D Y S A M I C S O F M C L T f P L E A R M S ‘M
I ' l i f u f i ' l . l i l l u ' i f. ' iii' > I In- ; i n l i i i i ' i - i i i n - I l f I In- p k i n a r i | n , i ! . n : ! . . , m i . >11i m i , y
I In- i i n- i I i.i p f i i p i T ' n ' <>1 r . n ' l i > u n i p n i n ii! u t ' h r a n i i l i a. ' I n ' i ' f ' I i d w i i in l . i l i l i ' ■!.
I I n ' 1 >11 |i 'I I I I I l l ' l l |i '! I 'I I i ' .1 I l u l l I a In I II I i i i i i n I >a f u i I li i l i r l n l l n ' a . i i n i p i 1 i p i 'i t n ' :
I n i ' n i < i n ! | i i i ! a i i I f ' .111- i i ' i | n n r i l i n r n i . i i i ' i I n ' . i h i i n i n u i n i m : . r ' l . n i i ;i ' ii'n'i-; ,
inn" I l i n m u l l ' Ml" 1 K i r k w i ' i ' i n '<'r<anU. I In'ii'Ini'i'. I In' p> I ' i i ii ai >>1 i I n ' 1:i . i " > , n i .
Ill 11 n ' I ill j c r I fi 'II in I I I ' i i i i i ' l a i i i . ' i i i m n i i l a l . n n n ' l r i a i n ai p n i l i l r ■' i i ' i '> I i n | n'i n I m 1 •
C H A P T E R 4. I N V E R S E D Y N A M I C S O F M U L T I P L E A R M S 92
Yi
<Pb . Xi
Arm-1 Arm-2
nW n
Integrating the above twice yields the prescribed angular velocity and displacement
for the object:
T 7T 1
Ob = j - j(f - -sm(7r<)) (4.54)
Each flexible link is modeled with two planar beam elements with two degrees
of freedom per node, representing the transverse displacement and th e slope of the
beam . Therefore, each flexible link has four elastic degrees of freedom since the links
are cantilevered at th e joints.
4 .6 .2 3D D u a l-A rm
Figure 4.-5 shows a drawing of a serial 3D flexible arm . T he forearm and upper arm
(the two shaded links in the figure) are considered to be flexible and have the following
properties:
1. Geometric Properties:
Length: 1.0 m
Cross Section: 18mm x 18mm
2. Stiffness Properties:
E l: 603.17 i\-m^
EA: 2.23 X 10' N
(: 0.005%
4. Inertia Properties:
Mass: 0.878 Kg
Cf : 0.439 Kg-m
<y- 0
r-: 0
< 7 rl
We consider another 3D arm with the same architecture except that the flexible
links are replaced by rigid ones. This rigid arm will cooperate with the flexible arm.
The object is th e same one as introduced earlier for the planar arm (F igured. 6 ). Each
flexible link is modeled using two 3D beam elements. Bending deflections in the .V —V
plane and A" — Z plane of the moving frames fixed to the links (with .V axis along
the length a nd Z axis of rotation) are referred to as the in-plane and out-of-plane
bendings respectively. Therefore, each of the flexible links has eight elastic degrees of
freedom.
The m aneu ver specified for the two arms is to carry the object with its mass center
moving along a linear path without changing its orientation in the 3D workspace. The
linear part is defined by the following vector ec[uation in the fixed frame:
I = X y 4- z 4.56)
^ I.
where a. 3 and 7 are some constants and o ( 0 is a function of tim e with continuous
first and second derivatives. VVe define the trajectory to be composed of three seg
ments: the accelerating part, the constant speed part and the decelerating part. The
time periods for accelerating and decelerating segments are identical and are denoted
by ta, while t j represents the terminal time. We use h to denote the maximum value
of o{t). and accordingly define the second derivative of o{t) as:
2.5
0.5
-1
-2
- 2,5
0.4 0.6 0.8 1.4 1.6 1.8
4 .7 E x a m p le 4.2
we use the planar dual-arm (FFR-O-RRR) to dem onstrate the performance of the
numerical simulation. Figure4.4 shows the initial configuration of the system. In
configuration space, it is defined by the following joint angles:
The system starts from rest, and no initial deformations are present, therefore.
—0 —0 —0
The dynamics equations (4.15) of the grasped object are specified by:
I 0 0 I 0 0 0
A, = 0 I 0 0 I 0 bi = 0 4.591
where / denotes the length and / is the m om ent of inertia of th e a lu m inu m bar. The
design variables are defined as:
In the present case, the num ber of degrees of freedom of the system is three while the
system has six actuators in total. Once the two arms are grasping the object, three of
the actuators become redundant. Equivalently, this redundancy implies arbitrariness
need to resolve this redundancy first and then find the corresponding unique solution
to the inverse dynamics problem for each of the two manipulators.
From th e above, the first three equations in eq. (4.12) then define the additional
constraints imposed on the design variables x as:
{Jul. 0 -
"1 1 - "u ~ 'll
Wi
{Jf. }2 0 — ” 12 — ~12 — ~ "l i (4.61
W 2
0 “ 13 - “ l3 - “l3
where { jfi} , represents the I'th row of m atrix of arm 1 and r ' can be calculated
from the known end-effector trajectory at every time instant. If th e coefficient m atrix
of eq. (4.61 ) is not rank deficient, this equation imposes three constraints on w ^ .
Together with the dynamics of the object characterized by (4.Ô9). these equations
completely determ ine the value of x. Once x is obtained, the solutions for
and q^^ are uniquely determined from eqs. (4.12)-(4.14).
The numerical results for this exam ple are shown in Figures 4.8-4.12. In Figure 4.S.
the left column displays the tip wrenches of the left arm (arm - 1 ) while the right column
C H A P T E R 4. I N V E R S E D Y N A M I C S O F M U L T I P L E A R M S 98
shows those of the right arm . The force components of the wrenches are equal and
40 40
5 20 20
0.5 0.5
-10 10 M S)
•20
30 -30
-<0 -*0
-50 -50
25
20
15
10 Z
0
0 5
MS) f ( S»
•10 -10
J5
20 -20
z
I
0 5
f ( S>
-10
•20
30
40
0.5
-10
r(s)
:o
30
-*o
40
05
/(S)
:o
Ad
40
MS)
:n
150 ISO
100 •ÿ too
OJ
r(s)
150
100
100 50
- 150
100 100
25
-50 50
-75
-too -too
0.05 0.0005
0.04 0.0004
0.03
0.02 10.0002
0.01 50.0001
-0.02 •0 .0002 ,
•0.03
-0.04 -0.0004
■0.05 -0.0005
0.002
s. 0.001
.50.0005
0.5
-0.0005
f (S)
•0 001
•0.0015
0.0004
0.02
§0.0002
0.01
.50.0001
-0.0002
002
-0.0003
-0.03 -0.0004
0.25 0.0015
_ 0.2
0.001
S 0.15
1 0 1
:o.ooo5
I 0.05
1
u:
0 / \
-0 05
0.5 \ 1
/
/ f(S )
2 0.5 1.5
r (s)
4.1
-0.15
-0 001
-0.2
■0.25 -0.0015
0.0004
05
f (S)
C h a p te r 5
O p tim iz a tio n A p p ro a ch
5 .1 I n tr o d u c t io n
T h e concept of optim ization has been widely used as a principle to analyze m any com
plex decision or allocation problems. It offers a means for obtaining the ‘best' solution
to c ertain m ath em atically defined problems. Using this concept, one approaches a
complex decision m aking problem by focusing a tten tion on a single objective designed
to q uantify the outcom e or the quality of th e decision. This objective is minimized (or
m axim ized, depending on the formulation) subject to certain constraints th at may
lim it the selection of the variables involved in the problem.
Form ulation of the inverse dynamics problem for a flexible-link cooperating m anip
u la to r system shows th a t this problem is underdeterm ined, meaning that an infinite
n u m b e r of solutions exist which generate the sam e object motion. We dem onstrated
th e sam e object motion, can have drastically different effects on the system d ynam
ics. Investigating th e perform ance of the various inverse dynamics solutions is thus
an im p o rta n t process which leads to a “b e tte r” or even the “best” solution among all
th e possible ones. O ptim ization techniques provide a powerful m ath em atical tool for
achieving this goal. This ch ap ter is devoted to the resolution of actuation redundancy
via an optimization approach.
b u t physically meaningful and reasonably accurate m athem atical model. This model
m ust include most of the significant factors affecting the complex decision on the force
d istribu tio n within the system . T h e design procedure includes the following steps:
1. Choose the set of variables which constitute a design space. These variables are
term ed the design variables:
2. Determine all the prim ary a n d /o r secondary constraints which restrict the de
sign variables;
4. Solve the optim ization problem with the available resources to obtain a satis
factory solution.
It should be noted th a t these steps should not be treated independently. For example,
when choosing the design variables, one should take into account the complexity of
th e constraints and the formulation of objectives. .Most importantly, one needs to
ascertain th a t it is possible to obtain a solution for a particular problem formulation
as well as predict how fast it can be calculated. Good decisions at the design stage
C H A P T E R 5. OPTIMIZATION APPROACH 107
rely on b o th the knowledge and the experience of the designer. In m any instances, the
5 .2 F o r m u la tio n o f th e P r o b le m
Beginning with the first step of the design process, we propose to choose th e set
of grasping wrenches w-r as the design variables. This is a natural choice since
m any of th e quantities we want to minimize can be written as a function of grasp
ing wrenches. As well, these wrenches are primarily constrained by linear equality
constraints which we expect to be solved more easily. Considering also th e possible
secondary constraints, for instance, the limited capacities of the actu a to rs as given
in eq s.(4 .4 I) and (4.42). it is not difficult to see th at the optim ization problem we
where / ( x ) is the objective function: vector x contains the design variables: (5.16)
represents the equality constraints and (5.1c) the inequality constraints. Form ula
tion of a practical optim ization problem always involves a tradeoff betw een building
a m a th e m atica l model sufficiently complex to capture the im portant features of the
physical system and building a model that is tractable. We can identify a model,
w hether tractab le or not. by the following characteristics:
C H A P T E R 5. OPTIMIZATION APPROACH 108
T y p e o f P r o b lem
In the most general Ccise, both objective function an d the constraint equations
m ay be nonlinear functions of x. Linear functions, by virtue of their simplic
ity, are often selected as an easy way to start. Indeed, linearity of the con
s traint equations, as defined for the present study, is most appealing. Linearly
constrained problems can be handled through a com bination of an elimination
m eth od and an active set method [62]. The simplest cases of linearly constrained
problems are when the objective function is either linear or quadratic. These
are referred to, respectively, as linear program m ing or quadratic program m ing
problems. M ethods to handle these simple cases are well-developed and will
be m entioned in more detail in Section 5.3. From this standpoint, the reason
for excluding the state variables from the design variables is obvious in our
case since they are subject to the constraints described by nonlinear differential
equations.
P ro b lem S ize
One obvious measure of the complexity of an optim ization problem is its size,
m easured in term s of the number of unknown variables and the num ber of con
straints. From this viewpoint, the merits of choosing the grasping wrenches
as the design variables for the present study can be readily seen. In particular,
the nu m b er of unknown variables is 6P (P is the n um b er of m anipulators) while
the num ber of equality constraints is 6 . If. say. the elastic coordinates are
included in the design variables because reducing the structural vibration is one
of our m ajor interests, both the number of unknown variables and the num ber
of constraint equations will be increased by (i = I ...... P). Besides, these
variables are subject to nonlinear differential equations. To avoid these compli
cations. we retain tOy. as the design variables but a tte m p t to reduce the system
C H A P T E R 5. OPTIM IZATION AP P R O A C H 109
C onvergence P ro p e rtie s
Most of th e algorithms designed to solve large optim ization problems are iter
ative in nature. Typically, when seeking the solution to an the optimization
problem, an initial vector Xq is selected a n d the algorithm generates a sequence
of ever-improving points in th e design space, Xi - - - , x t ••• that approaches a
solution point x". As in any interactive scheme, the convergence properties are
of p rim ary concern. In particular, one needs to consider the property of global
convergence and th e rate of local convergence. .A globally convergent algorithm
control efforts are intended to suppress the system vibration, then a higher bandw idth
of the controller will be required, thus necessitating a small step size for calculating
the torques. Before proceeding to complete th e formulation of the optimization prob
lem, we would like to state some fundam ental theorems used to solve optim ization
problems since they influence our decision on how to formulate the optim ization p ro b
lem.
5 .3 L in ea r a n d Q u a d r a tic P r o g r a m m in g
Fundam ental definitions and theorems relevant to the formulation and solution of the
optim ization problem are given in Appendix B. In this section, we focus on introducing
the linear a nd quadratic programming techniques.
The simplest type of constrained optimization problem is obtained when the objective
function / ( x ) and the constraint equations are linear functions of x. The resulting
problem is known as a linear program m ing (LP) problem. T h e term ‘program m ing’
here is synonymous with ‘optim ization’. .A linear programming problem can be ex
pressed in the standard form as;
nun /( x ) = c^x
Normally, we consider the case where the m atrix A i € is not rank deficient and
m < n. Then, the system A , x = bi is underdeterm ined and n — rn variables in x
remain free to be determined. Verv naturallv. we can trv to eliminate m variables
CHAPTERS. OPTIMIZATION APPROACH 111
by using the equality constraints and determ ine the remaining n — m variables which
give a m inim um value of / ( x ) . Since the objective function is linear, it does not have
a curvature which can give rise to a minimizing point. It is thus im p o rtan t to realize
th a t th e inequality constraints x > 0 are accessary in linear program m ing in order
to define boundaries of the feasible region.
A solution of the stan dard LP problem always exists at a particular extrem e point
or vertex of the feasible region, with at least n — m variables having zero value, and
th e remaining variables uniquely determ ined by AiX = b i and taking non-negative
values. The main difficulty in linear programming is then to find which of the n —m
variables should be set to zero at the solution and this is where the various methods
for solving the LP problem differ from each other.
5 .3 .2 Q uadratic P rogram m in g
A i x — bi = 0 (5.5)
W A[
(5.6)
Ai 0
is nonsingular [62] and therefore, a unique solution for x" and A ' exists which satisfies
the Lagrange first-order necessary conditions (.Appendix B). Indeed, since W is the
Hessian of the objective function, a positive definite W implies a strict convex objec
tive function (see .Appendix B) which ensures th a t this unique solution is exactly the
unique global m inim um solution to the problem.
x = - W ~ ‘A [ A - W - ‘c (5.7)
Substituting for x in eq. (5.7) into eq. (5.5) and solving for A, we obtain
and therefore,
The above representation is a useful analytical form and will be used inthe develop
ments inthe next chapter. However, from the numerical efficiency point of view, the
solution may be b e tte r calculated by some other method.
C H A P T E R 5. OPTIM IZATION APPROACH 113
G eneral quadratic program m ing with inequality constraints is almost always solved
with a n active set m ethod [62]. Positive definiteness of m atrix W again simplifies
the solution procedure. It is worth mentioning th a t both linear and q u a d ra tic pro
g ra m m in g can be solved in a finite num ber of steps which dem onstrates well-behaved
convergence of these problems.
5 .4 O b je c tiv e F u n c tio n s
Upon com paring qu ad ratic with linear programming formulations, we chose to adopt
the form er for solving the force distribution problem. We also chose to consider only
the p rim a ry constraints, th a t is. the linear equality constraints in order to capture
and highlight the most im p o rtan t features of the force distribution for fle.xible-link
cooperating m anipulators. Hence, the resulting optim ization problem takes the fol
lowing form:
nun c ^ x H- y X ^ W x (5 . 1 0 a)
where (5.10 6 ) comprises the dynamics equations of the object. As was shown in chap
ter 4. th e m atrix A iG is always full rank which means th a t the constraints are
linearly independent. T he last but ver\" im portant task which remains is to define
suitable quadratic objective functions which will represent criteria for a b e tte r force
distribu tio n. We will first consider some of the criteria proposed for rigid-link systems.
e.g.. th e m inim um internal forces. However, emphasis is placed on im plem enting new
T h e vector of design variables, x, in eq. (5.10) only includes the wrenches applied to
th e grasped object. As a result, the force distribution determined by the solution to
the optim ization problem eq. (5.10) may or may not take into account the dynamics
perform ance criteria may include any one of the following; (i) the contact condition
between the fingers and the object to ensure a positive normal contact force [64]; (ii)
th e o bject sta b ility which ensures that the object remain in a static equilibrium when
its position is perturbed [65]: (iii) the contact sta b ility which guarantees th a t the
o b ject remains grasped when disturbed by external forces [8 ] and (iv) the m in im u m
internal forces criterion which reduces the potential damage to the object [15]. Inter
nal forces play an im portant role in achieving all these objectives. For cooperating
m an ip u lato rs with a rigid grasp of the object, the aforementioned contact condition
is not needed because the manipulators can apply arbitrary wrenches. .As well, the
o b je ct and contact stability are ensured by the rigid grasp. However, it is desirable
to minim ize the internal forces because excessive internal forces may damage a fragile
o b ject and impose high loads on the system.
.As discussed in chapter 4. internal forces are the components of the grasping
wrenches in the null space of A ,. These forces do not contribute to the motion of the
o b ject but produce a squeezing or tearing effect. Decomposing the grasping wrenches
applied to the object into resultant and internal components, denoted by x"*" and x "
respectively, we have
X = x"*" + .x~ = A j ' b i - I - A f z (5.11 )
C H A P T E R . 5. O P T I M I Z A T I O N A P P R O A C H 115
where th e first term x+ (= Aj^’b i) does not vary in the design space. T h e vector of
internal forces x~ must satisfy:
A ix " = 0 (5.12)
//(x -) = ^ x - V (.5.13)
A (x") = ^ ( x - x + )^ (x - x+)
We now recall that the pseudoinverse of a full rank m atrix A ; maybe calculated by
A ^ = A f ( A i A f ) ~ ‘. We can therefore rewrite the second term in eq. (5.14) as:
which is independent on the design variable x. Hence, the only term in eq. (5.14)
which is a function of x is the first te rm ^ x ^ x . Similarly, the constraint equations
(5.12) are rewritten as follows:
A iX " = A i ( x — x"*’) = 0
which leads to the equations of tiie object dynamics. Therefore, the problem of
minimizing the internal forces for a m ultiple cooperating manipulator system can be
stated as:
I T
min X
^ (Ô.1T)
subject to A iX = bi
CHAPTERS. O P T I M I Z A T I O N .A P P R O A C H 116
Similar formulations to the above were derived by N akam ura [8 ] to determ ine a
m inim um internal force while satisfying the static frictional inequality constraints or
the contact stability condition. He also proposed a more physically accurate criterion
[32] which minimizes the strain energy stored in the object with the goal of minimizing
th e possible dam age to the object. This is performed by first modeling the object as
a rigid body covered with a massless elastic layer. Strain energy is then formulated
as a quadratic function of contact wrenches. N akam ura showed th a t the minim um
strain energy criterion is equivalent to the m inim um internal force criterion when the
stiffness of the elastic layer is the same in all directions a t all contact points.
for a rigid multiple-arm system. However, as will be shown later, this scheme can
be combined with other criteria to produce a useful solution for flexible m anipulator
systems.
T he sam e configuration of dual arms and object as shown in Figured.! and the
desired object trajectory as defined in eqs. (4.52)-(4.54) are used. The numerical
problem . T h e results for the left arm are displayed in F ig u re 5 . 1 . It shows th e profile of
the grasping wrenches compared with those obtained by the m ethod used in exam ple
4.2 where th e base motor torque and th e elbow motor torque of the left arm were
set to zero. It can be seen from the figure that grasping wrenches which give the
m in im u m in tern al forces are smaller in magnitude than those obtained by th e o th er
scheme. T h e sam e trend can be observed in the solution of but not a n d T2 since
in the n o n -m in im u m internal force scheme, the torques at the base and elbow joints
were forced to zero.
O ne of th e m erits of a multiple-arm system is that the loads can be shared am ong the
m anip ulato rs. Considering each robot arm as a unit which contributes to carrying
the o b ject, it is n a tu ra l to expect that arm s with high load carrying capacities should
c o n trib u te m ore th a n those with low capacities. .-\n optim al load distribution within
the arm s can be achieved by assigning different weights to the diagonal block of the
m a trix W . In particular, numbers in the ith block are chosen in inverse proportion to
the load c arry ing capacity of the ith arm, which in turn is quantified by the m a x im u m
allowable load it can carry. Each block of W thus represents a relative 'w eight' of
wrenches applied by one arm relative to those of the other arms and accordingly,
m a trix W is usually called a weighting m atrix. When all manipulators are identical,
the weighting m a trix W is set equal to an identity matrix.
. m in . in L f o r c e s . n o n - m i n . i n t. f o r c e s . m i n . in L f o r c e s . n o n - m in . inL f o r c e s
60
40
Ij
r(s)
•20
-10
-15
20
-25
T,| ( N - m )
. m i n . i n t. f o r c e s . n o n - m in . in t. f o r c e s . m i n . InL f o r c e s . n o n - m in . in L f o r c e s
•10
f„(N ) t ,2 (N-m )
. m in . in t. f o r c e s . n o n - m in . in t. fo rc e s _ m in . in t. f o r c e s . n o n - m in . in t. fo rc e s
75
0.5 IJ
-to
-7.5
-10 15
n „ (N-m ) T,, ( N -m )
mom ents required to handle the object should be attained prim arily through th e cross
product terms c, x f, in the grasp m atrix A i of eq. (2.41) ra th e r than the directly
applied moments n, . To enforce a large penalty on the use of n, in achieving a desired
net moment c, x f,- + n,-, we set
W = j_
w. (5.18)
where the scalar w, is the maximum load the ith arm can carry and A:, > 1. The
selection of A; m ust also take into consideration th e location of th e it h contact point on
the object. In other words, those end-effectors grasping the object closer to its mass
center should be required to supply less m om ent n,. A similar a rgu m en t applies to the
components of the grasping forces. .At a certain posture (m a n ip u la to r configuration),
a manipulator is more effective in applying, say, a force in the .V-direction th a n in
other directions. Thus, in general, the weighting m atrix W can be chosen as diagonal
with different weights for each nonzero entry.
.As can be expected, the above load sharing scheme does not ensure optimal use of
the actuators. It is desirable that loads on the actuators be d istribu ted such th a t
motors with a higher capacity support more load than those with smaller capacities.
Taking a quadratic function
I
/r(r) = - t ^ W tTs (5.19)
Analogously to the task space sharing scheme, these weights are selected to be the re
ciprocals of the m ax im u m torques that the corresponding actu ators can generate. For
flexible-link m anipulators, minimizing and actively distributing th e a c tu a to r torques
is particularly im p ortan t. T h e analysis of the inverse dynamics of serial flexible-link
m anipulators has shown th a t collocation of the actuation with the end-effector ensures
a stable inverse dynamics solution. It has also been shown th a t in an ap proxim ate
situation when the elastic links are modeled with finite num bers of elastic modes,
a critical point on the arm exists which partitions the stable and unstable regions
[22, 6 6 ]. A stable region lies between the arm tip and the critical point. A useful
inference is th a t the a ctu a to r efforts should be shifted as much as possible towards the
end-effectors in order to approxim ate a collocated case which promises b e tte r inverse
dynamics behavior. To implement this idea, we suggest th a t minimizing th e norm of
the torques required at the joints located prior to the proximal end of th e most distal
flexible link of a serial arm will shift the actuation efforts toward the end-effectors.
.A.ri improved dynamics behavior of the inverse system would then be expected.
^r — -f- J I r tUV*
Note th a t is known from the m anipulator states. Substituting the above, eq. (5.19)
can be w ritten as:
/r(x ) = -h (5.20)
T he first term is independent of the design variables, and therefore does not affect
the solution of the optim ization problem. Eq. (5.19) can therefore be reduced to:
/ r ( x ) = c ^ x -f ;^x’^ W r x (5.21)
CHAPTERS. O PTIM IZATIO N APPROACH 121
where
T h e same rigid d u a l-a rm and object system as used in the previous example is
employed to show th e num erical performance of the optim al load sharing scheme.
First, we minimize th e Euclidian norm of actu ato r torques by setting.
/ r ( r ) = ^ W r = 1
T h e actu a to r torques ob tain ed with the present scheme are com pared with those
o btained by the m in im u m internal forces scheme in example 5.1. Results for the
two arm s are similar a nd those for the left arm are shown in F ig u re 5.2. It is seen
from the figure th a t th e schem e of minimum norm of torques generates more evenly
d istrib uted loads on th e a c tu a to rs while the minim um internal force schem e generates
more evenly distrib uted tip forces and torques.
Next, considering the a c tu a to r capacities given in Table 5.1. the weighting matrix
in eq. (5.19) is chosen to be
W r = d ia g { ^ , - i. jL ) ,,5,23)
C H A P T E R 5. OPTIM IZATION APPROACH 122
m in . n o r m o f t o r a u e s ___ . m in . in L f o r c e s m in n o r m o f t o r a t iM m tn tnr
60 25
/ \ 20
40
/ \ 15
/ \
10
20
/ \ 5
0 / \ 0
\ oV 1 6j : I / [-5 2
-5 • / ns)
-20 ^ ^
•10
•15
AO
■20
60 -25
t*u(N) T ,i (N-m)
10 5
75 / \
/ \ 3
5
/ \
2.5
I
0 0
*‘ "T T 5......... I \ / 15 2 V /y .5 \ / \ \ 1 -5 / h
-I
-2 J V /
-2 \ / /
5
•3
• \ /
•7.5
-4
-10 5
(N) t ,2 (N -m )
. m in . n o rm o f to rq u e s .............. m in . im . f o r c e s . m in . n o rm o f to rq u e s m in . m t. fo rc e s
6 75
2S
O
0.5
•2.5
n,, (N -m ) (N -m )
Figure -5.2: Comparison of .Minimum Norm of Torques and M inim um Internal Forces
C H A P T E R 5. OPTIMIZATION APPROACH 123
C om paring the torques obtained by using this minimum weighted norm scheme with
those of th e Euclidian norm scheme implemented above, the results in Figure 5.3 show
the loads shifting from motors having lower capacities to those with higher capacities.
T h e torque required at the base and elbow motors increased while the torque at the
wrist m oto r decreased when minimizing the weighted norm of the actuator torques.
Also, the m axim um values of the torques at each joint (Table 5.2) are all close to
10% of the respective maximum torque values that the actuators can generate. This
d em o nstrates th a t the actuators contribute according to their abilities.
Special care needs to be taken when manipulators are composed of flexible links.
N umerical experim ents conducted with the above weighted-norm or Euclidian norm
of torques scheme produce unbounded solutions for joint torques during the maneuver
of rotating a rigid object for 90° in 2 seconds. Since a flexible serial arm driven by tip
wrenches has a b e tte r dynamics behavior, we a ttem p t to shift the actuator loads from
those before the proximal end of the last flexible link to those beyond its distal end. In
o th er words, we propose to minimize the actuator torques at the joints located before
and including the last flexible link of the arms. In this example, we consider the first
C H A P T E R 5. OPTIM IZATION APPROACH 124
60
40
20
05.
-20
-*0 -to
7-5 3
2.5
o
0.5
-10 ■4
r,y(N) Ti: ( N - m )
7.5
0.5 1-5
1(H)
•2-5
a n d second links of th e left arm to be flexible. Since the system has three redundant
a ctu a to rs, in add itio n to minimizing the base and elbow a c tu a to r torques, we also
choose to minimize the wrist torques in order to better approxim ate the situation
w here the flexible a rm is driven by the tip wrench.
t 2 j (N-m)
0.75 40
OJ
0.15
05 n_5
J(S) -10
f(S)
-0.25
•20
-0.75 -JO
0 4
0 2
o .i
005
0.5 0.5
-O.l
-0 2
-0 3
<) 2
-0 4 •0 25
Note th a t the last three elements in the above are chosen to ensure the positive
definiteness of the m atrix W r - The solution for the torques at bo th arm s and the
elastic coordinates of the left arm are shown in Figure 5.4.
.A.lthough extensive studies of force optimization schemes have been carried out for
rigid cooperating manipulators, relatively little research exists which considers the
dynam ics of the elastic components in the system. Pfeiffer et al. [6 8 ] calculated the
contact forces for a walking stick insect (a biological model for a multi-legged walking
machine) while minimizing the deformation energy stored in the legs. In particular,
bending loads on the outer, thin leg segments were minimized based on a static
relation between the deformation and the loads applied to the leg segments.
(5.25)
/E (x ) = c | x + (5.26)
where
has full rank as long as is of full rank. The rank deficiency of corresponds
to a situation where some of th e elastic degrees of freedom cannot be affected by
any tip wrench. Recalling th a t is th e elastic .Jacobian matrix which maps config
uration space elcistic rates into a corresponding workspace end-effector velocity. Je,
becomes rank deficient when the elastic motion of the ith m anipulator only generates
end-effector motion in a subspace of the Cartesian space. Figure 5.5 provides an il
lustration of a planar two-link arm in a rigid singular configuration (.\'i and .\C are
aligned). .Assuming th a t only bending is modeled for the links, any nonzero elastic
rates of the arm will only produce tip velocity in one direction, as shown by V£. In
this case, J . is rank deficient.
C H A P T E R 5. O PTIMIZATION A P P R O A C H 128
E x a m p le 5.4
-A.S in the previous example, the left arm is considered to have two flexible links
while the right arm has rigid links only. Since each flexible link is m odeled with
two planar beam elements in bending, the total num ber of elastic coordinates is
are observed in the figure, they still a p pear to be bounded within the specified time
of the maneuver. This behavior is characteristic of a short time stable system [69].
T h e short time stability deals with determ ining w hether a system response lies within
specified bounds over specified intervals of tim e when the inputs are w ithin specified
bounds. In investigating the inverse dynam ics solution, this concept is very useful
since th e system behavior within specified tim e intervals is our main concern.
C H A P T E R 5. OPTIMIZATION APPROACH 129
. m id - p o in t d i s . ( m m ) e n d -p o in t d is . (m m )
0.4
OJ
0.2
0.1
-0.1 f(S )
■0 .2
-0.3
-0.4
.m id -p o in t d is. (m m ) e n d -p o in t d is. (m m )
0.75
0 25
-0.25
S e c o n d Flex . L ink
= 0.005
0.5
deformations. For this purpose, it would be desirable to express the objective in term s
of the elastic coordinates th a t is,
f i Qe ) = Qe (5-28)
problem should be solved to produce the minimum vibration excitation in the system
over the com plete trajectory, i.e., globally. However, as mentioned in the beginning
of the thesis, in th e present work, we have focused on the development of local force
optimization schemes because of their simpler formulation, their lighter computational
requirements, a n d the fact th a t they can be implemented without knowing the object
trajectory apriori.
Since the solution to the optim ization problem must be carried out numerically,
gt % -k (Ô.2 Ü)
due to the fact that these coordinates are likely to represent different quantities and
hence have different dimensions. For instance, some components of represent linear
displacement measured in millimeters, while others represent angular displacem ent
measured in radians. Also, the importance of each elastic coordinate will be very
different for links with different stiffnesses.
Given th at the strain energy can be used as a measure of the elastic deform ation,
we could set as our goal to minimize the strain energy in the flexible links. T h is can
f u i 9e) —^ ^ (5.30)
Substituting eq. (5.29) into the above, the strain energy at tim e 1^, , in term s of
the design variables x at tim e becomes:
== { ( )2 9:;. + / u 4-
Wf- = (5.33)
We implement the minim um strain energy scheme on the 3D dual-arm and object
system first introduced in section 4.5.2. The forearm and the upper a rm of th e left
a rm are considered to be flexible while the right arm is rigid. For this exam ple, the
object trajectory is defined with the trajectory constants given in Table 5.3. T he
resulting maneuver has no constant speed segment and the total m otion in the V'
Numerical results were generated with A t = 0 .0 0 0 2 (reasons for this will be given
after the analysis of the stability of the inverse system). Solutions for the transverse
displacem ent and the slopes at the end-point of both flexible links are shown in
C H A P T E R 5. O PTIM IZATION APPROACH 133
0.00004
0.00003
0.00002
0.00001
0.25 0.75
-0.00001
■0.00003
-0.00004,
000075
0 0(X)25
0 25 0.75
-0.00025
-0.00075
0.025
0.015
F ig u re 5.7. It is observed that in-plane deflections (v^) are much larger than th e out-
of-plane deflections (v,). since faster motion in the X f direction is required for the
flexible links th a n in the Z/ direction. .-\s a result of minimizing the strain energy,
the strain energy stored in the flexible links is kept to less th a n 3 x I0“ ‘‘ Joule. W hen
compared to the results obtained using the minimum Euclidian norm of the elastic
acceleration scheme (F ig ure5.8, 5.9 and 5.10), it is apparent th a t the m inim um strain
energy scheme is effective in reducing both strain energy and the elastic deformations.
. min. strain energy . min. norm elas. acc. _ min. strain energy . min. norm elas. acc.
0.05 0.05
0.04 0.04
0.03 0.03
0 .0 2 , 0.02
0 .0 1 0 .0 1
- 0.02 -0.02
-0.03
-0.04
0.05 -0.05
Mid-Point v„ End-Point v_
. min. strain energy . min. norm elas. acc. . min. strain energy . min. norm elas. acc.
:.5
0.5
05
0
7 0 .5 0.75 0.25 0.5 0 75
f(s) •0.5
1.5 •2.5
M id-Point Vy End-Point Vy
where th e weights a, 6, c, d are positive numbers, some of which can be set to zero.
T he term s in eq. (5.34) represent component objectives of m inim um internal forces,
op tim al load sharing, m inim um elastic acceleration a nd m inim um strain energy. Since
each individual te rm is a strictly convex function, the combined objective function is
c = bcT + c c E + d c u (5.35)
The definitions for each te rm in the above have been given in Sections 5.4.1 to 5.4.4.
We now present some examples to illustrate the performance of the combined objec
tive function scheme.
To dem onstrate th e performance with the combined objectives, we consider two cases:
.\ccording to eq. (5.34). the relative weights on each of the four objectives are: a = 0.
6 = I. c = 0 and d = 1. T h e weighting matrices for the combined objective function
are:
Wr = d ia g { W r ,. W r . } (5.37)
Wu = d i a g { K „ n Keen} (5.3S)
C H A P T E R 5. OPTIMIZATION AP PR O A C H 137
where
W n = diag{ 2 , 2 , 2 , 1 0 "*°}
W t2 = 1 0 ~‘° 5x6
It can be seen from F ig u re 5 .I I th a t the torques driving the flexible a rm are kept
small in m agnitude since the norm of torques at th e first three joints is m inim ized. T h e
torques for th e rigid arm are shown in Figure5.12. T h e tip transverse deflections (in
plane an d out-of-plane) for both links are shown in Figure 5.13. Larger deflections in
the out-of-plane direction occur because the end-elFectors are required to move faster
in th e X f — Z f plane than in the X f — Yf plane.
VVe have mentioned in the first exam ple (Example 5 . 1) th a t minimum intern al force
schem e by itself is not suitable for solving the force distribution problem for flexible-
link cooperating manipulators. However, sometimes it can be combined w ith other
schemes to yield a compromise performance between lower internal forces a n d other
objectives. To illustrate this idea, we propose case 2 which sets a = I0~'^. T h e tim e
histories of the tip deflections at each flexible link and th e strain energy for this case
are shown in Figure5.14. W ithout the second term in the objective function, th e m in
im u m internal force scheme almost always generates unbounded solution. However,
com paring these results with those obtained in exam ple 5.5 when using th e m inim u m
strain energy scheme, the dynam ic response of the system is dram atically different
for the two schemes, even though only a small change to the objective function was
made.
Based on the large num ber of numerical simulations performed with two-arm
(planar and 3D) cooperating manipulators (only representative results are shown
C H A P T E R 5. OPTIMIZATION APPROAC H 138
0.001 0.0006
0.00075:
^.0005
Z0.0002
%00025
0
0.25 0.75
f(S )
-0.00025
■0.0002
-0.0005
-0.0004
-0.00075
-0.001 [ -0.0006
000 05 0.03
ooocM:
0.0003;
=00002
0.01
CO.ÜOOI
0.15 0.75
f (s)
0.0005 002
£
Z 0.01
-0.01
-0 02
20 4
0
0.23 0.75 0.25 0.75
-ID 2
•20 -4
-30 -6
0.04 0.7 5
0.03
0.5
002
0.25
0.01
-0.75
0.75
f (S)
•0.5
40
0.75
Oft
»
0.4
0 2
0 O 25 0.5 0.75
r(s)
in the thesis), th e following conclusions which are particularly relevant to the force
optim ization issue for flexible cooperating manipulators m ay be drawn:
• Minimizing th e strain energy is one of the better objectives to use for flexible
• Shifting loads from the joint actuators before the last flexible link to beyond the
distal end of th e last flexible link of the arm helps to obtain a bounded inverse
dvnamics solution.
To obtain a bounded solution, either the minimum strain energy or the load
shifting scheme should be used in combination with other objectives.
• Systems with different mechanical setups in terms of the location of the flexible
links behave differently with the same force optimization scheme.
• For a system with only one flexible link, better behavior is obtained when the
flexible link is connected to the base. This can be explained with the same
argum ent as th a t used to design the load shifting scheme. W hen the flexible
link is closer to th e base, there is a b e tte r chance th a t the load can be shifted
to beyond its distal end and therefore, the system more closely approxim ates a
collocated situation.
142
C h ap ter 6
S ta b ility A p p ro a ch
One of the important applications of the inverse dynamics solution is for trajectory
tracking control of nonlinear dynamics systems. The well-known co m pu te d torque
m eth od [70]. also known as inverse dynamics control is basically designed to achieve
feedback linearization of a nonlinear plant. .A. prerequisite for this method to be
In this chapter, further discussion on the stability of the inverse dynamics system
for flexible manipulator system is performed. In particular, we aim at obtaining a
stable inverse dynamics solution for flexible-link cooperating manipulator system with
an emphasis on its control applications.
C H A P T E R 6. S T A B I L I T Y A P P R O A C H 143
.4s mentioned earlier, the instability of the causal inverse dynam ics solution for
flexible-link manipulators is due to the inherent nonminimum phase property of the
system. Indeed, according to its definition, the nonminimum phase linear system is
that which has zeros of the input-output transfer function in the right half of s-plane
whereas a nonminimum phase nonlinear system means that the system has unstable
zero dynamics. Therefore, stabilizing the internal dynamics (zero dynam ics) is related
to changing a nonminimum phase system into a minim um phase system for which
stable causal inverse dynamics solutions can be obtained.
coordinates produce a stable trajectory in the tim e domain, the inverse dynamics
solution for actuator torques is ensured to be stable as well. To analyze the stability
of th e internal dynamics, we first present its state-space description. We assume in the
following analysis that there are no external forces acting on the m anipulator system
o th er than the actuator efforts. This is done in order to exclude the dependency of
the system behavior on the external forces.
It can be found in the literature that some researches have focused on modifying
the o u tp u t of the system in order to realize a minimum phase property. .Joint-based
control [71] accomplishes collocation of the input and ou tpu t at the joint. Reflected
tip position is used to allow precise tracking of a close-to-equivalent tip position [74].
Torque transmission mechanism is also used to transfer the actuation efforts to the
tip so th a t the input is transferred to be collocated with the o utp ut [22]. For the
m ultiple arm system, we are interested in investigating the possibility of stabilizing
the internal dynamics by actively choosing the tip wrenches. For the purpose of
analyzing the inherent properties of various systems, we propose the following three
typical cases:
In this case, actuators are located at the joints and th e joint variables (displace
ments. velocities and accelerations) are predefined as functions of time. This is not
impractical and in fact, most of th e existing inverse dynam ics control schemes for
serial flexible m anipulators adopt such a scheme. Not only is joint collocation simple
to implement since the actuators and sensors can be easily set up at the joints of the
manipulator, bu t more significantly, it results in a stable internal dynamics system.
Therefore, a stable closed-loop behavior can be obtained by designing a robust linear
PD controller [71. 53]. The principal lim itation is th a t the resulting controller only
ensures tracking of a prescribed joint motion. For tip tra je cto ry tracking control, a
modification is m ade to allow precise tracking of th e nominal joint trajectory while
the dynamics equations describing th e elastic motion are w ritten with respect to the
moving frames attached to the virtual links [35. 29]. Some researchers have tried to
control the motion of some virtual point (not a real point on th e manipulator) the
coordinates of which can be expressed as a linear com bination of the joint variables.
For example, the reflected tip motion [74] has been used so th a t a linear combination
of the joint motions is predefined and controlled [75. 66 ].
To investigate the inherent properties of such a system with joint motion specified,
we consider the dynamics equation for the elastic motion, eq. (4.2). We assign suffix
C H A P T E R 6. S T A B I L I T Y A P P R O A C H 146
S to each m atrix and vector variable to represent a m ultiple-arm system, and set
Çrr = 0 since it is the output of the forward collocated system. T h e internal dynamics
is then described by:
T ~ f I.e^, (6-1)
We point out the difference between the nonlinear forcing te rm in the above equation.
.\s implied by tip trajectory tracking, the joint variables in this system are not
explicitly prescribed. Instead, the desired output is a nonlinear function of both
rigid and elastic coordinates. For rigid manipulators, tip tracking control can be
implemented by tracking the prescribed joint trajectories since the joint variables
are uniquely defined by the tip trajectory (assuming the m anipulators are not kine
matically redundant). However, this is not the case for flexible-link m anipulators
because of the unknown elastic variables appearing in the kinematics equations. In a
multiple-arm system, the reference trajectory is prescribed for the object. W ith the
assumption of a rigid grasp, this is equivalent to defining the reference trajecto ry for
the respective end-effectors of the arms. To derive the equations of internal dynamics
for system B. we set to zero. In chapter 4. we derived the solution for the elastic
accelerations which is represented by eq. (4.9). Expanding this equation by substi
tuting the expressions for and from eq. (3.54) and eq. (4.6). respectively, the
9eV T D e e v T K e c v ~ T J ç ^ î ü v (6.21
CHAPTERS. S T A B IL IT Y APPROACH 147
where
MeeE = d ia g { M „ i,---.M „ p } ( 6 .4 )
hi = + je. g« ) (6.5)
Mee. = M „, - (6.6)
i = 1 , 2 , • • •, P
Eq. (6.2) represents the internal dynamics for the system when the actuators and the
specified object tra je cto ry are noncollocated.
This again represents a hypothetical situation where the manipulators are driven
by wrenches at the tips. The motivation for investigating such a system is due to
the successful design of a stable PD controller by Park and .Asada [22] for a one-link
flexible arm with the actu a to r torque transm itted to the tip of the arm. It is implied
th a t the internal dynam ics of such a system is stable. To derive the internal dynamics
equations for system C. we simply set = 0 in eq. (4.12) to nullify the actuation at
the joints. Solving the resulting equations for the "actuation” at the tip i.e.. the tip
wrenches w ^ . we obtain:
t -T /
^ r — J 1V
= ( G. T)
Upon substituting the above into the elastic dynamics equation (4.14) and setting
to zero, we obtain:
where
(6.9)
In the above. Mgg^ is sym m etric which can be shown by substituting the expressions
for Mggv and M^er into eq. (6.9) to yield:
and noting that Mrrr; and Mggv are both sym m etric in nature. .\s a result, eq. ( 6 .8 )
describes the internal dynamics of system C in which the m anipulators are driven by
th e wrenches collocated with the specified trajectory at the tip of the end-effectors.
6 .2 P r o p e r tie s o f t h e I n te r n a l D y n a m ic s
For notational convenience, we now drop the suffix E used to denote the assembled
quantities for the multiple m anipulator system and focus our discussion on a single
"decoupled" manipulator. VVe note th a t equations (6.1). (6.2). and ( 6 .8 ) represent a
set of second-order ordinary differential equations for the elastic coordinates q^.
C H A P T E R 6. STABILITY APPROACH 149
VVe have observed that when m ultiple manipulators are in contact with a com m on
object, they form several closed-loop chains. The multi-arm mechanism as a whole
therefore reasonable to expect smaller elastic deformations than in the situation where
m anipulators are decoupled to follow the same end-effector trajectory. A lthough the
present stu d y of the inverse dynam ics solution for flexible m anipulators is not limited
to a particular dynamics model, to render the stability analysis more tractab le, we use
linear theory of elasticity to derive b od y mass, stiffness and modal dam pin g m atrices.
Therefore, these body matrices are assumed to be constant.
Furtherm ore, according to the assembly procedure of the global dynam ics ec;na
tions for a serial-chain m anipulator [40], the stiffness and dam ping m atrices in the
global dynam ics equations are formed by placing the body matrices along th e diago
nals. Therefore, the global stiffness and damping matrices are constant atul depend
only on the material and geometric properties of the links.
VVe consider the coefficient matrices of the acceleration terms in the internal dynam ics
equations for the foregoing three systems and repeat the expressions for M,.-. !VL,.
and as.
Mee = 4- (6.12)
Mee = % - (6.14)
C H A P T E R 6. STABILITY APPROACH 150
Note th a t in eq. (6.14), vve m ade use of the symmetry of the m atrix Mee. The suffix S
appearing in eq. ( 6 . 1 2 ) denotes the assembled quantities over all the bodies in a single
serial chain. T h e dependence of these matrices on the configuration variables ç,. and
Ç, is through the coordinate transform ation matrices and and th e .Jacobian
matrices Jr and J,. .A.lthough generally, these are functions of both q^. and in an
approxim ate situation, they can be evaluated at a nominal rigid configuration while
ignoring th e effects of elastic deformations. For the same reason th a t a closed-loop
multiple-arm system is stiffer than the individual serial m anipulators, we ignore the
variation of the body transformation matrices on the body deformations and focus
on analyzing the dominant factors governing the internal dynamics. Therefore, the
coefficient matrices are assumed to be dependent on rigid configurations only.
In the equations of internal dynamics, the right hand sides contain the nonlinear
inertial forces and in the case of system B. another term of tip wrenches. For the
nonlinear inertial forces in eqs. (6.3) and (6.10). we repeat the following expressions
for calculating and ^ (40):
/f.r = - M . . . 4 t v ( P s q . + 5 s q , ) + T s ( 5 v q , - f Pq,)]}(6.15)
In the above, f ^ j , . and f ^ j ^ . are composed of the body nonlinear inertial forces
which in turn include only the rigid motion nonlinearities, that is. terms of 0 (|| q,.|i'|.
With the earlier assumptions, it is not difficult to see that the nonlinear inertial forces
f [ g . h and g contain terms that are 0 ( || gJI^) and 0{\\ g,.|||| Çp||). T he coefficients
C H A P T E R 6. S T A B I L I T Y A P P R O A C H 1Ô1
of these terms are, again, generally functions of th e variables and but are
It is also worth repeating here that in system B . the tip wrenches appear in
the internal dynamics equations. Keeping in mind th a t we have some degrees of
freedom in choosing these wrenches, the potential benefit is th at these wrenches may
be actively chosen to stabilize the internal dynamics which is the key objective of this
chapter.
6 .3 L in e a r iz a tio n
T he main purpose of analyzing the internal dynamics for the three different systems
described in section 6.2 is to predict whether the internal dynamics possesses a stable
behavior. For the multiple-arm system, we are also aiming to find a force distribution
scheme which, based on the stability analysis, will ensure improved behavior of the
system. However, as shown in section 6.2. the internal dynamics equations are non
linear even though we made several approximations in deriving them . The analytical
solution of the internal dynamics equations is impossible to obtain. In view of the
Reinstating the use of suffix T for a multiple-arm system, we now define a vector
of state variables of the internal dynamics as:
y = [ y iy 2F = k .v (G .iti
C H A P T E R 6. S T A B I L I T Y A P P R O A C H 152
jr = f(y ) (6.18)
For instance, in system A. the function f(y ) on the right hand side of eq. ( 6 . IS) is
V2
f.4(y) = (6.19)
—Mjçj,[(Kee£Î/j -i- Dgeî;î/ 2 ) "h //,e v ]
ÿ = f(y ) ( 6 .2 0 )
f(y) = 0 ( 6 .2 1 )
It can be shown th a t y = (q^^. q^^) = (0. 0) is one of the equilibrium points of the
internal dynamics equations eqs. (6.1).( 6 .2) and ( 6 .8 ). In other cases, for example,
where gravity effects have not been dropped, q^^ may not be zero but would represent
the static deformation of the flexible structure. .Analyzing the system behavior in the
We therefore linearize the internal dynamics equations around the equilibrium point
C H A P T E R 6. S T A B I L I T Y A P P R O A C H 153
( 9 ev- 9 ev) = ( 0 , 0 ) by taking variations of the variables from the nominal values and
lettin g
"b ( 6 . 22 )
"b (6.24)
tt7v + (6.25)
We will use eq. (6.2) which is th e internal dynam ics equation for system B to illustrate
th e derivation of the linearized model. E xpanding eq.(6.2) into a Taylor series, for
small variations of the state variables as in eqs. (6.22)-(6.25), the original nonlinear
m odel can be approximated by the first-order expansion about the nominal state. For
th e sake of simplicity, the circumflex for denoting nominal values is o m itte d in the
following. Thus, we have:
dhv
where we observe that ■ = 0 since h^- contains nonlinear coupling terms of
0{\\ 7rvllll lev'll) which vanish when evaluated at = 0. Once again, all the co
efficient matrices in eq. (6.26) are calculated at th e nominal states. The resultant
linearized model of eq.( 6 .2 ) can be w ritten as:
0 0
-f- bw. (6.27)
M -L K - M -eev^ees
ID
In the same manner, the linearized model of system .4. that is. the case of joint
collocation is described bv:
69=2 a ? ,.
(6.2S)
6 9 ,2
C H A P T E R 6. S T A B I L I T Y A P P R O A C H 154
Finally for system C where the input and o u tp u t are collocated at the tip. eq. ( 6 .8 )
is approxim ated by:
0 I
(6.29)
- M " ‘j ,Deev
For systems .4 and C, the linearized model can be w ritten compactly as:
8y = A 6 y (6.30)
It can be seen from eq. (6.27) which is the actual case for multiple flexible arm s, that
the tip wrenches influence the value of the s ta te variables. The linearized model for
system B is accordingly given by
6y = A S y + (6.31)
where
0
B = (6.321
iT
0
A-..1 = (6.33)
0
As = (6.3(1
0 I
Ac = (6.3.5)
T he differences between these are in the ‘‘mass" m atrix which premultiplies the stiff
ness and damping matrices, that is. the matrices . Meej and . For system
C H A P T E R 6. S T A B I L I T Y A P P R O A C H 1Ô5
B. since we have some freedom in choosing the tip wrenches and in particular, if
they are chosen to be a function of the state variables and then it is pos
sible to change the inherent behavior of the linearized internal dynamics around the
equilibrium points.
6 .4 S ta b ility I s s u e R e v is ite d
If the original nonlinear system (6.18) is app rox im ated by a time-invariant lin
ear system at the equilibrium point, it is well-known th a t the local stability of the
equilibrium point y of th e given nonlinear system can be examined by checking the
eigenvalues of th e plant m atrix A. The system is unstable if A has at least one eigen
value with a positive real part and it is asym ptotically stable if all th e eigenvalues
of A have negative real parts. If some of the eigenvalues are purely imaginary and
the others have negative real parts, then the linearization technique is inconclusive.
In this case, the stability of the equilibrium is d eterm ined by the higher order terms
that are neglected in the linearization process.
For end-point positioning control, the dynam ics model is required at the desired
terminal rigid configuration. In many trajectory tracking control algorithm s the dy
namics model of th e system must be evaluated at several nominal rigid configurations.
In this case, linear time-invariant equations approxim ating the nonlinear equations
are obtained at the equilibrium ÿ = T hese applications justify the analysis
of the linearized internal dynamics of the inverse dynam ics problem a n d we therefore
concentrate on calculating the eigenvalues of the plant m atrix A. It should be real
ized that since the linear model is configuration dependent, ideally, we should check
the complete workspace of the manipulator for th e stability status at th e equilibrium
points. However, because of certain properties of th e linearised system , there exist
certain patterns of the eigenvalues of the plant m a trix , which will be discussed shortly.
C H A P T E R 6. S T A B I L I T Y A P P R O A C H 157
3000
2000
1000
0
0.5
.( (s )
-1000 •10
-2000 -20
-3000 -30
-4000 -JO
We now present some sample results obtained for th e planar dual-arm architecture
used in the previous chapter (F R R -O -R R F). As before, the trajectory specified for the
end-effectors is to rotate the object about its mass center through 90° in 2 seconds.
For systems .4 and C. the two arms are not carrying the object but are required
to follow the same trajectory as if they were handling a common o b ject. Since the
flexible link in each arm is modeled with two planar beam elem ents and hence 4
elastic degrees of freedom in total, the number of eigenvalues of the plant matrices is
S. The eigenvalues of the undam ped system are calculated along th e tra je cto ry and
shown for systems A, C and B in Figure 6 .1-6.3 respectively.
C H A P T E R 6. S T A B IL IT Y APPROACH 158
For sy stem A. where the actuators and the specified trajectories are collocated
at the joints, th e eigenvalues of the undamped system are purely imaginary since in
eq. (6.28), th e mass and stiffness matrices are sym m etric and positive definite. Indeed,
the eigenvalues A of the plant matrix are related to the natural frequencies of the arm
by:
Xj = — f = I. • • •. S' j = {2i — I). 2i (6.36)
where u,', > 0 is the ith modal frequency and S is the total number of elastic co
ordinates used to model the flexible links of the arm. It is also known that when
dam ping is included, the eigenvalues are shifted to the left half of the complex plane
since the d am p ing m atrix is always positive definite. Table 6.1 compares the
eigenvalues of the plant m atrix A 4 at the initial configuration, with and without
dam ping. We therefore conclude that system .4 is always stable since this is ensured
by the aforem entioned properties of the system matrices. Figu re 6 .1 also shows that
the eigenvalues vary little with the rigid configurations.
F ig u re 6.2 illustrates the eigenvalues for plant C (eq. (6.29)) — a system where
actuators and the specified trajectories are collocated at the tip of the end-effector.
Interestingly, we have verified numerically that m atrix M^pr possesses similar proper
ties to th e mass m atrix M ppr. in particular, it is also symmetric and positive definite.
T he sam e conclusion as for plant .4 can be drawn for the system with collocation
at the tip: th e nonlinear equations of motion in the region of equilibrium points are
stable (See also Table 6.2).
C H A P T E R 6. S T A B I L I T Y A P P R O A C H 159
4000 400
2000 200
0 0
0.5 I 1.5 2 0.5 1 1.5 2
f(s) ....................... i ( s )
-2000 -200
-4000 -400
-6000 -600
Figure 6.3 illustrates the eigenvalues of the plant m atrix A g . The linearized model
for system B is characterized by A g if the tip wrenches are independent of the
elastic state variables (q^^. since then the second term on the right hand side
of eq. (6.27) vanishes. From Figure6.3. we conclude that if the tip wrenches aren't
chosen to vary with the elastic state variables, the internal dynamics at equilibrium
points are unstable because of the eigenvalues in the right half s-plane. We also note
from Figures 6.3 and 6 .2 th a t the eigenvalues of the corresponding linearised systems
are nearly constant with the rigid configuration.
3000
500
2000
250
1000
0
Ij OJ
-1000
t(s) M s)
-250
-2000
•500
-3000
-4000 -750
For example, a scheme which only considers minimizing the internal forces produces
at": = (6.37)
Substituting the above into eq. (6.31). the linearized model for a real situ atio n of
multiple-arm and object system is characterized by the following plant m atrix:
A =- A s -h B- i 6.38 )
In chapter .5. the tip wrenches are obtained as the o ptim al solution of the linearly-
constrained quadratic optimization problem. To find out how the tip wrenches
C H A P T E R 6. STABILITY APPROACH 161
where A i is the grasp matrix. Since m atrix A i is not related to th e elastic variables
of th e m anipulators, the dependence of id* on y can only be due to th e weighting
m atrix W and th e column m atrix c. In the m inim um internal force scheme. W is
an identity m a trix while c is a zero vector. From eq. (6.38), th e plant m a trix in this
case is equal to A g which has previously been d e m o n strated to be unstable, thereby
explaining why this approach yields unbounded solutions. It is evident th a t in order
to improve the behavior of the inverse dynamics system , th e tip wrenches m ust be
chosen to be functions of the elastic variables.
Let us now consider the optimal load sharing scheme for which the objective
function is characterized by (eq. (-5.22)):
CT = J i v W r - r ', Wr =
= A w ^ (6.39)
Eq. (3.-52) for calculating for a multiple-arm system can be rew ritten as:
where includes the nonlinear terms of 0 (||g,.^||^). and 0 ( ||?gr II") As well as the
coupling term s of (9(||g,.^ ^evID- Taking the partial derivative of with respect to
C H A P T E R 6. S T A B I L I T Y A P P R O A C H 162
Substituting the above into eq. (6.27), the plant m atrix of the noncollocated multiple-
arm inverse system becomes:
A = As + B ^
0
= As + A ^ / J l r W^T-M «ev
A = Ar As (6.42)
where
^ 1 0
Ar = (6.43)
0 1 + J Ah' Jiv; W r M r t v
T h e plant m atrix in eq. (6.42) represents th a t for the linearized model of the internal
dynamics when optim al load sharing scheme is applied to determine the grasping
wrenches within the system.
of the plant m atrix in eq. (6.42) for this scheme and for the collocated system A c .
numerical experiments revealed some interesting results. One interesting observation
was that the eigenvalues of the two plants were identical. However, based on this
special case, we cannot draw a general conclusion th a t one can predict the behaviour
of the nonlinear system from the eigenvalues of the linear plant m atrix.
Table 6.3 lists the eigenvalues of the plant m atrix of eq. (6.42) calculated for two
load sharing schemes and different mechanical setups of the flexible dual-arm system.
Since the eigenvalues do not change significantly along the trajectory, we include
here sample calculations at the beginning of the trajectory only. From Table 6.3.
we conclude th at minimizing t ^ T i is effective for one flexible and one rigid arm
but becomes ineffective if both arms are flexible. However, minimizing gives
unstable eigenvalues for all three setups.
In the same way. we can formulate the plant matrix which corresponds to the
optimization scheme which minimizes the norm of the elastic accelerations. Towards
this end. we first express w ' as;
<y
- An (6.44)
A = AgAg (6.4-5)
where
1 0
Ag : (6.46)
0 1 -f A u Jav W g
A = A fA g (6.47)
C H A P T E R 6. S T A B I L I T Y A P P R O A C H 164
Mechanical Setup
Optim ization F R R -O -R R R R FR -O -R R R F R R -O -R R F
Scheme A rsxs A rs x s A t 16x16
±3958.27
±2039.26
±37.52.49; ±5734.24; ±710.94
±2161.64; ±2165.48; ±582.74
min t J r .
±•582.74; ±•595.77; -3 .1 X 1 0 -'- ±2161.64;
±77.11; ±124.84; - 2 .1 X 10-9 ±5732.49;
±77.11;
±64.39;
±3958.0
2326.1 ±2211.9;
2741.0 ±13.52.4; 1680.3 ±2351.0; -232 6.1 ±2211.9;
-2741.0 ±13.52.4; -1680.3 ±2351.0; ±2059.6
min
±489.6 ±383.0 ±710.8
±64..5; ±49.6; ±229.1
±57.7;
±64.3;
C H A P T E R 6. S T A B I L I T Y ' A P P R O A C H 165
with
^ 1 0
(6.48)
0 1 + A w J3vK „v
We note in the above, th a t the plant m atrix A in eq. (6.47) depends on the value
of A /. Recall that A i is used in the minimum strain energy scheme to approxim ate
elastic coordinates in term s of velocities and accelerations at the previous step. For
T he eigenvalues of the plant matrices in eq. (6.45) and eq. (6.47) have been calcu
lated for various mechanical setups and for several of the optim ization schemes with
which inverse dynamics solutions were a ttem p ted . In Table 6.4. we present for each
case only the eigenvalue which has the largest real part. We shall adopt the term
almost stable [75] to refer to the eigenvalues with a very small positive real part. In
C H A P T E R 6. S T A B I L I T Y A P P R O A C H 166
this case, the internal dynamics is said to be very lightly unstable and a linear stab i
lizer can still be applied to obtain a stable closed-loop behavior [75]. From Table 6.4.
we observe th a t minimizing a combined objective of th e total strain energy and the
norm of the actuator torques of the left arm ( r [ r i -f 6 ') gives stable or almost stable
behavior of the linearized system except for the setup where both arm s have th e base
link flexible. This is predictable since minimizing th e torque in one arm results in
a heavier burden on the other arm which also has a flexible link. Very likely, the
elastic vibrations are excited first in the arm whose actu ato rs are required to supply
the m ajority of the torques which the system needs. Although our previous findings
indicated th a t minimizing the norm of the actuator torques alone (min. r ^ r ^ ) was
not feasible, the results in Table 6.4 show th at minimizing the combination of
6.5 S ta b ility A p p ro a ch
The stability analysis based on the eigenvalues of the plant matrices of the linearised
models shows some agreement with the conclusions of other researchers and those
drawn from the numerical results in chapter 5. These can be sum m arized as follows:
• Collocation at either the joints (system .4) or at the tip (system C) of a serial
• N'oncollocation of the joint actuators with the specified tip trajectory (system
B) results in unstable behavior of the internal dynamics.
C H A P T E R 6. S T A B I L I T Y A P P R O A C H 167
• Depending on the optimization scheme used, the force distribution solution may
produce a stable or unstable behavior of the system. Agreement in stability
characteristics has been dem onstrated between nonlinear simulation and the
eigenvalues of the plant matrices of the linearized system.
• .Although the internal dynamics is defined as the dynamics of the internal states
when both input and output are set to zero, the stability of the internal d y
namics around equilibrium still allows us to predict the behavior of the inverse
dynamics system along a nominal trajectory. Once again, this is su p p o rte d by
the agreement we obtained between the inverse dynamics solution via o p tim iz a
tion approach and the stability analysis of the corresponding linear system .
Motivated by the above, we set out to find a force distribution scheme which
would allow the tip wrench to be dependent on the states so as to give a stable
plant m atrix of the linearised system.
CHAPTERS. STABILITY APPROACH 168
tܣ = A ^ b i + A f z (6.49)
where the arbitrarily chosen vector z in the null space of A , represents the degrees
of freedom in determining the grasping wrenches. Based on the stability analysis, it
is apparent that it would be desirable to let the tip wrenches vary in a way which
forces the plant m atrix of the m a n ip u la to r system to be equal to the plant m atrix of
the system with tip collocation. This requires th at we set:
A = A c = Ag + (6.50)
From eq. (6.49), the partial derivative of tUr with respect to y should satisfy
^ = A -;"§ = A r K (6.511
with the internal state variables y. Substituting eq. (6.51) into eq. (6.50). we have
Solving for K from the above and replacing A g and A c with eq. (6.34) and eq. (6.35)
respectively leads to:
wit 11
G = - ( M -^ - M - ^ )K ,.r - ( M -^ - M - ^ ) D ,e V
Substituting eq.(6.53) back into eq.(6.49) gives the following solution for w ^ :
with y = [gjj.
W hether the above grasping wrenches will guarantee a s tab le solution of the in
verse dynamics depends on the properties of m atrix . Here. is of dimension
X 6 P where recall 5, denotes the to tal num ber of elastic coordinates of arm
i. T he dimension of is 6 P x dim jV (A i). It is also known th a t dim A'( A; ). the
dimension of the null space of A ; is equal to the order of the a c tu a tio n redundancy
of the system. Therefore, the rank of JJ^A','' must satisfy the inequality below:
.Assuming, as is usually the case, th a t A{^ is not rank deficient, we can define the
following cases:
• = dim -V( A i )
In this case. ( A'^ A'^ )"^ and eq.(6.33) has a unique solution for
tüj- which satisfies the requirements of both the prim ary task (handling the
common object) and secondary task (stabilizing the elastic motions).
• Tfl,.S’, < d im .V (A i)
When the order of actuation redundancy is greater than th e num b er of elastic
coordinates in the system, there is an infinite num ber of choices for K which
will produce the plant m atrix A equal to A c- The e x tra degrees of freedom in
choosing K can be further used to accomplish o ther tasks, such as. minimizing
the actuator torques or the elastic deformations.
• T/Li-h’. > d im .V (A i)
This is the case when the degree of a ctuation redundancy is insufficient to alter
the plant m atrix of the linearized model exactly as desired. Instead. eq.( 6 .3 3 )
will produce a close (in the least-square sense) approxim ation of A to A c- This,
VVe now implement th e force distribution scheme of eq. (6-55) to solve the inverse
dynamics problem. We consider the planar dual-arm example (R FR -O -R R R ), first
introduced in section 4.5.1 to demonstrate its performance. The elastic link is modeled
with one beam element which allows considering stretching and bending deformations.
This gives a total of 3 elastic coordinates. The sam e trajectory profile as described
in section 4.5.1 (rotating the object for 90° in 2 seconds) is employed to specify the
object trajectory. .A.s mentioned earlier, the degrees of actuation redundancy for a
planar dual-arm is 3 which is the same as the total number of elastic coordinates.
From the aforementioned conditions, it is concluded th a t there exists a unique solution
for grasping wrenches which will generate the plant m atrix of the linearized elastic
motion identical to th a t of a collocated system C. The solutions for actuator torques,
the elastic coordinates and the tip moment are shown in Figures 6.4 and 6.5. From
Figure 6.4. we observe th a t in the present case, the actuators of the rigid arm (right
column in the figure) contribute more to moving the object th at those of the flexible
arm . The sam e conclusion can be made by comparing (5a) with (5b) in Figure6.5 for
the tip m om ent. This means that in order for the joint actuated flexible arm to have
the same behavior as th a t of the tip collocated system, driving forces for controlling
th e flexible arm must be shifted towards the end-effector of the flexible arm. Plot
(5f) of figure 6.5 shows the actual trajectory of the object generated by calculated
a ctu a to r torques.
C H A P T E R 6. S T A B I L I T Y A P P R O A C H 171
0.5 IJ 0.5
r(s) M S)
• 10
.10 -20
• 15 -30
(4a) (4d)
0
0 5 0.5
/(S)
-10
•2
-20
3
(4b) (4e)
0-5
0.5 05
r(s)
•0 5 -10
•20
30
(4c) (4 0
Ks)
10
•20
•30
(5a) (5b)
0015
3
0.01
H 0.005
I
0
05
/(S)
0005
•2
•0 01
3
(5 0 (5d)
0 015
40
001
& 0,005
0 5 0.5
• 10
0005
■20
•30
Mi
■0015 •50
(5e) (5 0
C h a p ter 7
C on clu sion s
T he present work has focused on investigating the inverse dynamics solutions for
m ultiple cooperating manipulators with flexible links. .Although extensive studies
have been carried out in the past on the rigid cooperating manipulators, little has
been done to account for the s tru c tu ra l flexibility in the m anipulators. Including link
flexibility in the analysis is not a trivial extension of the case for a rigid m u ltip le arm
system. In fact, the key issues which motivated this study were the com plications
introduced by the structural flexibility in the inverse dynamics problem and th e ways
in which redundant actuation could be used to improve the dynamics behavior of the
system.
We began by modeling the dynam ics of the system. These dynamics are com posed
of two parts: that of the m anipulators and that of the commonly grasped o b je ct. The
dynam ics equations of the m anipulators are formulated in terms of the generalized
coordinates for every serial chain while the coupling effects between the serial arm s
are represented by the grasping wrenches applied to the object. The rigid a nd elastic
.Jacobian matrices are derived which transform the Cartesian space tip wrenches into
the generalized forces associated with the generalized coordinates.
C H A P T E R T. C O N C L U S I O N S 174
of link flexibility, the analytical approach to the inverse dynamics problem of a flexible
single-link arm was formulated. Both the state space description and the in p u t-o u tp u t
relation are derived for a flexible beam. T he latter was used to identify th e issue of
causality and the resulting the instability of the causal inverse dynamics solution.
Correlation between the instability and the collocation of th e input and o u tp u t was
dem onstrated by expressing the dependency of the nonm inim um phase zeros of the
forward system on the location of th e prescribed trajectory relative to the joint. Upon
comparing the advantages and disadvantages of the noncausal and causal solutions,
and in view of the potential of a multiple arm system to improve the causal behavior,
the causal solution for the inverse dynamics of the multiple flexible arm system was
adopted in this study.
Therefore, the inverse dynam ics problem which determines the a ctu a to r torques
necessary to realize a desired motion of the object in a multiple arm system adm its
an infinite num ber of solutions. Unlike the rigid case, different solutions affect the
dynamics behaviors of the arm s due to the flexibility of the arms. T he problem is
C H A P T E R 7. C O NC LU SIO N S 175
then formulated as a linearly constrained optim ization problem by choosing the tip
wrenches as the design variables. Q uadratic program m ing is employed to solve the
resulting optimization problem in light of its simplicity, uniqueness of the optim al so
lution and computational efficiency. Besides the objectives commonly used for rigid
cooperating manipulators, special a tten tio n is given to improving the dynamics be
havior of the flexible manipulator system , in particular, to reducing and stabilizing
the system vibrations. We illustrate with various numerical examples th a t the mini
mum strain energy, minimum weighted norm of elastic accelerations and the optimal
load sharing schemes are effective in achieving these goals.
Stability of the internal dynam ics of a inverse dynamics system is then investigated
in chapter 6 . The internal dynam ics is described by the equations of elastic motion
in the absence of both input (tip trajecto ry) and the o u tp u t (joint actuato r torques).
Linearization was used to a p proxim ate the state space trajectories around equilibrium
points. In many cases, the stability status of the nonlinear internal dynamics in
the neighbourhood of equilibrium points can be determ ined by the eigenvalues of
the plant m atrix of the linearized system. In fact, agreement in the behavior of
the inverse dynamics system was obtained between directly solving the nonlinear
dynamics equations and by calculating the eigenvalues of the linear plant matrix.
The stability analysis helped to explain why some of the optimization schemes are
not suitable for flexible multiple-arm systems, for example, minimizing the internal
force alone cannot be used as the objective of the optim ization problem. In practice,
calculating the eigenvalues of th e plant m atrix of the linearized internal dynamics
allows us to predict the behavior of th e nonlinear inverse dynamics system in response
to various force distribution schemes.
wrenches in such a way th at the plant matrix of the linearized internal dynam ics is
stable. T h e idea here is that tip wrenches should vary in accordance with the sta te s of
the internal dynamics. In the case where the degree of actuation redundancy is equal
to or larger th an the total number of elastic coordinates, stable internal dynam ics can
be ensured by the stability approach. Numerical examples were used to illu strate the
performance of the stability approach.
Possible selections of the cost function would be the elastic deflection of the system
over the whole trajectory which would serve as a criterion for minimum excitation
of the system vibration. It can also be viewed as a means of avoiding u nstable in
verse dynamics solution. It would also be interesting to compare the global force
optimization approach with Bayo's noncausal inverse dynamics solution and to de
term ine if there is any correlation between the two approaches. From the practical
standpoint, it would be significant to determine if there exists a local o p tim izatio n
C H A P T E R 7. CONCLUSIONS 177
approach which approximates the solution to the global optim ization problem in or
der to combine the merits of the global solution with the com putational simplicity of
the local optim ization.
.'Vnother extension of the present work is to investigate cases where joint flexibil
ity is significant. .Justification for considering the stru c tu ra l flexibility in either the
m anipulator links or the joints or both lies in the relevant applications. For instance,
in space applications, link flexibility is dominant because of the requirement for long
and slender m anipulator structure. By contrast, in most industrial m anipulators,
joint flexibility is more prominent because of the elastic transmission components
and because the links of industrial manipulators tend to be heavy and stiff. However,
when m anipulators are required to move at fast speeds, both joint and link flexibil
ities could significantly affect the performance of th e system . .A.It hough control of
cooperating manipulators with flexible joints has been tackled by some researchers
[76. 77]. consideration of both joint and link flexibility in the m anipulators has been
left un ad dressed.
178
R eferen ces
[2] A. .J. Koivo and G. .A. Bekey. Report of workshop on coordinated multiple robot
m anipulators: Planning, control, and applications. I E E E Journal o f Robotics
and Automation. 4(l):91-93, February 1988.
[5] 0 . .Al-.Jarrah. Y. F. Zheng, and K-Y. Yi. Efficient tra je cto ry planning for two
m anipulators to deform flexible materials with experim ents. In Proceedings 199.5
IE E E International Conference on Robotics and A utom ation, volume 1 . pages
312-317. Nagoya, .Aichi. Japan. May 1995.
[7] Zexiang Li. Ping Hsu. and Shankar Sas try. Grasping and coordinated m an ip
ulation by a multifingered robot hand. The International Journal o f Robotics
Research. 8(4):33-49. 1989.
[9] Y. F. Zheng and J. V. S. Luh. Optimal load distribution for two industrial
robots handling a single object. In Proceedings o f the 198S IE E E International
Conference on Robotics and Automation, pages 344-349. Philadelphia. Pa.. 1988.
REFERENCES 179
[ 1 1 ] K. Kreutz and A. Lokshin. Load balancing and closed chain m ultiple arm control.
In Proceedings o f the 1988 American Control Conference, pages 2148-2155, 1988.
[12] VV. S. Lu and Q. H. M. Meng. An improved load distribution scheme for coor
dinating m anipulators. In Proceedings 1993 IE E E International Conference on
Robotics and Automation, pages 523-528, Atlanta, Georgia, May 1993.
[14] M. Nahon and .1. Angeles. Real-time force optimization in parallel kinematic
chains under inequality constraints. IE E E Transactions on Robotics and A u
tomation. S(4);439-450. 1992.
[16] .1. Y. S. Luh and Y. F. Zheng. Load distribution between two coordinating
robots by nonlinear programming. In Proceedings o f the 1988 Am erican Control
Conference, pages 479-482, Atlanta. Georgia. June 1988.
[19] Q. Sun. 1. Sharf. and M. .Nahon. .A stable solution for the inverse dynamics
problem of Hexible-link cooperating manipulators. In Proceedings o f the loth
Canadian Congress o f Applied Mechanics, volume 1. pages 798-799. Victoria.
B.C., .May 1995.
[22] J.-H. Park and H. Asada. Dynamic analysis of noncollocated flexible arms and
design of torque transmission mechanisms. Journal o f D ynam ic Systems. Mea
surement. and Control, 116:201-207, 1994.
[23] J. W ittenburg. D ynam ics o f System s o f Rigid Bodies. B. G. Teubner S tu ttg art.
1977.
[24] .A. A. Shabana. D ynamics o f Multibody Systems. John Wiley & Sons. 1989.
[28] S. S. Kim and E. J. Haug. .\ recursive formulation for flexible multi body d y
namics, part ii: Closed-loop system. Computer Methods in .Applied .Mechanics
and Engineering. 74:251-269, 1989.
[29] E. Bayo, P. Papadopoulos, J. Stubbe. and M. .A.. Serna. Inverse dynamics and
kinematics of multi-link elastic robots: .An iterative frequency dom ain approach.
The International Journal o f Robotics Research. S(6):49-62. 1989.
[30] R. J. Williams and .A. Seireg. Interactive modeling and analysis of open or closed
loop dynamic systems with redundant actuators. Journal o f .Mechanical Design.
101:407-416, J u ly 1979.
[33] C. D. Kopf. Two-a rm hybrid position/force control with dynam ic com pensa
tion. In Proceedings o f the Second International Symposium on Robotics and
Manufacturing, pages 371-381, A lbuquerque, NM, 1988.
[34] Dong-Soo Kwon and Wayne J. Book. .A time-domain inverse dynam ic track
ing control of a single-link flexible m anip ulator. Journal o f D ynam ic Systems.
Measurement, and Control, 116:193-200, J u n e 1994.
[35] H. Asada, Z.-D. Ma, and H. Tokum aru. Inverse dynamics of flexible robot arms:
Modeling and co m putation for tra je cto ry control. Journal o f D ynam ic Systems.
Measurement, and Control, 112:177-185, J u n e 1990.
[39] W. J. Book. Recursive lagrangian dynam ics of flexible m anip ulator arms. The
International Journal o f Robotics Research, 3(3):87-101. 1984.
[43] D. Wang and .VI. Vidyasagar. Modeling of a 5-bar-linkage m an ipu lator with one
flexible link. In Proceedings 1988 IE E E International Conference on Robotic.-^
and .Automation, volume 1. pages 21-26. 1988.
[44] .A. .A. Shabana. Dynamics of flexible bodies using generalized newton-euler eq u a
tions. Journal o f Dynamic Systems. .Measurement, and Control. 112(3):496-503.
1990.
REFERENCES 182
[45] C. Damaren and I. Sharf. Simulation of flexible-link m anip u lato rs with inertial
and geometric nonlinearities. Journal o f Dynamic Systems, Measurement, and
Control, 117:74-87. March 1995.
[46] B. Gebler. Feed-forward control, strategy for an industrial robot w ith elastic links
and joints. In Proceedings 1987 IE E E International Conference on Robotics and
Automation, pages 923-928, Raleigh, NC., April 1987.
[47] C.-H. Menq and .J. Chen. Precision tracking control of discrete tim e
nonminimum-phase systems. In Proceedings o f the 1992 A m erica n Control Con
ference, pages 1097-1101, Chicago, II, .June 1992.
[48] S. N. Singh and .A. A. Schy. Decomposition and state variable feedback control of
elastic robotic systems. In Proceedings o f the 1985 American C ontrol Conference.
pages 375-380, Boston, MA, .June 1985.
[49] D. Wang and M. Vidyasagar. Control of a class of m an ipu lato rs with a single
flexible link — part I: Feedback linearization. Journal o f D y n a m ic Systems.
.Measurement, and Control, 113:655-661. December 1991.
[50] D. Chen. An iterative solution to stable inversion of nonm inim um phase systems.
In Proceedings o f the 1993 .American Control Conference, pages 2960-2964. San
Francisco. CA. .June 1993.
[52] D. S. Kwon and VV. .J. Book. An inverse dynamic m e th o d yielding flexible
manipulator state trajectories. In Proceedings o f .American C ontrol Conference.
volume 1 . pages 186-193. 1990.
[53] VV. Gawronski. C.-H. C. Ih, and S. .J. Wang. On dynamics a n d control of m u lti
link flexible manipulators. Journal o f Dynamic Systems. M ea su rem ent. and Con
trol. 117:134-142. .June 1995.
[54] V. .A. Spector and H. Spector. Modeling and design implications of noncollocated
control in flexible systems. Journal o f Dynamic Systems. .Measurement, and
Control. 112:186-193. 1990.
[55] D. S. Wang, G.-B. Vang, and M. Donath. Non-collocated flexible beam motion
control based on a delayed adaptive inverse method. In Proceedings o f the 1993
.American Control Conference, pages 552-559. San Francisco. C.A. .June 1993.
[58] C.-T. Chea. Linear System Theory and Design. Holt, R inehart and Winston.
1984.
[59] E. Bayo and H. Moulin. An efficient com putation of the inverse dynamics of flex
ible manipulators in the time domain. In Proceedings 1989 IE E E International
Conference on Robotics and .Automation, pages 710-715, Scottsdale, AZ. 1989.
[60] H. C. Moulin, Eduardo Bayo, and Bradley Paden. Existence and uniqueness of
solutions of the inverse dynamics of multilink flexible arms: Convergence of a
numerical scheme. .Journal o f Robobic Systems, 10( 1):73-102. 1993.
[61] M. Nahon, C. Damaren, A. Bergen, and .J. Gonçalves. .\ test facility for m ulti
arm ed space-baaed manipulators. Canadian Aeronautic and Space .Journal, pages
391-400, 1995.
[64] .]. K. Salisbury and I. I. Craig. Articulated hands: Force control and kinematic
issues. The International .Journal o f Robotics Research. I(I):4 -17 . 1982.
[65] H. Hanafusa and H. .Asada. Stable prehension by a robot hand with elastic
fingers. In Proceedings o f the 7th International Symposium on Industrial Robots.
pages 361-368. Tokyo, October 1977.
[6 6 ] W. Yim and S. N. Singh. Inverse force and motion control of constrained elastic
robots. .Journal o f Dynamic Systems. Measurement, and Control. 117:374-383.
Septem ber 1995.
[67] G. Strang. Linear .Algebra and its .Applications. .Academic Press Inc.. 1976.
[69] H. D .Angelo. Linear Time-Varying Systems: Analysis and Synthesis. .Allyu and
Bacon Inc.. 1970.
REFERENCES 184
[70] M. VV. Spong and M. Vidyasagar. Robot Dynamics and Control. New York:
VViley, 1989.
[72] J. Z. Xia and C.-H. Menq. Real tim e estim ation of elastic deformation for end
point tracking control of flexible two-link manipulators. .Journal o f Dynamic
Systems, Measurement, and Control, 115:385-393. Septem ber 1993.
[73] M. VV. Vandegrift, F. L. Lewis, and S. Q. Zhu. Flexible-link robot arm control
by a feedback linearization/singular perturbation approach. .Journal o f Robotic
Systems, ll(7):591-603, 1994.
[74] D. W'ang and M. Vidyassagar. Passive control of a stiff flexible link. The Inter
national .Journal o f Robotics Research. 11(6):572-578. 1992.
[75] S. K. Madhavan and S. N. Singh. Inverse trajectory control and zero dynamic
sensitivity of an elastic manipulator. The International .Journal o f Robotic.^ and
Automation, 6(4):179-192. 1991.
A p p e n d ix A
In te rb o d y M a trices an d
P r o je c tio n M a trices
In this appendix, we introduce various sets of matrices which are used to relate the
geometric properties of the bodies in a chain to one another and to describe the chain
kinematics.
A .l R o ta tio n M a tr ic e s
Components of any vector in any fram e can be transformed into the components
in any other frame by means of the ro tation m atrix C„.m- defined as follows:
0
Cn,m — (A.3)
0 Cr
A .2 M a tr ix R^+i.n
1 -r,n . n + I
R-n+I.n — (n = 0. I , \ j A.4)
We also define
R n.n+l — (n = 0. I . \ ( A.Ô)
pT
1 0
^n+l.n A. 6 )
‘' n . n + l 1
and
p -I ^ ‘' n + l . n
^n+l,n (A .7)
0 1
A P P E N D I X A. I N T E R B O D Y M A T R I C E S A N D P R O J E C T I O N M A T R I C E S 187
A. 3 I n te r b o d y T ra n sfo rm a tio n s
and
n—I _ 'j- (A.IO)
ft+l.n — n,n+l
and
t ic B o d ie s
T he generalized transform ation matrix for elaatic body is used to determ ine the effect
of the elastic deformation on the spatial velocity at the joint. It is defined as:
where
r’n.n+l
“ n+I,n — : a . i 4)
©(rn.n + l'
A P P E N D I X A. I N T E R B O D Y M A T R I C E S A N D P R O J E C T I O N M A T R I C E S 188
In the above, '9?(rn,n+i) is th e shape function m a trix at r^.n+i associated with the
elastic deform ation and © is defined by:
(A.15)
A .5 P r o je c t io n M a tr ix
A projection m atrix is used to define the geometric constraints imposed at each joint.
Columns span the subspace of allowable interbody m otion. Therefore, the dimension
of V n is 6 X TTin whcrc m„ ( < 6 ) is the number of allowable degrees of freedom.
T
0 0 0 0 0 1 (A. 16)
The above implies that only one rotational degree of freedom about the third axis is
allowed.
A .6 G lo b a l T r a n sfo r m a tio n M a tr ic e s
The global transformation matrices for a m ultibody chain are defined as follows:
1 0 0 •• 0
Tuo 1 0 •• 0
^ .v .o T~ S. 2 • 1
A P P E N D I X A . I N T E R B O D Y M A T R IC E S A N D P R O J E C T IO N M A T R I C E S 189
and
0 0 0 0
«^1.0 0 0 0
0 0 ... 0
190
A p p e n d ix B
B .l G e n e r a l F o rm o f O p tim iz a tio n P r o b le m
VVc now introduce some basic definitions and fundamental theorems used in solving
the constrained optimization problems. .A. general form of such a problem is given as
[62 ):
where rn < n and functions / . h, (i = 1. • ■■.m ) and ffj (j = I. - ■■.p) are continuous,
and are usually assumed to possess continuous second partial derivatives. For the
objective function, we define a gradient vector V / € R " of the objective function /
A P P E N D I X B. D E F IN IT I O N S A N D T H E O R E M S O F O P T I M I Z A T I O N 191
at x:
df/dxi
dfldx2
V/ = (B.2)
C onstraints on the design variables separate the design space into feasible and infea
sible regions which are defined below.
section are all related to local minima. Global minimum solutions can only be found
if the problem possesses certain convexity properties which essentially guarantee that
any local m inim um is a global minimum.
In studying the properties of a local m inim um point, it is clear that only the active
constraints need to be considered. This is illustrated in Figure B .l where the local
properties satisfied by the solution x" do not depend on the inactive constraints po and
Ç3 . This observation suggests that optim ality conditions can be derived by considering
A P P E N D I X B. D E F I N I T I O N S A N D T H E O R E M S OF O P T I M I Z A T I O N 193
th e equality constraints alone and subsequently making additions to account for the
</3(X) = 0
32(X) = 0 j ,y,(x) = 0
D e f i n i t i o n B .5 (Regular Point)
.A. point x ' satisfying the constraint (B .lb ) is said to be a regular point of the
constraint if the gradient vectors V /ii( x ’ ). Xhni x' ) . Vhmi' x") are linearly
independent.
For a problem constrained by linear equality equations of the form in (-5.16). the above
condition for a regular point is equivalent to the matrix A i having a full rank. From
th e simplest optim ization problem — the unconstrained one-dimensional op tim ization
— we know th a t a local minimum point requires zero slope and positive curvature. We
would also expect similar optimality conditions for the constrained multi-dimensional
problems.
h (x ) = AiX — bi = 0 B.G)
Vh = A [ ; b .7)
V /(x -) = - A [ A : b .s )
This means that the gradient vector of / must lie in the range space of A [ . or
ecjuivalently. V f ( x ' ) is orthogonal to the null space of A ;.
Again, in the case when h is linear in x. H(h) = 0. Hence, the condition for the
positive definiteness of L(x") on M reduces to:
and let J be the set of indices j for which (x" ) = 0. Then x ' is said to be a
regular point of the constraints (B.13) if the gradient vectors V /z d x '). Vg^(x").
\ < I < m . j Ç: J are linearly independent.
T h e o r e m B .3 (Kuhn-Tucker Conditions)
Let x" be a local m inim um point for the problem as defined in e q .( B .l) and
suppose x" is a regular point for the constraints. Then there is a vector A t R
and a vector /fE R '' with ^ > 0 such that
fi^ g (x -) = 0 (B.I5)
A P P E N D I X B. D E F IN IT I O N S A N D T H E O R E M S O F O P T I M I Z A T I O N 197
We note th a t, since ^ > 0 and g ( x ') < 0 , eq. (B.15) is equivalent to the statem e n t
th a t a com ponent of fi may be nonzero only if the corresponding constraint is active.
Similarly, the second-order sufficient conditions are extended for the situation with
inequality constraints as follows:
fi> 0 (B.16)
At^g(x’ ) = 0 (B.17)
where
Once again, for a linearly constrained problem, the condition for the positiveness of
the Hessian m atrix L (x ') reduces to H ( / ( x “)) being positive definite on the subspace
M' . In sum m ary, we note that the inequalities are treated by determining which of
them are active at a solution. .A.n active inequality constraint is then treated just like
an equality constraint, except th a t its associated Lagrange multiplier can never be
negative.
A P P E N D I X B. D E F IN IT I O N S A N D T H E O R E M S OF O P T I M I Z A T I O N 198
B .4 C o n v e x F u n c tio n s
Based on the above optimality theorems, a constrained optim ization problem can be
approached by solving directly the Lagrange first-order necessary conditions. T h e
second-order sufficient conditions are then used to determ ine w hether or not point
x ‘ satisfying the Lagrange first-order conditions is a local minim um . This procedure
is known as the Lagrange method. In some cases, if the objective function takes a
special form, the second step can be om itted. An ideal situation arises for a particular
objective function, when a solution of the Lagrange first-order necessary conditions
is guaranteed to produce a unique global minimum point in the design space. Such
objective function is known as a convex function as defined below.
A set Q in R " is said to be convex if for every Xi. X2 G D and every real num ber
o. 0 < a < I. the point a x , -f ( 1 — a)Xj € 0.
W ith this definition, it is trivial to show that the design space R " is always convex
since any point on the line connecting two other points in R " is also a m em ber of R "
The function / is said to be strictly convex if for every a . 0 < a < 1. and
X, ^ x>. the following holds
/ ( a x i -h (I - q ) x 2 ) < a / ( x i ) 4- ( I - a ) / ( x 2 ) (B.21)
A P P E N D I X B. D E F I N I T I O N S A N D T H E O R E M S O F O P T I M I Z A T I O N 199
In addition, convex functions can be combined to yield new convex functions. For a