Modelling and Simulation in EngineeringVolume 2011 (2011), Article ID 573715, 7 pagesdoi:10.1155/2011/573715

Research Article

Mathematical Models of the Simplest Fuzzy Two-Term (PI/PD) Controllers Using Algebraic Product Inference

Murali Bosukonda and Naresh Kelothu

Department of Electrical Engineering, Indian Institute of Technology Kharagpur, Kharagpur 721302, India

Received 31 March 2011; Accepted 5 September 2011

Academic Editor: Agostino Bruzzone

Copyright © 2011 Murali Bosukonda and Naresh Kelothu. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

This paper reveals mathematical models of the simplest Mamdani PI/PD controllers which employ two fuzzy sets (N: negative and P: positive) on the universe of discourse (UoD) of each of two input variables (displacement and velocity) and three fuzzy sets (N: negative, Z: zero, and P: positive) on the UoD of output variable (control output in the case of PD, and incremental control output in the case of PI). The basic constituents of these models are algebraic product/minimum AND, bounded sum/algebraic sum/maximum OR, algebraic product inference, three linear fuzzy control rules, and Center of Sums (CoS) defuzzification. Properties of all these models are investigated. It is shown that all these controllers are different nonlinear PI/PD controllers with their proportional and derivative gains changing with the inputs. The proposed models are significant and useful to control community as they are completely new and qualitatively different from those reported in the literature.

1. Introduction

Most of the industrial processes are still controlled largely by PID controllers due to their simplicity and low cost. Though the mathematical model (transfer function) of the PID controller is well known to the control community, mathematical modeling of fuzzy PI/PD controllers was not well established until 1993. Availability of mathematical models of fuzzy controllers and their precise understanding are fundamentally important for systematic analysis and synthesis of fuzzy control systems.

Looking at the historical development on fuzzy controller modeling, one would notice from the literature that it was Ying [1] who came up with four different models for the simplest fuzzy PI controller. He revealed that “bounded difference” inference was inappropriate for control. Later, Patel and Mohan [2] and Mohan and Sinha [3] presented three more models for the same using algebraic product/minimum AND and bounded sum/maximum OR. Subsequently, Haj-Ali and Ying [4] developed a mathematical model of fuzzy PI/PD controller using nonlinear input membership functions. Moreover, Mohan and Sinha [5] presented three more models via algebraic sum OR. Very recently, Mohan [6] has made an attempt to dispel some shortcomings that did take place inadvertently in some of the publications which are actually leading to misunderstandings and confusion.

It is very important to note that the output membership functions, shown in Figure 1(a), were considered for obtaining mathematical models in all the aforementioned publications. Though these works help us find the relationship between the models of the so-called the simplest fuzzy controllers and the controllers with multifuzzy sets [7], they cannot truly represent the models of the simplest fuzzy controllers. The output membership functions should be preferably considered as shown in Figure 1(b) to obtain mathematical models of the simplest fuzzy controllers. As a result of this, new mathematical models can be obtained.

(a)

(b)

Figure 1: Output membership functions.

The primary objective of this paper is to continue to reveal mathematical models of the simplest fuzzy PI/PD controllers. The results presented in this paper are significant and useful to control community as some of the models developed herein are qualitatively different from the models already reported in the literature. The paper is organized as follows: the next section describes the principal components of fuzzy two-term controllers. Section 3 presents mathematical models of the simplest fuzzy controllers whose properties are included in Section 4. Finally, Section 5 concludes the paper.

2. Principal Components of Fuzzy Two-Term Controllers

The incremental control effort generated by a discrete-time PI controller is given by while the control effort produced by a discrete-time PD controller is described by where , the error signal, , and are, respectively, the proportional, integral, and derivative constants of discrete-time PI and PD controllers, and is the sampling period. The block-diagram of fuzzy two-term controller is shown in Figure 2 in which , , , and represent normalization factors of the fuzzy controller, and ,, , and represent normalized versions of , , , and , respectively.

Figure 2: Block diagram of a typical fuzzy PI/PD controller.

The use of normalized UoD requires a scale transformation which maps the physical values of the process input variables (in the present case and ) into a normalized domain. Moreover, denormalization maps the normalized value of the process output variable (here or ) into its physical domain. The normalized factors which describe input normalization are denoted by and . Similarly, the denormalization factor describing output denormalization is denoted by or .

The principal components of fuzzy two-term controllers are fuzzification and defuzzification modules, control rule base, and inference engine which are described in the following.

2.1. Fuzzification Module

This module converts crisp values of process variables (, , or ) into fuzzy sets in order to make them compatible with the fuzzy set representation of the process variables in the rules. Let and be the crisp values of inputs and , respectively. Then, their fuzzified versions are the degrees of membership and , where and are the linguistic values taken by and , respectively.

The inputs are fuzzified by -function type and -function type membership functions, shown in Figure 3, whose mathematical description is given by where or and or . Notice that always. The membership functions for the normalized output are shown in Figure 1(b). Let such that Then, the trapezoid shrinks to a triangle when .

Figure 3: Input membership functions.

2.2. Control Rule Base

The following linear control rules are considered for fuzzy PI control. The justification of the above rule base can be seen in Mohan and Sinha [5]. As a matter of fact, the above rule base can also be written in the following manner. The rule base in the above form was considered in the current literature [1–5]. is replaced by for fuzzy PD control in the above rule base. We consider “algebraic product” or “minimum” AND operation, and they are defined as where and . The OR operation in rule 2 may be performed by employing one of the following.

Bounded sum: Algebraic sum: Maximum:

2.3. Inference Engine

The basic function of inference engine is to compute overall control output value based on the individual contribution of each rule in the rule base. For each rule, a degree of match is found by using any AND operator (and also any OR operator in the case of rule 2). Based on this degree of match, the control output value in the rule consequent is modified by using “algebraic product” inference. The reference membership functions and the inferred membership functions (shown with hatching) after employing algebraic product inference are shown in Figure 4.

Figure 4: Inferred output membership functions via algebraic product inference.

All possible combinations of normalized inputs and are shown in Figure 5. The control rules are used to evaluate appropriate control law in each region. The outcomes of fuzzy control rules with algebraic product/minimum AND and bounded sum/algebraic sum/maximum OR are given for all the regions in Table 1.

Table 1: (a) Outcomes of antecedent part of control rules: using ap AND. (b) Outcomes of antecedent part of control rules: using mn AND. (c) Outcomes of antecedent part of control rules: using ap/mn AND.

(a)

Region

using

bs OR
as OR
mx OR

1, 2

3, 4

(b)

Region

using

bsOR
asOR
mxOR

1

2

3

4

(c)

Region

using

bs/as/mx OR

5
0

6

0

7

0

8
0

9
0
0
1

10, 12
0
1
0

11
1
0
0

Figure 5: Regions of normalized input plane.

2.4. Defuzzification Module

It converts the set of all inferred control output values into a pointwise value. Defuzzification is done here using the well-known CoS method. According to this method, the crisp value of normalized control output is given by where and are, respectively, the area and centroid corresponding to the inferred output membership function. It is easy to compute the following from Figure 4:

3. Mathematical Models of the Simplest Fuzzy PI/PD Controllers

Here, we present mathematical models of the simplest fuzzy controllers which are derived using algebraic product/minimum AND, bounded sum/algebraic sum/maximum OR. These controllers are classified into six different classes depending upon the AND and OR operators used.

3.1. Mathematical Models in the Regions 1–4

Class 1Algebraic product AND and algebraic sum OR: where

Class 2Algebraic product AND and bounded sum OR: where

Class 3Algebraic product AND and maximum OR: where with and as defined in Table 2(a).

Table 2: (a) Signs of and . (b) Signs of , and . (c) Attributes of , , and .

(a)

Region

1, 2
+
−

3, 4
−
+

(b)

Region

1
−
+
−

2
−
+
+

3
+
−
+

4
+
−
−

(c)

Region

1
−
+

2
−
+

3
+
−

4
+
−

Class 4Minimum AND and algebraic sum OR: where with , , and as defined in Table 2(b).

Class 5Minimum AND and bounded sum OR: where with , , and as defined in Table 2(b).

Class 6Minimum AND and maximum OR: where with , , and as defined in Table 2(c).

3.2. Mathematical Models in the Regions 5–8

As can be seen from Table 1(c), is independent of OR operator used. Therefore, the models are also independent of OR operation. We obtain two distinct models, one for algebraic product AND (Class 1/Class 2/Class 3) and the other for minimum AND (Class 4/Class 5/Class 6), by substituting appropriate values for and in the expressions of Class 3 and Class 6 models as shown in Table 3.

Table 3: Attributes of and .

Region

5

Remains

6
Remains

7

Remains

8
Remains

3.3. Mathematical Models in the Regions 9–12

In this case, all six classes of controllers have the same unique models as stated below.

4. Properties of the Simplest Fuzzy PI/PD Controllers

All the above six controllers are found to possess certain interesting properties which are discussed here.(1) As can be seen from Section 3.3, all the controllers produce the same minimum control effort, given by(2) All the controllers produce zero control effort at .(3) All the controllers produce the same maximum control effort, given by(4)All the controllers produce zero control effort on the line . (5)Control plots of all the controllers are shown in Figure 6. The control effort produced by each controller is continuous at any input point and symmetric about the line . Further, the magnitude of control effort increases monotonically as the distance of the input point moves away from the origin of the input plane.(6) The model equations of all six controllers in the regions 1–4 can be rewritten aswhere is called dynamic gain of the controller because varies as the normalized inputs and vary. Since is a nonlinear function (different for different controllers) of and every fuzzy controller considered in this paper is a different nonlinear controller. Moreover, each model (controller) has its own minimum value (call it ), maximum value (, and value. As a result of this, the control performance of each model is different.

(a) Class 1

(b) Class 2

(c) Class 3

(d) Class 4

(e) Class 5

(f) Class 6

Figure 6: Control Output.

5. Conclusions

Mathematical models of six different classes of the simplest fuzzy PI/PD controllers have been developed via -function type and -function type input membership functions, algebraic product/minimum AND operation, bounded sum/algebraic sum/maximum OR operation, algebraic product inference method, and CoS defuzzification method. As gives rise to triangular membership function, the models derived are also applicable to triangular output membership function.

It is believed that Class 1 controller has never been reported in the literature. It is very important to note that the controller corresponding to the Class 2 case, reported in Patel and Mohan [2], was shown to be linear. This is, however, not the case with the Class 2 controller in this paper. It is also very important to note that the controller corresponding to the Class 3 case, reported in Patel and Mohan [2], is not suitable for control as it has been found to become indeterminate at certain points in the input plane. This is, however, not the case with the Class 3 controller in this paper. As a matter of fact, Class 3 controller also has all desirable control properties of the rest of the five controllers. So, it is very much suitable for control. The output membership functions shown in Figure 1(a) (used in [2]) and Figure 1(b) (used in this paper) could make all this difference in the end results.

Mathematical models of fuzzy controllers also depend on the type of inference method used. Hence, the important task that remains to be done is finding mathematical models via “minimum” inference and studying their properties.

References

H. Ying, “The simplest fuzzy controllers using different inference methods are different nonlinear proportional-integral controllers with variable gains,” Automatica, vol. 29, no. 6, pp. 1579–1589, 1993.

A. V. Patel and B. M. Mohan, “Analytical structures and analysis of the simplest fuzzy PI controllers,” Automatica, vol. 38, no. 6, pp. 981–993, 2002.

B. M. Mohan and A. Sinha, “On the simplest fuzzy two—term controller structure derived via algebraic product t-norm—bounded sum t-conorm—mamdani minimum inference combination,” in Proceedings of the 2nd International Conference on Industrial and Information Systems, (ICIIS '07), pp. 97–100, Peradeniya, Sri Lanka, August, 2007.

A. Haj-Ali and H. Ying, “Input-output structural relationship between fuzzy controllers using nonlinear input fuzzy sets and PI or PD control,” International Journal of Fuzzy Systems, vol. 5, no. 1, pp. 60–65, 2003.

B. M. Mohan and A. Sinha, “The simplest fuzzy two-term controllers: mathematical models and stability analysis,” International Journal of Automation and Control, vol. 2, no. 1, pp. 5–21, 2008.

B. M. Mohan, “Discussion on mathematical modeling of fuzzy two-term (PI/PD) controllers,” International Journal of Computational Cognition, vol. 8, no. 3, pp. 42–44, 2010.

H. Ying, “A nonlinear fuzzy controller with linear control rules is the sum of a global two-dimensional multilevel relay and a local nonlinear proportional-integral controller,” Automatica, vol. 29, no. 2, pp. 499–505, 1993.