Finite-Time Output Feedback Controller Based on Observer for the Time-Varying Delayed Systems : A Moore-Penrose Inverse Approach

This study proposes a novel variable structure control (VSC) for the mismatched uncertain systems with unknown time-varying delay. The novel VSC includes the finite-time convergence sliding mode, invariance property, asymptotic stability, and measured output only. A necessary and sufficient condition guaranteeing the existence of sliding surface is given. A novel lemma is established to deal with the control design problem for a wider class of time-delay systems. A suitable reduced-order observer (ROO) is constructed to estimate unmeasured state variables of the systems. A novel finite-time output feedback controller (FTOFC) is investigated, which is based on the ROO tool and the Moore-Penrose inverse technique. Moreover, with the help of this lemma and the proposed FTOFC, restrictions on most existing works are also eliminated. In addition, an asymptotic stability analysis is implemented bymeans of the feasibility of the linearmatrix inequalities (LMIs) and given desirable slidingmode dynamics. Finally, aMATLAB simulation result on a numerical example is performed to show the effectiveness and advantage of the proposedmethod.


Introduction
Time-delay systems are one of the main topics of control systems which have been successfully applied by the variable structure control (VSC) theory [1,2].It commonly leads to an instability and/or reduces the system performance in the closed-loop system [3]; hence, the stability of the time-delay uncertain system has been attracting the interest of a large number of quality papers published in the most recently internationally renowned journals [4][5][6][7][8] and the related references therein.Thanks are due to some distinguished features of the VSC such as finite-time convergence, fast dynamic response, good robustness, exogenous perturbations rejection ability, and its insensitivity to parameter variations.The VSC theory has been effectively applied to a wide variety of practical time-delay systems such as hydraulic/pneumatic, data transmission, satellite systems, robotic manipulator, chemical processes, communication, and network system [9][10][11][12].
Based on the published works above, the VSC design largely falls into two categories.The first category is that all unavailable state variables are estimated and called full-order observer (FOO) or a part of the state variables and called a reduced-order observer (ROO), such that error trajectory reached the sliding surface of the error dynamic and the estimated variables tend to the actual variables of systems.The second category is that a control signal of systems is constructed via measured output, called output feedback controller (OFC), such that the state trajectories of systems move onto the sliding surface.
In order to estimate unmeasured states of a plant, there are several FOOs/ROOs that are successfully designed by [13][14][15][16][17].In [14], the FOO was established for uncertain singleinput/single-output (SISO) and multiple-input/multipleoutput (MIMO) systems which satisfied the matching condition with time-delay.The design parameters of time-delay observer were chosen by using the Lyapunov-Krasovskii Vfunctional method.Based on the generalized matrix inverse concept, the work [15] extended the FOO results of [14] from the matched uncertain systems to mismatched uncertain systems with a time-delay.Nevertheless, the time-delay 2 Mathematical Problems in Engineering error convergence of asymptotic observer is uniformly ultimately bounded.In contrast to the FOO, the ROO estimates only those states that are not directly measured.An asymptotic observer in a lower dimension was studied in [13,16] for linear time-delay systems by utilizing LMI technique and linear matrix equality formulation.This LMI technique [18] has some benefits over traditional approach methods; that is, LMI problems can be easily determined and efficiently solved by using the LMI Toolbox [19] in MATLAB software.However, all of these techniques have a common disadvantage to providing an asymptotic stability of estimation error in infinite time.For the purpose of control design, the finite-time convergence is one of the most essential and challenging problems.It requires fundamentally that a control system is stable in the sense of Lyapunov and its trajectories tend to zero in finite time.It was demonstrated in [17] that the finite-time convergence of FOO was constructed for the time-varying delay uncertain nonlinear systems under Lipschitz conditions.In brief, the main key for observer progress is a finite-time convergence of estimation error such that observer is invariant to the system uncertainties and/or disturbances in finite time.However, in most existing FOO/ROO works, the finite-time convergence could not be guaranteed simultaneously with the invariance property for mismatched uncertain systems with a time-delay.Further, there are presently only few results in which the time-delay does not need to have prior knowledge in the observer [20][21][22].
In recent years, the problem of designing a controller for the uncertain system with time-varying delay has achieved a great deal of results [23][24][25][26][27].Among them, the controller was established in [24] for the matched uncertain SISO/MIMO system with time-varying state-delay and additive disturbances by using an LMI approach.Also, based on benefits of the LMI technique, the controller was designed in [25] for linear time-delay systems with mismatched perturbations.However, the norm of external disturbance is assumed to be bounded a known positive constant.A novel concept, named "a subordinated reachability of the sliding motion," was introduced in [27] for a class mismatched uncertain of the stochastic system with time-varying delay.In [26], by means of a Takagi-Sugeno (T-S) fuzzy modelling approach, the sliding mode control problem was investigated for mismatch uncertain time-delay systems.For a class of uncertain stochastic delay systems in [23], a state feedback controller was developed by using integral sliding mode control approach.However, an asymptotic stability is not ensured the finite-time convergence.Furthermore, these works assumed that all the system states were accessible to the control law.In many practical systems, the state variables are not measured directly or the number of measuring devices is limited.Hence, the works of OFC based on FOOs/ROOs were investigated by many authors [4][5][6][7][8]28].In [28], the OFC was represented for Itô stochastic time-delay systems by utilizing the FOO tool and measured output.But the obtained results could not ensure invariance to the matched uncertainties in sliding mode.The work [6] established OFC which was assumed to satisfy the norm of unmeasured states with known nonnegative constant value.This constant value is not easily achieved in practice.The FOO-based OFC was explored in [7] for uncertain time-delay systems with Markovian jump parameters.In [8], the OFC was designed for uncertain time-delay systems where stochastic perturbations must satisfy stringent Lipschitz condition.Recently, the study [4] was conducted to design OFC based on FOO for nonlinear Markovian jump systems with partly unknown transition probabilities.In [5], the OFC was proposed, which assumed that the norm of states and norm of observer error have to be bounded output signal, for a class of uncertain neural systems with unmeasured states.It should be pointed out that the recent works [4][5][6][7] have some serious limitations, where it is required that the exogenous disturbances must be bounded by a known function of the outputs.Moreover, all published works have represented the OFC based on FOO, which increases the computation of burden due to the associated closed-loop systems.
The analysis as mentioned above and the significant limitations of published works have motivated the output variables studies only.It would be worthwhile to design a finite-time output feedback controller (FTOFC) for mismatched uncertain systems with unknown time-delay.The FTOFC will be based on the ROO tool and the Moore-Penrose inverse technique in which the above restrictions are relaxed.Hence, a novel VSC approach should be investigated for the mismatched uncertain systems with unknown timevarying delay and external disturbances input.The novel VSC includes the finite-time convergence sliding mode, invariance property, asymptotic stability, eliminated limitations, and measured output only.In this paper, we attempt to develop a novel FTOFC with four main tasks.The first is concerned with a necessary and sufficient condition guaranteeing the existence of sliding surface.The second consists of the construction of a suitable ROO, which estimates unmeasured variables.This ROO ensures that the conservatism is reduced, and the robustness is enhanced in comparison with FOO.The third involves a novel lemma that is established to handle an unknown error of the observer error dynamics in the control design problem.The last one comprises a novel FTOFC, which is designed based on the ROO tool and the Moore-Penrose inverse technique to stabilize the mismatched uncertain systems with unknown time-delay.Thus, the novel method does not need the availability of the state variables; besides, constructing LMI condition to guarantee the timedelay systems with mismatched uncertainties in sliding mode is asymptotically stable.Finally, a numerical example is given to prove the effectiveness of the proposed theoretical results.
The configuration of this paper is organized as follows.The problem statement, preliminaries, and some useful lemmas are introduced in Section 2. Section 3 presents the sliding surface design and regular form of the system.Section 4 shows the important achievements of the paper, which show how to establish the FTOFC based on the ROO tool and the novel lemma for the mismatched uncertain systems with unknown time-varying delay.Section 5 verifies the effectiveness of the proposed design method through a numerical example.Finally, some concluding remarks are epitomized in Section 6.
Notation.Throughout this paper,   symbolizes the dimensional Euclidean space, and  × denotes the set of all  ×  real matrices.For matrix , the notation  > 0 means that the matrix  is a positive definite matrix. and 0 represent the identity matrix and a zero matrix, respectively.The superscript "" shows the transpose. ⊥ denotes an orthogonal complement of  (i.e.,  ⊥  = 0).Finally, the notation ‖ ⋅ ‖ stands for the Euclidean norm of a vector and the induced spectral norm of a matrix.

Problem Statement and Preliminaries
Consider a general mismatched uncertain time-delay system whose dynamics are described by the following equations: where () ∈   is the system continuous-time state variables, () ∈   represents the control input of the plant, and () ∈   is the measured output.The function () is the timevarying delay which is assumed to be unknown, nonnegative, and bounded in R + ; that is,  fl sup ∈R + {()} < ∞.The symbol () represents differential vector-valued initial function on [−, 0].The constant matrices ,   , , , , and  are nonunique constant matrices with appropriate dimensions.The matrices Δ() and Δ  () represent the structure parameter mismatched uncertainties in the state matrix and the delayed state matrix, respectively.The term ((), ( − ()), ) describes the influence of exogenous disturbance on the plant.
To proceed with the design of the observer and control scheme for the uncertain time-delay systems (1), the following standard assumptions are essential for our work.Assumption 1.  ≤  < ; that is, the number of inputs is smaller than or equal to the number of output channels.The input matrices  and  have full rank, and rank() = .Assumption 2. The pair ( +   , ) is completely controllable, and the pair ( +   , ) is completely observable.
Remark 5. Assumptions 1, 2, and 3 are standard assumptions for time-delay systems which can be found in most existing literatures.For Assumption 4, in recent studies [4][5][6][7], it is required in this technical note that the exogenous disturbances must be bounded by a known function of the outputs.In practical cases, these conditions are often difficult to meet.For our method, the external disturbances must satisfy an unknown function of the state and delayed state variables.Thus, the condition in Assumption 4 is an extension of the condition used in these studies.
For further analysis, some following standard lemmas will be needed as follows that are useful for the development of theorems and stability of the system dynamics in sliding mode.

Sliding Surface Design and Regular Form of the System
In this section, we present a procedure for the design of a sliding surface and deriving existence condition of the sliding matrix using only the output variable.After the sliding surface design is completed the next step is to get a regular form of the original system (1) such that we prepare a controller design for system (1).First, let us define the sliding function as then the sliding surface, which is defined by () = 0 with  ∈  × is a constant matrix, and  ∈  × is a sliding matrix.It follows from (6), one can see that there are only output variables used.According to the existing works [31,32], the following properties for the sliding surface parameter matrix  should be satisfied.
Property 2. The sliding mode dynamics restricted to sliding surface () = () = () = 0 are asymptotically stable and are completely invariant to any uncertainties and/or disturbances satisfying Assumptions 3 and 4.
Property 3.There exists a matrix  such that  = .
The purpose is to design the FTOFC for system (1); we now consider the results of [31] for the regular form.Let us define by Γ ×  symmetric matrix satisfying where  ⊥ is an orthogonal complement of the matrix  and   is the Moore-Penrose inverse of the matrix .
Consider the two constraints of the following LMIs: where  and  are symmetric matrices.In this case, the sliding matrix ( 6) can be parameterized as where  is any  ×  nonsingular matrix and  = ΓΓ +   .The choice of the matrix  and existence of matrix  will be presented in Theorem 11.
Remark 10.According to the existing studies [31,33,34], there exists a sliding matrix  guaranteeing Properties 1-3 if and only if there exists a solution pair (, ) satisfying the LMIs (8).Then the sliding surface can be parameterized as (9).Additionally, it is easy to show that the LMIs (8) can be solved by using LMI Toolbox [19] in MATLAB software.
To complete the regular form description of system (1), a following transformation matrix is denoted as and assume that () is nonsingular; then the inverse of  has the form Now, we describe a system state and the delayed state transformation as where the variables () ∈ where From ( 13), it can be rewritten as where Now, existence condition of the sliding matrix in terms of LMIs using only the output variable is shown in Theorem 11.

Theorem 11. Consider the time-varying delay systems (1) with mismatched uncertainties. Assume that Assumptions 1-4 hold. Let
Then there exists a sliding matrix, , such that Properties 1-3 hold if and only if the following LMI has a solution pair (, ) for any constants Proof of Theorem 11.
Necessity.It follows that the first equation of system (15) can be acknowledged as the following sliding mode dynamics of the overall closed-loop systems: where  =  ⊥  and  =  ⊥ ( ⊥  ⊥ ) −1 .
To determine an existence condition of the sliding matrix, Property 3 holds.We select the Lyapunov function candidate of the form () =   ()(), where  is positive matrix.Then, calculating the time derivative of () along the state trajectories of system (18), it can be found that Now, we are going to prove V() < 0. By using Lemma 6, it follows from (19) that By virtue of Lemma 7, inequality ( 20) is equivalent to According to Assumption 3,  is a free-choice matrix.So, we can easily select matrix  such that the matrix    is semipositive definite.Then, from Lemma 3 of [35], the following is true: for some  1 > 1, which implies that where the scalar  2 > 1.Thus, from ( 21), (22), and ( 23), we achieve To get V() < 0, applying Lemma 8 to the above inequality yields where  ∈  (−)×(−) is any positive matrix, And so, we get Thus, we get  =  ⊥ ( ⊥  ⊥ ) −1 = 0 and select  = ( ⊥  ⊥ ) > 0. The LMI (25) can be rewritten as where (26) implies that  satisfies the LMI (28).
Remark 12.When a sliding mode is operated, the first equation of the overall closed-loop system (15) is asymptotically stable by means of the feasibility of LMI (25).This will reduce conservatism in the computing process and ensure robustness against the matched uncertainty and the external perturbation of the time-varying delay system.Besides, the novel existence condition of sliding mode is provided by the LMI (25) with regard to the sliding function (6), which can be easily performed by using LMI Toolbox [19] in MATLAB software.

Design of the Finite-Time Output Feedback
Controller Based on ROO 4.1.Sliding Control Law Construction.In this section, the main results will be shown.The first suitable ROO is established to generate the estimate of unmeasured states of the system.A control law will then be determined by using these estimated variables and the system outputs such that reachability condition can be met for some positive scalars , where () = () is the sliding function.If condition ( 29) is gratified by some control, then system (1) can be driven from any initial state to reach the sliding surface in finite time and remain there in subsequent time.
Remark 13.Here, we have attempted to extend the traditional Luenberger observer [36,37] to generate a novel ROO scheme.The novel ROO design parameters should be proposed so that an asymptotically stable sliding mode will be generated on the sliding surface defined for uncertain systems with unknown time-varying delay.Also, the estimation error dynamics of observer asymptotically tend to zero in sliding mode.In other words, the invariance property will be ensured for ROO design.Further, the OFC in [4][5][6][7] were proposed based on FOO, which increases the computation and structure complexity.This full-dimension model is not necessary to implement.Consequently, the proposed ROO ensures that the conservatism is reduced, and the robustness is enhanced in comparison with FOO.
To determine an upper bound of governing error dynamic that supports the controller design, we establish the following novel Lemma 14.
Lemma 14.The matrix  11 is a stable matrix and ‖exp( 11 )‖ ≤  exp( max ) for some  > 0, where  max is a maximum eigenvalue of  11 .
Proof of Lemma 14.The matrix  11 is stable if and only if there exists the positive-definite matrix  such that Clearly, the following is valid when the LMI constraint ( 8) is feasible: With  11 =  ⊥  ⊥ ( ⊥  ⊥ ) −1 and by choosing  = ( ⊥  ⊥ ) > 0. along with the LMI ( 8) and (32) and using (33), we achieve which means that the matrix  11 is a stable matrix.Its maximum eigenvalues  max are all negative and real.Thus, we can easily get ‖exp( 11 )‖ ≤  exp( max ) for some  > 0. With the definition of Γ in (7), generally, the design of FTOFC is designed for mismatched uncertain systems with unknown time-varying delay.In other words, if the term  ⊥  ̸ = 0, then the uncertainties Δ() and Δ  () will be pursued.
By utilizing (27), the dynamic error (31) can be reduced by the following form:

Mathematical Problems in Engineering
In order to prove a stability of error dynamic, we form a composite dynamical equation combining system (15) with (30) as where  13).
To discuss system behavior in the sliding mode, we introduce an equivalence transformation as Hence, it can be seen that the system dynamical equation (42) in the sliding mode is Remark 17.According to Lemma 14, the reduced-order observer ( 30) is asymptotically stable in sliding mode, () = ( − ()) = 0, which means that ẑ( − ()) in (41) also converges to zero.Thus, one can see that the error dynamics (41) and ( 44) are asymptotically stable in the sliding mode; that is, the mismatched uncertain system (15) is asymptotically stable, and the invariance property is ensured by ROO.Further, the stability examination of an overall closed-loop system in sliding mode is concluded in Remark 12.
In order to use the estimated variables and observer error in controller design, we establish Theorem 18.
Proof of Theorem 18.Based on Lemma 14, we obtain the norm dynamic error solved from (41) as where () satisfies (45).Hence, we can see that ‖()‖ ≤ () for all time.Thus, the proof of Theorem 18 is finished.Now, we design control input () in system (15); the control input will be appropriately designed with the help of the ROO tool (30).
Remark 20.It should be noted that the proposed control laws (51) uses the measured output information completely in the control design and the estimated variables estimated by the ROO tool (30).In addition, we can see that when time-delay () is an unknown, controller (51) is applicable.Therefore, the proposed controller does not need the availability of the system states, and this study provides a methodology to reduce conservatism and enhance robustness.

Summary of Design Algorithm.
For the mismatched uncertain systems with unknown time-varying delay, the sliding surface in ( 6) and the proposed FTOFC can be simultaneously designed by the following steps.
Step 1. Solving the LMI (8) obtains the matrix solutions (, ) and computing the sliding matrix  according to (9).
Remark 21.From Figures 1 and 2, we can see that closedloop system states of the time-varying delay systems decline to zero immediately under the proposed FTOFC based on ROO and state estimate error of the designed ROO is asymptotically stable.According to Figure 3, it can be observed that control signal is convergent.Besides, the time evolution of the sliding function was exposed in Figure 4. Based on these simulation results, we can see that the proposed controller is effective in dealing with mismatched uncertainties, and the system has a good performance.It should be pointed out that the controllers in the above published works are not designed for this problem.

Conclusions
This paper represents the novel VSC design, which includes the finite-time convergence sliding mode, invariance property, asymptotic stability, and output variables only, for the unknown time-varying delay systems.We have established the novel lemma for a wider class of systems with timedelay.Based on the ROO tool and the Moore-Penrose inverse technique, the novel FTOFC has been designed for the mismatched uncertain systems with unknown time-varying delay.A necessary and sufficient condition of the sliding surface existence is vital for ensuring a desired system response has been obtained.The proposed method has eliminated the restrictions required in existing studies.Moreover, this work could provide a methodology for reducing conservatism and enhancing robustness for uncertain systems with unknown time-varying delay using the ROO tool in control design.Furthermore, employing the Lyapunov stability theory and the LMI approach, the dynamic of the reduction order system is asymptotically stable under sufficient condition developed and guarantees the invariance property in sliding mode.Finally, the results obtained are supported by a numerical example.

Figure 1 :
Figure 1: Closed-loop response of time-delay uncertain system.