Abstract

This work has two primary objectives. First, it presents a state prediction strategy for a class of nonlinear Lipschitz systems subject to constant time delay in the input signal. As a result of a suitable change of variable, the state predictor asymptotically provides the value of the state units of time ahead. Second, it proposes a solution to the stabilization and trajectory tracking problems for the considered class of systems using predicted states. The predictor-controller convergence is proved by considering a complete Lyapunov functional. The proposed predictor-based controller strategy is evaluated using numerical simulations.

1. Introduction

The importance of time delay systems has increased in the control community. Time delay systems are found in many practical problems such as chemical processes, mechanical systems, biological systems, and communication systems, for example, in teleoperation control problems. Time delays are classified as dead time, communication, or measurement delays [1]. The existence of delays in the control signal or states of the system is a major factor for closed loop stability. See, for instance, [24].

The control problem in time delay systems has been analyzed by several approaches, starting by ignoring its effects when the magnitude of the delay is small enough or by considering approximate predicted feedback obtained using Pade approximations for linear systems. A standard control design approach for time delayed systems is to develop prediction technics to compute the future value of the state. The estimation of future states in a dynamical system has deserved an increasing attention since the publication of the well-known Smith Predictor Compensator (SPC) [5]. The SPC solves the control problem for open-loop stable linear systems subject to time delay at the input signal. Reference [6] reports several improvements to the SPC approach. Thus, by developing state predictors, it is possible to synthesize causal state feedback for linear systems [5, 6].

It is mandatory first to analyze the state prediction problem, to solve, using causal state feedback, control problems for nonlinear systems with delay at the input [7, 8]. In most of the cases, the state prediction problem is related to the pioneering work of state observation [9] or its generalization presented in [10] for delay-free nonlinear systems. The necessity of causal state feedback to solve control problems for nonlinear systems with input delay has led to developing approximate state predictors, for example, [11]. In [12] a robust controller is designed to compensate time varying perturbations through a disturbance estimator. The work [13] considers the stabilization problem for a class of linear systems with multidelays at the input. The proposed solution uses an infinite dimensional feedback based on predicted states. A sliding mode controller is presented in [14] for stabilization of systems with delayed input. A state predictor and a sliding surface are designed to minimize the effect of the delay. A robust strategy to stabilize linear input delayed systems under parametric uncertainties is presented in [15]; the solution is based on linear matrix inequalities; the same problem is addressed in [16] through a Lyapunov–Krasovskii functional. The case of linearizable feedback systems with bounded input delay is analyzed in [17] where the stabilization problem for a sufficiently small time delay is solved; the same problem for linear systems was considered in [18].

Another option, to tackle the control problem in time delay systems, is employing an infinite integral prediction strategy known as finite spectrum assignment proposed in [19] and its generalizations presented in [20]. Infinite integral prediction strategies are analytical solutions that suffer from practical implementation problems; see, for instance, [21] for a comparison between the infinite integral solution and a simple static state feedback. The works in [2224] elaborate on the limitations of the finite spectrum assignment. Authors of [25] and [26] propose truncated output feedback controllers for linear systems and a class of Lipschitz nonlinear systems, respectively, to avoid implementation problems. Truncated output feedback controllers safely ignore the infinite dimensional term.

This work addresses the prediction and control problem, avoiding integral infinite dimensional solutions, for a class of nonlinear input delayed systems. Considering the linear predictor proposed in [27], this article suggests a nonlinear predictor, for a class of nonlinear systems, to compute future values of the state, units of time in advance. Under a Lipschitz condition assumption, it is possible to show that the proposed predictor asymptotically converges to future state values. The Lipschitz assumption is common in the literature for the delay-free nonlinear systems [9, 10] and for a class of nonlinear time delayed systems [28, 29]. Additionally, the predicted future states are used to solve the trajectory tracking problem under similar assumptions to the ones for the prediction problem. The proposed predictor is equivalent to a delayed observer for an advanced system obtained using a particular change of coordinates. The convergence of prediction and trajectory tracking errors is shown by considering a complete Lyapunov–Krasovskii functional [30]. The solution proposed in this paper is close to the work in [17]. Following a different approach, the solution in [17] depends on the size of the time variant delay upper bound, while the solution developed in this paper provides an upper bound for the time delay size.

The rest of the work is organized as follows. Section 2 presents the class of dynamic systems discussed in this article. Section 3 states the prediction problem and defines the predictor dynamics. In Section 4, the solution to the trajectory tracking problem with predicted states is solved. The extension of the proposed results to full linearizable nonlinear systems is described in Section 5. Section 6 shows numerical simulations for the predictor-controller. Finally, Section 7 closes this work with concluding remarks.

2. Class of Nonlinear Input Delay Systems

This paper considers a class of nonlinear systems. The following differential equation describes this class of nonlinear systems:where is the state, is the input signal, is the output signal, and is a constant. It is assumed that the output signal is available for measurement. Moreover, nonlinear system (1) satisfies the following assumptions.

Assumption 1. is a locally Lipschitz function with respect to ; that is,for all in a certain region containing the origin with . In the case that (2) is satisfied for all , function is said to be globally Lipschitz.

Assumption 2. The pair is observable.

Notice that any nonlinear system of the form can be expressed in the form (1) as long as is differentiable with respect to . A detailed justification on the generality of this class of nonlinear system (1) is found, for instance, in [9, 31, 32].

Input delayed signals arise from the existence of dead-times found in several industrial processes [2, 4] or from teleoperated systems where the control platform is placed in a remote location as could be the case of mobile robots applications [3335].

3. Prediction-Observation Problem

The prediction problem is stated as follows. Based on the knowledge of the output signal and the input signal , design a dynamic system whose states converge asymptotically to future values of the states ; that is,

To motivate the importance of the prediction problem, assume that there exists a state feedback controllerthat solves the trajectory tracking problem for system (1) with . Due to the involved time delay, the closed loop dynamics (1)–(4) took the following form: thus, in general, the state feedback controller (4) no longer solves the trajectory tracking problem for (1). Assume that it is possible to design an ideal feedback based on future values of the state, this feedback, in terms of future states, will take the form

Notice that the use of the ideal feedback (6) will produce ideal delay-free closed loop dynamics (1)–(6). This fact motivates the design of a predictor capable of generating the estimated value . However, as expected, the best possible solution only achieves asymptotic convergence to future states. Moreover, due to the time delay effect, the closed loop dynamics will behave as in open-loop on producing an undesirable and not compensable transient.

Instrument in addressing the prediction problem for the class of systems described in (1) is the following change of coordinates:

In terms of new coordinates (7), dynamic system (1) is described by the following equations:

This dynamic system represents the evolution of original system (1) and units of time ahead.

3.1. Predictor Design

The predictor dynamics can now be designed based on time advanced system (8). The dynamics for the predictor is proposed as a copy of the time advanced dynamics (8) plus a term injecting the delayed observer error:where is the predictor matrix gain, and represents the predicted evolution of the state and consequently the prediction of that represent the original state    time units ahead. Notice that, in (9), it is not possible to inject the signal since according to (7) this is not available.

To analyze the predictor convergence of the state to the future value notice that from the system-predictor dynamic (1)–(9) it is possible to define the error signal:The time derivative of (10) produceswith .

3.2. Predictor Convergence

The convergence to the origin of the prediction error (10) is proven in two steps. First, notice that the stability of the perturbation-free system (11) corresponds to the stability of a linear system of the formwith an initial condition function , with , the space of piecewise continuous functions of defined in .

Notice that the prediction error initial condition depends on those of plant (1) and predictor (9). Since the parameters of matrix are free, from the observability assumption of the pair , it is always possible to locate the eigenvalues of the matrix in the left half complex plane. The Hurwitz property of matrix ensures the stability of differential difference equation (12) for a sufficiently small time delay [21]. The maximum time delay for which system (12) will be asymptotically stable depends on the choice of the observer gain and its computation is not an easy task since its complexity rises as the dimension of system (12) increases. Thus, given a matrix gain , such that is a Hurwitz matrix, it is always possible to asymptotically stabilize prediction error (12) for a constant time delay . This fact can be verified, for instance, by considering Proposition , Chapter  5 in [36], or reviewing the pole assignment procedure given in [21].

Based on the above arguments, it will be assumed, without loss of generality, that there exist and such that system (12) is asymptotically stable for . It should also be noticed that the stability of (12) is not only asymptotic but also exponential [37].

3.2.1. Complete Type Functional

Following the results presented in [30], to show the asymptotic stability of (11), it is possible to consider a complete type functional of the formwhere , with and . The Lyapunov matrix in (14) is given bywhere is the fundamental matrix of system (12) without perturbation, andwith positive definite matrices and .

The Lyapunov matrix satisfies the following properties [30].(P1).(P2), and .(P3).

It is possible now to state the prediction convergence result.

Theorem 3. Suppose that the matrix gain is chosen such that perturbation-free system (12) is exponentially stable. Consider that Assumption 1 is satisfied, the prediction error converges asymptotically to the origin if where , and with , the smaller (largest) eigenvalue of . As a consequence, Moreover, if in Assumption 1 is globally Lipschitz, the resulting convergence is also global.

Proof. Considering the properties of the Lyapunov matrix , after some manipulations, the time derivative of functional (13), along the solution of the prediction error (11), producesThen, it is possible to upper-bound the undefined sign terms in (19) as follows: Therefore, (19) can be upper-bounded in the following form: As a result, one hasNotice that condition ( can be rewritten as Then, one obtainssincefrom condition . Conditions (24) and (25) conclude the proof. Finally, notice that since the perturbation-free system (11) is globally stabilizable, if is globally Lipschitz with respect to , the result will be also global.

Remark 4. For delay-free systems of form (1), that is,predictor (9) (with ) becomes the classical Luenberger observer for system (26). In this case, from (7), . Following [9], if the matrix gain is chosen such thatwhere and are symmetric, positive definite matrices associated withthen, observer (9) (with ) converges asymptotically to the real states, . The optimal value of is obtained for , [38]. Thus, the observation problem is reduced to choose such thatFurther analysis of this problem has been carried out in [31, 32].

Remark 5. Notice also that, in the case of , property (P3) takes the form

4. Control Problem Based on Predicted State Feedback

The regulation or trajectory tracking problem for time delayed systems, based on predicted states, is more challenging than the prediction problem. First, the prediction errors link up with the regulation or trajectory tracking errors. Second, if the matching condition between the disturbances and the control input is not satisfied control design has to be addressed case by case. To illustrate the use of the proposed state predictor for control design a narrow class of nonlinear systems is considered. It is assumed that has the structurewhich satisfies Assumption 1. It is also considered that the following assumption holds.

Assumption 6. The pair associated with system (1) is controllable.

Based on the state predictor (9) it is possible to propose the following state feedback:

From (10), the closed loop system (1)–(4), (6)–(16), (19), (22), (24)–(29), and (31)-(32) producesfor . From Assumptions 2 and 6, the matrices and are chosen, through the selection of and , to be Hurwitz. System (33) can be rewritten asfor and

Notice that system (34) has exactly the structure of system (11); this fact allows adapting the statement of Theorem 3 to give a solution to the state predictor-based stabilization problem.

From the choice of gains and , it is clear that matrix is also Hurwitz. From Assumption 1, function is a Lipschitz function with respect to ; that is, Therefore, it is possible to state the solution to the state prediction-based stabilization problem in the next theorem.

Theorem 7. Suppose that in (9) and in (32) are chosen such that the perturbation-free system (34) is exponentially stable. Then, the prediction-based stabilization problem for system (1)–(31) has a solution if for , , and positive definite matrices and .

Proof. The proof of this theorem follows the same lines of Theorem 3. The complete Lyapunov functional is constructed with , , and to build the fundamental matrix associated with the perturbation-free system, that is, system (34) with . The new Lyapunov matrix also satisfies the properties (P1), , and taking care of the corresponding subscripts associated with system (34).

5. Full Linearizable Systems Case

To strengthen the importance of the class of nonlinear systems (1), notice a broad class of nonlinear systems of the formwhere , , , smooth vector fields , and scalar valued functions from to can be transformed to a system of form (1) as long as system (39) has a well-defined relative degree (see, [39]).

The transformation of system (39) to a set of systems of form (1) can be done through the diffeomorphism, , with As a result, system (39) can be rewritten in the formwithfor where are entries of the invertible decoupling matrix [39]. It is clear that system (41) can be assumed to have the structure given by (1).

Notice that, in the case of system (39), defining the time ahead representation of (41) is obtained asfor .

The predictor for system (44) takes the form

Defining the prediction errors asfor and allows writing the prediction error dynamics in the form

Remark 8. Notice that for the input-state linearizable system (39), due to the change of coordinates and the diffeomorphism, , the estimated future value is obtained as

5.1. Control Problem for Full Linearizable Systems

For control design in the case of full linearizable systems, the dynamics described by the set of differential equations in (39) is considered, or equivalently, a system of form (41) which has the structure of (1).

A feedback proposed for the solution of the delay-free case [39] can be modified based on future states aswhere the entries of matrix and vector are given in (42) and the new input signal is defined aswith where is the desired reference for .

Notice that in the case of a stabilization problem for system (39) and (41), feedback (49) is rewritten considering for and .

The closed loop system (41), (42), (44)–(47), and (49) produceswhere

Defining a set of tracking errors asthe following is obtained:and, as a result, one haswhere

Therefore, replacing the feedback (49) with (47), the complete closed loop dynamics is given bywhere corresponds to the -row of vector .

System (57) can be rewritten in a vector form as follows:with and . Therefore, the following can be written:where

Finally, one haswhere , , , and .

Based on the above developments, the trajectory tracking problem for system (39) and (41) based on predicted future values is stated under the same lines of Theorems 3 and 7.

6. Numerical Evaluation

To show the performance of the prediction scheme (9) and prediction-based control strategy (32), an open-loop unstable system of the form (1)–(4), (6)–(16), (19), (22), (24)–(29), and (31) will be considered, which is determined bywith a time delay .

To design predictor (9) it was considered that that set the poles of matrix in . It was considered that , from where , .

From the parameters of the system the following bounds are computed: and = LC‖. The bound is obtained from the time evolution of matrix , which can be numerically computed from the procedure proposed in [40]. The evolution of is depicted in Figure 1; thus one has .

Finally, it is obtained that , , which satisfy the conditions of the Theorem 3. For all the experiments, it was considered that . The prediction error evolution is shown in Figure 2 where its convergence to the origin is clearly stated.

To stabilize system (63) at the origin, the predictor described before was considered and that set the poles of in . Notice that in this case , from where , , , and . The computation of is depicted in Figure 3 from where . Notice that the conditions of Theorem 7 are satisfied. The evolution of the state is depicted in Figure 4 where appropriate convergence to the origin is obtained.

6.1. Trajectory Tracking Problem Based on Predicted State

To assess the flexibility of the proposed control scheme, notice that feedback of the formfor defined as in the stabilization problem solves the trajectory tracking problem associated with (63), for a differentiable desired reference:given as , for , , .

The prediction errors are shown in Figure 5 while the tracking errors are depicted in Figure 6; both errors converge to the origin as expected. The corresponding predictor-based feedback is shown in Figure 7. Finally, the estimated perturbation signal is shown in Figure 8.

7. Conclusions

This work addresses and provides solutions to the state prediction and control problems of a class of nonlinear systems with known constant time delay at the input signal. An appropriate time shift of the state coordinates lets the predictor be designed as an observer. The predictor convergence depends on the time delay magnitude and the Lipschitz constant associated with the class of considered systems. The future estimated states solve the regulation and trajectory tracking problems. Numerical simulations evaluate the prediction strategy as well as the regulation and trajectory tracking controller based on predicted states.

Additionally, it is shown that the presented predictor-control strategy also applies to the class of full linearizable nonlinear systems. As a continuation of this work, it is important to consider the increase in the time delay that the closed loop system can handle. Also, going a little bit further, the time varying delay case and the real-time implementation of the proposed algorithm should be boarded.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

The work of the first and second author was partially supported by Conacyt, Mexico, under Grant CB–254329.