An Updating Method for Finite Element Models of Flexible-Link Mechanisms Based on an Equivalent Rigid-Link System

. This paper proposes a comprehensive methodology to update dynamic models of ﬂexible-link mechanisms (FLMs) modeled through ordinary diﬀerential equations. The aim is to correct mass, stiﬀness, and damping matrices of dynamic models, usually based on nominal and uncertain parameters, to accurately represent the main vibrational modes within the bandwidth of interest. Indeed, the availability of accurate models is a fundamental step for the synthesis of eﬀective controllers, state observers, and optimized motion proﬁles, as those employed in modern control schemes. The method takes advantage of the system dynamic model formulated through ﬁnite elements and through the representation of the total motion as the sum of a large rigid-body motion and the elastic deformation. Model updating is not straightforward since the resulting model is nonlinear and its coordinates cannot be directly measured. Hence, the nonlinear model is linearized about an equilibrium point to compute the eigenstructure and to compare it with the results of experimental modal analysis. Once consistency between the model coordinates and the experimental data is obtained through a suitable transformation, model updating has been performed solving a constrained convex optimization problem. Constraints also include results from static tests. Some tools to improve the problem conditioning are also proposed in the formulation adopted, to handle large dimensional models and achieve reliable results. The method has been experimentally applied to a challenging system: a planar six-bar linkage manipulator. The results prove their capability to improve the model accuracy in terms of eigenfrequencies and mode shapes.


Introduction
e use of lightweight mechanisms is increasing significantly in the last years.Indeed, this kind of construction ensures less material and power consumption that allows for smaller actuators.On the other hand, the flexibility of the links makes the motion planning and control critical and hence imposes the use of advanced techniques that account for the flexible system dynamics [1][2][3][4][5][6].erefore, great attention has been paid to dynamic modeling of flexible-link mechanisms (FLMs) to boost the development of effective model-based design or control techniques or to allow for numerical simulations.
Several modeling approaches are proposed in literature.A widespread approach is to take advantage of finite element (FE) methods to discretize the link flexibility through a finite number of elastic degrees of freedom (dofs) and to represent the total motion of the system as the superposition of a large amplitude rigid-body motion and the coupled smallamplitude elastic deformation [5][6][7][8][9].
e availability of a correct model formulation is however not sufficient to predict correctly the dynamic response.Indeed, these FE models are not effective if the inertial and elastic properties of the model are not correctly tuned.
erefore, it is necessary paying attention to the correct estimation of the model parameters, either through direct physical measurement, whenever possible, or using experimental parameter identification techniques.e latter process of correcting the FE model parameters to feature a set of experimental measurements is known in the field of structural dynamics as model updating.
Model updating can be performed by following two different types of approach: noniterative or iterative techniques [10,11].Recently, semidirect methods have also been proposed [12].Noniterative techniques (also denoted direct or one-step) provide analytical solutions to model updating problem through a single step [13].Nonetheless, such solutions might be without physical meaning and scarcely robust to measurement noise [10,11].Conversely, iterative techniques (also denoted parametric techniques) preserve the physical meaning of the updated parameters at the cost of an increase of the computational complexity due to the numerical iterations adopted to reduce the mismatch between experimental and model responses.Basically, iterative techniques compute the updated parameters through an objective function that represents the difference between analytical and experimental results.erefore, they may lead to local optimal solutions if the updating problem is formulated as a nonconvex optimization problem.In the last years, the use of iterative techniques has been boosted by the advanced techniques and toolboxes for numerical optimization [13][14][15][16][17][18][19].Recently, stochastic approaches have also been proposed [20,21].
Although several model updating techniques have been developed and implemented in the field of structural mechanics, in the multibody field the issue of model updating has been just marginally addressed.Indeed, most of the works proposed in the literature on model updating address structures and often the proposed methods are suitable for structures with a few degrees of freedom.
e resulting methods are, therefore, not effective for mechanisms which have some peculiar features.On the contrary, researches in the field of multibody systems are more frequently targeted to the development of efficient model formulations, by assuming that exact model parameters are known.
To solve this open issue, this paper introduces a model updating approach for flexible-link mechanisms based on the equivalent rigid-link system (ERLS) [8,9] and formulated through ordinary differential equations (ODEs), which is a common method adopted for dynamic modeling.e main goal of this paper is to formulate a comprehensive approach that exploits experimental mode shapes and eigenfrequencies obtained through modal analysis, in order to identify the correct values of the model parameters.e formulation of an effective approach imposes several steps that are carefully accounted for in this work.Some preliminary results have been proposed by the authors in conference paper [22], which outlines the method idea through a simplified approach.e method is here extended to deal with a larger number of vibrational modes and constraints through an improved formulation which ensures more precise results and accounts for more measurements: not only the proposed approach is capable of exploiting more modal data, but also it takes advantage of information on the static behaviour of the mechanism.Additionally, some effective numerical methods are here proposed to speed up the problem formulation and solutions even in the presence of large dimensional models and a larger number of measured vibrational modes.e remainder of the paper is organized as follows.In Section 2, the modeling of FLMs based on the ERLS is briefly recalled, as well as model linearization.In Section 3, some arrangements have been discussed to make experimental data compatible with model coordinates.In Section 4, the proposed numerical technique is introduced and thoroughly discussed.In Section 5, the experimental validation of the method is proposed by applying the method to a lightweight planar manipulator.Concluding remarks are given in Section 6.

Model Based on the Equivalent
Rigid-Link System 2.1.Definitions.e paper deals with FLMs with scleronomous and holonomic constraints.e motion of each link can be notionally written as the large rigid-body motion of an equivalent rigid-link system (ERLS) plus the small elastic displacements with respect to the ERLS itself [8,9].Basically, the ERLS represents a moving reference from which the elastic displacements are defined.Such an approach allows for a simple formulation and solution of the nonlinear differential equations governing the system motion.Indeed, once the mutual dynamic coupling between the ERLS and the elastic displacements is correctly accounted for in the model, the ERLS can be represented by taking advantage of the kinematics of rigid multibody systems as a function of its generalized coordinates q.Additionally, if the ERLS is placed very close to the actual deformed mechanism, then the small displacement assumption is correct and the classical FEs can be adopted.e absolute position vector b i of the nodes belonging to the ith FE can be expressed with reference to a global reference frame as the sum of two contributions: where u i is the vector of the nodal elastic displacements of the ith element expressed with respect to the ERLS, and r i is the vector of the nodal positions of the ith element of the ERLS and it is a function of the ERLS generalized coordinates q, that is, it can be computed through the rigidbody kinematics.A schematic representation of such definitions is provided in Figure 1.Let u be the vector collecting the elastic displacement of all the nodes and b be the vector of the positions of all the nodes of the FLM, then (1) leads to the following expression that holds in the case of infinitesimal displacements db, dr, and du: where I is the identity matrix and S is the sensitivity coefficient matrix for all the nodes of the ERLS.Matrix I S   is not square since it has n u′ rows and n u′ + n q columns, with n u′ and n q being the numbers of the elastic dofs and of the ERLS generalized coordinates, respectively.is means that the linear system in (2) is underdetermined.To overcome this issue, matrix I S   should be made square by forcing to zero n q elements of u.In this way, the system in ( 2) is 2 Shock and Vibration determined and hence the position of the ERLS is defined univocally with respect to the actual deformed mechanism.

e Nonlinear Model.
e final expression of the system equations of motion is given by the following set of nonlinear ordinary differential equations (ODEs): M e � M e (q), C e � C e (q), and K e � K e (q) are obtained by assembling the mass, damping, and stiffness matrices of all the FEs adopted to model the link; M G � M G (q, _ q) collects the link centrifugal and Coriolis effects.Finally, v is the vector of the nodal external forces and torques.
e offdiagonal terms in the matrices in (3) represent the coupling between the ERLS generalized coordinates and the elastic displacements.

e Linearized Model.
e use of linearized models is very satisfactory in the case of small deformations about operating points and hence can be successfully used in the synthesis of control schemes and state observers [23,24].Additionally, mode shapes and eigenfrequencies can be easily computed.As for the use of a minimal set of ODEs for the model synthesis, despite the large use of differential algebraic equations (DAEs) for modeling FLMs [25], it is justified by the possibility to obtain the exact spectrum.Indeed, models employing DAEs do not allow for the straightforward use of such a kind of analysis, and the spectrum of the linearized model is affected by the linearization method [26].
Linearization assumes small displacements about a static equilibrium configuration, which is set by the equilibrium configuration of the ERLS q e .en the following linear model is obtained: In (4), g is the gravity acceleration vector.Matrices M e , S, K e and the derivatives d(S T M e )/dq and dS T /dq are computed about the equilibrium configuration.e product (dS T /dq) ⊗ v e denotes the inner product of matrix [zS i,1 /zq j • • • zS i,n /zq j ] with vector v e , for all the subscripts i, j (analogous meaning for (d(S T M e )/dq) ⊗ g).
Since model updating should be performed by investigating the system in an asymptotically stable equilibrium configuration, gravity should be compensated in the experimental modal analysis whenever the mechanism lies in the vertical plane.Indeed, the absence of a stable equilibrium would make the mechanism diverge from the initial configuration after the excitations, and therefore, the system dynamics would not meet the basic assumption beneath the linearized model.A possible approach is balancing through external springs that determine asymptotic stability of the equilibrium point.e stiffness of these springs should be included in the stiffness matrix and among the updating variables.In contrast, the use of brakes, for example, those employed in the motors, changes the boundary conditions.erefore, model updating may lead to less reliable results.

Node
Node it h e le m e n t

Shock and Vibration proposed in this work expands the experimental data to match the dimension of the FE model by means of transformation matrices T
where η * i denotes the ith measured eigenvector while η i denotes the expanded one.
e use of curve fitting, by means of the shape functions of the FEs and a set of redundant measurements of accessible dofs, is a reliable way to handle experimental data contaminated by noise.Alternatively, spline functions can be adopted for high-frequency modes, even if they are affected by errors due to measurements or to the mode-extraction algorithm.Section 5.3 provides a more detailed explanation on the procedure in the case of the planar mechanism studied here.

Mode Shape Transformation from the Physical Reference
Frame to One of the Models.After expansion, the measured mode shapes should be transformed from the physical reference frame adopted for experimental measurements to the fictitious one used in the ERLS-based FE model.Indeed, sensors employed to perform experimental tests typically provide measurements with respect to local reference frames corresponding to the mechanism in its initial static configuration.Conversely, the model elastic displacements (collected in u) are defined with respect to the ERLS and are expressed in a global reference frame (Figure 1).Hence, some of the elastic displacements are forced to zero to make the ERLS follow the actual elastic mechanism.At the same time, the ERLS coordinates should be included in the displacement vector and therefore in the eigenvectors.
Let q e be the static equilibrium configuration corresponding to the actual position of the mechanism, adopted for both the experimental modal analysis and the model linearization.Let us assume that the mechanism is vibrating in accordance with the ith mode about the equilibrium configuration.
e absolute position of the nodes of the FEM, denoted b i , can be represented both through the eigenvector defined in the physical frame adopted for the experimental analysis, η i , and through the one defined with the model coordinates, η i .If b i is defined in a global frame, the eigenvector measured in the physical frame should be rotated onto the global reference frame through the ERLS kinematic constraint equations: where r is the vector of the nodal position of the FLM in the configuration set by q e while Θ is a block transformation matrix which depends on the rigid-body kinematic constraints.
If, in contrast, the same configuration is represented through the eigenvector of the linearized model η i expressed with respect to the ERLS at configuration q i � q e + Δq, the following relation holds: where r(q i ) is the vector of the nodal position of the ERLS in the configuration set by q i .e displacement of the ERLS-generalized coordinates Δq represents the rotation of the ERLS, which moves to follow the actual mechanism.Hence, it is equal to the n q zeroed elements of u discussed in Section 2.1.
A graphical representation of ( 6) and ( 7) is provided in Figure 2 with reference to a single flexible link.
e final transformation to make the experimental eigenvectors consistent with the model formulation can be inferred from ( 6) and ( 7) where  η i denotes the transformed experimental eigenvector to be employed in the model updating procedure.
e result proposed in ( 8) is the exact relation that transforms the measured expanded eigenvectors and is an improvement of the approximated one proposed in [22].

Formulation of the Mass and Stiffness Matrix Updating.
e model is updated by firstly correcting the inertial and elastic parameters through the undamped model.is choice simplifies the formulation of the inverse eigenvalue problem by casting it as a first-order problem.Hence, real eigenpairs are obtained, thus improving the numerical solution by just handling real numbers.e identification of damping matrix can be performed separately, through the well-established methods proposed in literature [27,28], once the inertial and elastic parameters have been updated.A "two-step" approach, that updates stiffness and the mass matrices first and then updates damping matrix, is often adopted in literature since it is usually more reliable [29].
e negligible internal damping of beams further corroborates this approach.
e linearized undamped model in ( 4) is represented through the mass M O ∈ R N×N and the stiffness K O ∈ R N×N matrices, which are the initial (nominal) system matrices based on the nominal inertial and elastic parameters (N is number of model dofs, including both rigid and elastic coordinates: N � n q + n u ).e updating of the model matrices is represented here through additive correction matrices, the so-called update matrices ΔM ∈ R N×N and ΔK ∈ R N×N , which collect the parameters that are affected by uncertainty and hence should be corrected.erefore, the mass and stiffness matrices of the N-dimensional updated model are M O + ΔM and K O + ΔK. e topology of the update matrices depends on the topology of M O and K O .
Following a popular representation, ΔM and ΔK can be written as the sum of the update matrices related to each update (unknown) parameter, denoted ΔM h and ΔK h , that represent the effect of each additive update parameter: 4 Shock and Vibration e method proposed in this paper updates masses and stiffnesses simultaneously to address their coupling effects more effectively and hence obtaining more reliable results.In contrast, several works in literature proposes two-step approaches that split mass and stiffness updating in two sequential steps.e simultaneous updating imposes to tackle the different magnitudes of masses, inertias, and elastic parameters that cause ill-conditioning of the numerical problem if they are not properly accounted for.Hence, to improve the problem conditioning, dimensionless (normalized) modifications m h and k h are introduced: Δm h and Δk h are the corrections on the parameters of the original model (m O h and k O h , resp.) that should be updated: For the parameters whose original value is zero, the reference value might be defined as the upper bound of their allowed modifications.Nonetheless, other arbitrary reference numbers can be assumed, though reasonable.All the variables m j and k h are collected in the , which collects all the problem unknowns (N m and N k denote the number of parameters that can be updated in the mass and stiffness matrix, resp.).
Equation ( 9) can be written in the following form by introducing the Jacobian matrices J m h and J k h : where e representation in ( 12) is exact, and Jacobians are invariant whenever the updating parameters linearly affect the mass and stiffness matrices, such as in the case of nodal masses, inertias, or springs, and also in the case of Young's modulus, mass density, and sectional area of the beams.If, in contrast, the Jacobians are not constant (such as in the case of including the link lengths as the unknown parameters), iterations should be performed.
e formulation through the Jacobian matrices allows for the use of some numerical methods to formulate the model updating problem, by speeding up the computation and reducing the need of complicate analytical developments.More details are provided in Section 5.

Formulation of the Inverse Eigenproblem.
e formulation of the model updating method is based on the following eigenvalue problem that must hold for any measured eigenpairs ( ω 2 i ,  η i ), i � 1, . . ., n (where n ≤ N is the number

Shock and Vibration of measured modes and 􏽢
ω i is the natural frequency associated to eigenvector  η i ): Any arbitrary normalization of the measured eigenvectors can be adopted.
e formulation of the eigenvalue problem in the form of (14), rather than the form has the advantage that just one equation is written for each vibrational modes, thus improving numerical conditioning.
By introducing the representation of the update matrices given in (12), the scalar equations in ( 14) are written as linear problems in the unknown m j , k h  : Equation ( 15) can be represented in the typical compact form of a linear algebraic system through vector a i , which collects the known coefficients, and scalar which is the known-term that depends on the original model to be updated and on the experimental data: Since the problem unknowns should be constrained by a feasible set and the condition in ( 16) should be simultaneously satisfied for all the measured eigenpairs (i � 1, . . ., n), an exact solution might not exist.In practice, the measured eigendata are usually not reproduced exactly by the updated model.erefore, it is more reasonable approximating the updating problem as a least-square minimization: A ∈ R n×(N m +N k ) and d ∈ R n collect the terms of each eigenvalue problem in ( 16): the rows of matrix A are the vectors a i , while the entries of d are the scalars d i .e diagonal matrix W ∈ R n×n is defined to weigh the residual of each eigenvalue problem through the positive and scalar weights w i, with i � 1, . . ., n. W allows giving less importance to those eigenpairs whose measurements are less reliable, as well as to give higher importance to the vibrational modes that are more observable and controllable.
Regularization can also be adopted to penalize some of the components of χ and to improve the numerical conditioning.Indeed, some model parameters might be more uncertain than the others, and therefore, it is more desirable that the updating procedure modifies them.erefore, the Tikhonov's regularization term λ‖Ωχ‖ 2  2 is included in (19).e positive scalar λ is named the regularization parameter and trades-off between the cost of missing the eigenpair specifications ( 16) and the cost of using large values of the unknown variables (i.e., ‖χ‖ 2  2 ).An effective way to select λ is the use of the L-curve method for the unconstrained problem, which admits analytical solution and hence the calculation is straightforward.According to [30], λ is chosen as the value that corresponds to the point at the "vertex" of the curve (whose shape recalls the letter "L"), that is, the point with the largest magnitude curvature.
e positive-definite real matrix is the regularization operator and can be adopted to define the relative weight between the updates of the different model parameters.e model updating problem therefore becomes e numerical solution of the minimization problem should be further improved through preconditioning to handle effectively large dimensional matrices and the simultaneous presence of low-frequency and high-frequency vibrational modes.By using the following preconditioner, (A T W T WA + λΩ) −1 A T W T , the system in ( 17) is written in the following equivalent form whose condition number is one: A wise selection of λ also ensures that the inverse (A T W T WA + λΩ) −1 is well conditioned, and hence the optimization problem in ( 19) is correctly formulated.erefore, more reliable solutions can be achieved compared to [22] that effectively handle a larger number of vibrational modes over a larger frequency range.

Static Equilibrium Constraints.
e knowledge of the static equilibrium configuration allows for the inclusion of some additional information that can be handled by means of the optimization-based formulation proposed in this work.In such a rest configuration, the mechanism is subjected to the action of gravity forces (whenever it lies on the vertical plane), friction, elastic forces due to balancing springs (connecting the mechanism to the ground or linking more links), and forces exerted by actuators.In the case of small elastic displacement with respect to the ERLS, which is the basic assumption that has been adopted in the development of such a model and therefore is taken all along the paper, the effect of the elastic deformation of the links can be neglected in the computation of the aforementioned forces [8].Hence, a rigid-body model can be assumed, and the mechanism coincides with the ERLS.e application of the principle of virtual work for the rigid-link system leads to the following equation: where δr T is the vector of the virtual displacements of all the nodes of the ERLS.Vectors v spring , v control , and v friction collect, respectively, the spring, control, and friction nodal forces (i.e., v spring + v control + v friction � v).ΔM e is the 6 Shock and Vibration n u -dimensional submatrix of matrix ΔM that collects the modification of M e .For clarity of explanation, the effect of the external springs has been represented in (20) through v spring (rather than using stiffness matrix), which also collects some updating unknowns.Equation ( 20) can be transformed into a set of n q independent equations (i.e., one equation for each ERLS dof ), through the matrix of the sensitivity coefficients: All the matrices are computed at the static equilibrium configuration adopted for linearization, q � q e .Equation ( 21) should be included in model updating as equality constraints, which are linear functions of the problem unknown χ: H and h collect the coefficients of the linear system.e inclusion of ( 22) into the minimization problem has some practical issues since the exact value of friction is usually unknown.If reasonable upper bounds of friction are estimated, the friction forces reflected to the ERLS coordinates S T v friction , can be treated as uncertain values that should be bounded, |S T v friction | ≤ ν. erefore, the n q equality constraints in ( 22) can be relaxed as 2n q inequality constraints:

Constraints on the Updating Parameters.
e correction of parameters should be bounded to ensure physical meaning.Hence, lower and upper bounds on each parameter (denoted as χ L and χ U , resp.) and on combinations of more parameters should be defined.e latter type of constraint is defined through a convex polyhedron (by means of a matrix G and a vector γ).ese two types of constraint define the following convex feasible set Γ(the inequalities are element-wise):

Formulation of the Model Updating Problem.
e model updating problem is finally represented as the following constrained minimization problem: , such that Both the objective function and the feasible domain are convex.Hence, the solution is straightforward since convexity ensures that the global optimal solution can be found regardless of the selection of the initial guess.
In the case of medium-scale or large-scale problem, a convenient formulation is the one based on the quadratic programming optimization, rather than the least-square norm minimization in (25), that can be solved through reflective-trust-region algorithms:

Description of the Mechanism.
e model updating strategy proposed in this paper has been applied to the manipulator with flexible links shown in Figure 3(a).Such a manipulator consists of five rods with circular cross sections made of aluminum anticorodal.
e links are connected to each other by means of revolute joints, created by means of double ball bearings with negligible clearance and friction losses, inserted in aluminum housings.A serialparallel kinematic topology is obtained.Links 1, 2, and 5 are driven by three brushless motors.
e mechanism is equipped with two identical balancing springs, modeled as a single lumped spring, which has been introduced to compensate for gravity force.
e links have been modeled with two-node and sixdegree-of-freedom Euler-Bernoulli's beam elements to represent the planar motion of the mechanism.Overall, nine beam elements have been adopted (Figure 3(b)).Lumped masses and nodal inertias have been adopted to represent the joints and the motors.e resulting model has 27 elastic dofs, and three ERLS-generalized coordinates q � q 1 q 2 q 3   T are the joint absolute rotations of the motors.
e rigid moving reference is then defined by forcing the ERLS to coincide with the actual flexible mechanism at the rotation of these three joints.Hence, three elastic displacements with respect to the ERLS are forced to zero in the FLM model, in order to place the moving reference defined by the equivalent rigid mechanism correctly (Section 2).
Model updating has been done by investigating the mechanism in the stable equilibrium configuration with no motor torques (i.e.,v control � 0), where gravity forces are exactly compensated by the balancing force exerted by the two external springs and by friction, which corresponds to q e � 1.082 2.635 4.712   T [rad].

e Experimental Modal Analysis.
Experimental modal analysis has been performed through impact tests.A series of frequency response functions (FRFs) have been measured through accelerometers, while an instrumented impact hammer has been adopted to exert the excitation forces.
Shock and Vibration e measurement chain consists in (i) 5 accelerometers described in Table 1; (ii) an instrumented impact hammer PCB Modally Tuned 086C03 with teflon tip; (iii) a front-end system LMS SCADAS Recorder (max input ± 10 V, ADC 24 bit); (iv) a modal software LMS Test.Lab Impact Testing 11B, with the following tools: Geometry, Modal Analysis, PolyMAX Modal Analysis.
e impact setup defined for the test is described in Table 2.
e number of measurement points has been selected to provide a reliable representation of the mode shapes in the frequency range of interest and for the interpolation to expand the experimental results to fit the model dimension with adequate smoothing of measurement noise and uncertainty (Section 5.3).In accordance with these aims, a manipulator geometry has been created through 22 points in the software tool LMS Test.Lab Impact Testing 11B Geometry, as shown in Figure 4.
As far as the frequency range of interest is concerned, it ranges from 0 to 200 Hz.
is interval corresponds, approximately, to the bandwidth of the motor current loop and hence to the range of frequencies where active control could be reasonably achieved.In contrast, the vibrational modes with higher frequency can neither be controlled nor excited in the forced motion, and hence they are not of interest for the model.erefore, seven vibrational modes have been adopted to perform model updating.As a representative example of such FRFs, Figure 5 shows the 7th row of the matrix of the FRFs, as it was provided by the software.
Measured data have been postprocessed using the Pol-yMAX of LMS Test.Lab 11B tool, which extracts the mode shapes through the "pole-residual model" [31].While eigenvalues can be easily identified with negligible uncertainty [32], the extraction of reliable mode shapes imposes careful and multiple execution of the test to get rid of measurement noise or wrong hammer excitations, as well as a wise use of the stabilization diagrams.A total number of 315 FRFs have been recorded by averaging four measurements.In such a way, a more reliable extraction of the modal parameters has been done and the effect of uncertainties introduced by the extraction algorithm can be neglected.

Size Compatibility between the FE Model and the
Measurements.Least-square curve fitting has been employed to expand the set of measurements by estimating the unmeasured rotational dofs, denoted as φ i and collected in vector φ.Fitting is based on a redundant set of measured transverse displacements along the beams (Figure 4) and on the least-square regression of the measured displacements in the local frame along the links.e cubic polynomial interpolation shape functions of the Euler-Bernoulli's beam have been adopted, in accordance with the model described in Sections 2.2 and 5.1, which uses such a finite element.An undetermined linear system of the type in ( 27) is written for each link: e size of the unknown vector φ depends on the number of finite elements adopted in the model for such a link, while the number of equations (i.e., the number of lines of matrix of coefficients A φ and of the known vector d φ ) depends on the number of transverse displacements measured along the link.

Statement of the Model Updating Problem.
e vector of the updating parameters, χ, collects the following uncertain variables: the equivalent lumped stiffness of the balancing springs (k bs ), the nodal inertias (J), masses (M), the mass density of the links (ρ), and the Young's modulus (E).A different value of E has been assumed for each link to account for different phenomena that result in local increase or decrease of the overall stiffness of the link.For example, local stiffening due to the kinematic joints and their coupling with the beams, as well as uncertainty on the actual beam (a) q 3 Link 5  Shock and Vibration parameters.On the contrary, uncertainty on the Young's modulus of the beam is also useful to account for the presence of joint compliance, which reduces the overall stiffness of the links.As far as the beam mass density is concerned, it has been included among the uncertain parameters since the exact value is unknown (only a nominal value reflecting the chemical composition was available) and in order to account for the presence of screws and cables.For this parameter, a unique value for all the links has been adopted.e lengths of the links and their cross-sectional areas are instead assumed as exact values.
Feasible values have been constrained by upper and lower bounds, which are listed in Table 3 together with the original and the updated values for each parameter.e original values have been taken from nominal data of the parameters (e.g., nominal value of mass density in accordance with the alloy composition).e bounds have been defined as a judicious percentage of the nominal parameters (e.g., ±5% of the nominal value in the case of ρ ).Additionally, a constraint on the total mass has been included, by formulating it through (24).e bounds on friction forces (h L and h U ), for the static equilibrium constraints, have been estimated by operating the motor in a torque-controlled mode with increasing torques and by repeating the test many times (e.g., to account for uncertainty due to friction variations with temperature and for hysteresis, whose modeling is not of interest for this work).
e following notation has been employed for the subscripts in Table 3: numbers from 1 to 5 denote the links (Figure 3(b)), letters from A to E indicate the joints, H indicates the lumped mass of the balancing spring, and F indicates the one attached to link 5; the number adjacent to the letter denotes the link which each lumped mass is connected to.A total number of 29 parameters have been updated.
e modifications have been weighed in such a way that the cost of modifying the nodal inertias is lower.Indeed, their original values have been set to zero in the initial nominal model and thus are more uncertain: 5.5.Numerical Computation of the Jacobian Matrices.In order to speed up the implementation, numerical computation of the Jacobian matrices introduced in (9) can be exploited.e need for numerical computation is exacerbated in the case under investigation where a medium-/large-scale model is updated.e great issue to be handled is the ill-conditioning of matrices of this kind of systems, which have both low-frequency and high-frequency vibrational modes.Rather than using the intuitive approach of finite differences, which imposes subtractions in the numerator that lead to dangerous cancellation errors, this work proposes the use of the complex step differentiation [33].Such a method is based on the Taylor expansion of a complex function.Let us consider the computation of J m h (the extension for J k h is obvious) by representing M O as a complex function (with j � �� � −1 √ ) and then look at its Taylor expansion: Hence, the computation of the Jacobian is straightforward by setting ε as an extremely small real number (such as

Shock and Vibration
selecting values approaching the machine precision) as follows: e resulting Jacobians have negligible approximation errors, whose magnitude is close to machine precision, and require small computational effort.

Experimental Results.
e effectiveness of the updating has been evaluated by computing the eigenfrequencies and the eigenvectors of the updated model and by comparing them with the experimental results by means of the percentage frequency error ε i : and the modal assurance criterion (MAC): e results provided by the updated model are also compared with those obtained through the original nominal model (which is the one synthesized through nominal parameters of links, like the one in [22]).In ( 31) and ( 32), ω i and η i are the ith eigenfrequency and eigenvector estimated through the models (i � 1, . . ., 7), while  ω i and  η i are the measured ones.
e comparison proposed in Table 4 shows that model updating has improved the model coherence with the experimental measurements.
e greatest improvement is obtained in the estimation of the eigenfrequencies whose values are significantly missed in the nominal model.e overall absolute error (i.e.,  7 i�1 |ω i − ωi |) decreases from 49.85 Hz in the original model, to just 14.23 Hz after updating.Indeed, the percentage frequency error for the updated model is smaller than 1% in four modes, while the average value of such an index is equal to 1.31% (compared to the 5.76% in the original model).As for the MAC, a less relevant improvement has been obtained since the mode shape specifications are accurately met also by the original model.Nonetheless, the average MAC increases from 0.92 to 0.93 after model updating.Both these parameters are highly satisfactory also in the light of the typical correlation criteria set by military and aerospace standards which typically require 0.8-0.9 for the MAC and 3-5% for the frequency error [34].Additionally, compared with the results of preliminary studies in [22], this new formulation ensures better results in terms of both the frequency error and the MAC despite the presence of a larger number of vibrational modes that make model updating more challenging because of the larger number of requirements and of the increase of the matrix dimensions.
e correctness of the mode shapes is even more evident by Figure 6, which compares the experimental mode shapes (depicted on the left side of each subplot, as provided by the LMS software) with those computed through the updated model (on the right).e excellent agreement is evident, thus demonstrating the correctness of the model and the effectiveness of the comprehensive approach developed in this paper.
A further proof of such a good correlation is given by Figure 7, which represents the orthogonality (defined through the canonical scalar product I) between different eigenvectors by means of the MAC matrix.Indeed, the diagonal terms are blue since they approach 1, while the offdiagonal ones are almost zero (the average value of the offdiagonal term is 0.052).
Finally, it should be noted that the updated model does not generate spurious modes. is is a further proof of the correctness of the approach and of the results obtained.

Updating of the Rayleigh Coefficients of the Damping
Model.A Rayleigh damping model (modal damping model) has been assumed since it is a popular and effective approach to represent damping [27,28,35,36].Hence, damping matrix C e is a linear combination of mass and stiffness matrices through the Rayleigh coefficients α and β:  12 Shock and Vibration e two values have been computed through leastsquares fitting of the damping of the seven modes under investigations, by taking advantage of the relation between natural frequency and modal damping of each mode: Writing (34) for each mode leads to the following solution (" †" denotes the pseudoinverse matrix): e following values have been identified: α � 0.57 and β � 8.8e − 5, that lead to the results summarized in Table 5.An effective estimation is therefore provided by the damping model assumed.

Conclusions
A strategy for updating models of flexible-link mechanisms has been proposed and validated in this paper.e proposed formulation leads to a constrained inverse eigenvalue problem, which makes the approach suitable for updating these complicated models.Indeed, it has the following advantages: (i) It can handle an arbitrary number of eigenpairs and updating parameters.(ii) Mass and stiffness matrices are simultaneously updated, to obtain more reliable results.(iii) e experimental eigenvectors can have any arbitrary normalization.(iv) e method handles several kinds of constraints to assure physical meaning of the updating.(v) e formulation handles the numerical issues by providing several solutions to improve numerical conditioning and hence boosting the achievement of reliable results.
e method has been applied to a very challenging test: the model of a planar, six-bar linkage mechanism with five flexible links.e model is updated to improve the representation of the 7 lowest frequency modes, that is, those within the range from 0 to 200 Hz corresponding to the bandwidth of interest.e experimental results obtained are highly satisfactory, given the complexity of the system investigated, the simultaneous presence of more eigenpairs to be matched, the unavoidable uncertainty in performing accurate measurements in a mechanism (which has "rigidbody" motion), and the presence of constraints bounding the parameter updating.Overall, a meaningful improvement in the eigenvector and eigenfrequency estimation has been obtained.

Figure 2 :
Figure 2: Interpretation of the analytical and experimental eigenvectors.

Figure 3 :
Figure 3: (a) Picture of the planar, three-dof manipulator and (b) its FE model.

Figure 4 :Figure 5 :
Figure 4: Geometry of the manipulator created in the acquisition software, LMS Test.Lab 11B.

Figure 7 :
Figure 7: MAC matrix between the experimental modes and the updated model modes.

Table 4 :
Comparison of the experimental and analytical modal properties.
Updated_modelFigure 6: Shapes of the seven vibrational modes: experimental (left) and updated (right) modes.

Table 5 :
Comparison of the experimental and analytical modal properties.