1, FEBRUARY 2001
AbstractIn this paper, we propose a novel fuzzy logic con- bership functions, the choice of the rules along with the mem-
troller, called linguistic hedge fuzzy logic controller, to simplify the bership functions makes significant impacts on the final per-
membership function constructions and the rule developments. formance of the FLC and therefore becomes the major control
The design methodology of linguistic hedge fuzzy logic controller
is a hybrid model based on the concepts of the linguistic hedges strategy in FLC design. The more the membership functions are
and the genetic algorithms. The linguistic hedge operators are used, the more the rules emerge, and the finer the results of in-
used to adjust the shape of the system membership functions ference.
dynamically, and can speed up the control result to fit the system Much research has concentrated on the rule construction in
demand. The genetic algorithms are adopted to search the optimal an FLC design. Simpson [8] proposed a fuzzy minmax neural
linguistic hedge combination in the linguistic hedge module.
According to the proposed methodology, the linguistic hedge fuzzy network for pattern classification. He used a single pass expan-
logic controller has the following advantages: 1) it needs only the sioncontraction process of fuzzy set hyperboxes to learn non-
simple-shape membership functions rather than the carefully linear class boundaries. Based on his hyperbox method, Abe
designed ones for characterizing the related variables; 2) it is [9] proposed a method for fuzzy rule extraction directly from
sufficient to adopt a fewer number of rules for inference; 3) the the numerical data. In the meantime, Wang [10] proposed gen-
rules are developed intuitionally without heavily depending on
the endeavor of experts; 4) the linguistic hedge module associated eral methods to generate the fuzzy control rules automatically
with the genetic algorithm enables it to be adaptive; 5) it performs according to the inputoutput (I/O) data pairs of the control
better than the conventional fuzzy logic controllers do; and 6) it system. With these methods, the rule extraction process can
can be realized with low design complexity and small hardware be done by one-pass to reduce the system construction com-
overhead. Furthermore, the proposed approach has been applied plexity, and the experience of a human expert can be combined
to design three well-known nonlinear systems. The simulation and
experimental results demonstrate the effectiveness of this design. with the rules obtained from automatic learning. On the other
hand, the tree structure is such a simple and easily understood
Index TermsAdaptive fuzzy logic controller, genetic algorithm, method for modeling the problem that many applications are
linguistic hedge.
solved [11][14]. Turksen [15] proposed a two-level tree search
method for a fuzzy expert system. With his method, taking ad-
I. INTRODUCTION vantage of the tree approach, the computational complexity and
the search time of the fuzzy system can be reduced. In addition,
C ONVENTIONAL control system designs heavily rely on
the linearized models or the mathematical descriptions
of the controlled plants. As to the real world nonlinear and
Liu [16] proposed a tree-based FLC design methodology. By
means of this method, not only can the control rules be extracted
more complex systems which have no adequate mathematical automatically but the search time can also be significantly re-
expression to describe them, their related controller models are duced.
therefore difficult to construct. The fuzzy logic controller (FLC) With regard to the membership functions, instead of having
first implemented by Mamdani [1] on the basis of the fuzzy the membership functions constructed manually by skilled op-
logic system generalized from the fuzzy set theory originated erators or experts, several researchers have proposed methods
by Zadeh [2] has appeared to offer a feasible solution to var- for automatically selecting the high performance membership
ious control problems [3][7]. In an FLC, the inference en- functions for FLCs. Karr [17] properly specified the member-
gine plays the role of a kernel. It explores the fuzzy rules pre- ship functions to ensure efficient FLC performance by using
constructed by experts to accomplish inference. Since the rules the genetic algorithms (GA) [18], [19] which have the ability
specify the implication relationships between the input variables of searching the near-optimal or optimal solutions in the solu-
and output variables characterized by their corresponding mem- tion space and are widely used in many applications [20][23].
Chang [23] adopted the GA-based tuning methods to member-
ship function tuning. Iokibe [24] automatically generated the
Manuscript received January 24, 1999; revised September 23, 2000. This membership function by means of the fuzzy clustering method
work was supported by the National Science Council, R.O.C., under Grant which produces a much richer construction efficiency than the
NSC-89-2215-E-006-021. neural network approach [25]. Krishnapuram [26] relied on the
B.-D. Liu and C.-Y. Chen are with the Department of Electrical Engi-
neering, National Cheng Kung University, Tainan, Taiwan 70101, R.O.C. properties of possibilistic clustering to develop an approach for
(e-mail: bdliu@cad.ee.ncku.edu.tw). generating membership functions. Kim [27] applied the concept
J.-Y. Tsao was with the Department of Electrical Engineering, National of inductive reasoning to generate the membership function. In
Cheng Kung University, Tainan, Taiwan 70101, R.O.C. She is now with
EE-Solutions, Inc., Hsinchu, Taiwan 30052, R.O.C. his scheme, no extra information is needed except the experi-
Publisher Item Identifier S 1083-4419(01)00088-7. enced data describing the input and output relationships. For the
10834419/01$10.00 2001 IEEE
LIU et al.: DESIGN OF ADAPTIVE FUZZY LOGIC CONTROLLER 33
multivariable fuzzy systems, Chen [28] developed a technique control system [40], the truck backer-upper control system [41],
to decompose a system with complicated I/O relationships into and the cart-pole balance system [42] will be used to verify the
the accumulation of simple I/O relationships, and to extract a feasibility of this LHFLC.
suitable membership function for each simple subsystem. Wu This paper is organized as follows. In Section II, we will
[29] proposed an algorithm to generate fuzzy rules and train briefly review the fuzzy set theory and introduce the concept
membership functions based on the defined format of fuzzy of fuzzy linguistic hedges. Besides, the FLC will be also men-
rules. tioned. In Section III, the architecture of the proposed LHFLC
On the other hand, Zadeh [30] proposed the fuzzy linguistic will be presented. The GA algorithms used for searching the op-
hedges such as very, more or less, much, essentially, and slightly timal hedge combination will be presented in Section IV. In Sec-
to modify the membership functions of the fuzzy sets. Since tion V, three well-known examples along with their simulation
the linguistic hedges proposed by Zadeh in 1973, only a small results will be presented to verify the feasibility of this LHFLC.
amount of literature dealing with these concepts has been pub- In addition, the experimental results acquired by controlling the
lished [31][39]. Banks [31] used hedge operations to better real cart-pole balance system will also be demonstrated. Sec-
qualify and emphasize the crisp variables to mix crisp and fuzzy tion VI concludes this work.
logic in applications. Bouchon-Meunier [32] investigated sev-
eral interesting properties of linguistic hedge, such as II. FUZZY SETS, FUZZY LINGUISTIC HEDGES, AND FUZZY
LOGIC CONTROLLER
1) being compatible with simple symbolic rules;
2) avoiding computations and being compatible with the A. Fuzzy Set Theory and Fuzzy Set Operations
fuzzy logic; Fuzzy sets have been interpreted as membership functions
3) enhancing the comparison of various available fuzzy im- that associate with each element of the universe of discourse
plication; a number in the interval . In essence, a fuzzy set
4) managing gradual rules in the context of deductive rules. may be represented in the form of
Modifying the existing linguistic hedge models, Novk [33]
proposed a horizon-shifting model of linguistic hedges, by (1)
which the membership function can be shifted as well as its
steepness modified. In addition, the concept of extended hedge In the case of having a finite support , the dis-
algebras and their application in approximate reasoning was crete form of (2) is [30]
discussed by Ho [34], [35]. To maintain the completeness
of the set of the linguistic hedges, Liu [36][39] proposed
(2)
several hedge operators. Their related hardware realizations in
current-mode approach are also found.
Although the rule developments and the membership func- where is the grade of membership of in .
tion constructions can be accomplished automatically by a va- Unlike the crisp set logic that distinguishes the members of
riety of algorithms, this major strategy in an FLC design still a given set from no-members by binary decision, the fuzzy sets
becomes a considerable challenge when the number of men- are characterized by their membership functions. In order to ma-
tioned variables is increased, when the parameters of the con- nipulate the fuzzy sets as well as ordinary sets with Boolean op-
trolled plants are varied, or when the conditions of the envi- erations, Zadeh [30] proposed the extension of the ordinary set
ronment are changed. To aim directly at this point, an adap- theory for fuzzy sets. Let and be two fuzzy sets in with
tive FLC with ease of membership function constructions and membership functions and , respectively. The fuzzy set
rule developments is necessary. In this paper, we take advantage operations of union, intersection, and complement are defined
of the superior characteristics inherent in the linguistic hedges as follows.
and the search ability of GA to design a novel FLC called a lin- Union:
guistic hedge fuzzy logic controller (LHFLC). In this controller,
each variable utilized is characterized by only three fuzzy sets
with simple-shape membership functions; therefore, the max- (3)
imum number of fuzzy rules required for a system with input
variables is . Moreover, a module called the linguistic hedge Intersection:
module embedded in this controller plays the role of a linguistic
modifier. It is used to dynamically modify the shape of simple-
shape membership functions according to the feedback signal (4)
from the controlled plants. This modification action allows the
LHFLC to utilize only fewer rules and simple-shape member- Complement:
ship functions without the satisfactory performance degrading.
In addition, to prevent the foul factors from damaging the system (5)
design, the adjustment of the linguistic hedge module through
the attached GA module makes this controller adaptive. Finally, These fundamental fuzzy operations are often used to build the
three well-known examples including the nonlinear plant model other fuzzy logic functions.
34 IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICSPART B: CYBERNETICS, VOL. 31, NO. 1, FEBRUARY 2001
absolutely (7)
very (8)
much more (9)
more (10)
plus (11) Fig. 2. Basic configuration of a fuzzy logic controller.
2) Dilation: In contrast, the effect of dilation is opposite to temperature of cold while the members in the fuzzy set more
that of concentration. The hedge operation of dilation de- or less cold are farther far away from the temperature of cold.
fined by Zadeh [30] is
C. Fuzzy Logic Controller
DIL (12) A fuzzy logic controller designed on the basis of the fuzzy
Similarly, some related hedge operations such as minus, more logic is an approximate reasoning-based controller, which
or less, and slightly can be defined as [38], [39] does not require exactly analytical models and is much closer
in spirit to human thinking and natural language than the
minus (13) traditional logic system. Fig. 2 shows the block diagram of an
FLC consisting of four principal units: the fuzzifier module,
more or less (14) fuzzy inference engine, knowledge base, and the defuzzifier
slightly (15) module. In fuzzy control applications, the observed data are
usually crisp. Since the data manipulation in an FLC is based
In order to consider the hedge effect on the fuzzy set, the on fuzzy set theory, fuzzification is necessary during an earlier
hedge operator very is used to stand for the concentration type stage. Fuzzification is related to the vagueness and imprecision
operation; the hedge operator more or less is used to stand for in a natural language, which translates the input crisp data
the dilation type operation. The fuzzy sets cold, very cold, and into the fuzzy representation for further processing. The most
more or less cold characterized by their membership functions outstanding feature of fuzzy set theory which made it very
, and are shown in attractive for applications is its ability to model the meaning of
Fig. 1. In this figure, the membership function of the fuzzy set natural language expressions. A fuzzy system is characterized
very cold is generated by applying the hedge operator very to by a set of linguistic statements according to expert knowledge
that of the fuzzy set cold while the membership function of the that is usually represented in the form of IFTHEN rules
fuzzy set more or less cold is generated by applying the hedge expressed as
operator more or less to that of the fuzzy set cold. Obviously,
the linguistic hedge very tends to narrow the shape of the IF (a set of conditions are satisfied)
membership function and decrease the membership degree; THEN (a set of consequences can be inferred) (16)
the linguistic hedge more or less tends to widen the shape of
the membership function and increase the membership degree. The antecedent and the consequence of these IFTHEN rules
That is, the members in the fuzzy set very cold are closer to the are associated with fuzzy concepts, so they are often called fuzzy
LIU et al.: DESIGN OF ADAPTIVE FUZZY LOGIC CONTROLLER 35
Fig. 4. Diagrammatic sketch of effects with very and more or less. (a) Effect of more or less. (b) Effect of very.
the input state is still far from the target ZE. Furthermore, the of the inference rules is reduced to a number as small as possible
FLC stresses the output control action to reach the target earlier. such as that only nine rules are used. Fig. 5 is the block dia-
The situation of located in ZE is the same as stated above. gram of this LHFLC, which consists of several modules similar
The stress of ZE forces FLC to consider that the input state is to those in a conventional FLC except for the linguistic hedge
very close to the target and to tune the output control action in a module attached to the fuzzifier module. Relying on the benefits
finer manner to fit control demand. On the other hand, opposite described, the number of inference rules used in this LHFLC is
to that of more or less, the effect of very suppresses the input nine. These rules are usually scheduled in a rule table. As
state. This means that if is located in NB or PB, the suppres- shown in Fig. 6, three fuzzy sets labeled NB, ZE, and PB are
sion forces FLC to consider that the input state is not far from used in this architecture, which are the most general and uni-
the target ZE and to control the output action to approach the versal representations of membership functions used in FLCs.
target in a finer manner. As usual, if is located in ZE, suppres- The Z-shape membership function of fuzzy set NB can
sion forces FLC to consider that the input state is not close to be expressed as
the target and to tune the output action in a coarser manner to fit
the system demand.
(21)
.. .. .. (27)
. . .
Fig. 6. Membership functions applied to linguistic hedge fuzzy logic
controller.
where is the -th basis of dimensional vector space, which
In order to apply the hedge operations to the proposed FLC, is defined as
the domains of the input variables are partitioned into in-
tervals. From the mathematical point of view, the membership ..
. (28)
functions , and seem to be assembled
by piecewise linear functions. These partitioned membership
functions denoted as , and can be ex- and
pressed as (29)
otherwise
The membership function in each interval After processing in the fuzzifier module and the linguistic hedge
is now modified by its corresponding hedge operator module, we send the resulting signals to the succeeding stage re-
.. .. .. (25)
. . .
38 IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICSPART B: CYBERNETICS, VOL. 31, NO. 1, FEBRUARY 2001
ferred to as the inference engine. This stage infers the fuzzy con-
trol actions employing fuzzy implication and rules constructed
by the expert experience. The fuzzy reasoning method adopted
in the LHFLC is Mamdanis Minimum Operation Rule [43].
The final stage is the defuzzifier module whose function is to
transfer the signal from the fuzzy set into the real world for ob-
taining the actual control actions. The widely used method, cen-
tral of gravity (COG), is adopted in the proposed LHFLC. In this
case, the crisp output can be derived by [5]
(31)
TABLE I
PARAMETERS FOR MODIFIED SIMPLE GA
(33)
(45)
(46)
otherwise
and
(47)
otherwise.
3) Mutation: Each element in a hedge combination string is
a possible candidate for the mutated element that may be ran-
domly replaced by all the hedge operators according to the mu-
Fig. 12. Fuzzy membership functions for e ( ) _( ), and 1
k ;e k x of conventional
tation probability . As an illustration, the individual mu- fuzzy logic controller with 323
rules.
tated in the -th element and the -th element results in the new
offspring expressed as (48) shown at the bottom of the next
page. V. DEMONSTRATIVE EXAMPLES AND EXPERIMENTAL RESULTS
In order to acquire better performance, several parameters for The capability and feasibility of the proposed LHFLC
GAs should be set appropriately. In this work, the parameters are demonstrated in this section. The focus of this work is
suggested by De Jong [44] are adopted, which are widely used to emphasize that the LHFLC with fewer rules can work
in GA community. These parameters are shown in Table I. better than a conventional FLC with more rules. To do this,
LIU et al.: DESIGN OF ADAPTIVE FUZZY LOGIC CONTROLLER 41
Fig. 13. Genetic algorithm performance at each generation of nonlinear plant model control system. (a) Average fitness value. (b) Average cost value.
three well-known nonlinear systems including the nonlinear The diagram of the plant control loop is plotted in Fig. 8. The
plant model control system, the truck backer-upper control goal of this system is to determine the plant input such that
system, and the cart-pole balance system are used to verify
the performance of the LHFLC. The number of rules chosen (51)
in this LHFLC is nine; the domain of each input variable
is divided into 16 equal intervals. Throughout this work, all where is a suitably chosen constant. That is, the faster
simulations are performed with MATLAB [45]. In addition, the tracks the reference signal , the better the controller will
physical cart-pole balance system is also used to demonstrate perform. In Fig. 8, the variables and represent the
the feasibility of this LHFLC. error input and the change rate of error input of the controller,
respectively, which are expressed as
A. Nonlinear Plant Model Control System (52)
1) Problem Description: The first example in this work is a and
non-BIBO nonlinear plant [40] with the plant model
(53)
(48)
hedge operators randomly selected from according to otherwise.
42 IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICSPART B: CYBERNETICS, VOL. 31, NO. 1, FEBRUARY 2001
TABLE II
PERFORMANCE FACTORS OF NONLINEAR PLANT MODEL CONTROL SYSTEM
sical control theory. The FLC is therefore a suitable choice to port values (with membership equal to 1) located at
replace the role played by this controller. The input variables of , and , respec-
the FLC are the error and its change rate ; the output variable tively.
is . In order to stress the power of the proposed LHFLC, the Conventional FLC with Rules
performance of the system controlled by the conventional FLC In this case, the number of rules in the conventional FLC
with rules and rules is also concerned. is reduced from to to run the same simulation.
2) Simulation Results: The rule table specifying the I/O relationships is shown in
Conventional FLC with Rules Fig. 11. Fig. 12 shows the membership functions for the
Fig. 9 shows the rule table specifying the implication input variables ( and ) scheduled by only three fuzzy sets
relationships between the input variables ( and ) and the with the simple shape membership functions linguistically
increment of the output variable in the FLC. As shown labeled as NB, ZE, and PB distributed over the intervals
in Fig. 10, the input variables and are characterized and , respectively; the output
by seven fuzzy sets with the Gauss-like membership variable is characterized by three fuzzy singletons NB,
functions distributed in the interval and ZE, and PB over the interval .
, respectively; the increment of the output LHFLC with Rules
variable is characterized by seven fuzzy singletons The major difference between the LHFLC and the FLC
over the interval with the sup- with rules is the inserted linguistic hedge module.
LIU et al.: DESIGN OF ADAPTIVE FUZZY LOGIC CONTROLLER 43
(56)
(57)
44 IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICSPART B: CYBERNETICS, VOL. 31, NO. 1, FEBRUARY 2001
Fig. 20. GA performance at each generation of truck backer-upper control system. (a) Average fitness value. (b) Average cost value.
The performance of the plant model controlled by this angle of the truck to the horizontal while the coordinate pair
LHFLC is indicated by the solid line in Fig. 14. We define specifies the position of the rear center of the truck in the
the settling time as the time for response to settle to within plane . The truck moves backward by some
% of the steady-state value. Therefore, the plant output fixed distance at each step. The experiment is targeted to drive
tracks the reference signal with 0.3 s settling time the truck to the loading dock at a right
in the proposed LHFLC system. In contrast, the plant output angle .
tracks the reference signal with 1.1 s settling time At each stage, the fuzzy logic controller produces the steering
when it is controlled by the conventional FLC with angle which causes the truck to back up to the loading zone
rules. Also, tracks with 2.7 s settling time when it is from any initial position with any angle in the plane. The dy-
controlled by the conventional FLC with rules. Clearly, namic equations describing the truck moving backward from
the LHFLC which adopts the least number of rules ( rules to at each iteration can be expressed as [41]
rather than rules as those in the conventional FLC) and
the simplest shape membership functions (the triangle-like (59)
membership functions rather than the Gauss-like ones as those (60)
in the conventional FLC) possesses the best performance. (61)
Table II summaries these results.
where is the fixed moving distance of the truck at each itera-
B. Truck Backer-Upper Control System tion. The constraints of these mentioned variables are
1) Problem Description: The truck backer-upper control
(62)
system with the goal of parking the truck in a prescribed
parking lot is shown in Fig. 15. Three variables , and (63)
describe this system well, where the variable specifies the (64)
(58)
LIU et al.: DESIGN OF ADAPTIVE FUZZY LOGIC CONTROLLER 45
Fig. 21. Trajectories of truck with the initial point (x; y; ) = (10; 10; 260 ).
where the positive values of represent clockwise rotations of designed membership functions linguistically labeled
the steering wheel while the negative ones represent counter- as NB, NM, NS, ZE, PS, PM, and PB corresponding
clockwise rotations. to the output variable are designed over interval
The performance of the FLC is measured in terms of the .
docking error defined as the Euclidean distance between the Conventional FLC with Rules
actual final position and the desired final position Similar simulation work is performed in the other conven-
of the truck, i.e., tional FLC in which the number of rules is reduced from
to to emphasize the capability of the LHFLC.
docking error The rule table is shown in Fig. 18. As shown in Fig. 19,
the input variable either or is scheduled by only three
(65)
For the FLC, the input variables are the -position and the fuzzy sets with the triangle-like membership functions lin-
truck angle ; the output variable is the steering angle . The guistically labeled as NB, ZE, and PB distributed over the
-position can be ignored because and are both the functions intervals and , respectively;
three fuzzy singletons with related linguistic labels corre-
of . In this example, the results acquired from the conventional
FLC with rules and rules are also mentioned to sponding to the output variable are specified in the in-
demonstrate the outstanding behavior of this proposed LHFLC. terval .
2) Simulation Results: LHFLC with Rules
Similar to the LHFLC designed in the first example, the op-
Conventional FLC with Rules timal linguistic hedge combination is searched by GA. The
Fig. 16 shows the rule table specifying the implication major concern is whether the truck backs at the right site
relationships between the input variables ( and ) and at a right angle or not; hence, the docking-error is included
the output variable in the FLC. As shown in Fig. 17, in the fitness function to search the optimal combinations.
five fuzzy sets with the carefully designed membership The fitness function is chosen as
functions linguistically labeled as NB, NM, ZE, PM, and
PB corresponding to the input variables are designed (66)
over interval ; seven fuzzy sets with the
carefully designed membership functions linguistically where is selected as 0.8 and is the cost function
labeled as NB, NM, NS, ZE, PS, PM, and PB corre- of the docking-error expressed in (65). In this example,
sponding to the input variables are designed over the GA performance is measured according to the
interval ; seven fuzzy sets with carefully docking-error oriented cost value. That is, the smaller the
46 IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICSPART B: CYBERNETICS, VOL. 31, NO. 1, FEBRUARY 2001
Fig. 22. Trajectories of truck with the initial point (x; y; ) = (30; 20; 60 ).
docking-error, the better the performance of this LHFLC. meet our claims again. That is, the LHFLC that adopts the least
The truck state is chosen as the number of rules ( rules rather than rules as those
initial state to search the optimal hedge combinations by in the conventional FLC) and the simplest shape membership
GA. The GA performance is shown in Fig. 20. This figure functions (the triangle-like membership functions rather than
indicates that the maximum average fitness value of 0.9 can the carefully designed ones as those in the conventional FLC)
be achieved at the 22nd generation. The resultant optimal possesses the best performance.
linguistic hedge combination vectors are shown in (67) at
the bottom of the page for the fuzzy set ZE and in (68) at the C. Cart-Pole Balance System
bottom of the page for the fuzzy sets NB and PB. 1) Problem Description: The cart-pole balance system is re-
Fig. 21 shows the trajectory of the truck with the initial ally a well-known nonlinear system the goal of which involves
state . The performance factors are both vertically balancing a pole hinged to a motor-driven cart
listed in Table III. According to the results in Table III, the and causing the cart to be stopped at the specified position by
proposed LHFLC possesses the lowest docking-error with applying forces on it either left or right. Fig. 23 represents the
the smallest number of iterations. To verify the generality cart-pole balance system, which can be described by the fol-
of this linguistic hedge combination, the other initial point lowing nonlinear differential equations [46] [see (69) and (70)
is also chosen to simulate this truck at the bottom of the next page], where the related parameters are
backer-upper control system. The simulation results in Fig. 22 m/s acceleration due to gravity;
and Table III reveal that the LHFLC still gets the best perfor- kg mass of cart;
mance of the truck backer-upper control system. These results kg mass of pole;
(67)
(68)
LIU et al.: DESIGN OF ADAPTIVE FUZZY LOGIC CONTROLLER 47
TABLE III
PERFORMANCE FACTORS OF TRUCK BACKER-UPPER CONTROL SYSTEM
Fig. 23. Diagram of simulated cart-pole balance system. Fig. 24. The 5 2 5 rule table of the cart-pole balance system.
m half-pole length; surface chosen. The sliding surface of the cart-pole balance
coefficient of friction of cart on track; system for the approaching mode is designed as
coefficient of friction of pole on cart;
s the sample time; (71)
the four state variables and the output variable are
position of the cart on the track (in meters); while that for the departure mode is chosen as
cart velocity (in meters per second);
angle of the pole with the vertical (in radians); (72)
rate of change of the angle (in radians per second)
in which the error vector is defined as the
force (in Newtons) applied to carts center of mass.
In this example, we use the switching-type fuzzy sliding difference between the actual state vector and
mode controller (FSMC) to control the cart-pole balance system the desired state vector . That is
as our platform. The switching-type FSMC proposed by Li [47]
is a method based on FLC and sliding mode controller (SMC)
[48][50], which achieves asymptotic stability of the system. (73)
The dynamics of the cart-pole balance system is divided into
approaching condition and departure condition. Two different
FSMCs to solve control problems for these two conditions The input variables of the switching-type FSMC are and its
should be designed, each characterized by the associated sliding time derivative ; the output variable is the force applied to
sgn
(69)
sgn (70)
48 IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICSPART B: CYBERNETICS, VOL. 31, NO. 1, FEBRUARY 2001
Fig. 25. Fuzzy membership functions for s; s_ , and f of switching-type fuzzy sliding mode controller with 5 2 5 rules.
Fig. 28. Genetic algorithm performance at each generation of cart-pole balance system. (a) Average fitness value. (b) Average cost value.
and the page for the fuzzy set ZE and in (78), shown at the
bottom of the page, for the fuzzy sets NB and PB.
(76)
Fig. 29 shows the response of the cart-pole balance system
controlled by the switching-type FSMC with either or
in which is the number of iterations during simula- rules and the LHFLC with associated . Obviously, either
tion. During the search process, the state the pole angle response or the cart position response reveals that
is chosen as the initial state to search the the LHFLC adopting the least number of rules and the simplest
optimal linguistic hedge combination by GA. The cost shape membership functions really enhances the performance of
values returned by GA reflect the qualities of the lin- the FLC adopting rules and Gauss-like membership func-
guistic hedge combinations searched. The lower the cost tions or the FLC adopting rules and triangle-like member-
value, the better the result searched. That is, we expect ship functions.
the pole angle to reach 0 rad and the cart to be located 3) Experimental Results: To apply the proposed LHFLC to
at the desired position m as fast as possible. the real experimental system, the cart-pole balance system man-
Fig. 28 shows the GA performance. Obviously, the max- ufactured by Phimatic Enterprise Co. Ltd. is used to demonstrate
imum average fitness value of 0.8 can be achieved at the this work. The arrangement of the whole experimental setup is
40th generation. The resultant optimal linguistic hedge illustrated in Fig. 30. The specifications of the related hardware
combination vectors are shown in (77) at the bottom of are listed as follows.
(77)
(78)
50 IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICSPART B: CYBERNETICS, VOL. 31, NO. 1, FEBRUARY 2001
VI. CONCLUSION
REFERENCES
[1] P. J. King and E. H. Mandani, The application of fuzzy control systems
to industrial processes, Automatica, vol. 13, no. 3, pp. 235242, 1977.
[2] L. A. Zadeh, Fuzzy sets, Inform. Contr., vol. 8, pp. 338353, 1965.
[3] M. Sugen and K. Murakami, Fuzzy parking control of model car, in
Proc. 23rd IEEE Conf. Decision and Control, Las Vegas, NV, Dec. 1984,
pp. 902903.
[4] O. Itoh, K. Gotoh, T. Nakayama, and S. Takamizawa, Application of
fuzzy control to activated sludge process, in Proc. 2nd Int. Fuzzy Syst.
Association Congr., Tokyo, Japan, July 1987, pp. 282285.
[5] C. C. Lee, Fuzzy logic in control systems: Fuzzy logic controllerPart
I, II, IEEE Trans. Syst., Man, Cybern., vol. 20, pp. 404432, Mar./Apr.
1990.
[6] H. J. Zimmermann, Fuzzy Set Theory and Its Applications. Norwell,
MA: Kluwer, 1991.
[7] D. G. Schwartz and G. J. Klir, Fuzzy logic flowers in Japan, IEEE
Spectrum, vol. 29, no. 7, pp. 3235, July 1992.
Fig. 32. Photograph of cart and pole during control with initial conditions [8] P. K. Simpson, Fuzzy minmax neural networksPart 1: Classifica-
_ x; x_ ) = (0; 0; 0; 0).
(; ; tion, IEEE Trans. Neural Networks, vol. 3, pp. 776786, Sept. 1994.
[9] S. Abe and M. S. Lan, A method for fuzzy rules extraction directly from
numerical data and its application to pattern classification, IEEE Trans.
Z-shape. The number of rules is nine and the number of parti- Fuzzy Syst., vol. 3, pp. 1828, Feb. 1995.
tions of each input variable is 16. We have also performed exper- [10] L. X. Wang and J. M. Mendel, Generating fuzzy rules by learning from
iment on the real cart-pole balance system to prove this LHFLC examples, IEEE Trans. Syst., Man, Cybern., vol. 22, pp. 14141427,
Nov. 1992.
to be practical. Both the simulation and experimental results re- [11] R. L. P. Chang and T. Pavlidis, Fuzzy decision tree algorithms, IEEE
veal that the proposed scheme is really feasible. Trans. Syst., Man, Cybern., vol. SMC-7, pp. 2835, Jan. 1977.
Due to the benefits mentioned such as characterizing the re- [12] E. T. Lee, Fuzzy tree automata and syntactic pattern recognition, IEEE
lated variables by simple-shape membership functions, infer- Trans. Pattern Anal. Machine Intell., vol. PAMI-4, pp. 445449, July
1982.
ring control actions based on fewer rules, and its adaptability, [13] S. Morishima and H. Harashima, Automatic rule extraction from sta-
this LHFLC is attractive especially in the systems with more tistical data and fuzzy tree search, Syst. Comput. Jpn., vol. 19, no. 5,
variables. Furthermore, to be suited to the real-world applica- pp. 2637, May 1988.
[14] M. Delgado, J. L. Verdegay, and M. A. Vila, On fuzzy tree definition,
tions, the study on developing a hardware realization of this
Eur. J. Oper. Res., vol. 22, no. 2, pp. 243249, Nov. 1985.
LHFLC in VLSI to achieve a real-time adaptive FLC will be [15] I. B. Turksen and Y. Tian, Two-level tree search in fuzzy expert system,
continued in the future. IEEE Trans. Syst., Man, Cybern., vol. 25, pp. 555568, Apr. 1995.
52 IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICSPART B: CYBERNETICS, VOL. 31, NO. 1, FEBRUARY 2001
[16] B. D. Liu and C. Y. Huang, Design and implementation of the tree- [39] C. Y. Huang, C. Y. Chen, and B. D. Liu, Current-mode fuzzy linguistic
based fuzzy logic controller, IEEE Trans. Syst., Man, Cybern. B, vol. hedge circuits, Analog Integr. Circuits Signal Process., vol. 19, no. 3,
27, pp. 475487, June 1997. pp. 255278, June 1999.
[17] C. L. Karr, Design of an adaptive fuzzy logic controller using a genetic [40] C. C. Ku and K. Y. Lee, Diagonal recurrent neural networks for
algorithm, in Proc. 4th Int. Conf. Genetic Algorithms, San Diego, CA, dynamic systems control, IEEE Trans. Neural Networks, vol. 6, pp.
July 1991, pp. 450457. 144156, Jan. 1995.
[18] J. H. Holland, Adaptation in Natural and Artificial Systems. Ann [41] B. Kosko, Neural Networks and Fuzzy Systems. Englewood Cliffs, NJ:
Arbor, MI: Univ. of Michigan Press, 1975. Prentice-Hall, 1992.
[19] D. E. Goldberg, Genetic Algorithms in Search, Optimization and Ma- [42] A. G. Barto, R. S. Sutton, and C. W. Anderson, Neuronlike adaptive
chine Learning. Reading, MA: Addison-Wesley, 1989. elements that can solve difficult learning control problems, IEEE Trans.
[20] L. B. Booker, D. E. Goldberg, and J. H. Holland, Classifier systems and Syst., Man, Cybern., vol. SMC-13, pp. 834846, Oct. 1983.
genetic algorithms, Artif. Intell., vol. 40, no. 13, pp. 235282, Sept. [43] E. H. Mamdani, Application of fuzzy logic to approximate reasoning
1990. using linguistic synthesis, IEEE Trans. Comput., vol. C-26, pp.
[21] G. A. Vignaux and Z. Michalewicz, A genetic algorithm for the linear 11821191, Dec. 1977.
transportation problem, IEEE Trans. Syst. Man, Cybern., vol. 21, pp. [44] K. A. De Jong, An Analysis of the Behavior of a Class of Genetic Adap-
445454, Mar./Apr. 1991. tive Systems, Ph.D. dissertation, Dept. Comput. Sci., Univ. Michigan,
[22] D. S. Weile, E. Michielssen, and D. E. Goldberg, Genetic algorithm Ann Arbor, 1975.
design of Pareto optimal broadband microwave absorbers, IEEE Trans. [45] K. A. De Jong, Matrix Laboratory. Natick, MA: Mathworks, 1992.
Electromagn. Compat., vol. 38, pp. 518524, Aug. 1996. [46] P. H. Cannon, Dynamics of Physical Systems. New York: McGraw-
[23] C. H. Chang and Y. C. Wu, The genetic algorithm based tuning Hill, 1967.
method for symmetric membership functions of fuzzy logic con- [47] T. S. Li and C. Y. Tsai, Parallel fuzzy sliding mode control of the
cart-pole system, in Proc. IEEE IECON, Orlando, FL, Nov. 1995, pp.
trol systems, in Proc. IEEE Conf. Industrial Automatic Control
14681473.
Emerging Technological Applications, Taipei, R.O.C., Dec. 1995,
[48] J. E. Slotine, Applied Nonlinear Control. Englewood Cliffs, NJ: Pren-
pp. 421428.
tice-Hall, 1991.
[24] T. Iokibe, A method for automatic rule and membership function
[49] J. Y. Hung, G. Senior, and J. C. Hung, Variable structure control: A
generation by discretionary fuzzy performance function and its ap-
survey, IEEE Trans. Ind. Electron., vol. 40, pp. 222, Feb. 1993.
plication to a practical system, in Proc. 1st Int. Joint Conf. North
[50] W. Gao and J. C. Hung, Variable structure control of nonlinear systems:
American Fuzzy Information Processing Society Biannual Conf., Ind.
A new approach, IEEE Trans. Ind. Electron., vol. 40, pp. 4555, Feb.
Fuzzy Control Intelligient Systems Conf. NASA Joint Technology Work-
1993.
shop Neural Networks Fuzzy Logic, San Antonio, TX, Dec. 1994, pp.
[51] J. C. Hung, MBSP Manual. Hsinchu, Taiwan, R.O.C.: Phimatic Enter-
363364.
prise Co., Ltd., 1995.
[25] K. Hayashi, H. Nomura, and N. Wakami, Acquisition of inferential rule
by neural network drive type fuzzy reasoning, J. SOFT, vol. 2, no. 4,
pp. 579585, 1990.
[26] R. Krishnapuram, Generation of membership functions via possibilistic
clustering, in Proc. 5th IEEE Int. Conf. Fuzzy Systems, Orlando, FL,
June 1994, pp. 902908.
[27] C. J. Kim and B. D. Russell, Automatic generation of membership func-
tion and fuzzy rule using inductive reasoning, in Proc. 3rd IEEE Int.
Conf. Industrial Fuzzy Control Intelligient Systems, Houston, TX, Dec.
1993, pp. 9396. Bin-Da Liu (S79M82SM95) received the B.S.,
[28] L. Chen, J. Yan, and Y. He, A new approach for the automatic genera- M.S., and Ph.D. degrees all in electrical engineering
tion of membership functions and rules of multi-variable fuzzy system, from the National Cheng Kung University (NCKU),
in Proc. IEEE Int. Conf. Neural Networks, Perth, Australia, Nov. 1995, Tainan, Taiwan, R.O.C., in 1973, 1975, and 1983, re-
pp. 13421380. spectively.
[29] C. J. Wu and C. C. Li, Automatically generated rules and member- From 1975 to 1977, he served as Electrical Officer
ship functions for a neural fuzzy-based fault classifier, in Proc. 37th in the Combined Service Forces. Since 1977 he has
Midwest Symp. Circuits Systems, Los Angeles, CA, Aug. 1994, pp. been on the faculty of NCKU, where he is currently
13771380. Professor and Chair of the Electrical Engineering De-
[30] L. A. Zadeh, Outline of a new approach to the analysis of complex partment. From 1983 to 1984, he was a Visiting As-
sistant Professor in the Department of Computer Sci-
systems and decision processes, IEEE Trans. Syst., Man, Cybern., vol.
ence, University of Illinois, Urbana-Champaign. From 1988 to 1992, he was the
SMC-3, pp. 2844, Jan. 1973.
Director of Electrical Laboratories, NCKU. From 1996 to 1999, he was Asso-
[31] W. Banks, Mixing crisp and fuzzy logic in applications, in
ciate Chair of the Electrical Engineering Department. From 1990 to 1993, he
WESCON94, Idea/Microelectronics Conf. Record, Anaheim, CA,
was appointed a member of the Evaluation Committee for Junior Engineering
Sept. 1994, pp. 9497.
College, Ministry of Education, R.O.C. Since 1995, he has been a consultant of
[32] B. Bouchon-Meunier, Linguistic hedges and fuzzy logic, in Proc. the Chip Implementation Center, National Science Council, R.O.C. His current
1st IEEE Int. Conf. Fuzzy Systems, San Diego, CA, Mar. 1992, pp. research interests include physical design and testing for VLSI circuits, high-
247254. voltage integrated circuit design, and VLSI implementation for fuzzy-neural
[33] V. Novk, A horizon shifting model of linguistic hedges for approxi- networks and video signal processors. He has published more than 140 tech-
mate reasoning, in Proc. 5th IEEE Int. Conf. Fuzzy Systems, New Or- nical papers.
leans, LA, Sept. 1996, pp. 423427. Dr. Liu is a member of Phi Tau Phi, International Union of Radio Science,
[34] N. C. Ho and W. Wechler, Hedge algebras: An algebraic approach to Chinese Fuzzy Systems Association, and the Chinese Institute of Electrical
structure of sets of linguistic truth values, Fuzzy Sets Syst., vol. 35, no. Engineers. He received the Dragon Distinguished Paper Award from the Acer
3, pp. 281293, May 1990. Foundation in 1991 and 1997, and the Best Paper Award from the CIEE in
[35] , Extended hedge algebras and their application to fuzzy logic, 1995. Since 1988 he has received the Research Award from the National
Fuzzy Sets Syst., vol. 52, no. 3, pp. 259281, Dec. 1992. Science Council every year. He served as member of the Program Committee
[36] C. Y. Huang, C. Y. Chen, and B. D. Liu, Current-mode linguistic hedge of the 1998 and 1999 IEEE Workshop on VLSI Signal Processing Systems.
circuit for adaptive fuzzy logic controllers, Electron. Lett., vol. 31, no. He also served as member of the Technical Program Committee of the 1998
17, pp. 15171518, Aug. 1995. and 2000 IEEE Asia Pacific Conference on Circuits and Systems, and the First
[37] C. Y. Chen, C. Y. Huang, and B. D. Liu, Current-mode fuzzy linguistic and Second IEEE Asia Pacific Conference on ASICs. Since 1992, he has
hedge circuitContrast intensification, in Proc. IEEE Int. Symp. Cir- served as member of the Technical Program Committee of the R.O.C. VLSI
cuits Systems, vol. 3, Atlanta, GA, May 1996, pp. 511513. Design/CAD Symposium and served as the Program Chair in 1994. Since 1997
[38] C. Y. Chen, C. Y. Huang, B. D. Liu, and T. J. Su, A current-mode fuzzy he has served as member of the Technical Program Committee of the R.O.C.
linguistic hedge circuitMore or less, in Proc. IEEE Int. Conf. Fuzzy National Conference on Fuzzy Theory and Its Applications. He organized the
Systems, New Orleans, LA, Sept. 1996, pp. 10801085. R.O.C. Student VLSI Design Contest in 1998, 1999, and 2000.
LIU et al.: DESIGN OF ADAPTIVE FUZZY LOGIC CONTROLLER 53
Chuen-Yau Chen (S00) received the B.S. degree Ju-Ying Tsao received the B.S. degree in electronic
in electrical engineering from National Cheng Kung engineering from Chung Yuan Christian University,
University (NCKU), Tainan, Taiwan, R.O.C., in Taiwan, R.O.C., and the M.S. degree in electrical
1995. Since September 1996, he has been pursuing engineering from National Cheng Kung University,
the Ph.D. degree in electrical engineering at NCKU. Tainan, Taiwan, in 1996 and 1998, respectively.
From 1999 to 2000, he was the System Adminis- From 1998 to 1999, she was the Applications
trator of the VLSI/CAD Laboratory at the Depart- Engineer of Cadence Branch Office in Hsinchu,
ment of Electrical Engineering, NCKU. His current Taiwan. In 2000, she joined EE-Solutions, Inc.,
research interests include design of fuzzy logic con- Hsinchu, where she is a member of the consulting
troller as well as design of current-mode and mixed- staff of the EDA department. She focuses on the
signal circuits and systems. He has also dealt with physical design portion of the Ultra Deep Submicron
applications of genetic algorithm and guided-evolution simulated-annealing al- (UDSM) SOC design flow. Her current expertise is the analysis of UDSM
gorithm. effects that may cause chip failures such as IR drop, substrate noise integrity,
and signal integrity.