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.
The stabilization of a class of switched nonlinear systems is investigated in the paper. The systems concerned are of （generalized） switched Byrnes-Isidori canonical form, which has all switched models in （generalized） Byrnes- Isidori canonical form. First, a stability result of switched systems is obtained. Then it is used to solve the stabilization problem of the switched nonlinear control systems. In addition, necessary and sufficient conditions are obtained for a switched affine nonlinear system to be feedback equivalent to （generalized） switched Byrnes-Isidori canonical systems are presented. Finally, as an application the stability of switched lorenz systems is investigated.
The main purpose of this paper is to investigate the problem of quadratic stability and stabilization in switched linear systems using reducible Lie algebra. First, we investigate the structure of all real invariant subspaces for a given linear system. The result is then used to provide a comparable cascading form for switching models. Using the common cascading form, a common quadratic Lyapunov function is （QLFs） is explored by finding common QLFs of diagonal blocks. In addition, a cascading Quaker Lemma is proved. Combining it with stability results, the problem of feedback stabilization for a class of switched linear systems is solved.
