Distributed Global Output-Feedback Control for a Class of Euler-Lagrange Systems

06/29/2019 ∙ by Qingkai Yang, et al. ∙ 0

This published paper investigates the distributed tracking control problem for a class of Euler-Lagrange multi-agent systems when the agents can only measure the positions. In this case, the lack of the separation principle and the strong nonlinearity in unmeasurable states pose severe technical challenges to global output-feedback control design. To overcome these difficulties, a global nonsingular coordinate transformation matrix in the upper triangular form is firstly proposed such that the nonlinear dynamic model can be partially linearized with respect to the unmeasurable states. And, a new type of velocity observers is designed to estimate the unmeasurable velocities for each system. Then, based on the outputs of the velocity observers, we propose distributed control laws that enable the coordinated tracking control system to achieve uniform global exponential stability (UGES). Both theoretical analysis and numerical simulations are presented to validate the effectiveness of the proposed control scheme. Followed by the original paper, a typo and a mistake is corrected.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

I Introduction

Recently, intensive attention has been paid to distributed control for Euler-Lagrange systems due to its broad applications. Several approaches have been proposed to deal with the distributed tracking problem, see, for example, sliding-mode method [1, 2], disturbance observer [3], and extended proportional-integral control scheme [4]. Extension to handle unknown parameter uncertainties can be found in [5], where an adaptive controller is proposed to synchronize nonidentical Euler-Lagrange systems with communication time delays. Later, [6] solves the synchronization problem of networked robotic systems with both the kinematic and dynamic uncertainties using passivity theory. It has also been shown that, under a jointly connected switching network topology, leader-following consensus can be achieved for multiple Euler-Lagrange systems by employing adaptive control [7], in which various reference signals, such as sinusoidal and ramp signals, generated by an exosystem are considered.

In order to relax the restrictive requirement for full state measurements in designing the controllers in the existing results, some efforts on partial state feedback control have been made. To estimate the unmeasurable velocity, observers are constructed by invoking the Immersion and Invariance (II) techniques [8, 9, 10]. Through introducing two extra states, some lower dimensional observer is proposed in [9] in comparison to that in [8], and moreover, the explicit expressions of the observer have been given. In [10], dynamic scaling and high-gain terms have been adopted to perform the Lyapunov stability analysis. Note that the dynamics of the observers relying on II techniques are generally high dimensional and complex. In addition, it is required to find a certain attractive and invariant manifold in the extended state space of the plant and the observer, which will likely increase the computational burden.

For multi-agent systems, a consensus algorithm using linear observers is first proposed in [11]. And, in [12], a distributed control law with time varying control gains is designed to compensate for the lack of neighbors’ velocity measurements. For the distributed tracking problem, [13] presents a sliding mode observer-based controller to track the leader with constant velocity in finite time. The more challenging problems of tracking a leader with varying velocity have also been investigated in [14, 15, 16]. When only nominal parameters of Euler-Lagrange systems are available, global asymptotic stability can be ensured using continuous control algorithms with adaptive coupling gains [14]. More generally, in cases when we do not have access to any velocity measurement, it is desirable to coordinate the agents using output-feedback strategies. However, some drawbacks of the available results still exist. For example, tracking errors can only be guaranteed to be uniformly ultimately bounded but not converging to zero [15] and the resulted closed-loop system is only locally but not globally stable under the designed control laws [16]. For some specific class of nonlinear systems, the global output feedback control problem has been investigated recently in [17] and [18], where the cyclic-small-gain approach and distributed internal model have been introduced respectively to achieve global convergence. To deal with the leader’s unavailable velocity measurements, distributed observers are designed for second-order agents in [19].

The goal of this paper is to address the problem of distributed global output-feedback tracking for multiple Euler-Lagrange systems modeling a class of two-link revolute robot manipulators. Up to now, there is no known result for such distributed global tracking algorithms due to several technical challenges. The main difficulties in achieving global stability lie in the quadratic nonlinearities and the cross terms of the unmeasurable velocity states derived from the Coriolis and centrifugal torques. To eliminate such quadratic terms, different state transformation methods have been utilized in [20, 21, 22, 23]. In [20] and [21]

, the coordinate transformation strategies are first applied to simplify the nonlinear models, and then controllers are proposed for one-degree-of-freedom Euler-Lagrange systems and underactuated mechanical systems in their Hamiltonian forms, respectively. It should also be noted that both of the techniques in

[22] and [23] pose constraints on the system model, i.e., a class of nonlinear systems that are linear in unmeasured states, globally stabilizable using output feedback [22]

, and with skew-symmetric Coriolis terms

[23]. However, the models of the two-link revolute robot manipulators considered in this paper do not possess any of the properties just mentioned that contribute to the simplification of the system model. So all of these approaches cannot be directly applied to the robot manipulators discussed in this paper. Inspired by [22] and [23], we shall focus on how to partially linearize the dynamics of the robot manipulators through coordinate transformation and state reconstruction. With the help of the model transformation, a distributed velocity observer is proposed, which enables us to implement the output-feedback control for multiple robot manipulators such that the tracking errors uniformly globally exponentially converge to zero.

The rest of the paper is organized as follows. Section II reviews the system dynamics and presents the method on how to partially linearize the nonlinear system through coordinate transformation. In Section III, an observer-based control strategy is proposed based on the partially linearized system. Section IV gives the main result of this paper, followed by the numerical simulations in Section V. Finally, conclusions are provided in Section VI.

Notations: denotes the determinant of a real square matrix . is used to denote the

-norm of a vector

.

represents the identity matrix with dimension

, and denotes the column vector whose components are all 1. We use to denote the th element of matrix . And and

are the largest and smallest eigenvalues of a real symmetric matrix

, respectively.

Ii Partial linearization

In this section, we first briefly introduce the general expression of Euler-Lagrange systems, followed by the specific dynamics of two-link revolute robot manipulators. Then, we present the process removing the cross terms of the velocity states via coordinate transformation.

Ii-a Dynamics of Robot Manipulator

We consider here a group of mechanical robots, each of which is described by a Euler-Lagrange equation as follows:

(1)

where is the vector of the generalized coordinates, is the symmetric positive-definite inertia matrix, is the Coriolis and centrifugal torque, is the vector of the gravitational torques, and is the control torque on robot .

The neighbor relationships between the robots are described by a directed graph with the vertex set and the edge set . We use to denote the adjacency matrix, where means there is an edge between robots and , and robot can obtain information from robot , but not vice versa, and otherwise. There is one leader robot and the rest are followers. The interaction relationships among the followers and the leader is denoted by the matrix , where if the leader is a neighbor of robot , and otherwise. The Laplacian matrix is defined by and , where denotes the set of neighbors of robot .

It is well known that a wide range of mechanical systems can be represented by Euler-Lagrange equations, such as robot manipulators, mobile robots and rigid bodies. Here, we focus on a class of two-link revolute robot manipulators, whose dynamics are given by (see [24] for more details)

where is the acceleration of gravity, represents the joint angles of the two links and , in which the variables and

are, respectively, used to denote the masses, the lengths and the moments of inertia of link

, and represents the distance from the previous joint to the center of mass of link , . The inertia matrix satisfies the following property: for all , there exist positive constants and such that .

Ii-B Coordinate Transformation

In order to linearize the quadratic velocity terms in and to simplify the dynamics model, motivated by [23], we introduce the following coordinate transformation

(2)

where , a nonsingular matrix with bounded elements to be determined, is constructed as follows

(3)

where needs to be determined. Here, instead of fully linearizing system (1), we aim at partially linearizing the nonlinear mechanical system. Hence, the transformation matrix is chosen to be in its upper triangular form (3

), which not only simplifies the system model, but also reduces the computational complexity greatly when solving a set of partial differential equations (PDEs). Considering the system model (

1), the dynamics of the new state can be described by

(4)

Note that the matrix is globally nonsingular as long as is not equal to zero. In order to determine , substituting (3) into (II-B) yields

(5)

Here, for the purpose of removing the cross coupling term in , we let

(6)

With (6), the dynamics of reduce to

(7)

One can check that one solution to (6) is

(8)

So, the globally nonsingular transformation matrix is obtained as follows

(9)

Consequently, the coordinate transformation (2) results in the partially linearized system with the state , output and input

(10)

where

and

It can be seen that the quadratic cross terms of the unmeasurable velocities have been removed from the system dynamics (10). Moreover, the matrices and are both independent of the velocity states and bounded. Both of the above properties will facilitate the design of globally stable observers and controllers.

Remark 1.

For future reference, denote

(11)

It follows from the positive definiteness of the inertia matrix that and . Since is bounded, we have

(12)
Remark 2.

The simplification of Euler-Lagrange systems was previously studied in [25][26], where the conditions for the existence of the transformation matrix were presented based on the equation . However, for a class of Euler-Lagrange systems, such as the robot manipulators we discussed here and unicycle-type mobile robots [23], such a nonsingular matrix solution does not exist. So, in this paper, a wide class of transformation matrices is derived from the relaxed equation, i.e., resulted from (II-B).

Remark 3.

It can be seen that the computation of the nonsingular coordinate transformation matrix (9) relies on the exact knowledge of the inertia parameters. When the parameter uncertainties are taken into account, the construction of robust adaptive controllers needs to be considered based on the parameter linearizability property of Euler-Lagrange systems.

Ii-C Problem Formulation

Consider a group of followers modeled by (1), and the leader labeled by with the same dynamics as the followers. Hence, by employing (2), the leader’s dynamics can also be transformed to (10) with the states . The distributed global output-feedback tracking problem is to design local control protocols using only output information for all the followers, such that all the followers’ states synchronize to the leader’s state globally, i.e.,

Iii Output-feedback tracking control

The purpose of this section is to present an observer-based control law to solve the distributed output-feedback tracking problem. Toward this end, we first design the observers to estimate the unmeasurable velocities.

Iii-a Observer Design

Note that system (10) can be rewritten into the following two sub-systems

(13)
(14)

It can be observed from (13) that the dynamics of incorporate the state of the second sub-system. Similarly, the dynamics of also depend on the state of the first sub-system in (14). This implies that when we design the velocity observers for both of the sub-systems, the convergence analysis of the observation errors for each sub-system is still related to each other, which makes it challenging to design globally stable observers. To handle this problem, motivated by [26], we aim at fully decoupling the sub-systems by constructing the new sates as follows:

(15)

Combining (2), (9), (13) and (14) and taking derivative of (15), the dynamics of are given by

(16)

in which the dynamics of the first sub-system are independent of the second one . Consequently, it is relatively straightforward to design the observers for the two sub-systems in (16). For the first sub-system, the observer is designed as

(17)

where and are the observations of and , respectively. Here, and are positive observer gains. Correspondingly, the observation errors are defined as and , whose dynamics are of the form

(18)

It can be easily checked that matrix is Hurwitz, and therefore system (18) is exponentially stable at the origin. So

(19)

For the second sub-system , the observer is constructed as

(20)

where . In view of (16) and (20), we have

(21)

where is continuous in and , and locally Lipschitz in . Note that both (18) and the nominal part of (21) are uniformly globally exponentially stable (UGES). Then, the origin of the cascaded system (18) and (21) is UGES [27], namely, and uniformly globally exponentially converge to zero.

Iii-B Observer-Based Control Law Design

The following assumptions are made throughout this paper.

Assumption 1.

The leader’s state information satisfies .

Assumption 2.

The communication relationships among the robots form a directed graph that contains a spanning tree rooted at the leader.

In order to keep this paper self-contained, two lemmas are presented.

Lemma 1.

[28] Let . Then

(22)

And, for all and ,

(23)
Lemma 2.

[29, 30] Under Assumption 2, is a nonsingular M-matrix. Define

(24)

Then is positive definite and the matrix defined as

(25)

is also positive definite.

To come up with the observer-based distributed control laws, an auxiliary variable is introduced as follows:

(26)

where is a constant. The local differences are defined as

(27)

and

(28)

The auxiliary variable can be written into a compact form

(29)

The distributed control law for robot is proposed as follows

(30)

where . Here, can be any positive number, and and are positive numbers satisfying

(31)

where the real symmetric matrices and are defined in (24) and (25), respectively.

Iv Main results

The main result of this paper is given below.

Theorem 1.

Under Assumptions 1 and 2, consider the system (16) transformed from the mechanical system (1) in closed loop with the observer-based controllers given by (30). Then the origin of the closed-loop system is UGES for the control gains satisfying (31) and any positive observer gains and .

Proof of Theorem 1.

The Lyapunov function candidate is chosen as

(32)

where , and is a positive scalar satisfying . It is straightforward to check that matrix is positive definite and

(33)

The generalized derivative of (see [31, Remark 3.7]) is given by

(34)

where . Note that from (17) and (20), we know

(35)

Also, the control input (30) can be written in its stacked form as

(36)

where and . Substituting (35) and (36) into (IV), we have

(37)

where Lemma 1 and the equality that have been used.

Note that

(38)

and

(39)

Then, substituting (38) and (39) into (IV) yields

(40)

Therefore