本书介绍了一种新的系统建模、分析与综合的数学方法--逻辑动态系统的代数状态空间法。该方法是在近年来提出的一种新型矩阵运算方法（矩阵半张量积）的基础上发展而来，由于矩阵的半张量积具备矩阵普通乘法所没有的特殊性质，逻辑动态系统的代数状态空间方法在用矩阵表征、简化、推导和处理复杂的泛逻辑系统方面具有很大的优势。本书第1~4章介绍逻辑动态系统的代数状态空间法，第5~9章为其各种应用，包括有限状态自动机器的动态建模、性能分析、控制技术及代数实现，合成自动机器的建模与控制，受控自动机器的代数模型及动态分析，Type-2模糊逻辑关系方程的求解，图的结构分析等问题。