Application of an Estimation Method in the Lure System

+e presence of set-valued mapping affects the stability of the output of the lure system, adding to the difficulty in observer design. To overcome the difficulty, the authormapped the system output error to the nonlinear term of the framer, creating a framer of the extended Luenberger structure, and analyzed the coordination of the error system by the monotonic system theory. On this basis, the interval observer was designed for the lure system. +en, the lure system and its observer systems were proved as asymptotically stable. Finally, it is proved that the observer system trajectory always followed the original state trajectory through the simulation under the different selections of set-valued mapping.


Introduction
Due to the wide range of uncertainties in the actual system, the research on uncertainty has received extensive attention. e reasons for the system uncertainty are as follows: modeling error, measurement error, environmental noise, unknown input, and control factors such as failure of the actuator or actuator, external disturbance, and parameter changes. Since the system state cannot be accurately estimated in real time, only the lower and the upper bounds about the state can be given, so the concept of the interval observer is born. e research and application of the interval observer can realize the determination of the state change interval and solve some uncertain problems based on the uncertain method. e main design methods of interval observers so far are limited, and most of them are for linear systems. Since most actual control systems are nonlinear in nature, the interval observer design theory for uncertain nonlinear systems has been developed. It is a very important research significance.
In recent years, there has been more and more research on interval observers, and different research methods have been proposed. e research objects have also expanded from linear time-invariant systems and planar systems to LPV systems, feedback linearization systems, chaotic systems, and Lipschitz nonlinear systems. is chapter mainly studies the design method of the interval observer for the lure nonlinear system. e lure nonlinear system is usually regarded as a relatively simple nonlinear system, but its application is wide and its output is uncertain, which leads to the difficulty of the observer design. is paper will output the error of the system, the nonlinear term of the frame phaser is mapped to the frame phaser of the extended Luenberger structure, and the coordination of the error system is analyzed based on the monotonic system theory. e interval observer design method of the lure system is given, and its algorithm is verified. Effectiveness.
State depicts the information of the dynamic behaviour of a system. To obtain the accurate state of the system is very difficult, due to the presence of various uncertainties. To overcome the difficulty, an effective solution is to take the input and output of the original system as the input to the new system and to use the output of the new system to estimate or reconstruct the state of the original system. e new system is known as the state observer. Many state observers were designed to eliminate the random disturbances [1][2][3][4][5], including several robust designs under bounded uncertainty [6][7][8][9][10][11][12].
With set-valued mapping, the lure system has uncertain output, which is a new type of uncertainty. In this paper, an interval observer method was proposed based on the lure system, aiming to disclose the relationship between system structure and framer (x (t)/x(t)) configuration and find the way to worsen the state and minimize x + (t) − x − (t). Specifically, the system output error was mapped to the nonlinear term of the framer, producing a framer of the extended Luenberger structure. Meanwhile, the coordination of the error system was analyzed by the monotonic system theory. On this basis, the interval observer design of the lure system was put forward and verified by an algorithm.

Problem Description
Suppose there is a system with lure type where, x(t) ∈ R n is the state, y(t) ∈ R r is the output, and r(t) ∈ R m is the input of the system; A, B, and C are real number matrices with proper dimensions; G ∈ R n×q is the output matrix with proper dimensions; v(·) is the set-valued mapping; H ∈ R q×n is the input matrix; and ω(t) ∈ R q is the output of the set-valued mapping. Here, we assume B and G are column full rank, and C is row full rank. e set-valued mapping is defined below with an example.
As the fundamental concept of the differential inclusion theory, set-valued mapping was further described as follows.
Set-valued mapping exists in many actual systems. A typical example is the friction in mechanical systems and the diode in electronic systems. Set-valued mapping is needed to describe these basic elements in a specific manner. Hence, set-valued mapping and the ensuing differential inclusion are indispensable for the creation of an accurate model for dynamic systems.
In 1902, Stribeck discovered the variation curve of the friction coefficient when he explored dry friction (i.e., the friction without lubricant). is curve is now known as the Stribeck curve Figure 1. With the change in speed, the variation in friction coefficient goes through four phases, namely, static friction, Stribeck friction, Coulomb friction, and viscous friction. In the phase of static friction, there is no relative motion between the friction pairs; in the phase of Stribeck friction, relative motion occurs between the friction pairs, and the friction coefficient gradually declines. e four-phase process exhibits an obvious nonlinearity. Setvalued mapping appears in the phase of static friction. Despite the absence of relative motion, the friction force still exists in the same magnitude as the external force but points to the opposite direction.
Glocker described the friction force λ with the following formula of set-valued mapping: where F S ( _ q) is a function of the speed; q is the displacement; μ is the friction coefficient; and λ N is the positive pressure; we view sgn( _ q) as a set-valued mapping: Only a controlled mechanical system with dry friction can be described as follows: where K, D, and M, are the stiffness matrix, damping matrix, and mass matrix of the mechanical system; q is the generalized speed containing both translation and rotation; S is an input matrix; and we assume u as the control variable; T is the friction matrix; λ is the vector composed of friction forces. e ith component of λ stands for the friction at the ith contact point, which can be expressed as the set-valued mapping below: where T i is the ith column of T and T T i _ q is the relative sliding of the ith contact point. e M€ q + D _ q + Kq � Su + Tλ can be expressed as the following state space: where x � (q T _ q T ) T is the state; w and z are the output and input of φ(·); and y is the measurable output. It can be seen that set-valued mapping is another form of uncertainty. is paper focuses on the design of interval observers for the systems with such uncertainty. e differences between differential inclusion and traditional differential equations are described below.
Let f: [0, T] × R n ⟶ R n be a known single-valued mapping (T ∈ R(>0)), t ∈ [0, T] be time, x(t) be an unknown single-valued mapping of [0, T] ⟶ R n , and _ x(t) be a derivative of x(t) relative to t. F is only R n ⟶R n , without explicitly containing t, then the differential inclusion becomes _ x(t) ∈ F(x(t)). e above formula is known as the time-invariant differential inclusion, while the previous formula is known as the time-varying differential inclusion.
If there is a Luenberger observer satisfying (1), then H must be row full rank. In the lure system, we assume the setvalued mapping v(·) as monotonic. In other words, e author further investigated the Cauchy problem of (1) and (2) under the initial condition of x(0) � x 0 with ω ∈ v(·). For the design of differential inclusion observer, the adaptive problem can be solved by two methods. First, it is assumed that, for any is a closed convex function with Lipshitz continuity. Second, we assume v(·) as maximal monotonic, such that the solution not only exists for _ but also is unique except for a zero measure set. e lure type differential inclusion system has a closedloop structure. e nonlinear part is concentrated on the feedback channel. It can be viewed as the product of nonlinear feedback of a linear system, provided that the nonlinear feedback satisfies the Popov integral inequality, i.e., with v being the output of the nonlinear part and y being the output of the linear part.

Nature of Set-Valued Mapping
In the first two selections, the single-valued mapping is either continuous or measurable. In the approximate selection, a function sequence with good properties is selected such that it approximates clF(x).
Since H is row full rank, we only have to consider ω i after determining y i . Considering that we have y 1 − y 2 , x 1 − x 2 ≥ 0; that is, x↦H T v(Hx + h) is monotonic. e next step is to prove the maximal monotonicity of x↦H T v(Hx + h). v(Hx + h) is maximal monotonic. If v(Hx) is monotonic, we only need to prove that x↦H T v(Hx) is maximal monotonic.

Lemma 2.
e linear and nonlinear parts of the loop in the lure type differential inclusion system are separable. If the nonlinear part satisfies the Popov integral inequality, then the necessary and sufficient condition for the closed-loop system to be ultrastable is that the linear part is positive and real; that is, the transfer function matrix is positive and real.
Proof. Adequacy. Let V(x) � x T Px be a positive definite function. We have rough the integration on both sides, we have According to the inequality above, we have

Design Method for Lure System State Observer
For the lure type differential inclusion system (1), the Luenberger interval observers can be designed as follows: where ω(t) ∈ v(Hx(t)), with x being the state and ω being the output of set-valued mapping; L ∈ R n×r is the observation gain which ensures that A − LC is a Hurwitz matrix. According to the linear system, when (A, C) can be observed, there A − LC is a Hurwitz matrix. , , Let e + � x + − x be the observer error. en, the above formula can be rewritten as follows: , , Let e − � x − x − be the observer error. en, the above formula can be rewritten as follows: , To find the L that makes the error system stable is our aim. (1)-(3), (13), and (14) are the Luenberger interval observers of the system (1):

Lemma 4.
Let P be a given m × n real symmetric matrix, U ∈ R m × n , and V ∈ R m × l be given column full rank matrices, and U ⊥ V ⊥ be the orthogonal complement matrix of U and V, respectively. en, the necessary and sufficient conditions for the existence of a Q, such that are e significance of Lemma 3 lies in V and U that appear in the same term in P + UQV T + VQ T U T < 0, when matrix Q is unknown. By contrast, U ⊥ and V ⊥ appear in two independent inequalities, when matrix Q is known. is makes the problem easier to solve. e proof of the lemma and the general formula of Q satisfying P + UQV T + VQ T U T < 0 are available in [13][14][15][16][17].
U is a reversible matrix because it is column full rank. In this case, U ⊥ is an element zero, and (U ⊥ ) T PU ⊥ < 0 should be removed from the lemma.
If U is a reversible matrix, the unique Q can be determined by K � UQ. In this case, if K is set to kV, then According to the Finsker theorem, the necessary and sufficient condition for the existence of an k such that P + 2kVV T < 0 is V T ⊥ PV ⊥ < 0 [18]. us, we have the following theorem: (1) HG > 0, i.e., H is row full rank Conversely, if the lemma conditions are valid, we can obtain a P such that G T P � H. According to condition (13) of the lemma, we have C ⊥ (PA + A T P)C T ⊥ < 0. en, it can be seen from Lemma 3 that (H, A − LC, G) is strictly positive and real.
Note that the unknown term in the inequality of condition (13) is the matrix X, and the inequality is linear relative to X. us, the inequality tool of the linear matrix can be adopted for the solution.
For practice, a simpler method is mentioned to solve the inequality C ⊥ (PA + A T P)C T ⊥ < 0 independently, which is irrelevant to G T P � H.
Further results can be derived from Lemma 3 through the analysis of For simplicity, let M � C ⊥ G ⊥ and N � H T (HG) − 1 H. en, we have M ∈ R (n− r)×(n− q) , N ∈ R n × n , and N is a semipositive definite. en, the above inequality can be rewritten as follows: According to Lemma 3, the necessary and sufficient conditions for 5. Simulation e following lure system is established for simulation: where y � x 1 , v(·) can be expressed as follows: Let L � − 6 2 1 T . We have

Mathematical Problems in Engineering
It can be calculated that P �  Figure 2 shows the estimated interval state of the system. It can be seen that , i � 1, 2, 3 at any time. is means the proposed interval observers (13) and (14) can estimate the interval state of the system well.
As shown in Figure 2, the lure system and its observer systems were asymptotically stable under different selections of set-valued mapping, and the observer system trajectory always followed the original state trajectory.

Conclusions
is paper explores the interval observer design in the lure system. Interval state estimation is a hot and frontier content in control theory research, and it has a wide range of applications in many engineering fields. At present, the international research on interval observers has just started, and the research objects are mainly focused on linear systems, with limited research methods and conclusions.
erefore, to carry out research on interval observers and control of uncertain systems not only has important  scientific significance and theoretical innovation but also has a certain engineering application value. e presence of set-valued mapping affects the stability of the output of the lure system, adding to the difficulty in observer design. To overcome the difficulty, the author mapped the system output error to the nonlinear term of the framer, creating a framer of the extended Luenberger structure, and analyzed the coordination of the error system by the monotonic system theory. On this basis, a design method was proposed for the interval observer of the lure system. en, the lure system and its observer systems were proved as asymptotically stable. Finally, it is proved that the observer system trajectory always followed the original state trajectory through the simulation under the different selections of set-valued mapping.

Data Availability
No data were used to support this study.

Conflicts of Interest
e authors declare that they have no conflicts of interest.