iconOpen Access

ARTICLE

crossmark

Optimal Fuzzy Tracking Synthesis for Nonlinear Discrete-Time Descriptor Systems with T-S Fuzzy Modeling Approach

Yi-Chen Lee1, Yann-Horng Lin2, Wen-Jer Chang2,*, Muhammad Shamrooz Aslam3,*, Zi-Yao Lin2

1 Department of Information Management, National Dong Hwa University, Hualien, 974, Taiwan
2 Department of Marine Engineering, National Taiwan Ocean University, Keelung, 202, Taiwan
3 Artificial Intelligence Research Institute, China University of Mining and Technology, Xuzhou, 2211106, China

* Corresponding Authors: Wen-Jer Chang. Email: email; Muhammad Shamrooz Aslam. Email: email

Computer Modeling in Engineering & Sciences 2025, 143(2), 1433-1461. https://doi.org/10.32604/cmes.2025.064717

Abstract

An optimal fuzzy tracking synthesis for nonlinear discrete-time descriptor systems is discussed through the Parallel Distributed Compensation (PDC) approach and the Proportional-Difference (P-D) feedback framework. Based on the Takagi-Sugeno Fuzzy Descriptor Model (T-SFDM), a nonlinear discrete-time descriptor system is represented as several linear fuzzy subsystems, which facilitates the linear P-D feedback technique and streamlines the fuzzy controller design process. Leveraging the P-D feedback fuzzy controller, the closed-loop T-SFDM can be transformed into a standard system that guarantees non-impulsiveness and causality for the nonlinear discrete-time descriptor system. In view of the disturbance problems, a passive performance constraint is incorporated into the fuzzy tracking synthesis to achieve dissipativity of disturbance energy. To achieve a better balance between state and control responses, the H2 performance requirement is considered and a minimization constraint is applied to optimize the H2 index. It is observed that there is a lack of research focusing on both disturbance and control input issues in nonlinear descriptor systems. Extending the Lyapunov theory, a stability analysis method is proposed for the tracking purpose with the combination of the free-weighting matrix to relax the analysis process while complying multiple performance constraints. Finally, two simulation examples are presented to demonstrate the feasibility and applicability of the proposed approach in practical control scenarios for nonlinear descriptor systems.

Keywords

Nonlinear descriptor system; takagi-sugeno fuzzy model; H2 performance; passive performance; robustness; fuzzy tracking syhthesis

1  Introduction

Over the past few decades, the control problem of nonlinear systems has been extensively addressed [1]. In practical systems, there are often inherent nonlinearities that must be considered to more precisely describe the dynamics of control systems. Additionally, systems in descriptor form have been shown to provide a powerful tool for enhancing the completeness in describing practical control systems [2,3]. It is worth noting that not only is the implicit relation included to represent the interrelations in many systems, but there also exist purely static relations featuring identity correlations among different dynamic variables. Because of this reason, the description of descriptor systems includes both differential and algebraic equations, thus being referred to as differential-algebraic systems [4]. Descriptor systems can also be applied to situations involving singularities, singular perturbations, and noncausalities. Notably, singular systems have been widely discussed due to their use in various control scenarios, such as acceleration and its derivative, autonomous ships, as well as bio-economic systems [57]. However, the algebraic constraints in descriptor systems also lead to the issue of infinite poles and impulse behaviors [8,9], as the static relationships must be satisfied at a given instant. Taking advantage of large-scale systems, the control and analysis of nonlinear descriptor systems have attracted significant attention [10]. Nevertheless, the nonlinearities and algebraic constraints still pose formidable challenges to the development of controller design approaches.

Consequently, ensuring the absence of impulse modes has emerged as a critical consideration in the controller design of nonlinear descriptor systems. To address this issue, a proportional and derivative feedback concept has been introduced to transform the closed-loop system into a regular system [11,12]. That is, the feedback signal guarantees non-impulsiveness and causality for the system. For discrete-time systems, this concept is referred to as Proportional-Difference (P-D) feedback [13]. Due to the nonlinearities, the development of controller design approaches for nonlinear descriptor systems is confronted with significant challenges and complexities. Over the past decades, the Takagi-Sugeno Fuzzy Model (T-SFM) has proven to be a powerful tool for tackling the control problem of nonlinear systems [14]. By characterizing a nonlinear system as several linear subsystems, the controller design problem is efficiently reduced to a linear problem. In other words, the linear P-D feedback technique can be utilized in the control problem of nonlinear descriptor systems. Leveraging the T-SFM and Parallel Distributed Compensation (PDC) framework, some researchers have successfully developed fuzzy P-D controllers to stabilize the nonlinear descriptor systems [15,16]. Moreover, some simulations have been implemented to explore practical applications [1718]. Nevertheless, disturbance and uncertainty issues must be resolved to enhance the reliability of the control approach. The trade-off between convergence rate and control cost should also be considered while meeting practical control requirements.

In most industrial systems, external disturbances, such as power quality disturbances for generators [19], road roughness for electric power steering systems [20], and winds and waves for ships [21], are inevitable and persistent factors. In view of disturbance problem, many researchers have contributed to the development of anti-disturbance control approaches for nonlinear descriptor systems [22,23]. From the energy perspective, passive performance has been introduced to achieve the dissipativity of external energy [24]. A system can be called a dissipative system because the energy dissipated inside is less than the energy supplied by the external source [24,25]. Therefore, several researchers have successfully extended the concept of dissipativity to the disturbance problem, where disturbance energy is regarded as external energy [25,26]. In [25,27], the researchers have also presented the energy supply function such that the system consumption energy is always greater than the external energy to achieve this disspativity. Passivity theory has long been recognized as an effective tool for the analysis of electrical networks and nonlinear systems. It is worth noting that the passive performance constraint provides a general framework for various considerations, including H, strictly input passivity, and other related forms, depending on the setting of the energy supply function. Moreover, uncertainties pose a significant challenge in enhancing control performance for practical applications [28,29]. Fuzzy theory is widely recognized as an effective approach to addressing uncertainties in daily life and engineering systems [30]. Nevertheless, the T-SFM constructed for actual nonlinear systems may involve modeling errors [31]. Based on the T-SFM, some researchers have improved the identification and control issues using adaptive control under system uncertainties [32]. Extending the control issue, some researchers have also solved the controller design problem for uncertain nonlinear descriptor systems [33]. By employing proportional and derivative feedback techniques, fuzzy controllers have also been successfully developed to handle uncertainty and disturbance issues [34]. However, the development of tracking controllers using the P-D fuzzy control scheme for discrete-time descriptor systems remains an unresolved challenge.

More importantly, the control effort required to ensure both the passive constraint and robustness may increase significantly. For specific objectives such as trajectory tracking, the responses of the controlled variables could become excessively drastic, which is not suitable for practical control applications. Furthermore, the control cost could potentially exceed practical requirements, leading to inefficiency. The H2 performance index has been introduced to evaluate the energy of state and input [35]. It has also been recognized as a powerful performance metric in the control of autonomous vehicles [36]. The application of the H2 performance index is often accompanied by a minimization constraint, which aims to optimize the energy associated with the index. Nowadays, some researchers have successfully extended the H2/H constraint to the fuzzy controller design for the tracking problem in nonlinear systems under the T-S fuzzy model framework [37]. Based on the descriptor form, the T-S Fuzzy Descriptor Model (T-SFDM) based fuzzy controller design have been investigated with disturbance and uncertainty problems in several papers [38]. Considering the control efficiency while affected by the external disturbances, an input shaping approach has been developed under H performance for the fuzzy tracking control problem [39]. Nonetheless, there is lack of existing papers discussing the multiple-performance-constrained problem for discrete-time nonlinear descriptor systems, even for their tracking issue. However, the difficulty of the tracking controller design problem subject to multiple constraints increases significantly due to the nonlinearities and descriptor form. By leveraging the linear representation of subsystems in T-SFDM, the complexity of the design process can be effectively reduced.

The reason outlined above motivated this research to propose a fuzzy tracking synthesis for discrete-time nonlinear descriptor systems that satisfies multiple performance criteria, including robustness, passivity, and optimal H2. First, the T-SFDM is established for a class of nonlinear descriptor systems. Considering the existence of modeling errors, the T-SFDM is also constructed for the target trajectory with uncertain factors. Next, the T-S Fuzzy Descriptor Error Model (T-SFDEM) is derived by subtracting the target model from the T-SFDM. With the same premise as the T-SFDEM, a PDC-based fuzzy controller is developed using the P-D error feedback signals. For the closed-loop T-SFDEM, a definition is provided to examine the regularity and causality. Additionally, the constraints of robust control, passive performance, and H2 performance are introduced separately. Based on the multiple performance constraints and Lyapunov theory, a stability criterion is proposed to ensure the stability of the error dynamics and achieve the trajectory tracking objective. It is worth noting that the free-weighting matrix technique is integrated into the analysis process to further reduce the conservativeness caused by the multiple constraints, particularly the minimization of H2 performance. Consequently, the stability criteria are derived into the Linear Matrix Inequality (LMI) problem, enabling efficient solutions via computational tools. Finally, two simulation examples, including a nonlinear DC-motor system and a ship steering system, are provided to demonstrate the feasibility and effectiveness of the proposed P-D fuzzy tracking controller.

This paper is organized as follows. In Section 2, the T-SFDM and the corresponding T-SFDEM are obtained. In Section 3, a P-D feedback fuzzy tracking synthesis is proposed for the tracking purpose. In Section 4, two simulation examples, including a nonlinear DC motor system and a ship steering system, are provided. Based on the results, some conclusions are given in Section 5.

2  System Description and Problem Statement

In this section, the T-SFDMs of nonlinear descriptor systems and target trajectory are respectively established. Then, the T-SFDEM is obtained from two T-SFDMs. According to the PDC design concept, the P-D fuzzy tracking controller is presented. Some definitions and lemmas related to multiple performance requirements are also introduced. First, the T-SFDM is presented as follows.

Model Rules α:

If ϑ1(k) is ϕα1 and ϑ2(k) is ϕα2 and…and ϑ(k) is ϕα, then

{Tα(k)x(k+1)=Aα(k)x(k)+Bα(k)u(k)+Wαw(k)y(k)=Cαx(k)+Vαw(k)(1)

where model matrices Tα(k)=Tα+ΔTα(k), Aα(k)=Aα+ΔAα(k), Bα(k)=Bα+ΔBα(k) are constructed with the time-varying uncertainties, x(k)Rs, u(k)Ri, y(k)Ro and w(k)Rd respectively are the system’s state, input, output and disturbance vectors, ϑ1(k) to ϑ(k) are the premise variables, ϕα1 to ϕα are the fuzzy sets, α=1,2,,τ and ς=1,2,, are the numbers of premise variables and fuzzy rules. Note that the matrix Tα, with or without full rank, can be used to describe the singular and typical systems in descriptor form.

In the T-SFDM (1), ΔTα(k), ΔAα(k) and ΔBα(k) represent the time-varying uncertain factors that may arise from modeling parameter errors and other relevant factors. Then, these matrices are further decomposed into the following structure.

ΔTα(k)=HαΔα(k)RTα,ΔAα(k)=HαΔα(k)RAα,andΔBα(k)=HαΔα(k)RBα(2)

where Δα(k) denotes the time-varying uncertain item, Hα, RTα, RAα and RBα denote the structure of uncertainties, with appropriate dimensions.

Then, the following overall T-SFDM is obtained by blending with all fuzzy subsystems in (1) with membership functions.

{α=1τΦα(ϑ(k)){Tα(k)x(k+1)}=α=1τΦα(ϑ(k)){Aα(k)x(k)+Bα(k)u(k)+Wαw(k)}y(k)=α=1τΦα(ϑ(k)){Cαx(k)+Vαw(k)}(3)

where Φα(ϑ(k))=ς=1ϕας(ϑς(k))/α=1τς=1ϕας(ϑς(k)), which satisfies the situation α=1τΦα(ϑ(k))>0 and Φα(ϑ(k))0, ς=1,2,, is the number of premise variables. To simplify the expressions in this research, the time-varying terms involving premise variables and uncertainties, denoted as Tα(k), Aα(k), Bα(k), Φα(ϑ(k)), are reduced to Tα, Aα, Bα and Φα throughout the remainder of this paper.

For the tracking purpose, the T-SFDM is also constructed as follows, with consideration of the parameter uncertainty caused by modeling errors, similar to the process described in Eqs. (1)(3).

{α=1τΦα{Tαxd(k+1)}=α=1τΦα{Aαxd(k)}yd(k)=α=1τΦα{Cαxd(k)}(4)

where xd(k) and yd(k) denote the desired state and output trajectories.

Then, the tracking T-SFDEM is obtained as follows from (3) and (4).

{α=1τΦα{Tαex(k+1)}=α=1τΦα{Aαex(k)+Bαu(k)+Wαw(k)}ey(k)=α=1τΦα{Cαex(k)+Vαw(k)}(5)

where ex(k)=x(k)xd(k) and ey(k)=y(k)yd(k) are the tracking errors of the system’s states and outputs.

According to the T-SFDEM (5), the following P-D error feedback fuzzy controller is developed by the PDC framework to complete the tracking task.

u(k)=α=1τΦα{Tαpex(k)Tαdex(k+1)}(6)

where Tαp and Tαd are the gains for the proportional and difference feedback terms. It is observed that Φα of the premise part is designed in the same way as the T-SFDEM (5) to comply with the PDC concept. To make the application of P-D feedback concept more meaningful, Remark 1 is presented to illustrate the use of feedback signals.

Remark 1. Building on the results of research on linear discrete-time descriptor systems, including but not limited to [40,41], k + 1 is considered the current time instant, which can be derived from the previous time instant k when there is a design of the state observer. However, observer design is not the primary focus of this research; the main discussion is centered on the design of the multi-performance P-D fuzzy tracking controller. For this reason, all states of the control systems are assumed to be available for the implementation of the P-D feedback technique.

Therefore, the following closed-loop T-SFDEM is obtained by substituting the P-D fuzzy tracking controller (6) into T-SFDEM (5).

{α=1τβ=1τΦαΦβ{Qαβdex(k+1)}=α=1τβ=1τΦαΦβ{Qαβpex(k)+Wαw(k)}ey(k)=α=1τΦα{Cαex(k)+Vαw(k)}(7)

where Qαβd=Tα+BαTβd and Qαβp=Aα+BαTβp are the closed-loop matrices.

Conducting an examination of regularity and causality, Definition 1 is presented for the T-SFDEM.

Definition 1. If the following situations are satisfied, the regularity and causality of the closed-loop T-SFDEM (7) are guaranteed, and the system’s responses will be impulsive-free.

(a) The system is said to be regular when det(zTαAα)0.

(b) The system is said to be causal when deg(det(zTαAα))=rank(Tα).

where det() and deg() denote the determinant and its degree.

It is obvious that the two situations are certainly ensured for the typical system, where Tα is of full rank. With the P-D fuzzy tracking controller (6), the conditions in Definition 1 can also be guaranteed for the closed-loop T-SFDEM (7) even when Tα is a singular matrix. The P-D feedback technique can effectively transform the singular system into a regular form by ensuring that the matrix Qαβd is of full rank. Aiming to address the uncertainty problems, an inequality for robust control is introduced in Lemma 1.

Lemma 1. [42]. For a scalar ω, the following result is satisfied by assigning the constant matrices H and R of appropriate dimension.

HΔ(k)R+RTΔT(k)HTωHHT+ω1RTR(8)

where time-varying uncertain term Δ(k) satisfies Δ(k)ΔT(k)I.

In the context of the energy concept, the following passive performance constraint in Lemma 2 is employed to achieve disturbance dissipativity by appropriately selecting the parameters for the general form in [25].

Lemma 2. The T-SFDEM (7) is called strictly input passive if the following relationship is satisfied with a positive scalar μ provided.

2k=0kTeyT(k)w(k)>μk=0kTwT(k)w(k)(9)

where kT denotes the terminal time.

Therefore, the energy consumption of the T-SFDEM (7) is greater than the disturbance energy by ensuring the relationship (9). However, the control effort is expected to increase significantly when the inequality conditions in (8) and (9) must be satisfied simultaneously. Considering practical control scenarios, the trade-off between state and input responses should also be carefully evaluated. Therefore, the optimal H2 performance index is stated in Definition 2.

Definition 2. If the following condition is satisfied for the energy of state errors and control inputs, the H2 performance index is optimized.

mink{k=0kTexT(k)Ωeex(k)+uT(k)Ωuu(k)}(10)

where Ωe and Ωu are the index matrices whose dimensions correspond to the states and inputs.

Thus, the control effort for the tracking purpose of the T-SFDEM (7) can be ensured not to become excessively large when multiple performance requirements are met. Therefore, the main tracking problem of nonlinear descriptor systems is to ensure the asymptotic stability of the tracking error ex(k) by applying the PDC-based P-D fuzzy tracking controller (6). Based on the closed-loop T-SFDEM (7), stability criteria can be proposed for the purpose limkex(k)=0 so that the system state x(k) of nonlinear descriptor systems can approach the desired state xd(k). Moreover, the disturbance dissipativity is guaranteed while achieving a better balance between tracking performance and control effort by satisfying the passivity constraint (9) and minimizing the H2 performance (10) in the criteria.

The following section presents the P-D fuzzy tracking synthesis and stability analysis process for nonlinear descriptor systems.

3  Stability Criteria and Proportional-Difference Fuzzy Tracking Synthesis

By incorporating the robust control stated in Lemma 1, the passive constraint stated in Lemma 2, and the minimized H2 performance stated in Definition 2, the stability criteria are proposed based on Lyapunov theory and the closed-loop T-SFDEM (7). First, the sufficient conditions are derived in the following theorem to ensure the tracking objective and multiple performances.

Theorem 1. The T-SFDEM (7) achieves the asymptotical stability, passive constraint (9) and minimization of H2 performance (10) if there exist the positive definite matrices P, Ωe, Ωu, the free-weighting matrices Ξp, Ξd and the minimized scalar ρ such that the following sufficient conditions are satisfied with the given positive scalar μ.

[Ψ11Ψ12ΞpWαCαTΨ22ΞdWαμVαVαT]<0for β=α=1,2,,τ(11)

[Ψ~11Ψ~12Ξp(Wα + Wβ2)(Cα + Cβ2)TΨ~22Ξd(Wα + Wβ2)μ(Vα + Vβ2)(Vα + Vβ2)T]<0for β>α(12)

[ρexT(0)P1]<0(13)

where * denotes the transpose item in the matrix inequalities, sym{Λ} denotes the sum of a matrix and its transpose Λ+ΛT, and the symbols in the conditions (11) and (12) are stated below.

Ψ11=P+sym{ΞpQααp}+Ωe+TαpTΩuTαp, Ψ12=ΞpQααd+QααpTΞdTTαpTΩuTαd,

Ψ22=Psym{ΞdQααd}+TαdTΩuTαd, Ψ~11=P+sym{Ξp(Qαβp + Qβαp2)} + Ωe + TαpTΩuTαp + TβpTΩuTβp2,

Ψ~12=Ξp(Qαβd + Qβαd2)+(Qαβp + Qβαp2)TΞdTTαpTΩuTαd + TβpTΩuTβd2,

and Ψ~22=Psym{Ξd(Qαβd + Qβαd2)}+TαdTΩuTαd + TβdTΩuTβd2.

Proof of Theorem 1. To implement the stability analysis, the Lyapunov function is selected as

V(k)=exT(k)Pex(k)(14)

Thus, the first forward difference of the Lyapunov function (14) is derived with the following process.

ΔV(k)=exT(k+1)Pex(k+1)exT(k)Pex(k)(15)

It is well known that the Lyapunov function (14) is defined in terms of the energy of the tracking error. As a result, the energy change is expressed by the derivative in (15). The stability analysis aims to achieve the tracking purpose by ensuring a negative energy change for (15). In addition, the technique of free-weighting matrix is also considered in the analysis process of this research to reduce the conservativeness. The equation for the free-weighting matrix is defined according to closed-loop T-SFDEM (7) as follows:

0=2(exT(k)Ξp+exT(k+1)Ξd)(α=1τβ=1τΦαΦβ{Qαβdex(k+1)+Qαβde(k)+Wαw(k)})(16)

Then, the following results are obtained by integrating (15) with the free-weighting Eq. (16).

α=1τβ=1τΦαΦβ{exT(k)[P+sym{ΞpQαβp}ΞpQαβd+QαβpTΞdTΞpWαPsym{ΞdQαβd}ΞdWα0]ex(k)}(17)

where ex(k)=[ex(k)ex(k+1)w(k)]T.

With respect to the strictly input passive constraint (9), the cost function for the passivity analysis is defined as follows:

C(k)=k=0kT(μwT(k)w(k)2eyT(k)w(k))(18)

Considering ΔV(k) derived in the form of (17), the following relationship is obtained from the cost function (18) and the H2 performance constraint under the zero-initial condition.

C(k)=k=1kT(μwT(k)w(k)2eyT(k)w(k)+ΔV(k))V(kT)k=0kT(μwT(k)w(k)2eyT(k)w(k)+ΔV(k))k=0kT(wT(k)w(k)2eyT(k)w(k)+ΔV(k)+exT(k)Ωeex(k)+uT(k)Ωuu(k))(19)

Based on the P-D fuzzy tracking controller (6), the following result is obtained from the right-hand side ofinequality (19).

α=1τβ=1τΦαΦβ{exT(k)[P+sym{ΞpQαβp}+Ωe+TβpTΩuTβpΞpQαβd+QαβpTΞdTTβpTΩuTβdΞpWαCαTPsym{ΞdQαβd}+TβdTΩuTβdΞdWαμVαVαT]ex(k)}(20)

It is obvious that (20) becomes negative definite if the conditions (11) and (12) are satisfied by Theorem 1 according to the PDC concept. Then, the following results are also derived for the stability, passivity and H2 performance.

From the relationship in (19), the cost function can be made negative (C(k)<0) when (20) is ensured to be negative definite. Compared with the strictly passive constraint in Lemma 2, the inequality (9) is satisfied accordingly. This also means that the T-SFDEM (7) has the ability to dissipate external disturbance energy. Then, the asymptotic stability can be proved by considering w(k)=0. Therefore, Eq. (20) is reduced to the following form based on the setting.

α=1τβ=1τΦαΦβ{[ex(k)ex(k+1)]T[P+sym{ΞpQαβp}+ Ωe+TβpTΩuTβpΞpQαβd+QαβpTΞdTTβpTΩuTβdPsym{ΞdQαβd}+ TβdTΩuTβd][ex(k)ex(k+1)]}(21)

It is observed that the negative definite of (21) also can be guaranteed by the conditions (11) and (12) in Theorem 1. Based on the properties of the free-weighting Eq. (16), w(k)=0, and the property exT(k)Ωeex(k)+uT(k)Ωuu(k)>0 of H2 performance, the result of ΔV(k)<0 is thus achieved for (15). According to the Lyapunov theory, the asymptotic stability of the closed-loop T-SFDEM (7) is proved such that the convergence of tracking error energy can be achieved.

Consequently, the minimization of H2 performance can be verified as follows. If the stability is ensured by Theorem 1, the following relationship can be derived from (15), (16) and (21).

ΔV(k)+exT(k)Ωeex(k)+uT(k)Ωuu(k)<0(22)

The following result is undoubtedly achieved with (22).

exT(k)Ωeex(k)+uT(k)Ωuu(k)<ΔV(k)(23)

The following relationship is derived by employing the cumulative sum on both sides of inequality (23) due to the convergence of the state error dynamic.

k=0kT(exT(k)Ωeex(k)+uT(k)Ωuu(k))<exT(0)Pex(0)(24)

Then, the following relationship can be obtained from inequality (24) if the condition (13) is satisfied by Theorem 1.

k=0kT(exT(k)Ωeex(k)+uT(k)Ωuu(k))<exT(0)Pex(0)<min(ρ)(25)

From the relationship in (25), it can be observed that the H2 performance index is minimized under condition (13) by Theorem 1. This indicates that the trade-off between state and input responses can be optimized while ensuring stability and disturbance dissipativity. □

However, the sufficient conditions in Theorem 1 remain in a non-LMI form and involve time-varying uncertainties. To transform Theorem 1 into an LMI problem solvable by computational programs, the Schur complement and Lemma 1 are applied in the following theorem.

Theorem 2. The T-SFDEM (7) achieves the asymptotical stability, passive constraint (9), robustness and minimization of H2 performance (10) if there exist the positive definite matrices Z, e, u, the matrices σ1, σ2, Yβ, Gβ, the positive scalar ω and the minimized scalar ρ such that the following sufficient conditions are satisfied with the given positive scalar μ.

[ZΘ12ZCαTYαTσ1TZΘ17Θ22WαGαTσ2T0Θ27μVαVαT0000Ωu1000Z00Ωe10ω]<0for β=α=1,2,,τ(26)

[ZΘ~12Z(Cα + Cβ2)T(Yα + Yβ2)Tσ1TZΘ~17Θ~22(Wα + Wβ2)(Gα + Gβ2)Tσ2T0Θ~27μ(Vα + Vβ2)(Vα + Vβ2)T0000u000Z00e0ω]<0for β>α(27)

[ρexT(0)Z]<0(28)

where e=Ωe1, u=Ωu1, and the symbols in the conditions (26) and (27) are stated below.

Θ12=ZAαTYαTBαT+σ1TEαT, Θ22=sym{σ2TEαT+GαTBαT}+ωHαHαT,Θ17=ZRAαTYαTRBαT+σ1TRTαT, Θ27=σ2TRTαT+GαTRBαT, Θ~12=Z(Aα + Aβ2)T(YβTBαT + YαTBβT2)+σ1T(Eα + Eβ2)T,

Θ~22=sym{σ2T(Eα + Eβ2)T+(GβTBαT + GαTBβT2)} + ω(HαHαT + HβHβT2),

Θ~17=Z(RAα + RAβ2)T(YβTRBαT + YαTRBβT2)+σ1T(RTα + RTβ2)T,

Θ~27=σ2T(RTα + RTβ2)T+(GβTRBαT + GαTRBβT2),Yα=TαpZTαdσ1, Yβ=TβpZTβdσ1, Gα=Tαdσ2, Gβ=Tβdσ2, σ1=ΞdTΞpTZ, σ2=ΞdT and Z=P1.

Proof of Theorem 2. In the proof of Theorem 2, the derivation process for the condition (26) is only presented as an example. In other words, the condition (27) can be derived through a similar process. According to the Schur complement lemma, the following inequality is obtained from (26) if the condition (26) is satisfied by the stability criteria in Theorem 2.

[ZΘ12ZCαTYαTσ1TZsym{σ2TEαT+GαTBαT}WαGαTσ2T0μVαVαT000Ωu100Z0Ωe1]+ω[0Hα0000][0HαT0000]+ω1[Θ17Θ270000][Θ17TΘ27T0000]<0(29)

Then, the following condition is also satisfied by condition (26) due to (29) and inequality (8) in Lemma 1.

[ZZQαβpT+σ1TQαβdTZCαTYαTσ1TZsym{σ2TQαβdT}WαGαTσ2T0μVαVαT000Ωu100Z0Ωe1]<0(30)

It is evident that the time-varying terms in the uncertainties of (30) can be successfully transformed into a constant form in (29) for LMI analysis through Lemma 1. With the application Schur complement, the condition (30) is further transferred into the following form.

[Z+ZΩeZ+σ1TZ1σ1+YαTΩuYαZQαβpT+σ1TQαβdT+σ1TZ1σ2YαTΩuGαZCαTsym{σ2TQαβdT}+σ2TZ1σ2+GαTΩuGαWαμVαVαT]<0(31)

According to the definitions of Yα, Gα, σ1, σ2, and Z, the left-hand side of inequality (31) is obtained from condition (11) by pre- and post-multiplying the following matrices:

[P1P1ΞpΞd100Ξd1000I]and[P1P1ΞpΞd10ΞdTΞpTP1ΞdT000I](32)

As a result, it is derived that the condition (11) in Theorem 1 can be satisfied if the inequality (31) holds, which can be guaranteed by the condition (26) in Theorem 2 following the analysis process from (29) to (32). Analogously, the condition (12) in Theorem 1 can be ensured by the condition (27) in Theorem 2. In compliance with the analysis process of Theorem 1 and Lyapunov theory, the asymptotic stability of the tracking error subject to multiple constraints is achieved by satisfying conditions (11)(13), which are ensured by the LMI conditions (26)(28). □

Therefore, it is concluded that the closed-loop T-SFDEM (7) achieves the asymptotic stability, passivity, robustness and minimized H2 performance simultaneously if the conditions (26)(28) are all satisfied by the P-D fuzzy tracking synthesis of Theorem 2. Moreover, the conditions (26)(28) presented in LMI form are solved and the feasible solutions are conveniently derived using the convex optimization algorithm in MATLAB or other software. As a final point, the computational complexity of the proposed design process is discussed in the following remark.

Remark 2. The computational complexity of the T-SFDM-based fuzzy control and P-D feedback technique in tracking synthesis for nonlinear descriptor systems can be summarized in the following points:

•   [I] The application of the T-SFDM (1), (2) and T-SFDEM (5) within the T-SFM framework can represent nonlinear descriptor systems as several linear subsystems. Therefore, the control problem of nonlinear descriptor systems can be tackled using linear techniques. This feature reduces the complexity and computational requirements in designing a tracking synthesis.

•   [II] Corresponding to the T-SFM, the fuzzy controller is also constructed within a linear framework based on the PDC concept. It is noted that the PDC-based fuzzy controller are blended to obtain the overall fuzzy controller (6), which are linear combinations of membership functions and linear sub-controllers. This advantage enables the fuzzy tracking controller to be applied in a linear framework and reduces the computational complexity when controlling nonlinear descriptor systems.

•   [III] Based on the T-SFDEM (5) and the fuzzy controller (6), the fuzzy tracking synthesis can be conveniently converted into an LMI problem, as presented in Theorem 2. It is well known that the LMI problem can be easily solved by the computational program so that the computational complexity of tracking synthesis for nonlinear descriptor systems can be reduced.

•   [IV] The P-D feedback technique, which plays an important role in the fuzzy tracking controller (6), can efficiently transfer the control problem of systems in descriptor form into a general problem. This advantage reduces the design complexity of tracking synthesis for nonlinear descriptor systems, as presented in Theorems 1 and 2.

Although the tracking synthesis under the T-SFM and PDC framework can efficiently reduce the computational complexity, some questions still remain to be discussed. From [43], it is known that the computational complexity may gradually increase while ensuring the approximation accuracy. This is due to the increased number of variables in the antecedent part and fuzzy rules. However, the number of these factors is often not large for practical nonlinear systems, which is observed in the later section.

Before the simulation begins, the following algorithm is provided to make the application of the proposed fuzzy tracking synthesis clearer.

From Lemma 2, it can be known that a larger parameter μ leads to a more conservative analysis process, although better disturbance dissipativity can be achieved. Moreover, the preservation of control effort is somewhat contrary to the ability to handle disturbance effects. This characterization makes the control problem in Theorem 2 more difficult to solve. Therefore, the value of the parameter is required to be decreased if feasible solutions cannot be obtained by the solver in Step 3. Based on the design process introduced in Algorithm 1, two simulation examples are provided to demonstrate the feasibility and applicability of Theorem 2.

images

4  Simulations and Discussions

The tracking control problem for nonlinear descriptor systems is addressed by a fuzzy tracking synthesis proposed in Theorem 2, which satisfies multiple requirements, including asymptotic stability, passivity, robustness, and the optimization between state responses and control efforts. Based on the representation of the T-SFDEM (7), two simulation examples are provided. The first example involves a singular-type system based on the equivalent circuit model of a DC motor. Moreover, the comparison results with the existing research are also provided to demonstrate the effectiveness of combining multiple performance constraints. To verify the effectiveness of the controller design approach based on descriptor form, the second example examines a general-type system derived from the discretized ship steering model. First, the simulation results of the DC motor compared with [44] are provided as follows.

Example 1. Referring to [45,46], the singular nonlinear mathematical model is given as follows for the equivalent circuit system of the DC motor, with the consideration of uncertainties and disturbances.

(3+Δe1(k))x1(k+1)=2.85x1(k)+x3(k)2u1(k)0.8w(k)(33)

(3+Δe2(k))x2(k+1)=0.0225x1(k)x2(k)+(1.875+Δa22(k))x2(k)+3u1(k)+0.5w(k)(34)

x3(k)=(0.03+Δa32(k))x22(k)0.8w(k)u1(k)(4+Δb32(k))u2(k)(35)

where x1(k) is the angular velocity, x2(k) is the current of equivalent circuit, and the expression x3(k)=(KmLftJ)x22(k)u1(k)4u2(k) represents the algebraic constraint associated with the current energy characteristics of the DC motor in [45], Km, Lf, t, J respectively denote the torque/back emf constant, the field winding inductance, the sampling time and the moment of inertia, u1(k) is the load torque and u2(k) is the input voltage.

Remark 3. For the control issue of the nonlinear DC motor (33)(35), the uncertain factors Δa22(k)=0.01875sin(k), Δa32(k)=0.0003sin(k), Δb32(k)=0.04sin(k) and Δe1(k)=Δe2(k)=0.3sin(k) are considered to account for the effect of temperature on the circuit’s current. Additionally, the disturbance w(k) is introduced to represent external influences from the environment or human interaction.

Based on references [45,46] and related research [47], it is known that the mathematical model (33)(35) has been established for a series DC motor. This type of motor has been efficiently applied in electric traction systems, such as electric buses and subways, which require large initial torque. However, these applications often face uncertainties such as wear and tear, as well as disturbances from rough roads. As a result, the control efficiency of series DC motors must be improved.

Considering the operating range x2(k)[3.5,3.5] for the nonlinearities, the T-SFDM of the nonlinear descriptor system (33)(35) is constructed as follows:

{α=12Φα{Tαx(k+1)}=α=12Φα{Aαx(k)+Bαu(k)+Wαw(k)}y(k)=α=12Φα{Cαx(k)+Vαw(k)}(36)

where x(k)=[x1(k)x2(k)x3(k)]T, u(k)=[u1(k)u2(k)]T and the model matrices are presented as follows:

T1=T2=[300030000,] A1=[2.85030.07881.8750000.10501], A2=[2.85030.07881.8750000.10501]B1=B2=[203014], C1=C2=[001], W1=W2=[0.80.50.8] and V1=V2=0.(37)

The uncertain matrices are also constructed with the following components.

H1=H2=[0.10000.10000.1],RT1=RT2=[300030000], RA1=[00000.1875000.01050], RA2=[00000.1875000.01050], RB1=RB2=[000000.4], and Δ1(k)=Δ2(k)=sin(k).(38)

Obviously, the time-varying uncertain terms Δ1(k) and Δ2(k) satisfy the prerequisite specified in Lemma 1. Based on the operating range of x2(k), the membership function is given for the T-SFDM (36)(38) in Fig. 1.

images

Figure 1: Membership function of nonlinear DC motor system

With the same membership function in Fig. 1 and the same matrices as (37) and (38), the target model can also be constructed in the form of (4), along with the target state trajectories for the nonlinear descriptor DC motor system (33)(35). Based on the T-SFDM with uncertainties (36)(38), the comparison results between the proposed fuzzy tracking synthesis in Theorem 2 and [44] are provided in solving the typical convergence issue as follows.

In the simulation of Example 1, the typical convergence benchmark for the DC motor is considered to more clearly demonstrate the effectiveness of the designed P-D fuzzy controller under multiple performance criteria. In other words, xd(k) is set to the zero vector. Given the parameter μ=0.1 and the initial condition x(0)=[20o/s00]T, the following control gains are obtained by solving the LMI control problem in Theorem 2 using MATLAB and Algorithm 1.

T1p=[0.62130.00261.89221.04400.174118.2543], T2p=[0.58410.02342.13610.99090.195517.2680],T1d=[9.90941.099165.407127.729413.8171736.1034], T2d=[9.53871.1170161.464126.161913.017693.7475].(39)

Moreover, the matrices in the minimized H2 performance (10) is obtained as follows:

Ωe=[0.01050.00030.00040.00030.00850.00020.00040.00020.0126] and Ωu=[0.01090.00040.00040.0122].(40)

In addition, the control gains and H2 performance matrices are also obtained by [44]. Note that only the H2 performance is considered in the P-D fuzzy controller design of [44] under uncertainties. Although the control performance can be ensured while preserving the control effort, the designed fuzzy controller is insufficient to overcome the disturbance effects due to this preservation. Solving the controller design problem in [44] with MATLAB, the gains are presented as follows:

F1p=[0.16360.00450.04620.75970.00490.2134], F2p=[0.13710.00170.03810.57460.00200.1539],F1d=[5.15560.041117.024924.30570.391379.6177], F2d=[4.33650.047014.276518.45750.293960.4652].(41)

The matrices in the minimized H2 performance is presented as follows:

Ωe=103×[0.26040.00040.02490.00040.24390.00050.02490.00050.3070] and Ωu=[0.14780.00720.00720.1239].(42)

It should be noted that the symbol F for control gains in (41) is equivalent to the symbol T in this research since the typical convergence problem is considered. Comparing the results (39), (40) and (41), (42), it is obvious that the control gains obtained by [44] are smaller than obtained by the proposed fuzzy control approach. This is because the additional passive constraint must be satisfied in Theorem 2 to achieve the dissipativity of the disturbance energy. Similarly, the matrices in (42) are smaller than in (40) since the H2 performance index is difficult to be minimized when the passive constraint is considered simultaneously.

To better demonstrate the control performance of the proposed method compared to [44], the disturbance is shown in Fig. 2, which includes a square wave and an impulse signal. Therefore, the state responses are presented in Figs. 35 by applying the P-D fuzzy controller respectively with the gains (39) and (41) in the form of (6) to the nonlinear descriptor DC system (33)(35).

images

Figure 2: Disturbance of nonlinear DC motor system

images

Figure 3: State x1(k) responses compared with [44]

images

Figure 4: State x2(k) responses compared with [44]

images

Figure 5: State x3(k) responses compared with [44]

From Figs. 35, it can be observed that the system states achieve asymptotic stability by using both fuzzy control methods even under the influence of uncertainties and disturbances. However, the responses affected by disturbances are more drastic when using the method from [44] in Figs. 3 and 5. This is because only the minimized H2 performance is considered and results in smaller control effort that cannot effectively handle the disturbance effects. Note that these drastic changes may cause redundant wear and tear in the equipment. Although the larger overshoots are caused in Fig. 4 by the P-D fuzzy controller designed in this research, they are still relatively smaller than the overshoots in Fig. 3 when using [44]. Therefore, it can be said that the proposed multiple performance-constrained fuzzy control synthesis in Theorem 2 provides more reliable system responses for practical nonlinear descriptor systems under the effect of singularities, uncertainties, and disturbances.

To more clearly demonstrate the effectiveness of the proposed method, the comparison results of the evaluation indices are presented in Table 1. Before the table is given, the following symbols are defined for the different evaluation indices.

Υpassive=μk=0kTwT(k)w(k)2k=0kTeyT(k)w(k), ΥH2=k=0kTexT(k)Ωeex(k)+uT(k)Ωuu(k) ΥMSEn=1kTk=0kT(xn(k)xnd(k))2, ΥMAEn=1kTk=0kT|xn(k)xnd(k)|(43)

where MSE denotes the mean squared error, MAE denotes the mean absolute error, kT denotes the terminal time which is 20 in this simulation, n=1,2,3 denote the state numbers. Note that xnd(k) are all set as zero in the typical convergence problem.

images

Based on the definition (43) and matrices in (42), Table 1 is presented as follows.

From the results in Table 1, it is not difficult to find that the MSE and MAE values of the first and third states are smaller when applying the method, while those of the second state are larger. This trend is also observed in Figs. 35. Moreover, the value ΥH2 calculated according to the definition of H2 performance (10) by applying the proposed method is larger than that obtained by applying [44]. This is because the passive constraint must also be satisfied. According to the passive constraint (9) defined in Lemma 2, the value of Υpassive must be less than 1. It is observed that both P-D fuzzy control methods achieve this goal. However, the value obtained by the proposed method is smaller, which indicates that the energy consumption relative to the disturbance input energy is higher compared to the method in [44]. Therefore, the P-D fuzzy controller designed by Theorem 2 can achieve the better trade-off between the state convergence rate and control effort when stabilizing the DC motor system (33)(35) even under the uncertainty and disturbance effects.

In the next example, a nonlinear ship steering system modeled in a typical form is considered for the simulation to verify the P-D fuzzy tracking synthesis based on the descriptor system.

Example 2. In the second example, the following discretized nonlinear ship steering model is presented by extending the results from [44] with the additional consideration of uncertainties and disturbances.

x1(k+1)=x1(k)+0.1cos(x3(k))x4(k)0.1sin(x3(k))x5(k)(44)

x2(k+1)=x2(k)+0.1sin(x3(k))x4(k)+0.1cos(x3(k))x5(k)(45)

x3(k+1)=x3(k)+0.1x6(k)(46)

1.0852x4(k+1)=0.0039x1(k)+(1.0765+Δa44(k))x4(k)+(0.1+Δb41(k))u1(k)+0.01w(k)(47)

2.0575x5(k+1)0.4087x6(k+1)=0.0027x2(k)+(2.0499+Δa55(k))x5(k)0.4238x6(k)+(0.1+Δb52(k))u2(k)+0.01w(k)(48)

0.4087x5(k+1)+0.2153x6(k+1)=0.4102x5(k)+(0.2150+Δa66(k))x6(k)+(0.1+Δb63(k))u3(k)+0.01w(k)(49)

y1(k)=x3(k)+w(k)(50)

where x1(k), x2(k) and x3(k) are the X position, Y position and yaw angle on earth-fixed coordinate, x4(k), x5(k) and x6(k) are the ship body-fixed coordinate-based surge motion, sway motion and yaw angular velocity, u1(k), u2(k) and u3(k) are the control force and moment provided by the thrusters, the detailed modeling process for (44)(50) can be found in [44].

Remark 4. The uncertain factors are considered for the nonlinear ship steering system (44)(50) as Δa44(k)=0.1085sin(k), Δa55(k)=0.2058sin(k), Δa66(k)=0.0215sin(k), Δb41(k)=Δb52(k)=Δb63(k)=0.01sin(k), Δe1(k)=0.1085sin(k), Δe2(k)=0.2058sin(k) and Δe3(k)=0.0215sin(k). These factors may be caused by rust, corrosion, wear and tear, and the biofoulings adhering to the ship hull, which deteriorates the control performance. Moreover, the disturbance is considered to account for sea waves, currents, and winds generated by the external complex ocean environment. It should be noted that the effects of these factors on the X and Y position dynamics of the ship are relatively small. Therefore, the uncertainties and disturbances are incorporated into the velocity equations in (47)(49).

In the research [48], the author presents a comprehensive discussion of the modeling and control problem of practical ship steering systems. Moreover, this type of mathematical model has been widely used in modeling practical ships. It is worth noting that the ship steering system (44)(49) is also derived from [48]. Additionally, uncertainty and disturbance factors are included in this research, which are inevitable and more significant for ship steering systems.

Referring to [44], the operating range is considered within the control scenario of x3(k)[90o,90o]. Accordingly, the T-SFDM of the nonlinear ship steering system and corresponding membership function are presented as follows:

{α=13Φα{Tαx(k+1)}=α=13Φα{Aαx(k)+Bαu(k)+Wαw(k)}y(k)=α=13Φα{Cαx(k)+Vαw(k)}(51)

where x(k)=[x1(k)x2(k)x3(k)x4(k)x5(k)x6(k)]T, u(k)=[u1(k)u2(k)u3(k)]T, and the model matrices are presented as follows:

T1=T2=T3=[1000000100000010000001.08520000002.05750.408700000.40870.2153],

A1=[1000.10.1ε100100.1ε10.10001000.10.0039001.07650000.0027002.04990.423800000.41020.215],

A2=[1000.1ε20.100100.10.1ε20001000.10.0039001.07650000.0027002.04990.423800000.41020.215],

A3=[1000.1ε30.100100.10.1ε30001000.10.0039001.07650000.0027002.04990.423800000.41020.215],

B1=B2=B3=[0000000000.10000.10000.1], C1=C2=C3=[001000], V1=V2=V3=1 andW1=W2=W3=[0000.010.010.01](52)

where ε1=sin(2o), ε2=cos(88o) and ε3=cos(88o). For the T-SFDM (51) and (52), the uncertainties are constructed with the following matrices:

Δ1(k)=Δ2(k)=Δ3(k)=sin(k), H1=H2=H3=[0000000000000000000000.10000000.10000000.1],RT1=RT2=RT3=[0000000000000000000001.08520000002.05750000000.2153],RA1=RA2=RA3=[0000000000000000000001.08520000002.05750000000.2153], RB1=RB2=RB3=[0000000000.10000.10000.1](53)

Benefiting from the descriptor system representation, the T-SFDM (51)(53) can also be utilized to describe the dynamic behaviors of a typical control system with the full-rank matrices T1=T2=T3. This advantage eliminates the need for additional transformation processes when constructing the mathematical model for the ship steering system. Then, the triangular membership function is also designed in Fig. 6 for the T-SFDM (51)(53) according to the operating points.

images

Figure 6: Membership function of the nonlinear ship steering system

Based on the T-SFDM (51)(56) and Fig. 6, the following target model is also constructed for the nonlinear ship steering system (44)(50).

{α=13Φα{Tαxd(k+1)}=α=13Φα{Aαxd(k)}yd(k)=α=13Φα{Cαxd(k)}(54)

To demonstrate the P-D fuzzy tracking synthesis presented in Theorem 2, the tracking problem of time-varying trajectories is considered for ship steering control in this example. Moreover, the first-order hold is adopted to construct the target trajectories of xd(k) between different points. Selecting the parameter μ=1 and the initial condition x(0)=[000000]T, the following gains are obtained by solving Theorem 2 using MATLAB and Algorithm 1.

T1p=[0.01320.00040.00320.27820.07030.00010.00020.05870.05190.00740.40610.02180.00030.10240.10260.05270.84080.0408],T2p=[0.00930.00140.00040.39920.27930.00010.00110.04550.03850.01670.69980.01670.00110.07820.07990.12390.74000.0314],T3p=[0.00650.00050.00561.59660.15290.00020.00230.03660.00950.10652.48460.01180.00050.05530.06230.08450.82190.0231],T1d=104×[0.26430.00050.00010.84340.00200.000030.00040.22640.30030.00170.73650.01960.00080.38861.73700.00321.26400.1630],T2d=104×[0.20290.00030.00010.64760.00130.000010.00040.17410.21820.00140.56630.01370.00060.29851.34160.00240.97090.1259],T3d=103×[1.50530.00210.00064.80270.00930.00010.00231.29461.52900.00924.20870.09220.00452.21099.99100.01827.19250.9386](55)

In order to better align with practical control scenarios for ship steering, the disturbance w(k) is modeled as a random process in Fig. 7 to simulate the effects of ocean waves, winds, and currents, which persist over time.

images

Figure 7: Disturbance of nonlinear ship steering system

Applying the P-D fuzzy tracking controller (6) with the gains in (55), the state responses of the nonlinear ship steering system (44)(50) are obtained in Figs. 813.

images

Figure 8: State x1(k) response of nonlinear ship steering system

images

Figure 9: State x2(k) response of nonlinear ship steering system

images

Figure 10: State x3(k) response of nonlinear ship steering system

images

Figure 11: State x4(k) response of nonlinear ship steering system

images

Figure 12: State x5(k) response of nonlinear ship steering system

images

Figure 13: State x6(k) response of nonlinear ship steering system

In this simulation, the target trajectories for the X and Y positions of the ship are directly provided for the tracking purpose. Therefore, it is evident from Figs. 8 and 9 that the state responses of the ship can effectively track the desired trajectories. Ultimately, the ship reaches the designed destination. Figs. 11 and 12 also show that smooth surge and sway motions are achieved during the tracking process, even under the influence of uncertainties and disturbances. It is important to note that the magnitude of the disturbance w(k) in Fig. 7, when applied to the state x6(k) is expressed in radians, so the effect of random disturbance is significantly more pronounced in Figs. 10 and 13.

To verify the disturbance dissipating ability of the ship steering system, the following calculation is given for the strictly input passive constraint (9) in Lemma 2.

μk=1220wT(k)w(k)2k=0220eyT(k)w(k)=0.05<1(56)

Thus, it is observed that the disturbance energy can be efficiently reduced in Figs. 11 and 12 when the passivity (55) is ensured. Finally, the minimized H2 performance in Definition 2 is validated by the following calculation.

(k=0220exT(k)Ωeex(k)+uT(k)Ωuu(k)=16.4546)<(ρ=100)(57)

Note that the minimized parameter in (57) is further larger than the value obtained in Example 1. This is due to the higher order of the ship steering system compared to the DC motor system. Additionally, a more complex random process is considered for the ship steering system. As the tracking performance must be guaranteed, the control effect cannot be minimized to an excessively small value.

Then, the MSE and MAE values are also provided as follows. Note that the main purpose is to directly track the X and Y positions in this simulation. Because of this reason, these performance indices are only presented for the first two states of ship steering systems (44)(50). Based on the results in Figs. 8 and 9, the MSE and MAE values are calculated as follows:

ΥMSE1=1220k=0220(x1(k)x1d(k))2=3.9549×104,ΥMSE2=1220k=0220(x2(k)x2d(k))2=2.3182×103,ΥMAE1=1220k=0220|x1(k)x1d(k)|=173.0075,ΥMAE2=1220k=0220|x2(k)x2d(k)|=43.5981(58)

By comparing the MSE and MAE values in (58) with Table 1 of Example 1, it is observed that the values in this example are much larger. This is because the time-varying trajectory tracking problem is solved and tracking errors are inevitable, even though good tracking performance is achieved as shown in Figs. 8 and 9. To clearly demonstrate the tracking performance by using the proposed fuzzy tracking synthesis in Theorem 2, the ship trajectory and the target trajectory are provided in Fig. 14.

images

Figure 14: Trajectory of the nonlinear ship steering system

Based on Fig. 14, it is worth noting that the ship trajectory can still be well controlled to track the target trajectory under the influence of uncertainties and disturbances. It is concluded that the proposed P-D fuzzy tracking synthesis in Theorem 2 provides a more reasonable and applicable solution for practical control applications in nonlinear descriptor system form.

5  Conclusion

Based on the T-SFDM, a P-D fuzzy tracking synthesis is proposed for the nonlinear descriptor system in this research to ensure the tracking purpose while meeting multiple performance requirements. By representing the system in descriptor form, the proposed fuzzy tracking control approach can solve the control problems of both singular and typical systems. With the application of the PDC concept and P-D feedback technique, regularity and causality are ensured, and impulse behavior caused by the algebraic constraint is efficiently avoided. Considering the effects of uncertainties and disturbances, robust control and passive constraints are integrated into the fuzzy tracking controller design process. Moreover, the H2 performance index, which evaluates the energy between states and control inputs in a minimized manner, is introduced to strike a better trade-off between the convergence rate and control effort, while preventing the control effort from growing too large. Based on the Lyapunov theory, the stability criteria are proposed to ensure asymptotic stability, robustness, and passivity, as well as minimize H2 performance simultaneously, and the control problem is then reformulated as an LMI problem. The simulation presents the results of two examples, including a nonlinear DC motor system in singular form and a nonlinear ship steering system in typical form controlled by the proposed P-D fuzzy tracking synthesis. The simulation results validate that the proposed P-D fuzzy controller can achieve smoother state responses and preserve control forces while simultaneously ensuring the tracking purpose and satisfying multiple performance requirements. However, the fuzzy tracking synthesis design process still suffers from conservativeness, which prevents the H2 performance and passivity constraint from reaching an ideal level. Further relaxation of the design process is worth investigating in future work.

Acknowledgement: Not applicable.

Funding Statement: This research was founded by the National Science and Technology Council (Taiwan) under contract NSTC113-2221-E-019-032.

Author Contributions: The authors confirm contribution to the paper as follows: Conceptualization, Yi-Chen Lee, Wen-Jer Chang and Yann-Horng Lin; methodology, Wen-Jer Chang, Yann-Horng Lin, Muhammad Shamrooz Aslam and Zi-Yao Lin; software, Wen-Jer Chang and Zi-Yao Lin; validation, Yi-Chen Lee, Yann-Horng Lin and Muhammad Shamrooz Aslam; formal analysis, Muhammad Shamrooz Aslam and Zi-Yao Lin; investigation, Yi-Chen Lee, Wen-Jer Chang and Yann-Horng Lin; resources, Muhammad Shamrooz Aslam and Zi-Yao Lin; data curation, Wen-Jer Chang, Yann-Horng Lin and Zi-Yao Lin; writing—original draft preparation, Yi-Chen Lee and Yann-Horng Lin; writing—review and editing, Wen-Jer Chang and Muhammad Shamrooz Aslam; visualization, Zi-Yao Lin; supervision, Yi-Chen Lee and Wen-Jer Chang; project administration, Yi-Chen Lee and Wen-Jer Chang; funding acquisition, Wen-Jer Chang. All authors reviewed the results and approved the final version of the manuscript.

Availability of Data and Materials: Not applicable.

Ethics Approval: Not applicable.

Conflicts of Interest: The authors declare no conflicts of interest to report regarding the present study.

Abbreviations

T-SFM Takagi-Sugeno Fuzzy Model
PDC Parallel Distributed Compensation
P-D Proportional-Difference
T-SFDM Takagi-Sugeno Fuzzy Descriptor Model
T-SFDEM Takagi-Sugeno Fuzzy Descriptor Error Model
LMI Linear Matrix Inequality

References

1. Kumar R, Srivastava S, Gupta JRP. Comparative study of neural networks for control of nonlinear dynamical systems with lyapunov stability-based adaptive learning rates. Arab J Sci Eng. 2018;43(6):2971–93. doi:10.1007/s13369-017-3034-9. [Google Scholar] [CrossRef]

2. Righi I, Aouaouda S, Chadli M, Khelil K. Robust controllers design for constrained nonlinear parameter varying descriptor systems. Int J Robust Nonlinear Control. 2021;31(17):8295–328. doi:10.1002/rnc.5415. [Google Scholar] [CrossRef]

3. Luenberger D. Dynamic equations in descriptor form. IEEE Trans Autom Control. 1977;22(3):312–21. doi:10.1109/TAC.1977.1101502. [Google Scholar] [CrossRef]

4. Tripathi M, Moysis L, Gupta MK, Fragulis GF, Volos C. Observer design for nonlinear descriptor systems: a survey on system nonlinearities. Circuits Syst Signal Process. 2024;43(5):2853–72. doi:10.1007/s00034-024-02617-1. [Google Scholar] [CrossRef]

5. Li W, Du H, Feng Z, Ning D, Li W. Dynamic output-feedback event-triggered H∞ control for singular active seat suspension systems with a human body model. IET Control Theory Appl. 2021;15(4):594–603. doi:10.1049/cth2.12064. [Google Scholar] [CrossRef]

6. Lei M. Nonlinear diving stability and control for an AUV via singular perturbation. Ocean Eng. 2020;197(2):106824. doi:10.1016/j.oceaneng.2019.106824. [Google Scholar] [CrossRef]

7. Susana Ramya L, Leelamani A. Resilient fuzzy control design of singular stochastic biological economic fishery model. IET Control Theory Appl. 2021;15(9):1214–29. doi:10.1049/cth2.12117. [Google Scholar] [CrossRef]

8. Verghese G, Lévy B, Kailath T. A generalized state-space for singular systems. IEEE Trans Autom Control. 1981;26(4):811–31. doi:10.1109/TAC.1981.1102763. [Google Scholar] [CrossRef]

9. Kumar A, Paitandi M, Gupta MK. Impulse eliminations for rectangular descriptor systems: a unified approach. IEEE Control Syst Lett. 2023;7(1):1357–62. doi:10.1109/LCSYS.2023.3240022. [Google Scholar] [CrossRef]

10. Wang X, Zhong Z, Lam HK, Li Z. Reachable set bounding of output-feedback control for discrete-time large-scale IT-2 fuzzy descriptor systems using distributed event-based broadcasts. Eng Appl Artif Intell. 2021;100(2):104166. doi:10.1016/j.engappai.2021.104166. [Google Scholar] [CrossRef]

11. Bunse-Gerstner A, Byers R, Mehrmann V, Nichols NK. Feedback design for regularizing descriptor systems. Linear Algebra Appl. 1999;299(1–3):119–51. doi:10.1016/S0024-3795(99)00167-6. [Google Scholar] [CrossRef]

12. Zhuang G, Xia J, Sun W, Ma Q, Wang Z, Wang Y. Normalization and stabilization of neutral descriptor hybrid systems based on PD feedback control. J Frankl Inst. 2020;357(2):1070–89. doi:10.1016/j.jfranklin.2019.10.020. [Google Scholar] [CrossRef]

13. Ren J, Li X, Mu Y. Proportional-difference observer design for singular systems in an LMI framework. IEEE Access. 2020;8:162449–57. doi:10.1109/ACCESS.2020.3021465. [Google Scholar] [CrossRef]

14. Chang WJ, Su CL, Ku CC. Passive decentralized fuzzy control for Takagi-Sugeno fuzzy model based large-scale descriptor systems. IEEE Access. 2022;10(3):28656–69. doi:10.1109/ACCESS.2022.3158671. [Google Scholar] [CrossRef]

15. Chang WJ, Lian KY, Su CL, Tsai MH. Multi-constrained fuzzy control for perturbed T-S fuzzy singular systems by proportional-plus-derivative state feedback method. Int J Fuzzy Syst. 2021;23(7):1972–85. doi:10.1007/s40815-021-01096-9. [Google Scholar] [CrossRef]

16. Wu Q, Song Q, Zhao Z, Liu Y, Alsaadi FE. Stabilization of TS fuzzy fractional rectangular descriptor time-delay system. Int J Syst Sci. 2021;52(11):2268–82. doi:10.1080/00207721.2021.1882613. [Google Scholar] [CrossRef]

17. Zhang X, Zhang L, Zhao X, Zhao N, Sharaf S. Real-time reachable set synthesis of Takagi-Sugeno fuzzy uncertain singular systems based on adaptive event-triggered scheme. Int J Fuzzy Syst. 2024;26(1):320–30. doi:10.1007/s40815-023-01599-7. [Google Scholar] [CrossRef]

18. Lin TA, Lee YC, Chang WJ, Lin YH. Robust observer-based proportional derivative fuzzy control approach for discrete-time nonlinear descriptor systems with transient response requirements. Processes. 2024;12(3):540. doi:10.3390/pr12030540. [Google Scholar] [CrossRef]

19. Montenegro D, Hernandez ME, Ramos GA. A realistic generator of power quality disturbances for practicing in courses of electrical engineering. Comput Appl Eng Educ. 2015;23(3):391–402. doi:10.1002/cae.21609. [Google Scholar] [CrossRef]

20. Nguyen DN, Nguyen TA. Proposing a BSPID control strategy considering external disturbances for electric power steering (EPS) systems. IEEE Access. 2023;11:143230–49. doi:10.1109/ACCESS.2023.3343914. [Google Scholar] [CrossRef]

21. Zheng Y, Tao J, Sun Q, Sun H, Chen Z, Sun M, et al. Soft Actor-Critic based active disturbance rejection path following control for unmanned surface vessel under wind and wave disturbances. Ocean Eng. 2022;247:110631. doi:10.1016/j.oceaneng.2022.110631. [Google Scholar] [CrossRef]

22. Zhong Z, Wang X, Lam HK. Finite-time fuzzy sliding mode control for nonlinear descriptor systems. IEEE/CAA J Autom Sin. 2021;8(6):1141–52. doi:10.1109/JAS.2021.1004024. [Google Scholar] [CrossRef]

23. Kukurowski N, Pazera M, Witczak M. Fault-tolerant tracking control for a descriptor system under an unknown input disturbances. Electronics. 2021;10(18):2247. doi:10.3390/electronics10182247. [Google Scholar] [CrossRef]

24. Park JH. Further results on passivity analysis of delayed cellular neural networks. Chaos Solit Fractals. 2007;34(5):1546–51. doi:10.1016/j.chaos.2005.04.124. [Google Scholar] [CrossRef]

25. Chang WJ, Ku CC, Huang PH. Robust fuzzy control for uncertain stochastic time-delay Takagi-Sugeno fuzzy models for achieving passivity. Fuzzy Sets Syst. 2010;161(15):2012–32. doi:10.1016/j.fss.2009.12.015. [Google Scholar] [CrossRef]

26. Chang WJ, Lin YH, Lee YC, Ku CC. Investigating formation and containment problem for nonlinear multi-agent systems via interval type-2 fuzzy sliding mode tracking approach. IEEE Trans Fuzzy Syst. 2024;32(7):4163–77. doi:10.1109/TFUZZ.2024.3387045. [Google Scholar] [CrossRef]

27. Lozano R, Brogliato B, Egeland O, Maschke B. Dissipative systems analysis and control: theory and applications. Berlin, Germany: Springer Science & Business Media; 2013. [Google Scholar]

28. Elsisi M, Tran MQ, Hasanien HM, Turky RA, Albalawi F, Ghoneim SS. Robust model predictive control paradigm for automatic voltage regulators against uncertainty based on optimization algorithms. Mathematics. 2021;9(22):2885. doi:10.3390/math9222885. [Google Scholar] [CrossRef]

29. Hong YY, Apolinario GFD. Uncertainty in unit commitment in power systems: a review of models, methods, and applications. Energies. 2021;14(20):6658. doi:10.3390/en14206658. [Google Scholar] [CrossRef]

30. Bardossy A, Duckstein L. Fuzzy rule-based modeling with applications to geophysical, biological, and engineering systems. London, UK: CRC Press; 2022. [Google Scholar]

31. Xu Y, Wang X, Liu M, Li N, Yu T. Fuzzy variable gain robust control of active magnetic bearings rigid rotor system. IET Electr Power Appl. 2024;18(1):90–106. doi:10.1049/elp2.12369. [Google Scholar] [CrossRef]

32. Dass A, Srivastava S, Kumar R. A novel Lyapunov-stability-based recurrent-fuzzy system for the identification and adaptive control of nonlinear systems. Appl Soft Comput J. 2023;137(1):110161. doi:10.1016/j.asoc.2023.110161. [Google Scholar] [CrossRef]

33. Wei Z, Ma Y. Robust H∞ observer-based sliding mode control for uncertain Takagi-Sugeno fuzzy descriptor systems with unmeasurable premise variables and time-varying delay. Inf Sci. 2021;566(1):239–61. doi:10.1016/j.ins.2021.02.073. [Google Scholar] [CrossRef]

34. Wang J, Zhuang G, Xia J, Chen G, Zhao J. Asynchronous dissipative control and robust exponential mean square stabilization for uncertain fuzzy neutral Markov jump systems. J Syst Sci Complex. 2022;35(4):1374–97. doi:10.1007/s11424-021-1005-4. [Google Scholar] [CrossRef]

Chen X, Xu H, Feng M. H2 performance analysis and H2 distributed control design for systems intercon-nected over an arbitrary graph. Syst Control Lett. 2019;124:1–11. doi:10.1016/j.sysconle.2018.11.011. [Google Scholar] [CrossRef]

36. Alsaade FW, Jahanshahi H, Yao Q, Al-zahrani MS, Alzahrani AS. A new neural network-based optimal mixed H2/H∞ control for a modified unmanned aerial vehicle subject to control input constraints. Adv Space Res. 2023;71(9):3631–43. doi:10.1016/j.asr.2022.02.012. [Google Scholar] [CrossRef]

37. Kennouche A, Saifia D, Chadli M, Labiod S. Multi-objective H2/H∞ saturated non-PDC static output feedback control for path tracking of autonomous vehicle. Trans Inst Meas Control. 2022;44(11):2235–47. doi:10.1177/01423312221080461. [Google Scholar] [CrossRef]

38. Nguyen AT, Dequidt A, Nguyen VA, Vermeiren L, Dambrine M. Fuzzy descriptor tracking control with guaranteed L∞ error-bound for robot manipulators. Trans Inst Meas Control. 2021;43(6):1404–15. doi:10.1177/0142331220979262. [Google Scholar] [CrossRef]

39. Nguyen HP, Bui NT. Tracking control based on Takagi-Sugeno fuzzy descriptor model for overhead crane combined with input shaping. IEEE Access. 2024;12:127507–21. doi:10.1109/ACCESS.2024.3456815. [Google Scholar] [CrossRef]

40. Gao Z, Wang Z, Ji Z, Liu Y. Output strictly passive H∞ control of discrete-time linear switched singular systems via proportional plus derivative state feedback. Circuits Syst Signal Process. 2020;39(8):3907–24. doi:10.1007/s00034-020-01353-6. [Google Scholar] [CrossRef]

41. Gao Z, Liu Y, Wang Z. On stabilization of linear switched singular systems via PD state feedback. IEEE Access. 2020;8:97007–15. doi:10.1109/ACCESS.2020.2996687. [Google Scholar] [CrossRef]

42. Chang WJ, Chang CM, Lin YH, Du J. Discrete-time robust fuzzy control synthesis for discretized and perturbed ship fin stabilizing systems subject to variance and pole location constraints. J Mar Sci Technol. 2021;26(1):201–15. doi:10.1007/s00773-020-00731-8. [Google Scholar] [CrossRef]

43. Baranyi P, Korondi P, Patton RJ, Hashimoto H. Trade-off between approximation accuracy and complexity for TS fuzzy models. Asian J Control. 2004;6(1):21–33. doi:10.1111/j.1934-6093.2004.tb00181.x. [Google Scholar] [CrossRef]

44. Lin ZY, Chang WJ, Aslam MS, Su CL, Lin YH. Difference state feedback fuzzy control of nonlinear discrete-time ship steering system in descriptor form. Int J Fuzzy Syst. 2024;1–22(3):299. doi:10.1007/s40815-024-01835-8. [Google Scholar] [CrossRef]

45. Zhang L, Zong G, Zhao X, Zhao N, Sharaf S. Reachable set control for discrete-time Takagi-Sugeno fuzzy singular Markov jump system. IEEE Trans Fuzzy Syst. 2023;31(9):3173–84. doi:10.1109/TFUZZ.2023.3245634. [Google Scholar] [CrossRef]

46. Shen H, Xing M, Wu ZG, Park JH. Fault-tolerant control for fuzzy switched singular systems with persistent dwell-time subject to actuator fault. Fuzzy Sets Syst. 2020;392(6):60–76. doi:10.1016/j.fss.2019.08.011. [Google Scholar] [CrossRef]

47. Leonhard W. Control of electrical drives. Berlin, Germany: Springer Science & Business Media; 2001. [Google Scholar]

48. Fossen TI. Guidance and control of ocean vehicles. New York, NY, USA: Wiley; 1994. [Google Scholar]


Cite This Article

APA Style
Lee, Y., Lin, Y., Chang, W., Aslam, M.S., Lin, Z. (2025). Optimal Fuzzy Tracking Synthesis for Nonlinear Discrete-Time Descriptor Systems with T-S Fuzzy Modeling Approach. Computer Modeling in Engineering & Sciences, 143(2), 1433–1461. https://doi.org/10.32604/cmes.2025.064717
Vancouver Style
Lee Y, Lin Y, Chang W, Aslam MS, Lin Z. Optimal Fuzzy Tracking Synthesis for Nonlinear Discrete-Time Descriptor Systems with T-S Fuzzy Modeling Approach. Comput Model Eng Sci. 2025;143(2):1433–1461. https://doi.org/10.32604/cmes.2025.064717
IEEE Style
Y. Lee, Y. Lin, W. Chang, M. S. Aslam, and Z. Lin, “Optimal Fuzzy Tracking Synthesis for Nonlinear Discrete-Time Descriptor Systems with T-S Fuzzy Modeling Approach,” Comput. Model. Eng. Sci., vol. 143, no. 2, pp. 1433–1461, 2025. https://doi.org/10.32604/cmes.2025.064717


cc Copyright © 2025 The Author(s). Published by Tech Science Press.
This work is licensed under a Creative Commons Attribution 4.0 International License , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
  • 983

    View

  • 479

    Download

  • 0

    Like

Share Link