Abstract

This paper investigates the problem of passive dynamic output feedback control for fuzzy discrete nonlinear systems with quantization and actuator failures, where the measurement output of the system is quantized by a logarithmic quantizer before being transferred to the fuzzy controller. By employing the fuzzy-basis-dependent Lyapunov function, sufficient condition is established to guarantee the closed-loop system to be mean-square stable and the prescribed passive performance. Based on the sufficient condition, the fuzzy dynamic output feedback controller is proposed for maintaining acceptable performance levels in the case of actuator failures and quantization effects. Finally, a numerical example is given to show the usefulness of the proposed method.

1. Introduction

History has witnessed the development of fuzzy logic theory, and it has been demonstrated to be effective in handling complex nonlinear problems. Wherein, as a common typical model, - fuzzy model is often used for stability analysis and controller design [1]. Fuzzy model has provided a way to approximate nonlinear system so that some linear system methods can be used for the analysis of nonlinear systems [24]. In the past few decades, many important results have been reported. For instance, the problems of stability and stabilization of fuzzy systems have been investigated in [58] and results on filter and controller designs with performance have been reported in [914].

Modern control systems have been becoming increasingly complex, which cause researcher’s attention to focus on the system reliability and security. Reliable control is in the process of controller design, and the system components (such as actuators and sensors) failure has been considered. So no matter what kind of failure occurs, it can ensure that the system is stable and the performance is within the acceptable range. The design of conventional control system is usually assumed that the system components are in good condition (i.e., without any fault); however, due to the natural aging of the components, harsh environmental changes, and other factors, the actuator inevitably fails, which will not only worsen the whole system performance but also even lead to the system instability. Therefore, when the components of control system fail, how to design an effective controller or a reliable filter to improve reliability of system is of profound significance in both theoretical research and practical engineering [1519]. In [15], a reliable filter is designed to ensure a strictly dissipative performance for the filtering error system by solving a convex optimization problem. In [17], sensor fault estimation and fault-tolerant control for Markovian jump systems are investigated. The problems of and passive filtering of singular system with sensor fault are concerned in [18].

NCSs have been successfully applied in a broad range of areas since they possess many advantages including flexibility in system implementation, reducing cost of installation, and facilitating system maintenance [2024]. However, the characteristic of the shared network always causes some problems. One of them is packet dropouts, which degrades the system performance and even makes the system unstable. Another problem is the limited communication capacity which causes many researchers to focus on the problem of quantization. In [2527], the state feedback controller is designed for nonlinear system. However, the drawback of the state feedback controller is that full knowledge of the state vector is usually unavailable. Moreover, the dynamic output feedback controller design has been investigated [28, 29]. In contrast to the existing results, the combination of a fuzzy-basis-dependent Lyapunov function approach and transformation on the controller parameters is used which lead to a less conservative result. Moreover, the consideration of both quantization and actuator failures further reduces the conservatism. To the best of the authors’ knowledge, the dynamic output feedback control with quantization and actuator failures has not been fully investigated, which motivates the research of this article.

This paper considers the quantized passive output feedback control for the fuzzy discrete nonlinear systems with actuator failures. Sufficient conditions are derived to guarantee that the closed-loop system is mean-square stable and satisfies the prescribed passive performance. The dynamic output feedback controller is taken into account, which avoids the case where the state is unmeasured. The main contributions can be summarized as follows: (1) the fuzzy dynamic output feedback controller is proposed for minimizing the system normal level and maintaining acceptable levels in the case of actuator failures, since it often does not wish to sacrifice the normal performance for the infrequent faulty cases; (2) with the consideration of actuator failures, the robust passive dynamic output feedback controllers are designed to deal with the measurement losses and mitigate quantization effects.

The rest of this paper is organized as follows. Section 2 formulates the problem. The stability condition and passive performance of the closed-loop system are given in Section 3. The dynamic output feedback controller is proposed in Section 4. An illustrated example is given to demonstrate the effectiveness of the proposed method in Section 5 and the conclusion is presented in Section 6.

Notation. In this paper, real numbers, Euclidean space with dimension, and real matrices are denoted by , , and , respectively. stands for the transposition of matrix . Diagonal matrices are denoted by . For a stochastic variable , its probability and expectation are denoted by and , respectively. stands for a positive definite matrix. denotes the space of square summable infinite sequence. The term induced by symmetry is denoted by .

2. Problem Formulation

2.1. System Description

In this paper, we consider the following fuzzy nonlinear system.

Plant Rule . If is , is , and and is , thenwhere , is the number of IF-THEN rules, are the fuzzy sets, and are the premise variables. is the system state vector, is the control input vector, is the controlled output, and is the measurable output. is the exogenous disturbance input which belongs to . , , , , , , are all constant real matrices with appropriate dimensions. Then, the resulting fuzzy nonlinear system can be inferred as follows:wherewith showing the grade of membership of in . Then, it is not hard to see that and , which implies , and . For the sake of brevity, in the sequel, we use and to represent and , respectively.

2.2. Actuator Faults

In this paper, we assume that there exist actuator faults and this phenomenon occurs randomly. Once the actuator failure occurs, the output of the actuator measurement values and the system input values are not consistent, namely .

Considering the following actuator faults model, we use to represent the control signal that is sent to actuator:where , and When , it means that th actuator fails. When , it implies that th actuator can only receive partial information. When , it indicates that th actuator is in normal condition. Then, we defineThen, it easy to obtainwhere

Remark 1. In actual control systems, the actuator faults can occur inevitably which may be caused by the component natural aging and the harsh environment. Without considering, the actuator faults would degrade the system performance and even lead to unstable system.

2.3. Logarithmic Quantization

The logarithmic quantizer is described bywhere , and the logarithmic quantizer is depicted by the following set of quantization levels:where parameter is the quantization density. For the logarithmic quantizer, associate quantizer is defined by the following:where Then, a sector bound expression can be described as follows:where represents quantization error.

2.4. Dynamic Output Feedback Controller

In this subsection, the following dynamic output feedback controller is presented.

Controller Rule . If is , is , and and is , then,where denotes the state vector of the controller; is the controller output; is the measurable output; , and are the controller gains to be designed. Then, the form of the controller can be described by

2.5. Closed-Loop System

Define , and combine (2), (4), (13), and (15); the following closed-loop system can be obtained:where

2.6. Main Objective

Definition 2. The system in (16) is mean-square stable with , and if there exists finite such that the following inequality holds:for any initial condition .

In order to gain the main results, the following lemma should be introduced.

Lemma 3 (see [30]). Given matrices , , and of appropriate dimensions and with symmetrical, then holds for all satisfying , if and only, if there exists some such that

Now, we are in the position to state the problem of passive output feedback control for fuzzy nonlinear systems. For given scalar , design a dynamic output feedback controller (15) for systems in (2) such that the following two conditions simultaneously hold:(a)Mean-square stability: the closed-loop system in (16) is mean-square stable with and finite :(b)Passive performance: for given scalar , under zero initial condition, the following inequality holds for all nonzero :

3. Main Result

In this section, we are going to research the mean-square stability and the passive performance of the system in (16); the corresponding result is presented in the following theorem.

Theorem 4. Given matrices , , and , scalars , the closed-loop system in (16) is mean-square stable and satisfies the passivity, if there exist matrices such that the inequalities hold:for all .

Proof. In order to research the mean-square stability of the system (16) under condition , the following Lyapunov function is constructed:The difference of the Lyapunov function in (24) is defined asSubstituting (16) into (24), we haveDefineThen, we can conclude from (26) that , which means Taking mathematical expectation and summing up the inequality on both sides from , we have From the aforementioned inequalities, it is not hard to attain that, for , the following inequality holds:Considering the nonzero initial condition and , as tends to infinity, from the above inequalities, we can conclude that where represents the maximum eigenvalues of , , and is the initial condition. According to Definition 2, the closed-loop system is mean-square stable.
Next, the passive performance for the system in (16) will be considered, under the zero initial conditions, and an index is introduced as follows:where is an arbitrary positive integer and nonzero . Similar to the previous derivation, we haveBy using Schur complement to (23), we infer that for any , which means the system in (16) satisfies the passive performance.

4. Dynamic Output Feedback Controller Design

In this section, we aim to design the parameters of the controller in (15) based on Theorem 4, such that the closed-loop system in (16) is mean-square stable and achieves the passive performance.

Theorem 5. Given scalars , the system in (16) satisfies the mean-square stability and achieves the passivity, if there exist symmetric positive definite matrices , and , and scalar satisfying following conditions:where The parameters of controller can be inferred by

Proof. In order to remove uncertain term , the inequalities (22) can be rewritten to the following form:where Using Schur complement and Lemma 3, we can obtain the inequalities as follows:It is not hard to see that there are no uncertain terms, and we need to eliminate nonlinearities in order to get parameters of the controller by Matlab LIM Toolbox. Consider the following inequality: It implies thatDefine partition matrices as follows:where .
Then, we can conclude from equation thatSuppose that inequalities (34) and (35) hold, then nonsingular matrices and can be obtained, which means that matrices are also nonsingular, then the nonsingular matrices and can be inferred by (44).
DefineBy simple calculation, we can getBased on the partition matrices defined above, then premultiplying and postmultiplying inequalities (34) with and respectively, we can getEmploying inequalities (42) and (47), we can obtainThen, performing congruence transformation to (48) with , we get (40).
We can conclude that if inequalities (34) and (35) hold, then we can guarantee that inequalities (40) meet the condition, which implies that inequalities (22) hold. In short, if inequalities (34) and (35) hold, then the closed system in (16) is mean-square stability with the guaranteed passivity.

5. Numerical Example

In this section, the results will be demonstrated by the following example for system (2) which is expressed by - fuzzy model with two IF-THEN rules ().

Rule 1.

Rule 2. First, considering the quantization parameters assumed to be , we study the effect of different actuator failure model on the system passive performance, which are presented clearly in Table 1. From Table 1, we can see that, when the actuator failures increase, the system passive performance will degrade.

Then, we consider the influence of different quantization density on the system passive performance under conditions , . From Table 2, we can conclude that the system performance will decrease when the quantization density reduces.

Now, we assume that the quantization parameters are and the actuator failures are , . is chosen to be . According to Theorem 5 and using the LMI Toolbox, we obtain the minimum of passive performance and the corresponding output feedback controller parameters are as follows:

The disturbance noise is

Then, we can obtain the trajectory of the states which are shown in Figure 1. Figure 2 demonstrates the controlled output of the closed-loop system, and Figure 3 depicts the state response of in the closed-loop system.

6. Conclusion

In this paper, we have investigated the passive dynamic output feedback control of the fuzzy discrete nonlinear system with quantization and actuator failures, where the measurable output is quantized by a logarithmic quantizer. The robust passive dynamic output feedback controller has been proposed to deal with the effects of the actuator failures and mitigate quantization effects. Sufficient condition has been obtained to guarantee that the closed-loop system is mean-square stable and achieves the passive performance. A numerical example has been provided to show the effectiveness of the proposed approach.

Competing Interests

The authors declare that they have no competing interests.

Acknowledgments

This work was supported by the National Natural Science Foundation of China under Grants 61573136, 61603133, and 61503136 and the Science Technology Department of Zhejiang Province in China under Grant 2014C33004.