Abstract
An enhanced inverse dynamics approach is here presented for feedforward control of underactuated multibody systems, such as mechanisms or robots where the number of independent actuators is smaller than the number of degrees of freedom. The method exploits the concept of partitioning the independent coordinates into actuated and unactuated ones (through a QR-decomposition) and of linearly combined output, to obtain the internal dynamics of the nonminimum-phase system and then to stabilize it through proper output redefinition. Then, the exact algebraic model of the actuated sub-system is inverted, leading to the desired control forces with just minor approximations and no need for pre-actuation. The effectiveness of the proposed approach is assessed by three numerical test cases, by comparing it with some meaningful benchmarks taken from the literature. Finally, experimental verification through an underactuated robotic arm with two degrees of freedom is performed.
1 Introduction
1.1 Motivations and State of the Art.
Precise trajectory tracking is a relevant research topic in the field of mechanisms, multibody systems, and robotics. To achieve it, controllers exploiting both feedforward (open-loop) and feedback (closed-loop) actions are usually adopted: the first contribution is aimed at ensuring faster responses with lower tracking errors and low feedback gains (and hence higher robustness margins); the second one is aimed at compensating for model-plant mismatches, at changing the dynamic properties (e.g., the eigenstructure [1–3]) and at ensuring disturbance rejection. As for feedforward, its implementation requires the computation of the inverse dynamic model of the system under investigation. In the case of fully actuated mechanisms and robots, this computation is usually straightforward and just relies on simple algebraic calculations. On the contrary, when the number of independent actuators is smaller than the number of degrees of freedom (DOF), i.e., underactuated multibody systems are considered, the computation of inverse dynamics is challenging and often relies on the solution of both algebraic and differential equations. Underactuation usually arises because of the presence of passive joints [4–6] or flexible links [7–9]. The explicit, algebraic solution of the inverse dynamics problem is possible if the system is differentially flat [10]. In differentially flat systems, inverse dynamics is solved through an algebraic model, and the control forces are algebraically specified by the required output trajectory. Therefore, no pre- and post-actuations are required. Flatness is a system property that is not straightforward to assess; i.e., it requires a lot of algebraic manipulations and finding a flat output definition is not trivial [11], since no systematic approach exists. Additionally, exploiting flatness in underactuated multibody systems imposes very smooth reference trajectories, usually with four continuous derivatives [12]. For example, up to ninth-degree polynomials are usually adopted in the literature. In contrast, high-degree polynomials are not widely adopted in motion planning of mechatronic systems because of large requirements of speed, acceleration (both peak and average) and hence of torque, power, and energy that make these motion profiles often unfeasible when considering limits of the components (in particular, motor and gearbox [13–15]).
The difficulties in inverting the dynamic model of underactuated multibody systems are exacerbated for some definitions of desired output, such as in the case of noncolocation of actuators and controlled outputs [16], which leads to unstable internal dynamics. In the case of linear systems, for example, this is related to the presence of right half-plane zeros: by inverting the model to compute the suitable control forces to track the desired output trajectory, these zeros would become right half-plane poles, causing the divergence of the control actions. Generally speaking, with reference to both linear and nonlinear systems, the solution of the inverse dynamic problem of these so-called nonminimum-phase systems leads to unbounded solutions, unless noncausal inversion is adopted [17], or approximated causal solutions are sought [16].
To overcome these difficulties, and given the relevance of the topic in the field of motion control, several papers have been proposed in recent years. An inversion-based approach to exact nonlinear output tracking control is proposed in Ref. [17] where a feedback term is introduced to stabilize the system along the desired trajectory; the problem is solved by applying the Byrnes–Isidori regulator to a specific trajectory, introducing boundedness and integrability requirements. However, the solution is noncausal, i.e., the control forces begin before the starting of the trajectory, and therefore, this technique results to be not implementable through an online procedure. In Ref. [18], an extension of stable inversion to nonlinear time-varying systems is carried on, considering both minimum-phase and nonminimum-phase systems. This technique consists of linearizing the system dynamics and subsequently partitioning it into time-varying stable and unstable sub-systems, which are used to design time-varying filters that ensure a bounded inverse input-state trajectory. However, this approach is local to the time-varying path, and furthermore, it requires that internal dynamics varies slowly. An interesting analysis of the concept of approximated model inversion for nonminimum-phase systems is proposed in Ref. [19], with reference to linear systems. Three stable approximate model inversion techniques are examined: the nonminimum-phase zeros ignore (NPZ-Ignore), the zero-phase-error tracking controller (ZPETC), and the zero-magnitude-error tracking controller (ZMETC). Since the proper choice of one of these techniques highly depends on the system under investigation, this work also discusses how the position of the zeros can indicate the more effective technique to be used to maximize the performances. When dealing with nonlinear systems, an effective and simple approach is the output redefinition, i.e., the approximation of the desired output with a formulation that ensures a simpler problem solution and stable internal dynamics. This idea has been first introduced in the milestone paper [16] and then also exploited with a different formulation in Refs. [20] and [21]. In both the papers, an algebraic-differential scheme is adopted, where the differential part can be easily solved through a standard numerical scheme for integration of ODEs (ordinary differential equations), representing the internal dynamics. A remarkably different approach is proposed in Ref. [22], by handling dynamic models formulated either with ODEs or with DAEs (differential algebraic equations), and without requiring the explicit derivation of the internal dynamics model. In such a paper, inverse dynamics is formulated as an optimal control problem, and a noncausal solution is obtained.
1.2 Contributions of This Paper.
In this paper, a feedforward computation algorithm for nonminimum-phase underactuated multibody systems, modeled through ODEs, is proposed by exploiting and extending the idea of linearly combined output adopted in Refs. [16,20,21]. Compared to the usual formulation of such an approximation, a more general formulation of the linearly combined output is handled in this paper. The goal of such an output representation is to easily obtain the internal dynamics for stabilizing it and then to obtain a stable model inversion, without pre-actuation. The method includes a systematic approach to stabilize the unstable internal dynamics, by means of performing through proper output redefinition. The resulting differential scheme is solved through the forward dynamics of the stabilized internal dynamics, by exploiting any scheme for ODE numerical integration. Then, the approximated formulation of the controlled output is replaced by its actual nonlinear formulation (at the position, speed, and acceleration levels) to compute the commanded value of the actuated variables and to perform exact algebraic inversion of the dynamic model governing the sub-system made by the actuated coordinated. Since no output approximation is done in solving such an algebraic model, the proposed method provides an improvement compared to the existing methods: the approximation assumed through the linearly combined and redefined output is just used in the internal dynamics and hence causes small errors in a large variety of underactuated multibody and robotic systems.
Finally, to tackle different topologies of actuations, an approach for partitioning the model coordinates into actuated and unactuated ones is proposed, by exploiting the QR-decomposition of the input matrix, which allows for handling a large variety of underactuated systems.
The effectiveness of the method is proved through three test cases, aimed at highlighting different features of the proposed method and also by providing a fair comparison with several benchmarks.
Additionally, the experimental verification through a 2-DOF underactuated robotic arm is proposed, thus providing a further improvement of the literature which usually just provides numerical applications.
As a result, a comprehensive, and computationally simple, method for precise and accurate inverse dynamics is formulated, which can be applied to several underactuated systems, by improving the existing state of the art.
2 Method Description
2.1 Definitions.
is the vector of the independent generalized coordinates, is the mass matrix, contains the Coriolis terms, is the stiffness matrix, and are the external forces projected on the directions of . t denotes the time; along the paper, the dependence on t is usually not written, unless the cases where it makes the comprehension clearer. The system is controlled through m < n independent control forces collected in vector , and is the force distribution matrix, which is assumed to be full column-rank; such matrix can be dense since this paper will propose a technique to handle arbitrary topologies of .
Since , the system is said to be underactuated. In underactuated systems, the dimension of the configuration space is greater than the one of the control input space.
The goal of inverse dynamics is to compute the time-history of the control input to make track the desired output trajectory as closely as possible. It is assumed that is at least twice differentiable, as usually done in motion planning of flexible systems ([23,24]).
It is also assumed that the system's initial conditions and are known, as well as the external forces .
In fully actuated systems, i.e., when n = m, model inversion is straightforward and just relies on simple algebraic calculations by taking advantage of the inversion of matrix . In contrast, in the case of underactuated systems, is rectangular and cannot be inverted; therefore, model inversion should rely on more complicated solutions, as the one discussed in the following of this paper.
2.2 Coordinate Partitioning.
Although the entries of have sometimes no straightforward physical interpretation, this transformation partitions the vector of the generalized coordinates into m actuated coordinates, , and n − m unactuated coordinates, .
In the following, it is assumed that Q is constant; otherwise, the definition of should change during the motion or in time. In contrast, can depend on q: this is the occurrence solved in this paper, which is a common situation in several multibody and robotic systems (as shown through the three examples). Nonetheless, this technique provides a more general formulation than the papers in the literature, such as Refs. [16,20,21], which just handles models that are already partitioned.
Equation (8) is a set of second-order nonholonomic constraints [25] and hence cannot be used to reduce the system model dimension by removing some generalized coordinates. In order to be feasible, any required trajectory should satisfy such constraints at any time. For this reason, the number of independent outputs has been assumed to be equal to the number of independent control inputs.
2.3 Approximation of the Internal Dynamics Through Linearly Combined Output.
This use of linear approximations of the output map accomplishes several tasks: on the one hand, it easily allows formulating the inverse dynamics; on the other one, it can be exploited to stabilize the internal dynamics whenever it is unstable. The tracking errors that could arise because of such an approximation are treated, in practice, as those due to the unavoidable mismatches between the model and the dynamics of the actual plant, and hence compensated by the necessary feedback control schemes. Indeed, as mentioned in the introduction, feedforward control should be supported by feedback control if precise motion is required.
On the other hand, Eq. (9) might degrade performances in some particular systems where such an approximation is rough; nonetheless, the use of local approximations, such as piecewise-linear models, overcomes this issue.
The term in Eq. (11) is not constant since , , , , and (these dependencies have been omitted in Eq. (11) for brevity of representation).
The stability of the internal dynamics in Eq. (11) strongly depends on the chosen output . Usually, the presence of noncolocated pairs of control forces and desired output leads to zeros of the input–output normal form having a positive real part.
The ODEs in Eq. (13) can be solved by forward integration to compute , , and , i.e., the time-history of unactuated coordinates in the execution of the desired motion profile , in the presence of the external forces in . The selection of the discretization time-step and of the numerical scheme adopted for integration relies on the usual rules adopted in the numerical simulations of multibody systems [26].
2.4 Solution of the Algebraic Equation for the Actuated Coordinates.
Besides computing the feedforward control force, the proposed method can be exploited to generate consistent references to the actuated variables that can be fed to the feedback control loop (or loops in case of decoupled feedback controllers) to compute the closed-loop corrections required to compensate for the unavoidable model mismatches.
3 Test Case 1: Flexible Beam With Lumped Masses
3.1 Description and System Model.
The first test case is a linear system composed of a flexible beam, modeled through the finite-element approach, plus some lumped spring-damper-mass systems, that recall the model of linear vibratory feeders often adopted in manufacturing plants to convey small components [27]. Despite the apparent simplicity of the system, due to its linearity, the proposed test case has several challenging issues to be properly tackled.
Matrix in Eq. (22), which maps z into , with and , reveals that the actuated coordinates represent the relative translations of the nodes where each actuator is placed. In contrast, many coordinates in have not a clear physical meaning.
Since is a subset of , by considering the linear state transformation due to the QR-decomposition, , it can be easily inferred that and are proper sub-matrices of . Hence, the use of linearly combined output is an exact representation of the test case under consideration.
Inverse dynamics is exploited to compute the actuator forces that make track a periodic, non-sinusoidal, asymmetric reference waveform, as sometimes adopted in feeders [29]. Each period of the wave consists of a rising phase lasting 25 ms, followed by a drop phase of 5 ms, and the absolute value of the peak displacement is 5 mm. The period of oscillation is 35 Hz, as often adopted in feeding small parts ([28,30]). The position references of the three controlled output are set with a phase shift.
3.2 Stabilization of the Internal Dynamics.
The eigenvalue analysis of the internal dynamics reveals that it is unstable, as it can be inferred from Fig. 3, because of the presence of poles with positive real parts.
The literature sometimes suggests a simple approach to stabilize the nonminimum-phase system by removing from the linear model the nonminimum-phase zeros, and hence the unstable poles of the internal dynamics, leading to the so-called “nonminimum-phase zeros ignore” (NPZ-ignore) approach [19]. Although this option could seem effective at a first glance because the unstable poles are quite far from the reference harmonic components, its application leads to large errors. The results of the application of the NPZ-ignore approach are therefore omitted to keep the paper concise.
Therefore, the stabilization approach by exploiting approximated values of and in Eq. (12), hereafter denoted and , is adopted. Such matrices should be wisely chosen to ensure asymptotic stability with the negligible spillover on the other poles, while allowing for a precise approximation of the tracked output. To simplify the analysis, has been kept constant while the approximation of is parametrized through just a scalar α, as . Figure 4 shows that α = 1 is the boundary condition between stable and unstable internal dynamics.
3.3 Numerical Results.
To prevent instability arising from numerical integration error, it has been assumed α = 0.99. The ODEs in Eq. (25) have been integrated through the fourth-order Runge–Kutta scheme with a sampling time of 10 μs, due to the presence of some high-frequency poles. The time-history of the control forces is reported in Fig. 5, while the tracking responses are reported in Fig. 6 together with the corresponding tracking errors. The maximum tracking error is 5.2 × 10−2 mm, that is the of the amplitude of the periodic motion; the average RMS (root mean square) error is instead 2.1 × 10−2 mm. Such errors are due to the output redefinition to stabilize the internal dynamics; additionally, the presence of underdamped dominant dynamics in the system model exacerbates such errors, by creating some residual, although small, oscillations after motion completion.
It should be noted that no pre-actuation is required. In contrast, post-actuation is required after the end of the required motion, with a small force to be exerted by the actuators (and a very small position error that quickly settles) since the system is not differentially flat.
4 Test Case 2: Overhead Cartesian Crane
4.1 Description and System Model.
The following definitions have been introduced in Eq. (27): uX, uY are the forces that are applied to the platform along the X and Y directions; m is the lumped mass of the suspended load; are the viscous friction coefficients; MX, MY are the translational masses of the platform along the X and Y directions respectively; g is the gravity acceleration. The values of all the parameters of the system model are reported in Table 1.
Values of the parameters of the overhead cartesian crane
Parameter | Value |
---|---|
MX, MY | 30 kg |
m | 0.7 kg |
h | 1 m |
cX, cY | 0.5 N · s · m−1 |
0.25 N · m · s · rad−1 |
Parameter | Value |
---|---|
MX, MY | 30 kg |
m | 0.7 kg |
h | 1 m |
cX, cY | 0.5 N · s · m−1 |
0.25 N · m · s · rad−1 |
In this example, both the dynamic model and the output map are nonlinear. The approximation of as a linear combination of is obtained by linearizing Eq. (28) about the vertical equilibrium configuration (i.e., ), leading to and .
4.2 Stabilization of the Internal Dynamics.
To study the stability of the internal dynamics, the equations of motion of the unactuated sub-system are linearized around the stable downward equilibrium point defined by , and secondly, is replaced thanks to the linearly combined output technique described in Sec. 2.3, with .
If the exact is used, and therefore α = 1, becomes a null matrix and therefore the internal dynamics features poles with infinite positive values. To assess the effect of α on the stability, Eq. (30) can be treated as two independent scalar equations by considering that , , and are diagonal matrices, and the two characteristic polynomials are separately discussed. Since all the entries of and are positive, Descartes’ Rule of Signs reveals that the internal dynamics is stable if and only if α < 1. As in the previous test case, the parameter α should be, therefore, chosen as close as possible to the unitary value, without exceeding it, ensuring a good reconstruction of the desired output and making negligible the pole spillover, while accounting for numerical issues of the ODE solver that can make the system unstable even with α < 1. In the following, it has been chosen α = 0.99 that leads to the following poles of the internal dynamics: λ1 = λ2 = −17.86 + 25.73i and λ3 = λ4 = −17.86 − 25.73i.
4.3 Numerical Results.
The test consists of a planar circle with a diameter of 0.5 m in the XY plane. The entire circular path is set to be completed in 10 s through a fifth-degree polynomial timing law; to assess the behavior of the load at steady-state conditions, two idle intervals of 4 s are introduced both at the beginning and at the end of the trajectory. The ODEs in Eq. (25) have been integrated through the fourth-order Runge–Kutta scheme with a sampling time of 10 μs.
The displacements of the load and the trolley are shown in Fig. 8, which also provides details on the tracking errors: the reference trajectory is tracked with high precision, with a maximum transient error of 0.11 mm, and with a negligible residual oscillation after motion completion.
The path-tracking response is shown in Fig. 9. Figure 9(a) compares the motion of the trolley with the one of the load, by clearly showing that the proposed technique properly shapes the trolley path (by means of the control forces applied to it), by considering that centrifugal effects will make the load path differ from the one of the load. Figure 9(b) details the contour error of the load, with respect to the reference path: the maximum value is 0.12 mm, the RMS error during the motion is 0.04 mm, while the residual error after motion completion is negligible. Finally, Fig. 10 displays the computed forces applied to perform the desired task.
A final assessment of the capability of the proposed method is obtained by comparing it with the method presented in Ref. [20], by adopting the same stabilized linearly combined output. The results are summarized in Fig. 11, which shows the tracking and the contour errors sported by the two different ways of calculating , by adopting the same stabilization scheme for the internal dynamics. It is evident the benefit of the approach proposed in this paper, which remarkably reduces the errors: using Ref. [20] leads to a maximum tracking error equal to 0.35 mm, and a maximum contour error equal to 0.35 mm as well. Indeed, due to the centrifugal forces, the mismatch between the nonlinear model and the linearized one becomes relevant.
![Comparison of (a) the tracking and (b) contour errors sported by the proposed method and benchmark [20]](https://asmedc.silverchair-cdn.com/asmedc/content_public/journal/mechanismsrobotics/15/3/10.1115_1.4056437/1/m_jmr_15_3_031002_f011.png?Expires=1687280522&Signature=XEUvs-Kzj0HL1E2cK4mr6CmvlMnfxyTDnsSJSQb6nGAmAlcc-MdA6adDA7BqAwI9oeFdH-zA0YU~naiSit2aT-8N9sZIjIzx~uoqIREnoZfWIUOt4FcEPF4LCG7KBq-VSGeDMN5Bh3JFUk73DQKm-ZX9HjM4PM7SvLyouY6putMYayZDGAk2pziJCWbmlcwpQPAWLEtTmbCkxl1Z9sUYkzt9TW3GYBlstLoVx~2zrtyTtBpXtb8PFtnGwcT0LeB8EjqQ79CLCjISrBTkOiy1Wn~kT4lzuETwk0C4~wVD36l~SUnncefni9sG2Cwv5jXz~U6OK4wlv~OTxZucxQvftA__&Key-Pair-Id=APKAIE5G5CRDK6RD3PGA)
Comparison of (a) the tracking and (b) contour errors sported by the proposed method and benchmark [20]
![Comparison of (a) the tracking and (b) contour errors sported by the proposed method and benchmark [20]](https://asmedc.silverchair-cdn.com/asmedc/content_public/journal/mechanismsrobotics/15/3/10.1115_1.4056437/1/m_jmr_15_3_031002_f011.png?Expires=1687280522&Signature=XEUvs-Kzj0HL1E2cK4mr6CmvlMnfxyTDnsSJSQb6nGAmAlcc-MdA6adDA7BqAwI9oeFdH-zA0YU~naiSit2aT-8N9sZIjIzx~uoqIREnoZfWIUOt4FcEPF4LCG7KBq-VSGeDMN5Bh3JFUk73DQKm-ZX9HjM4PM7SvLyouY6putMYayZDGAk2pziJCWbmlcwpQPAWLEtTmbCkxl1Z9sUYkzt9TW3GYBlstLoVx~2zrtyTtBpXtb8PFtnGwcT0LeB8EjqQ79CLCjISrBTkOiy1Wn~kT4lzuETwk0C4~wVD36l~SUnncefni9sG2Cwv5jXz~U6OK4wlv~OTxZucxQvftA__&Key-Pair-Id=APKAIE5G5CRDK6RD3PGA)
Comparison of (a) the tracking and (b) contour errors sported by the proposed method and benchmark [20]
5 Test Case 3: Underactuated Robotic Arm With Flexible Passive Joint
5.1 Description and System Model.
The third test case is a planar flexible robotic arm lying in the vertical plane, as shown in Fig. 12, made by two rigid links connected through a passive revolute joint (B) with a linear torsional spring. Another joint (A) is directly actuated by a DC (direct current) motor. The actuated link is of length l1, mass m1, and moment of inertia J1 (defined with respect to point A). The moment of inertia of the motor, Jm, and of the rigid coupling, Jd, should be accounted for as well. The other link is of length l2, mass m2, and a moment of inertia J2 (defined with respect to point B). A nodal mass mB is placed at joint B to include the mass contribution of the rotational encoder. Two linear springs couple the two links, resulting in an equivalent rotational spring with rotational stiffness ks. All the values of the mentioned parameters are reported in Table 2.
Nominal values of the parameters of the flexible robotic arm
Parameter | Value | Parameter | Value |
---|---|---|---|
l1 | 0.17 m | l2 | 0.155 m |
m1 | 0.05 kg | m2 | 0.021 kg |
J1 | 4.82 × 10−4 kg · m2 | J2 | 1.68 × 10−4 kg · m2 |
Jm | 2.7 × 10−5 kg · m2 | Jd | 2.3 × 10−5 kg · m2 |
mB | 0.178 kg | ks | 0.177 N · m/rad |
Parameter | Value | Parameter | Value |
---|---|---|---|
l1 | 0.17 m | l2 | 0.155 m |
m1 | 0.05 kg | m2 | 0.021 kg |
J1 | 4.82 × 10−4 kg · m2 | J2 | 1.68 × 10−4 kg · m2 |
Jm | 2.7 × 10−5 kg · m2 | Jd | 2.3 × 10−5 kg · m2 |
mB | 0.178 kg | ks | 0.177 N · m/rad |
The computed torque is commanded by translating it as the reference current through the nominal torque constant of the motor. Such a reference current is fed to the drive current loop through Simulink Real Time scheme that communicates the current to be delivered at each instant to the motor through an external input–output board. It should be noted that the current loop is the sole closed-loop controller adopted in these experiments: neither the position nor the speed feedback loops are used, since trajectory tracking just relies on an open-loop scheme to assess the effectiveness of the proposed approach.
5.2 Stabilization of the Internal Dynamics.
To provide a similar treatment as the previous test cases, defining (with α ∈ ℝ ) and recasting the inequality in (41) as α < 1. The same result can be obtained by considering the stability features of the associated zero-dynamics [16], which is unstable in nonminimum-phase systems.
As previously seen, the parameter α should be chosen as close as possible to the unitary value, without exceeding it, ensuring a good reconstruction of the desired output and, at the same time, making the spillover effect of the poles negligible.
As a final consideration, it is useful to highlight that the exact value of , defined in Eq. (35), leads to an unstable internal dynamics, as shown in Fig. 13, since .
5.3 Numerical Application.
The test consists of a pick-and-place repetitive cycle, from the pick-position to the place one, and then back again to the pick-location. Indeed, pick-and-place tasks have great importance for robots employed in manufacturing plants [32,33], and hence, the end-effector motion should be properly controlled. Two different amplitudes of the motion have been considered, corresponding to two different opening angles of the equivalent rigid single-link mechanism equal to and . The motion time of each displacement is 1.2 s, and fifth-degree polynomial timing laws have been assumed. Additionally, rest intervals, lasting 1 s for the case and 2 s for the one, are required between each motion.The method application has led to the torques shown in Fig. 14, which are continuous and do not require pre-actuation. The ODEs in Eq. (25) have been integrated through the fourth-order Runge–Kutta scheme with a sampling time of 1 ms.
Figure 15 shows the result obtained, by applying the computed torque to the simulator of the nonlinear mechanism: precise tracking is obtained for the three references, and just some small errors are present since references and actual displacement are almost overlapped.

Numerical trajectory tracking responses with their relative tracking errors with different opening angles: (a), (c) and (b), (d)
A clearer view is provided by the analysis of the tracking error for both the tests and through benchmarking: the outcomes of the proposed method have been compared with those sported by the methods proposed in Refs. [16] and [34], which are assumed as the benchmarks for this test case. In the application of Ref. [16], the same output redefinition is adopted to stabilize the internal dynamics. The results are shown in Fig. 16, where the tracking errors are detailed to corroborate the effectiveness of the method proposed in this paper and the advancement it provides compared with the state-of-the-art methods. In the case of an opening angle equal to , the proposed method leads to a maximum error equal to 1.3 mm and to an RMS error equal to 0.45 mm ; the benchmark I, i.e., the method proposed in Ref. [16], leads to a maximum error equal to 2.1 mm () and to an RMS error equal to 0.9 mm (). Even larger errors are sported by benchmark II, i.e., the method proposed in Ref. [34]: the maximum error is equal to 17.6 mm () and the RMS error is 7.1 mm (), with visible residual oscillations.

Comparison of the tracking errors of the proposed method and the two benchmarks, with different opening angles: (a), (c) and (b), (d)
In the presence of the opening angle, the proposed method still outperforms the benchmarks since it leads to a maximum error equal to 2.5 mm and to an RMS error equal to 0.8 mm ; benchmark I leads to a maximum error equal to 3 mm and to an RMS error equal to 1.2 mm ; again, remarkably larger errors are sported by benchmark II: the maximum error is equal to 54.2 mm , and the RMS error is 28.1 mm .
Finally, the comparison of the computed torques is provided in Fig. 17: very similar values are provided since all these methods are aimed at best approximating the exact torques; in particular, benchmark I, that is the most accurate one between the two benchmarks, is almost overlapped with the proposed method.

Comparison of the torques computed by proposed method and the two benchmarks, with different opening angles: (a) and (b)
5.4 Robustness Considerations Against Model Uncertainties.
Since dynamic models are always affected by uncertainties with respect to the real setups, the robustness of the results achieved by the proposed method is assessed in the following by applying some perturbations to the dynamic model emulating the real system, to which feedforward torques computed through the nominal model are applied. The uncertain parameters of the dynamic models are the motor moment of inertia, the masses and lengths of the links (and hence the related moment of inertia), the stiffness of the rotational spring, and the entries of the damping matrix. First, the decoupled effect of the uncertainty of just one parameter at a time, by keeping the other ones to their nominal values, has been evaluated to assess which is the most sensitive parameter in terms of trajectory tracking error. The results of this analysis are reported in Fig. 18, for both the opening angles considered (30 deg and 50 deg), where ±10% variations of the nominal parameters are assumed. It can be noticed that the lengths of the two links are the most influential parameter; this is due mainly to the error in the kinematics (Eq. (35)), which would also severely affect the inverse dynamic in a rigid link system. Among the two opening angles, smaller errors are obtained in the case of 30 deg, because of the smaller accelerations.

RMS trajectory tracking errors in the presence of model mismatch, when each +10% perturbations affect one parameter at a time
A second robustness analysis is done with respect to the uncertainty of the motor torque loop dynamics. In this paper, as well as in all the papers on inverse dynamics of multibody and robotic systems quoted in the references, model inversion is done by assuming the ideal response of the actuator current loop, i.e., infinite bandwidth of such a loop. This assumption is often reasonable since modern servomotors can reach up to 5000 − Hz bandwidth [35]. On the other hand, “cheap” or old motors might have a slower dynamic response. To evaluate this issue, robustness analysis is also performed by simulating the system response in the presence of a current loop modeled as a first-order system with a bandwidth ranging from 500 Hz to 5000 Hz. The results are summarized in Fig. 19 that shows the RMS error as a function of the bandwidth (by assuming no uncertainty on the other parameters). It is evident that the tracking error approaches the ideal one as the bandwidth increases, and for the case under investigation, bandwidth greater than 1500 Hz just causes a negligible increase. In contrast, the harmonic distortion and the lag in reproducing the commanded torque profile remarkably amplify the tracking error in the case of 500 − Hz bandwidth.
To further assess the robustness, a Monte Carlo analysis (with 2000 random tests) has been performed by considering the simultaneous perturbations of all the above-mentioned parameters. As for the current loop bandwidth, a uniform distribution in the interval (500 Hz, 5000 Hz ) has been assumed. As for the other parameters, Gaussian distributions have been assumed, with a standard deviation equal to the 5% of the nominal value. The average RMS value of the tracking error over a cycle is equal to 1.0 mm when the test case with the opening angle equal to is considered, while the maximum RMS error achieved in such an analysis is 3.0 mm. In the case of a 50 deg opening angle, the average RMS value is 1.8 mm while the worst-case simulated leads to 5.6 mm. The Monte Carlo analysis is summarized through the trajectory tracking responses reported in Fig. 20, to highlight the bands of uncertainty for both the opening angles evaluated, when the proposed method is adopted.

Trajectory tracking responses in the presence of random model mismatches when perturbations affect all parameters simultaneously (proposed method): (a) and (b)
The same perturbations have been applied to Benchmark I, by obtaining worse results because of the higher approximation it exploits in model inversion: the average and maximum RMS errors are, respectively, 1.6 mm (+60% compared with the proposed method) and 3.8 mm (+27%) with the 30 deg opening angle, and 2.5 mm (+38%) and 5.9 mm (+6%).
5.5 Experimental Application.
The motor torques shown in Fig. 14, and computed through the method proposed in this paper, by exploiting the nominal model parameters, have been applied to the experimental setup. As far as friction is concerned, the viscous term is considered in Eq. (32), and hence, it affects also the internal dynamics. Additionally, a Coulomb term related to the friction at the active joint (and hence including the contribution of the motor rotor) and equal to ±0.01 Nm has been included in the algebraic Eq. (17) by adding the term Nm. Such a value has been estimated through experimental identification. A more complicated friction model can be employed in the algebraic part, by taking advantage of the wide literature on friction modeling and compensation; this goes, however, beyond the scope of the paper. No feedback terms are adopted, and therefore, the showed results just rely on open-loop control through model inversion, thus providing a fair and severe evaluation of its effectiveness.
The achieved displacements are reported in Fig. 21, for each opening angle, and have been measured through a high-resolution Vicon motion capture exploiting four cameras Vicon Vantage V5. A precise tracking of the references is obtained, although the tracking error is greater than the one expected by the numerical analysis: the RMS values of the error are equal to 3.5 mm with the 30 deg opening angle, and 4.3 mm with the 50 deg one. This aspect is mainly due to the unavoidable presence of model mismatches between the nominal one, used to compute the torque, and the real setup. In particular, among the parameters investigated through the Monte Carlo analysis, it should be noted that the current loop bandwidth of the actuator is about 500 Hz, thus approaching the worst-case scenario for such a parameter. A second relevant uncertainty source is friction, which has been remarkably simplified in the model and whose compensation has been performed in a very simple algebraic way. Finally, the deformation of the wire of the encoder placed at the passive joint significantly perturbs the system dynamics both in terms of mass distribution, by creating an equivalent stiffness (that slightly changes as the wire moves, since the diameter is 5 mm) and by acting as an external disturbance force acting on the system itself. Nonetheless, by considering that no feedback is adopted, tracking is accurate if compared with the resolution sported by the two encoders mounted on the mechanism, which is equal to 4.1 mm.

Experimental trajectory tracking responses with their relative tracking errors with different opening angles: (a), (c) and (b), (d)
6 Conclusions
This paper proposes enhanced inverse dynamics techniques for non-differentially flat, nonminimum-phase underactuated multibody systems, to obtain a feedforward control term without pre-actuation. The method is suitable for mechanisms and robots with passive joints or flexible links and allows boosting the design of closed-loop control schemes with high robustness, thanks to the possibility of lowering the feedback gains.
By taking advantage of the idea already proposed in the literature, of properly approximating the desired output as a linearly combined output, and by performing the output redefinition to stabilize the internal dynamics, stable inversion of such a dynamic is obtained. Then, by exploiting the exact model of the actuated sub-system, the computation of the feedforward forces is obtained with just a minor approximation. This possibility is allowed by a general approach that exploits the QR-decomposition of the input matrix to partition the independent coordinates into actuated and unactuated ones, thus simplifying the definition of the internal dynamics and hence its stabilization.
The concurrent use of these tools results in a comprehensive, and computationally simple, method for precise and accurate inverse dynamics, which can be applied to several underactuated systems where linear (or piecewise-linear) output approximations are reasonable, by improving the existing state of the art.
The effectiveness of the proposed method has been assessed numerically with three different test cases, highlighting different features of the method also by means of comparison with several state-of-the art techniques. In all the studied cases, the proposed method has shown higher accuracy in tracking the desired trajectory with tracking errors that are smaller than all the benchmarks. Furthermore, the proposed technique has been experimentally applied on a 2-DOF underactuated robotic arm, made by two rigid links and a passive joint. The experimental results highlight the enhanced performances achieved through the proposed method even in the presence of plant uncertainties and model mismatches. As a result, the mean experimental tracking errors lay inside the uncertainty band defined by the resolution of the encoders mounted on the mechanism.
The absence of pre-actuation and the simple proposed formulation, which exploits some algebraic calculations and the numerical integration of the equation of motions of the stabilized internal dynamics without the need of optimization procedures, make the method suitable for applications where no pre-calculation is allowed and, therefore, where a real-time calculation of feedforward is required.
Funding Data
This research was funded by the Italian Ministry of University and Research through the research grant “SISTEMA—Dipartimenti di Eccellenza” and by the PRIN 2020 “Extending Robotic Manipulation Capabilities by Cooperative Mobile and Flexible Multi-Robot Systems (Co-MiR)” (Prot. 2020CMEFPK).
Conflict of Interest
There are no conflicts of interest.
Data Availability Statement
The data sets generated and supporting the findings of this article are obtainable from the corresponding author upon reasonable request.