嘉宾简介：

       张奎泽，分别于2009年和2014年在哈尔滨工程大学取得学士学位和博士学位。现为西安交通大学数学与统计学院教授。之前曾在英国萨里大学任讲师，在德国柏林工业大学作洪堡学者，在德国慕尼黑工业大学和瑞典皇家理工学院作博士后。

       研究内容主要为离散状态动态系统的形式化验证与综合，研究方向为控制论、理论计算机科学。具体研究模型包括布尔控制网络、有限自动机、定时自动机、Petri网等。提出幺半群上的加权有限自动机、布尔控制网络的能观性图、离散事件系统的并发合成算子和新理论框架。作为第一作者出版Springer Nature专著一部Discrete-Time and Discrete-Space Dynamical Systems，作为独立作者出版Foundations and Trends in Systems and Control中专著一部A New Framework for Discrete-Event Systems。发表期刊论文和会议论文多篇。

讲座简介：

      由Ramadge和Wonham在1980年代提出的离散事件系统的监督控制理论框架引领过去30多年离散事件系统基本性质的检验和强化研究。基于此，该领域学者研究发展了大量的理论结果和应用结果。然而该框架有两个本质上的不足之处，一是只能在满足无死锁和无不可观的环两个基本假设的有限状态自动机中实现，二是实现效率并不高（最低为指数时间完全）。本讲座将介绍报告人基于自己提出的并发合成算子理论，提出离散事件系统用于基本性质的检验和强化研究的新理论框架。该新理论框架相对于监督控制理论框架有显著更高的实现效率和显著更广的可实现性：前者是指，在强化基本性质方面，新理论框架下计算复杂度和检验性质的复杂度一样，所以针对多项式时间可检验的性质，其强化也可以在多项式时间内实现；后者是指，新理论框架不仅可以在全部的有限状态自动机中完全实现，还可以在无穷状态系统中强化可判定的性质。