Abstract
Keywords
Introduction
Vegetable waste fermentation requires a suitable temperature; from the perspective of biological enzyme dynamics, the best enzyme activity is closely related to temperature. Thus, temperature control during the vegetable waste fermentation process is a key environment parameter that should be under strict control. Various factors can affect the temperature during the vegetable waste fermentation. The vegetable waste fermentation temperature controlling system is a multivariable system. Due to the complexity of vegetable waste fermentation reactions, the controlled variables are with uncertainly and nonlinearity. The control problem of the nonlinear MIMO (multi-input multi-output) system is a key point in research difficulties.1–7 During industrial production, the factors that affect the temperature change during the fermentation process include fermentation heat from the vegetable waste, mechanical heat caused by the motor-stirring, heat conduction from the heating devices, and the heat loss of the fermentation reactor shell. All these factors should be considered when adjusting the temperature of the fermentation reactor. Proper adjustment requires precisely identifying the reaction conditions and the fermentation heat from the vegetable waste in the environment. In order to adjust the inner temperature, certain approaches are applied to control the system actuators.
Fuzzy control is a new approach from which we do not need to build a precise mathematical model. This approach promotes the development of those nonlinear MIMO systems.3–7 Although the T-S model of fuzzy control can design the MIMO systems, there is still a large gap between its theoretical research and practical applications. In practice, the design of a multivariable fuzzy controller involves converting the multivariable problem into a problem requiring the control of many single variables, respectively, which reduces precision. 8 During the control process, the establishment of fuzzy reasoning and fuzzy rules relies mostly on experience-based knowledge. The knowledge library, as an identification form of language rules, will have a geometrically growing number of rules. Gradually, the design of the language rules will be more difficult and complicated. The fuzzy controller can be adopted to find the logic between the input and output. It is actually a mapping problem that relates the input multivariable to the output multivariable. The logical relations between the input and output multivariables can then be displayed through a matrix. The semi-tensor product theory in modern mathematics can turn their logical operations into algebraic matrix operations, which will greatly simplify the fuzzy reasoning process and solve the problems regarding incompleteness, inconformity and inaccuracy of the fuzzy rule.
Professor Daizhan Cheng proposed the matrix semi-tensor product theory. It is a new mathematical approach. Cheng et al. 9 studied the effective combination of the matrix semi-tensor product calculation methods and the logical relations in a Boolean network. Cheng 10 proposed the resolve scheme for a complex matrix and proved the simplification process of a complex matrix. Cheng et al. 11 proposed a solving method using the semi-tensor product for an interconnected polynomial matrix. Cheng and Zhao 12 proposed the method of using the semi-tensor product to realize arbitrary matrix’s multiply and divide. These methods have been successfully applied to many complex systems. Li and Wang 13 present the application of a Boolean network semi-tensor product in a fault detection circuit, which improves the accuracy and efficiency of fault detection. Liu and Wang 14 proposed the application of semi-tensor product matrix expressions to express a mixed valued logic network, which is a good solution to the decoupling problem that arises using two kinds of controllers. Li et al. 15 proposed using the semi-tensor product matrix to represent Boolean functions. Lv et al. 16 proposed to optimize the fuzzy relation using semi-tensor product matrices, which can take the fuzzy inference language into the matrix. Ge et al. 17 proposed an approach that applies the semi-tensor product theory in order to design a multivariable controller, which is then used in the control field of hybrid cars. Duan et al. 8 and Lv et al. 18 studied the fuzzy control of air conditioning in an indoor thermal comfort environment, which builds the fuzzy relationship matrix and calculates a result based on the semi-tensor product theory.
The vegetable waste fermentation control process is an unknown, complicated MIMO system. The reaction temperature of the vegetable waste fermentation under the given environment is chosen as the input parameter, while the heat from motor-stirring and media conduction are chosen as the control output parameter. By analyzing the massive input and output data, we determined the inner logical relations. We use the semi-tensor product theory to complete the calculations, which can simplify the fuzzy reasoning process. The matrix operation based on logic is easier than the fuzzy relationship operation based on experience; it will reduce the time necessary to reach a fuzzy reasoning decision and improve the real-time performance of the control. Meanwhile, the data collection, data analysis, and data mining are the most difficult parts during the process involved in building the logic relations of input and output data, and the data collection, data analysis, and data mining are the difficult parts. For example, it is impossible or very difficult to assure the data completeness due to the system’s complexity.
The approach of the least in-degree is to input the unknown data into the structure matrix, which can simplify the structure matrix. This offers a new control method to solve the problem of an incomplete knowledge library caused by missing data. To a certain extent, the problem can be solved in this manner. In addition, data collection errors and analysis errors are inevitable, which will result in nonconformity and inaccuracy in the fuzzy rule library.
The method using the semi-tensor product theory to analyze the Boolean network is helpful in solving these kinds of problems. The semi-tensor product theory, when combined with the above calculation methods, results in a new approach that proposes designing a multivariable fuzzy controller for vegetable waste fermentation temperatures. Finally, experiments will be carried out on the constructed experiment platform. The results of which are analyzed to test the validity and effect of the approach.
The principle of the semi-tensor product
Expression of the semi-tensor product
Definition 1
Definition 2
Definition 3
Definition 4
If
then
Definition 5
If the set of columns of matrix
The semi-tensor product theorem
Theorem 1
If
Note 1
Theorem 2
Conversion matrix
Suppose
Theorem 3
Suppose logic function is
Note 2
The dimension of matrix is
Theorem 4
Assume
It is expressed below
Therein,
Then logic function
Therein,
Therein,
Equation (8) can be written in matrix form
Therein,
Then,
Temperature control system of vegetable waste fermentation
In the reactor of vegetable waste fermentation, the environment temperature and the fermentation temperature for the vegetable waste are measured, and we control the fermentation temperature by changing the heated water’s temperature and the mechanical heat produced by the blender. Figure 1 is the fuzzy control system’s framework of vegetable waste fermentation reactor.

Temperature fuzzy controlling system of vegetable waste fermentation.
The temperatures as a result of the vegetable waste fermentation process are collected by data sensors. The data will then be analyzed to obtain the comparative value, the
Figure 2 is the experiment platform for the vegetable waste fermentation temperature control. The whole system includes the microfermentation reactor, the fermentation controller, and the human–computer interactive operation platform. The fermentation reactor has temperature sensors, which collect temperature data. The fermentation controller analyzes the temperature data and implements the output according to the control strategy. The human–computer interactive operation platform can monitor the temperature and any changes during the fermentation process and then send orders to the controller accordingly.

The experiment platform for the vegetable waste fermentation control.
Outside the fermentation reactor, there is a heating water flume. The heating device adjusts the temperature through the water inside, the power of which is controlled by the pulse width modulation (PWM).
The analysis and design of an MIMO system fuzzy controller are based on the semi-tensor product theory. First, the logical vector is expressed as the fuzzy set of input and output linguistic variables; consequently, the new control rules of the multivariable fuzzy controller will be obtained. After eradicating the fuzzy rules of nonconformity and contradiction, the new structure matrix is constructed based on the new control rule. The complicated fuzzy reasoning is then transferred into an algebraic equation. Then, the approach of the least in-degree is used to simplify the data according to the constructed structure matrix, which can eradicate the redundant variable produced by fuzzy rules of incompleteness, nonconformity, and contradiction. Through this, a comparatively reasonable solution can be obtained as the expression of fuzzy control rules to perform the fuzzy reasoning operation. Finally, we merge these algebraic expressions and obtain the final structure matrix. Afterward, we apply the methods of JD (jointed defuzzification) and Boolean calculations based on semi-tensor product theory to solve ambiguity and find the final output to adjust and control. The structure matrix is updated according to the accumulated input and output data, the fuzzy rule is completed, and the control results are optimized. This approach solves three problems: first, the fuzzy rule’s incompleteness caused by incomplete data from complicated systems. Second, the fuzzy rule nonconformity and contradiction due to data mistakes caused by factors such as measuring interference. Third, the fuzzy rules are simplified.
Fuzzy controller design for vegetable waste fermentation temperature
Fuzzification of input and output variables
The fuzzy controller has four inputs and two outputs. The input variable
The input variable
The input variable
Figures 3 and 4 are the membership functions of each input and output variables. Thus, the input and output data group can be expressed as

Membership functions of input variables: (a) the membership function of

Membership functions of output variables: (a) the membership function of
Then, fuzzy variables can be transformed into column vector. The column vector of Group 1 should be as follows
So the relation between input and output is as follows
From the above, the fuzzy control rule of the input and output is transformed into formula (17) from
Building of the fuzzy reasoning based on structure matrix
The first is to confirm the input and output variables of fuzzy controller. For simplicity and convenience, the variables can be defined as follows
According to every fuzzy set of variables, each variable belongs to the corresponding logic
Every fuzzy set of variables can be expressed as the form of semi-tensor product matrix
The system’s input and output variables are mixed value. This can be thought of as a multiple variable mixed logic problem.
The second is to design fuzzy rule. The sample data in the fermentation process of some vegetable waste fungus is collected. A mass of input and output data were extracted. A total of 100 fuzzy rules were converted by fuzzy identify. The form of semi-tensor product is as follows
From the above fuzzy rules, a lot of repetitive fuzzy rules are extracted by the big sample data. A portion of rules violate consistency for fuzzy rules.
The third is to define the algebra expression of input and output by fuzzy rules. The algebraic expression of
The system has four inputs. Their multiple value logic is 2,3,2,3. So there are 36 columns in construction matrix. The number of row is relevant with the corresponding output map
The fourth step is to build up construction matrix.
When there is the inconsistent case of fuzzy rules, we accept or reject by the number of appearing times. Through the rule table, the ninth column of construction matrix
The number of times the first fuzzy rule appears is greater than the other fuzzy rules; the first is selected, and the others are rejected.
When the times of fuzzy rules are approximate, this fuzzy rule is omitted. According to rule table, the second column of construction matrix
Because these two rules are approximate, this rule is not consistent. It cannot be used. The elements of column express as “*.” It is as uncertain element. So
Using the similar way, the other column elements of construction matrix
2. Because of deficiency of fuzzy rule, the other rules cannot be determined. The columns of construction matrix
Then, the construction matrix
The fifth step is to simplify construction matrix.
1. In simplifying construction matrix
Then, input variable
Then, input variable
Then, input variable
2.Simplifying construction matrix
Then, input variable
Then, input variable
Then, input variable
The construction matrix is transformed by the above conversion matrix as shown below
This matrix cannot be separated as three equal parts apparently. So
The input and output relevant expression after simplified can be obtained finally as shown below
The above is the fuzzy reasoning construction matrix. If the input data increase, the fuzzy rule would be more complete. The related column elements will be updated in the structure matrix and redundant variables will change. When the input data are big enough to make the fuzzy rule complete, it will become a common structure matrix. This kind of structure matrix also applies when increasing the input and output. When the input is increased, columns in the structure matrix will change. Increases in output result in the increase of an additional structure matrix.
The control realization of fuzzy output
We often use the approach of SD (separated defuzzification) to defuzzify, and its formula is as follows
This approach is not appropriate for multiple output variables’ existing coupling relations. Which system is appropriate by the approach of JD
Note 3
The above expressions need to be merged. Then the vector for defuzzification is as follows
The expression
So the input and output expressions are as follows
Then, the merging expression by semi-tensor product is as follows
The expression after defuzzification by the approach of JD is as follows
In formula (37), the calculation process of
The known fuzzy set of output
According to the membership function and domain of discourse of
Because of formula (38), the parameter table of
Finally, the vector formula (33) after fuzzy reference and the value of
Experiment and results
Process of experiment
To test the validity of the semi-tensor fuzzy control approach, the experiment of vegetable waste fermentation reaction is carried out on Figure 2 platform. First, some vegetable waste fermentation bacteria are put into the reactor and then some vegetable waste is added and the coil is heated to implement PWM control through the fermentation controller. The experiment room temperature is 23.4°. The starting temperature inside the fermentation controller as well as the water medium’s temperature is the same as the room temperature. It is already known that the suitable experiment temperature is 55°C. So set the temperature and carry out the experiment. Analyze and compare the experiment data obtained from the general fuzzy control algorithm and the fuzzy control algorithm based on the semi-tensor product.
The experimental data are extracted for calculating verification. The data are extracted by temperature sensor and handled as shown below
The vector forms after fuzzification according to formulas (11)–(14) are as shown below
The vectors above are substituted into the relevant expression (36) of construction matrix
The result above is the output vector as form of expression (33). Then, the parameter of
The parameter table of
So the result of output control is that the stirring rate is 140 r/min and the duty ratio of heating coil’s PWM control is 12.5%.
Results of the experiment
We collected the data in the experiment, and the formed curve is shown in Figure 5.

Fermentation experiment curves: (a) the temperature variation curve during the fermentation, (b) temperature variation curve during the fermentation initial phase, and (c) the temperature variation curve after the fermentation stabilization.
Figure 5(a) shows the temperature variation curve during the fermentation. Both algorithms can rapidly adjust the temperature to the set value. The fuzzy control algorithm based on the semi-tensor product can reach the set value in 20 min, while the general fuzzy control algorithm can reach the set value in 12 min. The latter’s overshoot is 4.55%, and the stability of general fuzzy control algorithm is lower than the semi-tensor product of the fuzzy control algorithm. The general fuzzy control algorithm reaches its stability to the set value at the 24th min, which indicates that the semi-tensor product of the fuzzy control algorithm is more time efficient. Figure 5(b) shows the temperature variation curve during the fermentation’s initial phase, which shows the slight changes between 23.3° and 23.5°C in the first 4 min. This stage reflects the lagging of temperature adjustment. When the temperature sensor detects the real temperature, the heating coils will be controlled to heat the water media. When the water is hot enough for the heat exchange, the heat will then be conducted to the fermentation controller’s experimental shell of the experiment to change the temperature inside the reactor. During this process, the experiment experimental reactor and the water media both are under room temperature; the rising temperature will cause certain heat loss. After the balance between the heat absorbed by the water media and the heat loss, the temperature begins to rise. It was proven that the response speeds of the two algorithms are the same. Figure 5(c) shows the temperature variation curve after the fermentation is stable. Because of the heat loss of the water media and the shell, which is under room temperature conditions, and the noise interference of the bacteria fermentation reaction, the set temperature value can never be absolutely realized. Tiny temperature shifts certainly exist. The fuzzy control algorithm based on the semi-tensor product theory shows advantages; it is clearly shown that the
The results of the experiment show that the semi-tensor product fuzzy control approach rapidly adjusts the complicated vegetable waste fermentation temperature to a certain value. In addition, its precision can meet the requirements if vegetable waste fermentation reactions occur. The fuzzy controller design approach based on semi-tensor product theory is proved to be valid and effective in controlling complicated multivariable systems.
Conclusion
The semi-tensor product of the matrix solves the calculation problems in a fuzzy relationship matrix, offering an excellent solution to MIMO systems. This approach collects and analyzes the input and output data, turns them into logical variables, and builds the structure matrix according to the semi-tensor product of the matrix and the approach of the least in-degree as the basis of fuzzy reasoning. Thus, a multivariable temperature fuzzy controller was designed, which realized the efficient control of vegetable waste fermentation reaction temperatures. This method can implement fuzzy control to complicated MIMO systems. In addition, it can be easily realized in actual industrial production and has definite application value.
