齐洪胜,中国科学院数学与系统科学研究院

逻辑是人类认知和交流的基本手段，因此逻辑动态系统的分析与控制是认识和改造世界的根本工具之一。此前针对逻辑系统的分析与综合缺乏合适的数学工具，本报告首先介绍基于矩阵半张量积的代数状态空间方法，并对逻辑动态系统分析与控制理论作简要回顾，进一步汇报我们在逻辑动态系统方面近期的研究进展。