逻辑系统的代数状态空间方法的基础、现状和其应用.PDFVIP

31 12 Vol. 31 No. 12 2014 12 Control Theory Applications Dec. 2014 DOI: 10.7641/CTA.2014.40777 , (, 100190) : . ()() . , . , . Kalman , . , , . , . : ; ; ; ; : TP273 : A Algebraic state space approach to logical dynamic systems and its applications CHENG Dai-zhan , QI Hong-sheng (Key Laboratory of Systems and Control, Institute of Systems Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China) Abstract: The logical dynamic system in this paper stands for the systems where the state variables can take only finite values. Particularly, when the number is it is a classical logic (or Boolean logic); -valued logic, and general finitely valued (general) logic. In recent years, using semi-tensor product of matrices the algebraic state space approach to logical dynamic systems has been developed and widely appreciated. It has been used to many engineering problems and to theoretical researches. Parallel to the Kalman state space approach to continuous state space dynamics where the differential equations or difference equations are used to describe the dynamic systems, the algebraic state space approach may provide a convenient platform for analyzing and control design of logical systems. The purpose of this paper is two fold: First, we give a brief survey on this new approach; then we introduce its current research topics and main results. Finally many applications and predict the potential of its further applications are presented. Key words: semi-tensor product; logica