报告题目1：加标Petri网框架下的离散事件系统临界可观性验证与强化控制

报告人：丛旭亚副教授，西安科技大学

报告时间：2024年5月20日（周一）18:30-22:00

报告地点：腾讯会议：958384166

报告摘要：临界可观性作为系统的一种重要安全属性，描述了威胁系统安全的临界状态能否被及时检测，是国际学术的前沿问题，近年来得到了国内外学者的广泛关注。本报告将介绍加标Petri网框架下的离散事件系统临界可观性验证与强化控制方法。首先，提出一种利用整数线性规划方法验证有界活性加标Petri网临界可观性的方法。随后，针对任意有界Petri网，通过构造和分析双基础可达图来验证其临界可观性。当系统被证明为非临界可观时，利用双基础可达图计算一个可行的无死锁事件集合，生成一组禁止边的集合，并基于监督控制理论设计一种在线控制策略，以保证闭环系统是临界可观且无死锁的。

报告人简介：丛旭亚，西安科技大学计算机学院软件工程系副教授。2014年7月于西安电子科技大学获学士学位，2020年6月于西安电子科技大学和意大利巴里理工大学获双博士学位。现主要研究领域为离散事件系统监督控制理论及其在煤矿工控系统中的应用。目前以第一作者和通讯作者发表控制领域高水平期刊和国际会议论文20余篇，发表刊物包括IEEE TAC、Automatica、IEEE SMC: Systems和IEEE TASE等，担任多个国际著名期刊的审稿人和期刊Journal of Automation and Intelligence青年编委。主持国家自然科学基金青年项目、陕西省自然科学基础研究计划青年项目、陕西省教育厅科研专项，参与国家自然科学基金项目4项、陕西省重点研发计划项目1项、陕西高校青年创新团队项目1项和企业（陕煤集团）横向项目4项。获得2023年度中国煤炭科技协会科学技术进步二等奖一项。

报告题目2：Construction of Quasi-Potential Games Based on Topological Structures

报告人：赵国栋副教授，山东师范大学

报告时间：2024年5月20日（周一）18:30-22:00

报告地点：腾讯会议：958384166

报告摘要：This report devotes to constructing quasi-potential games by resorting to the topological structure. First, after analyzing the topological structures of two evolutionary games, a necessary and sufficient condition is presented for synchronization of these two evolutionary games. Second, as a generalization of synchronization, the concept of local synchronization of two evolutionary games is proposed, and a criterion is presented for the verification of local synchronization. Third, two algorithms are proposed to construct not only a quasi-potential game under the concept of synchronization but also a local quasi-potential game under the concept of local synchronization.

报告人简介：赵国栋，男，1987年生，山东大学工程学博士，山东师范大学数学与统计学院博士生导师、副教授。近年来致力于半张量积方法在演化博弈理论中的应用，获得一批应用基础性研究成果。到目前为止完成以及发表学术论文30余篇，其中SCI收录20篇，发表在国际控制领域公认的优秀杂志Nonlinear Analysis: Hybrid Systems、Journal of The Franklin Institute、International Journal of Control上以及数学领域顶级刊物Applied Mathematics and Computation上。近5年，主持国家自然科学基金面上项目一项、国家自然科学基金青年项目一项，以及山东省自然科学基金博士基金一项。

报告题目3：负虚系统的输出反馈控制及性质分析

报告人：刘梅副教授，天津大学

报告时间：2024年5月20日（周一）18:30-22:00

报告地点：腾讯会议：958384166

报告摘要：负虚系统是一类频域特性满足负虚性质的动态系统。负虚性质广泛存在于许多实际系统中，例如，在线性电路系统中，在轻阻尼挠性结构系统中，在压电陶瓷管扫描仪的定位系统中，均能找到负虚系统的身影。报告首先将介绍负虚系统的基本概念，主要内容包括：什么是负虚系统？负虚系统理论有何优势？随后介绍状态空间对称系统的负虚性分析、负虚输出反馈控制及负虚理论应用方面的主要结果。

报告人简介：刘梅，天津大学电气自动化与信息工程学院副教授，天津大学“北洋学者英才计划”入选者。分别于2017年6月和2012年6月获得中国科学技术大学工学博士学位和中国矿业大学理学学士学位。2017年8月至2019年2月分别于香港大学、香港理工大学担任研究助理。发表学术论文10余篇，主持国家自然科学基金项目2项，2017年获中国科学院院长优秀奖。研究兴趣主要包括：负虚系统的控制理论与应用，正实系统，广义系统及鲁棒控制。

邀请人：钟杰