Logic and logic-based control

This paper gives a matrix expression of logic. Under the matrix expression, a general description of the logical operators is proposed. Using the semi-tensor product of matrices, the proofs of logical equivalences, implications, etc., can be simplified a lot. Certain general properties are revealed. Then, based on matrix expression, the logical operators are extended to multi-valued logic, which provides a foundation for fuzzy logical inference. Finally, we propose a new type of logic, called mix-valued logic, and a new design technique, called logic-based fuzzy control. They provide a numerically computable framework for the application of fuzzy logic for the control of fuzzy systems.

A logic-based controller for the mitigation of ventilation air methane in a catalytic flow reversal reactor

The control system of a catalytic flow reversal reactor （CFRR） for the mitigation of ventilation air methane was investigated. A one-dimensional heteroge- neous model with a logic-based controller was applied to simulate the CFRR. The simulation results indicated that the controller developed in this work performs well under normal conditions. Air dilution and auxiliary methane injection are effective to avoid the catalyst overheating and reaction extinction caused by prolonged rich and lean feed conditions, respectively. In contrast, the reactor is prone to lose control by adjusting the switching time solely. Air dilution exhibits the effects of two contradictory aspects on the operation of CFRR, i.e., cooling the bed and accumulating heat, though the former is in general more prominent. Lowering the reference temperature for flow reversal can decrease the bed temperature and benefit stable operation under rich methane feed condition.

PRINCIPLE, CONSTRUCTION AND KINEMATIC ANALYSIS FOR THE OMNIDIRECTIONAL MOBILE ROBOT——ICE-SKATER ROBOT

Three main basic types of locomotion for a mobile robot were introduced and the advantages and disadvantages of a legged mobile robot, a wheeled mobile robot and an articulated mobile robot were also discussed. A new type of leg wheeled mobile robot was introduced which combines the adaptability of legged robot with the stability of wheeled robot. On the basis of the structure of the wheels, the paper described the principle of the ice skater robot developed from Roller walker and ALDURO and its construction. The paper also established an inertia coordinate system and a wheel coordinate system, and analyzed the configuration or the posture and the related kinematic constraints of the robot according to some assumptions. Based on the motion principle, a logic based coordinated control system and corresponded flowchart were designed. At last, taking the ice skater robot as an example the paper expounded its application and the actual experiment proved its feasibility.

Task scheduling for multi-electro-magnetic detection satellite with a combined algorithm

Task scheduling for electro-magnetic detection satellite is a typical combinatorial optimization problem. The count of constraints that need to be taken into account is of large scale. An algorithm combined integer programming with constraint programming is presented. This algorithm is deployed in this problem through two steps. The first step is to decompose the original problem into master and sub-problem using the logic-based Benders decomposition; then a circus combines master and sub-problem solving process together, and the connection between them is general Benders cut. This hybrid algorithm is tested by a set of derived experiments. The result is compared with corresponding outcomes generated by the strength Pareto evolutionary algorithm and the pure constraint programming solver GECODE, which is an open source software. These tests and comparisons yield promising effect.

Robust adaptive controller design for a class of nonlinear systems with unknown high frequency gains

In this note, a robust adaptive control scheme is proposed for a class of nonlinear systems that have unknown multi-plicative terms. Unlike previous results, except for the unknown control directions, we do not require a priori bounds on the unknown parameters. We also allow the unknown parameters to be time-varying provided that they are bounded. Our proposed robust adaptive controller is designed to identify on-line the unknown control directions and is a switching type controller, in which the controller parameters are tuned in a switching manner via a switching logic. Global stability of the closed-loop systems have been proved.

Hybrid Semantic Service Matchmaking Method Based on a Random Forest

Semantic Service Matchmaking(SSM)can be leveraged for mining the most suitable service to accommodate a diversity of user demands.However,existing research on SSM mostly involves logical or non-logical matching,leading to unavoidable false-positive and false-negative problems.Combining different types of SSM methods is an effective way to improve this situation,but the adaptive combination of different service matching methods is still a difficult issue.To conquer this difficulty,a hybrid SSM method,which is based on a random forest and combines the advantages of existing SSM methods,is proposed in this paper.The result of each SSM method is treated as a multi-dimensional feature vector input for the random forest,converting the service matching into a two classification problem.Therefore,our method avoids the flaws found in manual threshold setting.Experimental results show that the proposed method achieves an outstanding performance.