Electronic control system

Abstract: A standardized microcontroller-based fuzzy logic processing module (101) for generating control signal values in response to variable input signal values in accordance with constraints imposed by propositions or "rules" stored in memory (117) in a standardized format. Each rule consists of one or more input conditions and an output directive. Each input signal (110) and the output signal (112) values are characterisable by their degree of membership in a predetermined number of fuzzy sets, each fuzzy set being defined by a membership function (119). Each input condition is composed of a reference to a particular input variable, which has been preprocessed into integer (whole number) normalised form and a reference to a membership function. Each output directive includes a reference to a further membership function. Each membership function is implemented by one of a three possible forms of standard membership data structures: a triangular function represented by three data points, a table lookup function represented by a two end data points and the points between these two end points, and an standard shape function composed of a set of data points and a set of reference points used to form a similar shape function by interpolation. Fuzzy logic processing is accomplished by determining the extent to which the input conditions are satisfied by the current values of the input signals in order to develop a rule strength value, and then performing a "centre-of-gravity" determination based on the output membership function values (118) of each satisfied rule integrated over the range of possible output signal values.

Description: This invention relates generally to electronic control systems and, more particularly, to a system for generating process control signals which vary in response to changing input signals in accordance with constraints imposed by rules which state system objectives. Control systems typically use feedback mechanisms to vary the value of an actuating signal in response to variations in sensed system conditions. By manipulating signals which are directly proportional to sensed system conditions, as well as signals related to integrals or derivatives of sensed signals, accurate control of many dynamic systems may be successfully achieved. Such feedback control systems work well because they are able to model desired system performance, sense the state of the physical system and compare it with the desired model, and generate error-correcting feedback signals so that the physical system behaves in accordance with the desired model. Frequently, however, even an elaborate proportional-integral-differential (PID) controller cannot accurately model more complex physical systems. Many control functions which humans easily perform cannot be automated by conventional feedback controllers. For example, the functions which an experienced automobile driver performs (turning the steering wheel, pressing the brake and accelerator pedal, and shifting gears) can't be handled by conventional controllers, because the driver's movements are based on a complex inputs which the driver processes based on past experience. A technique called "fuzzy logic," developed by Dr. Lotfi Zadeh and described in "Fuzzy Sets," Information and Control , Vol.8. No. 3, June 1965, pp. 338-53, has proven highly effective in controlling complex systems. Using fuzzy logic, input variables are processed against a collection of rules, each of which expresses a system objective in propositional form; for example: "if velocity is low and rpm is low then shift to 1st-gear." Unlike conventional logic, in which conditions are either satisfied or not satisfied, the conditions "velocity is low" and "rpm is low" may be only partially satisfied so that the rule is only partially satisfied. As a consequence, when the input conditions are only partially satisfied, the rule and its output directive to "shift to low gear" is assigned less "rule strength". In the fuzzy logic based controller, many such rules are evaluated concurrently. The actual gear selection is performed by combining all directives from all of the satisfied rules in accordance with the degree to which each rule was satisfied, thereby arriving at a consensus directive. The specification of US Patent No 4 837 725 describes a fuzzy logic circuit for use in composing a desired fuzzy membership function. The logic circuit has plural basic circuits to produce signals representing basic fuzzy membership functions. In addition the logic circuit includes what are described as a MIN circuit and a MAX circuit to which the output signals from the basic circuits are fed. The result is to produce a desired fuzzy membership function based on a MIN/MAX operation of the output signals from the basic circuits. This patent is concerned with an analog circuit arrangement and describes fuzzy logic as inherently incompatible with digital computation using binary logic. The specification of US Patent No 5 243 687 describes a fuzzy computer system which has a digital processor, a digital memory, a fuzzy inference processing circuit and an interface for the fuzzy inference processing circuit. The digital memory stores programs to be executed by the processor and inference rules used by the fuzzy inference processing circuit. The interface connects the digital processor and the fuzzy inference processing circuit through a bus. The digital processor gives the inference rules stored in the digital memory to the fuzzy inference processing circuit through the interface and fetches the result of the inference through the interface. The specification of US Patent No 5 249 258 describes a fuzzy logic computer having a multi-stage construction which includes a primary fuzzy logic computer at a first rank and a child fuzzy logic computer at a lower rank. A system is provided to send the results of the child computer to the primary computer in such a manner that the logic performed by the primary computer is assisted by the child computer. Fuzzy logic control systems allow the possible state or signal values assumable by the system to be classified into "fuzzy sets," each defined by a membership function. A membership function associated with a given signal thus provides an indication of the degree-of-membership the current value of that signal has with respect to the fuzzy set. Rules express both their conditions and their directives in terms of fuzzy sets. For example, a condition that "velocity is low" might be represented by a triangular membership function which yields a maximum degree-of-membership value at 4 mph, and which goes to zero at -3 mph and +11 mph. Given a current speed value, the membership function specified in the first rule condition yields a degree-of-membership value which is then combined with the degree-of-membership value from the second condition, "rpm is low," to determine the current rule strength. The rule's directive, "shift to low gear," is also expressed as a fuzzy set, with "low gear" being represented by a membership function which yields a degree-of-membership value for each possible gear ratio. The determination of the "consensus" among all of the applicable rules is typically accomplished by calculating the "centre of gravity" of all of the rules, taking into account both their rule strength, as determined by the degree to which each rule's condition(s) were satisfied, and the shape of the membership function for the rule's output directive. In complex fuzzy logic systems employing a large number of rules, the calculations required to reach the desired consensus output value are extensive. When control systems must operate in real-time, the speed at which the desired output control values must be calculated to keep pace with rapidly changing input signal can place a substantial burden on the system's computational resources. In contrast, other control functions in the same system may use fuzzy logic rules which need to be evaluated relatively infrequently. In many environments, such as a vehicle control system, it is desirable to perform fuzzy logic manipulations in combination with conventional control functions. In this way, a group of both fuzzy and non-fuzzy logic controllers may manipulate or respond to the same input or output signals, or share resources, such as sensors, actuators or other instrumentalities. Such related control functions are preferably implemented using a single microcontroller, suitably programmed to perform associated functions in a coordinated way. According to the present invention, there is provided apparatus for generating an output signal in response to a plurality of input signals, said apparatus comprising, in combination, preprocessing means for producing a digital input integer value representative of the current value of each of said input signals; memory means for storing, for each of said input signals and for said output signal, a predetermined number of associated membership functions, each of said membership functions specifying a predetermined degree-of-membership integer value for each integer value assumable by the signal associated with that membership function, memory means for storing a plurality of rules, each of said rules specifying at least one input membership function associated with one of said input signals and an output membership function associated with said output signal; a programmed microcontroller for repeatedly generating successive values of said output signal in response to successive values of said input signals, said programmed microcontroller comprising: means for producing a total-area value and a total-moment-arm value by respectively summing area values and moment-arm values which are determined for each given output integer value assumable by said output signal, each of said area values being determined by: sequentially accessing each given rule of said plurality of rules for each of said output integer values to derive a rule directive value based on the minimum of: a degree-of-membership integer value produced by an input membership function associated with said given rule and the rule output integer value specified by the output membership function associated with said given rule for said given output integer value; and selecting the largest of the rule directive values derived for each of said rules as the area value for said given output integer value; and each of said moment-arm values being formed by multiplying the area value determined for each given output integer value by said output integer value, and means for producing the current value of said output signal by determining the ratio of said moment-arm value divided by said total-area value. The apparatus embodying the invention performs fuzzy logic control functions by means of an efficient, standardised, general-purpose, sharable processing module which performs integer arithmetic fuzzy logic operations on input signal values by reference to conditional propositions, or "rules," having predetermined formats to produce de-fuzzified output signal values. In the preferred embodiment to be described, seven membership functions are established for each signal and represent a group of seven fuzzy sets. Although these sets are typically designated with the semantic names "negative large," "negative medium," "negative small," "zero," "positive small," "positive medium," and "positive large," the signal values which are within any given set may be any collection of values which are defined by that set's membership function. The membership function may assume one of three standard forms: (a) a triangular function specified by left and right signal value limits, both of which have a zero degree-of-membership value, and a "centre" signal value having the maximum degree-of-membership value; (b) a table-lookup function specified by an array of degree-of-membership values in memory indexed by the current integer signal value; and (c) a shape function specified by left and right signal range limits having zero degree-of-membership values, and the specification of a table-lookup function which defines a template shape (such as a bell-shape) from which the actual degree-of-membership values of the shape function are interpolated. The module performs fuzzy logic operations specified by a plurality of rules, each rule being expressed in a standard format which identifies one or more input condition(s) by specifying input membership function(s) and further specifying an output membership function. Using high speed integer arithmetic, the processing module derives the rule strengths for each rule, then performs an integer arithmetic centre-of-gravity calculation to determine the desired, de-fuzzified output signal value. For efficiency of storage, the input membership functions are preferably implemented as triangular functions whose membership values are calculated from the current input values by determining the membership function and input value line intersections. To speed execution, the output membership functions take the form of table lookup functions which may be dynamically precalculated by interpolation from predetermined shape function limit values. The invention will now be described further, by way of example, with reference to the accompanying drawings, in which: Figure 1 is a block diagram illustrating the functional organisation of the preferred embodiment of the invention; Figure 2 is a graph of a triangular membership function used to convert signal values into degree-of-membership values for a fuzzy set; Figure 3 is a memory map of the values needed to specify the values needed to define seven triangular membership functions for a given signal; Figure 4 is a graph showing the relative locations of values stored in memory for a representative table lookup membership function; Figure 5 is a memory map of the values which define lookup membership functions for each of seven sets associated with a given signal; Figure 6 is a graph showing the locations of values stored in memory for a shape function; Figure 7 is a memory map of the values needed to specify seven shape membership functions for a given signal; Figure 8 is a memory map illustrating the addressing mechanism used to specify the set of membership functions during the processing of a collection of rules to determine a defuzzified output value from a designated group of input values; Figure 9 is a flow chart illustrating the processing steps used to evaluate the applicability of a collection of fuzzy logic rules to develop an output control signal magnitude; Figure 10, parts (a) through (g)., are illustrative graphs showing the triangular input and output membership functions defined by two rules and the manner in which those rules are processed with respect to two input signals to yield an output control value; Figure 11 is a flowchart illustrating the processing steps used in performing the centre-of-gravity determination to form the desired output signal magnitude in accordance with the invention; and Figure 12 is an enlargement of Figure 9(g) which illustrates the mechanism for determining a centre-of-gravity value. The embodiment of the invention to be described utilises a programmed microcontroller to perform general-purpose fuzzy logic control functions as generally shown in Figure 1 of the drawings. The fuzzy logic module 101 accepts input signals from a several sources 103, 105 and 107, each signal being pre-processed at 109 to form normalised digital signals which take the form of integer values supplied to the module 101 by the fuzzy logic inputs 110. The module 101 repeatedly processes the current value of the digital input signals 110 to produce a sequence of digital integer output values at 112. This sequence of output values is then translated by suitable post-processing at 113 into a control signal for driving a utilisation device, such as the actuator 115 seen in Figure 1. The logic module 101 creates the integer output signal values at 112 by comparing the input signals at 110 with conditions defined in a group of rules stored in memory at 117. The conditions expressed in the rules identify input membership functions which are stored at 119. The identified input membership functions from 119 are then used at 120 to determine a "rule strength" value for each rule indicating the extent to which the rule's input conditions are satisfied by one or more of the input signal value(s) at 110. The resulting rule strength values are stored temporarily at 122. Using these stored rule strength values and the output membership functions 118, the module then determines a "centre-of-gravity" value at 124 yielding the output integer value at 112. The centre-of-gravity determination is performed in part by integrating degree-of-membership values produced by the output membership functions stored at 128 over the range of possible output integer values, each degree-of-membership value being limited by the rule strength values stored at 122. The results from the integration are then processed to form a centre-of-gravity value delivered as the "de-fuzzified" output integer value at 112. This output integer represents the consensus of all of the rules whose conditions are satisfied, to varying degrees, by the input signal values at 110, and is converted by post-processing into a signal magnitude appropriate for controlling a utilisation device, such as the actuator 115 shown in Fig. 1. In accordance with the invention, the fuzzy logic module employs "fuzzy sets" defined by membership functions having predetermined formats which are stored in memory and which characterise the values assumable by both the input signals and the desired output signal. To permit the use of standard processing methods, each input signal is preprocessed at 109, before being supplied to the fuzzy logic module so that a normalised signal level is supplied at 110 in the form of a digital integer having a predetermined range of possible values, e.g., 0 to 40. In addition, a predetermined number of fuzzy sets is used to characterise the possible values assumable by each input signal level. In the preferred embodiment, each signal value is a member of one or more of seven sets which may be indicated by the semantic designations "negative large," "negative medium," "negative small," "zero," "positive small," "positive medium," and "positive large." Signal values which are outside a given set are assigned a zero degree-of-membership value, whereas each possible signal value within a given set is associated with a degree-of-membership value expressed as an integer having a predetermined range. In the preferred embodiment described here, the maximum degree-of-membership in a set is represented by the integer 32. Membership functions are stored in memory to translate each integer signal value into a degree-of-membership values for any designated fuzzy set associated with that signal. Triangular Membership Functions In order to efficiently store the potentially large number of data points necessary to define the membership functions needed for several input signals, the preferred embodiment stores each input membership function by defining the three corner points of a triangle. Triangular membership functions are bounded at the right and left by designated signal values representing the outer limits of signal values which are within the fuzzy set being defined. The third designated signal value indicates the signal value at which the maximum degree of set membership occurs. A representative standard triangular membership function defined by the three integer values X L , X C and X R is shown in Fig. 2 of the drawings. Figure 3 is a chart showing the array of stored integers which define the seven triangular fuzzy sets which are preferably used to evaluate each input signal. Degree-of-membership values for triangular fuzzy set membership function are determined by locating the intersection of the vertical line, representing a signal value, with the triangle. The processing routine first determines whether the given input value lies within the boundaries of the triangle. If the input is outside the triangle, then the output degree-of -membership value is known to be zero since in input does not belong to that set. Once the input is determined to intersect the triangle, the routine determines if the input is to the right or left of the maximum or "centre" value, X C . The routine then determines the Y (degree-of-membership) co-ordinate at the intersection point given the X co-ordinate by using the slope-line equations: For inputs right of centre (i.e. inputs > X C ): Degree of Membership = [(X R - Input) * 32 / (X R - X C )] For inputs left of centre (i.e., inputs < X C ): Degree of Membership = [(Input - X L ) * 32 / (X C - X L )]. The scaling factor 32 is chosen to give rule strengths of appropriate resolution within the dynamic range. The maximum degree-of-membership at the "centre" value X C of a triangular membership function need not be midway between the two outer limits X R and X L . For example, the fuzzy set "negative large" might be represented by a right triangle where both X C and X L are equal to 0, the lowest value assumable by an integer variable. The corner-point designations for a group of seven triangular membership functions are preferably associated with each input function. The array of integers defining the seven triangular sets is illustrated in Fig. 3 of the drawings. In accordance with the invention, each membership function is further identified in memory with a type indicator. For example, the value 1 indicates a triangular membership function while 2 indicates a table lookup membership function and 3 a bell-shaped function. Table Lookup Membership Functions The frequently accessed output membership functions stored at 118 are preferably represented in memory by table lookup values in order to speed computation. Each table lookup membership function is stored in memory as a sequence of numbers, beginning with the left and right outer range limits of the set X R and X L , both of which yield zero degree-of-membership values, followed by N = ( X R - X L - 1) degree-of-membership values respectively associated with the output signal values (X L + 1) through (X R - 1 ) . The shape of a typical lookup function (which may take any suitable form) is shown in Fig. 4. The data values for the lookup function are stored in memory as shown in the memory map of Fig. 5. The first two numbers, X R and X L , of each function specify the outer limits of the fuzzy set, and the remaining values M1 through MN of each set represent the degree-of-membership values for the intermediate points. The lookup values graphically depicted in Fig. 4 might be appropriate for a "negative large" membership function defined by the stored data points: 0,12;29,27,25,21,19,16, 13,11,8,5, and 3. With table look-up storage, the shape of the membership function is unlimited. It is, however, normally desirable to have a membership function that is continuous so that changes in the inputs don't cause abrupt changes in the output. Bell-Shaped Membership Functions Membership functions having predefined shapes may also be dynamically constructed at run time from stored template information. For example, a standard bell-shaped membership function having a shape depicted in Fig. 6 may be stored in a standard "high resolution" lookup table structure as seen in Fig. 7(a). As seen in Fig. 7(b), the upper and lower limits X L and X R only are stored for each of the seven fuzzy sets associated the semantic designation of the output memberships. The actual lookup function is then derived by interpolation from the high- resolution function, scaling that function to the proper limits for each of the seven sets. If high speed processing is not required, this interpolation may be accomplished as part of the processing of each input signal value. Alternatively, the interpolation may be performed during process initialisation to create a complete lookup data point array, organised as shown in Figure 5 of the drawings, for each of the seven fuzzy sets associated with a given signal variable. Rule Storage In accordance with the invention, the behaviour of the fuzzy logic module is determined by a set of rules stored in memory, as seen at 117 in Fig. 1. The data structure used to define the rules consists of the following predetermined memory locations: 1. a memory location containing the value NoOfRules, the number of rules used to generate a given defuzzified output signal; 2. an array of rule addresses indexed by rule number; and 3. a variable length record structure for each rule defining one or more input signal conditions and an output directive. Each input signal condition defined by a rule consists of a input identifier, which designates a particular input signal by number, and an input membership function identifier (e.g., nl, nm, ns, ze, ps, pm or pl) which specifies the particular fuzzy set to which the current value of the identified input signal must belong in order to satisfy the condition. Thus, an input condition might be expressed in a rule as "3,PS", a condition which would be satisfied whenever the current value of input3 is a member of the set PS (positive small). Similarly, the output directive consists of the combination of an output identifier value and a membership function. For example, the output directive "output,pm" indicates that the output signal should be a member of the set pm (positive medium) when the rules input conditions are satisfied. A rule may contain more than one input condition. Thus, the rule "1,nl,2,ze,output,ns" can be stated as the linguistic proposition "if inputl is negative large and input2 is zero then the output should be negative small." Rule Processing Fig. 8 of the drawings illustrates the manner in which, given a stored collection of rules, the fuzzy logic module locates the information structures required to calculate "rule strength" values. The rules themselves are stored in memory at addresses which are stored at 201 in an array of rule addresses. The rules may accordingly be accessed, by the rule number, from 1 up to and including the value NoOfRules, which is stored in memory to specify the last rule stored. In the example shown in Fig. 8, the array 201 is indexed by rule number 2 to yield the address of the second rule 202. The second rule at 202 contains a pair of input conditions and an output directive. The first condition identifies the particular input signal to be tested, Input1=4, to specify row 4 in an array 203 which contains membership function identification information for signal number 4 as defined in 110. The column of array 203 is specified by the first membership function identifier Membl in the rule 202. In Fig.8, the value of Membl is "ps" (positive small), thus specifying the cell 204. The cell 204.contains two values: the first value "1" specifies the type of membership function (triangular) which has been selected to define the "ps" (positive small) set for the fourth input signal. The second portion of cell 204 contains the address of the data defining the triangular function which, in this case, is a triangular function defined by the three corner values X L , X C and X R stored at 205. In the same way, the fuzzy logic module is able to identify the type and location of every membership function and its associated input signal in order to evaluate all of the rules governing the fuzzy logic translation of the sensed input signals into a desired output signal. Rule Strength Determination As indicated in the block diagram of Fig. 1, the fuzzy logic module contemplated by the present invention processes the input signals at 110 by first determining the strengths of the rules, given the current input values, and stores the rule strengths at 122. After the rule strengths have been determined, the process then determines a centre-of-gravity value at 124. This processing is shown in more detail in the flowchart, Figure 9. Rule processing begins at 220 as seen in Fig. 9. Before each rule is evaluated, its rule strength variable is initialised to 1 at 221. Each rule condition is then identified at 222, its membership function is located at 224, and the current value of the input signal associated with that condition is obtained at 226. The membership value specified by the located membership function given the associated input signal value is then determined at 228. In the specific embodiment of the invention shown in Fig. 9, those rules which contain more than one condition combine those conditions using a logical AND operator. Rules which combine conditions using the logical OR operator are not used; instead, equivalent relationships are established using separate rules to express the separate conditions. By limiting the relationship between conditions within a rule in this fashion, processing is simplified and less storage space is consumed by the rules, which need not include fields indicating the logical relationship between conditions. The fuzzy logic equivalent of the AND operation is performed by selecting the minimum (MIN) condition membership value among the conditions within a rule. Thus, if any condition is totally unsatisfied (that is, evaluates to a zero value), the result is zero. For single condition rules, the "rule strength" of each rule is simply the output of the single identified membership function given the current input value. If the rule has more than one condition, the rule strength to be saved for later processing is the minimum membership value, located by the test at 236 and saved at 237. If the conditions within a given rule were joined by a logical OR operator, then the appropriate result of the logical combination would be formed by the maximum (MAX) of the condition membership values. After each rule strength is stored, the current rule number is compared with NoOfRules at 238 to determine if more rules are to be processed. If not, the process continues with the next step, the determination of the centre-of-gravity at 240. The processing steps described above are illustrated graphically in Figure 10, parts (a) through (f), which depicts a control system for generating a output signal indicating a desired velocity V from two input signals, a position signal P and a deviation signal D, based on two rules. Fig. 10(a)- (c) illustrate the first rule which might be written "P,ps,D,ps,output,ps"; that is, if input the position P is positive small and the deviation D is positive small then the velocity V should be positive small." Fig.10(d)-(f) illustrates a second rule which could be written as "P,ze,D,ps,output,ze" or "if P is zero and D is positive small then V is zero." Example input signal values P and D are shown by the dotted vertical lines P and D in Fig. 10. The first condition seen in Fig. 10 (a) is satisfied if the position signal P is positive small. P intersects the triangular membership function, yielding the degree-of-membership value indicated by the horizontal line 301. For the second condition of the first rule, the smaller amplitude input signal value D (deviation) also satisfies the triangular membership function seen in Fig. 10(b), yielding the degree-of-membership value 303. Since value 303 is smaller than the value 301, it becomes the stored "rule strength" value for the first rule. P and D also satisfy both input conditions of the second rule, as illustrated at Figs. 10(d) and 10(f). The smaller degree-of-membership value 305 from the first condition at Fig. 10(d) is smaller than the value 307 produced by the membership function at Fig. 10(e), so that the value indicated by 305 is stored as the rule strength for the second rule. As next discussed, these two stored rule strength values are then used to determine the centre of gravity, as next discussed. CENTRE OF GRAVITY DETERMINATION As indicated in Figure 1 at 122 and 124, after the strength of each rule has been determined for the current input signal values, the module next determines a "centre of gravity" value representing the "de-fuzzified" consensus of all of the rules which have been satisfied, as indicated by non-zero rule strength values. The de-fuzzified output value is determined by a numerical integration process which is illustrated by Fig. 10(g), which is enlarged in Fig. 12. The output value is determined by integrating the area under a curve formed by the point-to-point maximum output degree-of- membership value of each satisfied rule, as limited by that rule's strength. This curve is seen in Figs. 10(g) and 12, and represents the maximum of two trapezoid shapes 330 and 340. Trapezoid 330 is the curve formed by the triangular output membership function of the first rule seen in Fig. 10(c) as limited by that rule's strength value 303. The smaller trapezoid 340 is formed by the triangular output membership function of the second rule seen in Fig. 10(f), as limited by the second rule's strength value 305. The first rule, which was more strongly satisfied than the second rule, indicated that the output value V should be within the set "positive small" while the second rule, which was less strongly satisfied, indicated that the output value V should be within the set "zero". The defuzzification process provides a defuzzified result signal which represents a consensus value, visually seen in Figs 10(g) and 12 as the centre-of-gravity 350 of the area under the curve formed by the maximum of the two trapezoidal shapes 330 and 340. The preferred method for determining the centre-of-gravity value is illustrated in more detail by the flowchart seen in Fig. 11 of the drawings. The procedure produces, by numeric integration, two values: a total moment arm value MArm and a total area value Area, both of which are initialised to zero at 401 as soon as the routine starts at the entry point indicated at 400 in Fig. 11. The integration is repeated by varying the value of the output variable X from 0 through MaxX. The values for the variables RuleNo and MaxStrength are initialised to 1 and zero respectively at 403 (and are re-initialised to those values at 403 for each new value of X). The rule strength previously determined (at discussed above in connection with Fig. 9) for the rule identified by RuleNo is then checked at 405. If the rule strength is zero, that rule will not make a contribution to the output value and an immediate jump is accordingly made to 408, where current value of RuleNo is checked to determine if it is equal to RuleNo, and hence identifies the last rule to be processed. If RuleNo is less than NoOfRules, RuleNo is incremented to the next rule number at 410 and a return is made to 405 to continue the processing of that rule. If RuleStrength is non-zero, control is passed to 412 where the output membership function for the rule specified by RuleNo is used to determine a degree-of-membership value LocalStrength, given the current value of X. LocalStrength is then compared at 414 to the RuleStrength value previously determined for the rule specified by RuleNo. If the rule's rule strength is less than LocalStrength, LocalStrength is replaced by that smaller value at 416. At this time, LocalStrength is an integer representative of the rule's directive value, taking into account the current input signal values, the degree to which those input signal values satisfy the rule's input conditions, and the value specified by the rules output membership function for the current value of X If the resulting rule directive value LocalStrength after the test at 414 is greater than MaxStrength, it replaces the former value of MaxStrength at 422, so that MaxStrength holds the maximum directive value produced by one of the rules after all of the rules have been processed for a given value of X (as indicated when RuleNo is no longer less than NoOfRules when tested at 408). Thus, as seen in the graph of Fig. 12, the routine described above determines the value MaxStrength for each value of X, and MaxStrength corresponds to the height of a subarea of integration indicated by the shaded rectangle 360 in Fig. 12. The total area under the curve defined by a succession of MaxStrength values as X changes is determined by accumulating the values of MaxStrength in the variable Area as indicated at 440 in Figure 11. The value MArm is then incremented at 450 by the moment arm of the subarea, which is equal to the product (X * MaxStrength). The value of X is then tested at 460 to determine if the end of the integration interval MaxX has been reached. If not, X is incremented by the value Stepsize at 470 control is returned to 403 to re-initialise RuleNo and MaxStrength for the next X value to be processed. At the conclusion of the integration interval, the centre-of-gravity value COG is determined by dividing MArm by Area at 480. The module then passes this value, which represents the desired defuzzified output signal, to an appropriate utilisation routine for postprocessing at 490. SOFTWARE IMPLEMENTATION As previously indicated, the present invention advantageously takes the form of a sharable, multipurpose fuzzy logic mechanism implemented by means of a microprocessor and memory containing suitable programs and data structures for providing the desired fuzzy logic functions. The following assembly language routine, which is executable on an Intel 196KR microcontroller (as converted into an executable module using the corresponding Intel Assembler/Linker/Compiler, both of which are available from Intel Corporation, Santa Clara, CA 95052.

Claims: A digital fuzzy logic system comprising: a source (103, 105,107) of a plurality of input signal values; a fuzzy logic controller (101) including a programmed processor and a memory (117, 118, 119) connected to said processor for storing data and for further storing program instructions which are executable by said processor for manipulating said data; a utilization device (115) connected to said processor and responsive to a digital output signal value (112) produced by said controller (101), and; preprocessing means (109) for processing said input signal values into a corresponding set of input integer values (110); wherein the fuzzy logic controller comprises; means (119) storing plural sets of function definition values; and rule strength determining means (120) for executing instructions to perform a plurality of different standard membership functions, each of said functions, when executed, producing a degree-of-membership value in relation to a specified one of said sets of function definition values and an integer value supplied by said preprocessing means (109); characterised in that the fuzzy logic controller further comprises rule storing means (117) storing data representing a plurality of rules which specify at least: (a) a first one of said integer values (110), (b) a first one of said sets of function definition values, (c) a first one of said standard membership functions, (d) a second one of said set of function definition values, and (e) a second one of said standard membership functions the rule strength determining means (120) being responsive to each of the said stored rules to perform the first and the second membership functions specified in the rule and to select a degree-of-membership value for the rule, and; means (124) for producing a total-area value and a total-moment-arm value by respectively summing area values and moment arm values which are determined for each given output integer value assumable by said output signal thereby to determine the centre of gravity of those rules whose conditions are satisfied by the input integer values (110). A system as claimed in claim 1, wherein said rule strength determining means (120) is operable to perform different standard membership functions selected from a group comprising: (a) a triangular function which when executed produces a degree-of-membership value in accordance with function definition values representative of left and right signal value limits associated with minimum degree-of-membership values and a centre signal value associated with a maximum degree-of-membership value, (b) a table look-up function which when executed produces a degree-of-membership value in accordance with function definition values represented by an array of degree-of-membership values each corresponding to a possible signal value, and (c) an interpolated function which when executed produces a degree-of-membership value by interpolating between adjacent ones of said function definition values. A system as claimed in claim 2, wherein the second standard membership function in each of the plurality of rules stored in the rule storing means (117) is a table look-up function. A system as claimed in claim 2 or 3 wherein the first standard membership function in each of the rules stored in the rule storing means (117) is a triangular function.

Inventors: DAVIS LEIGHTON IRA, FELDKAMP LEE ALBERT, MADAU DINU PETRE, SEIPPEL STEVEN HAROLD, YUAN FUMIN, DAVIS, LEIGHTON IRA, FELDKAMP, LEE ALBERT, MADAU, DINU PETRE, SEIPPEL, STEVEN HAROLD, YUAN, FUMIN
Applicants: FORD MOTOR CO, FORD MOTOR COMPANY
Application year: 1994
Main classification: G05B13
IPC codes: G06N7, G05B13, G06F9