逻辑动态体系指自变量只取有限个值的动态体系，包含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）委员。

  对杂乱动态体系的定量知道与科学调控，体系学与操控论是要害根底。集智学园联合中科院数学与体系科学研讨院多位操控科学与工程范畴专家一起开设了《操控科学前沿理论与办法》系列课程，为面向操控专业范畴学生以及跨范畴的学习者做深度科普，协助学习操控论的中心思维、结构与办法。

  经过学习这些课程，学生将了解操控论的开展前史，把握经典和现代操控办法，探究操控办理体系的美好之处。此系列课程合计10节，从2024年4月2日起，每周二晚19:00-21:00线上上课。欢迎感爱好的朋友报名参加！

  特别声明：以上内容(如有图片或视频亦包含在内)为自媒体渠道“网易号”用户上传并发布，本渠道仅供给信息存储服务。

  医师被电信欺诈49680元，去警局报案后被扣发绩效，撤销评优，暂缓提升

  结业典礼，锦爸锦妈热议锦城。孩子们4年的生长与蜕变都有哪些？一起来见证

  7名研讨生花上万元请导师、同门吃饭，直言结业季“谢师宴”快成师门传统...

  “妈，我在新加坡很好，便是有点儿...”揭秘留学生光鲜背面的孤单与挣扎！