#### Abstract

Based on deep analysis about the essential relation between two input variables of normal two-dimensional fuzzy controller, we used universal combinatorial operation model to describe the logic relationship and gave a flexible logic control method to realize the effective control for complex system. In practical control application, how to determine the general correlation coefficient of flexible logic control model is a problem for further studies. First, the conventional universal combinatorial operation model has been limited in the interval . Consequently, this paper studies a kind of universal combinatorial operation model based on the interval . And some important theorems are given and proved, which provide a foundation for the flexible logic control method. For dealing reasonably with the complex relations of every factor in complex system, a kind of universal combinatorial operation model with unequal weights is put forward. Then, this paper has carried out the parametric analysis of flexible logic control model. And some research results have been given, which have important directive to determine the values of the general correlation coefficients in practical control application.

#### 1. Introduction

Fuzzy control has made the rapid development, and it has found a considerable number of successful industrial applications in recent years [1]. However, from the mathematical viewpoint, Professor Li revealed the interpolation mechanism of fuzzy control and proved that fuzzy controller is in essence an interpolator [2]. So, there are two problems in controlling some practical complex systems. One is that control rules will grow exponentially with the growing of inputs, and the other one is that the precision of control system is not high [3].

Compound controllers combine fuzzy control and other relatively mature control methods to obtain effective control effect, such as Fuzzy-PID controllers [4], fuzzy prediction control [5], and adaptive fuzzy -infinity control [6]. To reduce dimensionality, hierarchical fuzzy logic controller separates the set of control rules into several sets based on different functions [7, 8]. The basic idea of adaptive fuzzy controllers based on variable universe is to keep the control rules unchanged and change the region bound of fuzzy variables with the values of input fuzzy variables in order to increase control rules indirectly [9]. Though a great deal of research has been done to improve the performance of fuzzy control, most of these methods are based on the basic idea that fuzzy controller is a piecewise approximation. However, to date, there has been relatively little research conducted on the internal relations among input variables of fuzzy controllers.

*Universal Logic *[10], proposed by He et al., is a kind of flexible logic. It considers the continuous change of not only the truth value of proposition, which is called truth value flexibility, but also the relation between propositions, which is called relational flexibility. Based on fuzzy logic, it puts up two important coefficients: *generalized correlation coefficient* “” and *generalized self-correlation coefficient* “.” The flexible change of universal logic operations is based on “” and “.” So, Universal Logic provides a new theoretical foundation to realize more accurate control for complex systems.

In our previous work [3], we focused on the basic physical meanings of fuzzy input variables of the normal two-dimensional fuzzy controller, such as and . And we proved that the essential relation between them is just universal combinatorial relation in *Universal Logic *[10]. So, the simple universal combinatorial operation can be used instead of complex fuzzy reasoning process. As a result, a flexible logic control method was put forward.

Through the previous analysis, it is clear that flexible ability of flexible logic control model is resulted from the following aspect. We use universal combinatorial operation to reflect the essential relation between the deviation and the deviation change of control system, which considers the continuous change of the relation between things. And universal combinatorial operation model is not a single fixed operator, but a continuous cluster of combinatorial operators determined by the *general correlation coefficient * between propositions. In practical control application, according to the general correlation between propositions, we can take the corresponding one from the cluster to realize effective control for complex system.

However, in practical control application, how to determine the *general correlation coefficient * of flexible logic control model is a problem for further studies. First, the conventional universal combinatorial operation model has been limited in the interval . Consequently, this paper studies a kind of universal combinatorial operation model based on the interval . And some important theorems are given and proved, which provide a foundation for the control application of universal combinatorial operation. Then, this paper carries out the parametric analysis of flexible logic control model. And some research results have been given, which have important directive to determine the values of the general correlation coefficients in practical control application.

The rest of the paper is organized as follows. Section 2 introduces necessary background on universal combinatorial operation model and flexible logic control method and gives and proves some important theorems of universal combinatorial operation model based on the interval . Section 3 carries out the parametric analysis of flexible logic control model and gives some research results. Finally, concluding remarks are given in Section 4.

#### 2. Universal Combinatorial Operation Model and Flexible Logic Control Method

##### 2.1. Universal Combinatorial Operation Model

It is well known that there is complex relation between every factor of complex system, which may be conflictive or consistent. For dealing reasonably with the complex relations, various aggregation operators have been given which are mostly -norm, -norm, or *Mean* operators. Nevertheless, -norm, -norm, and *Mean* operators have the following properties:

As a result, -norm or -norm can only handle mutually conflictive relation. In contrast, *Mean* operators can only handle mutually consistent relation. Therefore, the operating regions of these aggregation operators are localized. Universal combinatorial operation model is the combinatorial connective of *Universal Logic*, whose operating region is the standard interval .

In the paper, we will only consider the *generalized correlation coefficient* . So, zero-order universal combinatorial operation model is defined as follows.

*Definition 1 (see [10]). *Zero-order universal combinatorial operation model is the cluster
where .

*Remark 2. *The conditional expression represents that if is true, then the result is , otherwise . Similarly, . And .

Universal combinatorial operation model is a continuous cluster of combinatorial operators, which can be continuously changeable with *generalized correlation coefficient * between propositions. In practical application, according to the general correlation between propositions, we can take the corresponding one from the cluster. As *generalized correlation coefficient h* is equal to some special values, the corresponding combinatorial operators are given in Table 1.

##### 2.2. Universal Combinatorial Operation Model on Any Interval

In practical control application, fuzzy domain of fuzzy variables, and , is mostly symmetrical, such as . However, the conventional universal combinatorial operation model has been limited in the interval . So, Chen [11] put forward a kind of universal combinatorial operation model, which is on any interval .

*Definition 3 (see [11]). * Normal universal *Not *operation model in any interval is defined as follows:
For the previous definition, some common properties of normal universal *Not* operation model are given:(1)closure
(2)two polar law
(3)symmetric involution

*Definition 4 (see [11]). *Universal combinatorial operation model on any interval is the clusterwhere , , , , and .

Without loss of generality, we assume that the fuzzy domain of fuzzy variables, *E* and *EC*, is the interval . As a result, when , , and are equal to −1, 1, and 0, respectively, the corresponding zero-order universal combinatorial operator is the cluster

According to the definition of *Universal Combinatorial Operation Model* in any interval, the following characters [11] are attained:(1) conforms to the combination axiom:(a)boundary condition when ,; when ,; when ,; otherwise, ,(b)monotonicity increases monotonously along with and ,(c)continuity when , is continuous for all and ,(d)commutative law (e)law of identical element (2)closure
(3)inverse law
(4)renunciation law

Theorem 5. *Let , , .*

*Proof. *, , according to the closure of central generalized negation operation and universal combinatorial operation:

, and , and according to the definition of universal combinatorial operation: (1)when ,

Then, according to the definition of ,

According to the definition of central generalized negation operation,

Substituting (16), (17), and (18) separately into (15),
and then(2)When ,

So, according to the definition of ,

Substituting (16), (17), and (18) separately into (22),
And then,
(3)When ,
According to the definition of ,
Then,
From the aforementioned, the theorem is true.

Lemma 6. *Let .*

*Proof. *According to Theorem 5 and involution law of central generalized negation operator in interval , the theorem can be proved simply.

Lemma 7. *Let .*

*Proof. *Setting the interval of as , the lemma can be proved simply.

Lemma 8. *When interval relates to symmetry, , wherein represents the points of relating to symmetry, namely, , , is similar, , .*

*Proof. *Since interval relates to symmetry, then , and . Thus,
Similarly,
From (28) and (29), the following could be obtained:
And then from Lemma 6,
So, the theorem is true.

Lemma 9. *Let , wherein .*

Lemma 10. *When interval relates to symmetry of original point, , .*

This lemma indicates that when the interval is symmetrical about the origin point and identity element is 0, *Universal Combinatorial Operation * is also symmetrical about the origin point.

As pointed out in the literature [3], the internal relation between fuzzy input variables, the deviation , and the deviation change of normal two-dimensional fuzzy controller is the universal combination relation in universal logic. Consequently, the complex fuzzy rule inference process could be replaced by the simple universal combinatorial operation, and a flexible logic control model was presented accordingly. In fuzzy control, the domain of input variables and output variable is generally symmetrical about the original point, such as . Obviously, it is the prerequisite of control model that the operation model relates to symmetry of original point. Therefore, Lemma 10 provides a basis for the *Universal Combinatorial Operation*’s application in control.

##### 2.3. Universal Combinatorial Operation Model with Unequal Weights

In practical complex system, every factor is generally with unequal weight. But the existing universal combinatorial operation only discusses an ideal state that every factor is with equal weight.

###### 2.3.1. Weighted Operator

For dealing reasonably with the complex relations of every factor in complex system, various properties which weighted operators should have are put forward. The weighted operator proposed by *Yager* is one of the famous ones.

The weighted operator proposed by Yager is defined as follows.

*Definition 11 (see [12]). *Assume that an operator is a mapping from to .

is called a *Yager weighted operator *if it satisfies the following properties.(I1) Monotonicity with respect to the value, . In particular if , then we require
(I2) We desire that elements with weight zero have no effect on the aggregation process; thus, if is the fixed identity of the aggregation to be used on the resulting bag, we must have
(I3) A normalcy with respect to the weights
(I4) Finally, we desire that the transformation moves monotonically from its value for to . That is, if , increases monotonically with respect to the value ; if , decreases monotonically with respect to the value ,where is the weight associated with an argument, and is the argument. Both and are drawn from .

And due to the definition of *Yager weighted operator*, we can draw the following theorems.

Theorem 12. *Assume that is a Yager weighted operator. So, one has the following:
*

*Proof. *Due to the properties (I2) and (I4) of the definition, the theorem can be proved easily.

Theorem 13. *Assume that is a Yager weighted operator. So, one has the following:
*

*Proof. *Due to the properties (I3) and (I4) of the definition, the theorem can be proved easily.

The chart of *Yager weighted operator * changing along with the weight is given in Figure 1.

One formulation that satisfies these conditions is . It is described by Figure 2.

According to the previous analyses, we discover that *Yager weighted operator* has some shortcomings as follows.(1)*Yager weighted operator* is likely to transform entire *True* (*False*) proposition into partial *True* (*False*) proposition. However, due to the view of logic, entire *True* (*False*) proposition should still be transformed into entire *True* (*False*) proposition by weighted operator.(2)The weighted value changes in the interval or for any weight as shown in Figure 1. However, the weighted value is desired to change in the total interval in some practical applications.(3)*Yager weighted operator *is limited in the interval . But weighted operators are desired to change in the general interval in some practical applications.

For solving the previous problems, the paper puts forward a kind of general weighted operators , which change in the general interval .

*Definition 14. *Assume that an operator is a mapping from to . is called a *general weighted operator *if it satisfies the following properties.(I1) Monotonicity with respect to the value, . In particular, if , then we require
(I2).(I3).(I4) and .(I5) Finally, we desire that the transformation moves monotonically for the weight . That is, if , increases monotonically with respect to the value ; if , decreases monotonically with respect to the value .(I6). is the weight associated with an argument , and is the fixed identity of the aggregation operator . is drawn from , and is drawn from .

According to the previous definition, we can know that the absolute value of the argument decreases first and then increases with the weight changing continuously from 0 to 1. The chart of *general weighted operator *changing along with the weight is given in Figure 3.

The common general weighted operation model is polynomial model:

Assume that , , , and is the limit as and . So, (38) describes a *general weighted operator *as shown in Figure 4.

###### 2.3.2. Universal Combinatorial Operation Model with Unequal Weights

According to the previous definition of general weighted operators, we can get the definition of universal combinatorial operation model with unequal weights as follows.

*Definition 15. *Assume that an operator is a mapping from to . is called universal combinatorial operation model with unequal weights:
where is general weighted operator, is *universal combinatorial operato*r, is the fixed identity of , is *the generalized correlation coefficient*, and and denote, respectively, the weights associated with the arguments and . , , and are drawn from , and , and are drawn from .

The universal combinatorial operation model with unequal weights is given in Figure 5.

##### 2.4. Flexible Logic Control Method

In order to decrease effectively the number of fuzzy control rules for multivariable nonlinear system, Xiao et al. [13] gave a new concept of fuzzy composed variable. Its basic idea can be summarized as follows. According to characteristics of controlled system and internal relations between input variables, a fuzzy composed variable is constructed to reflect synthetically the deviation between reference and the process output with a fuzzy logic system.

There are four output variables in single inverted-pendulum, which are , and . In the four input variables of control system, it is and that describe the movement state of the rod. So, a fuzzy logic system can be designed, which is described by the fuzzy rules in Table 2, to define a fuzzy composed variable with and . The fuzzy composed variable can describe synthetically the movement state of the rod. Similarly, a fuzzy composed variable can be defined with and to describe synthetically the movement state of the cart. For multivariable system, one does not need to define, respectively, fuzzy logic system for every fuzzy composed variable. A uniform fuzzy rule table can be used, such as Table 2, but only select different quantification factors to obtain different fuzzy composed variables.

*Remark 16. *In the paper, the input variables of the fuzzy controllers discussed are and , which denote, respectively, the deviation and the deviation change. The output variable is the control signal. The variables, , , and are crisp values from the practical process. The fuzzy variables, , , and are the corresponding fuzzy ones, and the fuzzy domains are uniformed to be with fuzzy subsets, such as NB, NM, NS, ZE, PS, PM, and PB.

Apparently, the fuzzy rules in Table 2 describe the essential relation between all deviation and the deviation change. As shown Table 2 can be divided approximately into four parts, which describe, respectively, fuzzy rules used to define composed variable as and are both negative, is negative but is positive, and are both positive, and is positive but is negative. and both describe the deviation between the reference and the process output; so, we can define a composed variable, denoted as , based on the essential relation between them.

According to the physical meanings of fuzzy variables, and , we can get the following conclusions.(1)Suppose that both and are positive. That is to say, the deviation is positive and it will increase continuously. So, the value of the composed variable should be positive and bigger than both of and in this case. The combinatorial rules are shown by the right-bottom part of Table 2.(2)Suppose that is positive and is negative. That is to say, the deviation is positive but it will decrease. So, the value of the composed variable should be between and in this case. The combinatorial rules are shown by the left-bottom part of Table 2. (3)Similarly, we can obtain the value of in the two of other cases.

Based on the previous analysis, we get the conclusion that the essential relation among , , and the composed variable is a kind of universal combinatorial one in *Universal Logic*. As a result, we have

So, we can obtain the relation among , , and the output variable of control system as follows:
where fuzzy variables, , , . Fu and He [3] named the method *Flexible Logic Control Method*.

For effectively controlling different things, we can lead into a weighted factor . As the correlation coefficient is equal to 0.5, we have
However, (42) is just the fuzzy control method proposed by Long et al. [14]. They used a linear equation, such as (42), to describe fuzzy control rules. But the relation among , , and is not only linear. So, (41) is a cluster of operators determined by correlation coefficient , and (42) is only a special operator in the cluster as is equal to 0.5. As a result, flexible logic control method can realize the accurate control for complex system.

##### 2.5. Flexible Logic Control Model of Single Inverted-Pendulum System

The objective is to maintain the pole in an upright position and the cart in an appointed position in the rail. There are four output variables and one input variable in single inverted-pendulum, which are , , , , and . In the four input variables of control system, both and describe the movement state of the pole, and both and describe the movement state of the cart. So, we have designed two subcontrollers. One is to maintain the cart in an appointed position with two input variables and . The other one is to maintain the pole in an upright position with two input variables and .

We have designed the two subcontrollers with the flexible logic control method. And we led into weighted factors , , . Two controllers are designed as follows:

When the control signal is combined, we lead into two weighted factors , for the two subcontrollers. According to (43) and (45), we can get the output of the controller as follows: where , (38), is (39), are general correlation coefficients, , , , and .

By the previous analyses, we can obtain the control model of single inverted-pendulum as shown in Figure 6.

#### 3. Parametric Analysis of Flexible Logic Control Model

Through the previous analysis, it is clear that flexible ability of flexible logic control model is resulted from the following aspect. Universal combinatorial operation model is not a single fixed operator, but a continuous cluster of combinatorial operators determined by the *general correlation coefficient * between propositions. In practical control application, according to the general correlation between propositions, we can take the corresponding one from the cluster to realize effective control for complex system.

However, in practical control application, how to determine the *general correlation coefficient * of flexible logic control model is a problem for further studies. In this section, we will analyze the general correlation coefficients, , , of the flexible logic control model and give some research results.

##### 3.1. Experimentation

We experiment the flexible logic control model in some single inverted-pendulum physical system. The physical parameters of the system are given in Table 3.

By simulating the inverted-pendulum and looking up the optimization with genetic algorithm, we can get the initial values of the control parameters. Then, by testing in real-time experimentations and repeatedly making some fine tuning, we can get the control parameters shown in Table 4. And the variation of the length of the pole is shown in Table 5.

Genetic algorithm is used to optimize the general correlation coefficients, , , and the fitness function is defined as follows:

Through simulated optimization, we can get the corresponding values of , and the fitness shown in Table 6.

Figure 7 shows how the fitness varies with . And Figures 8 and 9 illustrate how the maximum fitness varies with taking different values when , in turn, is equal to some value on standard interval . Figure 8 shows how the maximum fitness varies with , and Figure 9 shows how varies with when the fitness is the maximum.

**(a)**

**(b)**

**(c)**

**(d)**

**(e)**

**(f)**

**(g)**

**(h)**

Similarly, Figures 10 and 11 illustrate how the maximum fitness varies with taking different values when , in turn, is equal to some value on standard interval . Figure 10 shows how the maximum fitness varies with , and Figure 11 shows how varies with when the fitness is the maximum.

##### 3.2. Parametric Analysis of Flexible Logic Control Model

Firstly, calculate the correlation coefficient between fitness and when , in turn, is equal to some value on standard interval . The formula for calculating the correlation coefficient is defined as follows: where and are matrices, and are the means of the values in and , respectively, and is the correlation coefficient between and .

Figure 12 illustrates how the correlation coefficient between fitness and varies with taking different values on standard interval .

Similarly, calculate the correlation coefficient between fitness and when , in turn, is equal to some value on standard interval . And Figure 13 illustrates how the correlation coefficient between fitness and varies with taking different values on standard interval .

After that, the correlation coefficients between the maximum fitness and , are computed for poles of different lengths, as shown in Table 7.

By observing and analyzing the previous results, we can draw the following conclusions.(1)The longer the pole, the worse the control effects. Figures 7, 8, and 10 all indicate that the longer the pole, the smaller the fitness with the optimum control parameters, and vice versa. Through experiment, we can know that the given single inverted-pendulum physical system can be controlled effectively when the pole is in the range 0.1 m to 0.691 m. That is to say, when the pole is longer than 0.691 m or shorter than 0.1 m, we cannot realize the stable control for the given physical system.(2)For some given physical system, the control effect is sensitive to the value of . This means that we can realize the effective control only when is in some very short interval. And the interval is relatively fixed. That is, the interval of does not change with the length of the pole. Figures 7, 9 and 10 all show that the fitness is relatively big only when is in the range 0.8 to 0.9, and the interval of remains unchanged for poles of different lengths. Figure 12 also shows that the correlation coefficient between fitness and is relatively big only when is around 0.2 or in the range 0.8 to 0.9, and the interval of remains unchanged for poles of different lengths.(3)For some given physical system, the control effect is not sensitive to the value of . That is, we can realize the effective control when is in some very long interval. Figure 10 shows that the control effect does not change much with taking different values of the long interval. Figure 13 also shows that the correlation coefficient between fitness and is relatively big when is in the range 0.15 to 0.98. However, the width of the interval varies with the length of pole. The longer the pole, the narrower the interval. The paper calls the interval of as *platform*.(4)For poles of different lengths, there is much difference of and little one of when we realize the most effective control. As shown in Table 7, the correlation coefficient between the maximum fitness and is small, but the one between the maximum fitness and is big. Table 6 shows that the longer the pole, the smaller the optimum , and the optimum is in the range 0.8 to 0.9 with little difference.

From the third conclusion, we can know that the width of *platform* varies with the length of pole. That is, the longer the pole, the smaller the width. For poles of different lengths, the corresponding *platforms* are shown in Table 8. And the relation between the width of *platform* and the length of pole and the one between the starting value of *platform* and the length of pole can be obtained through fitting method according to the experimental results shown in Table 8.

Firstly, suppose that the smallest effective length of pole, that is, 0.1 m, is 1 unit. Then, the ratios of the other lengths to the smallest effective length of pole are shown in Table 8. The relation between the width of *platform* and the ratio of the length of pole is depicted by means of the linear fit, which is as shown in (50) and Figure 14. Consider

Similarly, the relation between the starting value of *platform* and the ratio of the length of pole is depicted by means of the linear fit, which is as shown in (51) and Figure 15. Consider

Hence, for the given physical system, when the length of pole takes different values in the previous controllable interval, we can calculate the corresponding interval of *platform* by (50) and (51). Then, can be any of the interval and should be any of the interval . Therefore, it does not need to optimize the control parameters again, and we can realize the effective control for the physical system with new length of pole.

#### 4. Conclusion

Flexible logic method uses universal combinatorial operation model to describe the logic relation between and *EC*, which are the fuzzy input variables of normal two-dimensional fuzzy controller. Universal combinatorial operation model is not a single fixed operator, but a continuous cluster of combinatorial operators determined by the *general correlation coefficient * between propositions. In practical control application, according to the general correlation between propositions, we can take the corresponding one from the cluster to realize effective control for complex system.

However, in practical control application, how to determine the *general correlation coefficient * of flexible logic control model is a problem for further studies. First, the conventional universal combinatorial operation model has been limited in the interval . Consequently, this paper studies a kind of universal combinatorial operation model based on any interval . And some important theorems are given and proved, which provide a foundation for the flexible logic control method. For dealing reasonably with the complex relations of every factor in complex system, a kind of universal combinatorial operation model with unequal weights is put forward. Then, this paper has carried out the parametric analysis of flexible logic control model. And some research results have been given, which have important directive to determine the values of the general correlation coefficients in practical control application.

#### Acknowledgments

This work is supported by the Beijing Municipal Natural Science Foundation (nos. 4113069 and 4122007), the Major State Basic Research Development Program of China (no. 2007CB311100), and the Beijing Municipal Education Commission Foundation (no. 007000546311501).