齐洪胜：逻辑动态系统的分析与控制 | 周二直播·控制科学前沿理论与方法系列课程

第十课课程简介

主题：逻辑动态系统的分析与控制

简介：逻辑动态系统指自变量只取有限个值的动态系统，包括2值的经典逻辑(或布尔逻辑)、k值逻辑、(一般)有限值逻辑。上个世纪末，程代展研究员提出了矩阵半张量积，打破了矩阵乘法维数限制的藩篱。近年来，以矩阵半张量积工具，给出了逻辑动态系统的代数状态空间描述方法，其关键点是将逻辑动态系统转化为用矩阵描述的离散时间系统。类似于欧氏空间上由微分或差分方程描述的动态系统的Kalman状态空间方法，它为逻辑动态系统的分析与控制设计提供了一个框架。

本课程将系统介绍基于矩阵半张量积的代数状态空间方法，然后介绍它在逻辑动态系统分析与控制理论上的应用，最后将简略介绍该方法目前在其他更多工程和理论研究领域的应用。

推荐阅读资料：

程代展, 齐洪胜. 矩阵半张量积讲义卷一: 基本理论与多线性运算, 北京: 科学出版社, 2020.
程代展, 齐洪胜. 矩阵半张量积讲义卷二: 逻辑动态系统的分析与控制, 北京: 科学出版社, 2022.
程代展, 李长喜, 郝亚琦, 张潇，矩阵半张量积讲义卷三: 有限博弈的矩阵半张量积方法, 北京: 科学出版社, 2022.
程代展, 纪政平，矩阵半张量积讲义卷四: 有限与泛维动态系统, 北京: 科学出版社, 2023.
程代展, 冯俊娥, 钟江华, 吴玉虎, 张奎泽，矩阵半张量积讲义卷五: 工程及其他系统的应用, 北京: 科学出版社, 2024. (即将出版)

主讲老师

齐洪胜，中国科学院数学与系统科学研究院研究员。2008年于中国科学院数学与系统科学研究院获博士学位。2008年7月至2010年6月在中科院系统控制重点实验室从事博士后研究工作。主要研究兴趣包括逻辑动态系统、博弈与控制、量子网络、分布式优化等。2011年获Automatica 2008-2010理论/方法类最佳论文奖，2012年获关肇直青年研究奖，2014年获国家自然科学二等奖（排名第二），2017年入选中国科学院青促会。已出版专著6本，发表论文80余篇。现任Journal of Systems Science and Complexity编委，中国工业与应用数学学会（CSIAM）理事兼副秘书长，中国自动化学会控制理论专业委员会（TCCT）委员。