报 告 人：齐洪胜
摘要：
现实世界中的系统大致可分为两类：一种是基于物理量的变化为对象的动力学演化过程，如天体运动、机械运动等，它们一般可以用微分方程或差
分方程等来描述；另一种是以逻辑判断、推理、决策等来表述的逻辑演化过程，例如布尔网络、有限演化博弈等。对于前者已有大量成熟的数学工
具，例如，卡尔曼的状态空间方法为前者的分析与控制提供了一个十分有效的理论研究与工程设计的方法。而后者却缺少适合的数学工具，虽然数
理逻辑可将布尔网络表示成一个逻辑动态方程，但它却难以用于系统的分析与综合。本报告将介绍我们提出的代数状态空间方法及其在逻辑动态系
统相关研究方面的进展。
简历:
齐洪胜，中国科学院数学与系统科学研究院副研究员。2008年7月于中国科学院数学与系统科学研究院获博士学位，2008年7月至2010年6月在中科院系
统控制重点实验室做博士后，出站后在中国科学院数学与系统科学研究院工作至今。主要研究兴趣包括非线性控制、复杂系统与控制、博弈与控制等。
2011年获国际自动控制联合会（IFAC）颁发的其旗舰杂志Automatica 2008-2010最佳论文奖（与程代展研究员合作），2012年获中科院系统所关肇直青
年研究奖，2014年获国家自然科学二等奖（排名第二）。2014年入选中国科学院数学与系统科学研究院“陈景润未来之星”计划。