报告题目：Bootcamp for Supervisory Control of Discrete-Event Systems

报告人：Kai Cai, Osaka Metropolitan University

报告时间：2026年9月15日（周二）14:00-16:00

报告地点：20-200

报告摘要：This tutorial aims to provide a prerequisite-free, example-driven, and hands-on introduction of the supervisory control theory (SCT) of discrete-event systems. SCT was originated by Prof. Murray Wonham with his students at the University of Toronto, and has been an important branch that aims to bridge control theory and computer science. Topics covered in this tutorial include modeling, analysis, and control design of discrete-event systems. All these topics are accompanied by hands-on experience with the software tool pitct, which can be used on a browser.

报告人简介：Kai Cai received the B.Eng. degree in Electrical Engineering from Zhejiang University, Hangzhou, China, in 2006; the M.A.Sc. degree in Electrical and Computer Engineering from the University of Toronto, Toronto, ON, Canada, in 2008; and the Ph.D. degree in Systems Science from the Tokyo Institute of Technology, Tokyo, Japan, in 2011. He is currently a Professor at Osaka Metropolitan University. Previously, he was an Associate Professor at Osaka City University (2014--2020), an Assistant Professor at the University of Tokyo (2013--2014), and a Postdoctoral Fellow at the University of Toronto (2011--2013).

Dr. Cai's research interests include physical AI, discrete-event systems, cyber-physical systems, and networked multi-agent systems. He is the author of “Invitation to Supervisory Control” (KDP 2024), co-author (with Z. Lin) of “Directed Cooperation”, co-author (with W.M. Wonham) of “Supervisory Control of Discrete-Event Systems” (Springer 2019) and “Supervisor Localization” (Springer 2016). He is serving as a Senior Editor for Nonlinear Analysis: Hybrid Systems and an Associate Editor for IEEE Transactions on Control of Network Systems. He served as the Chair for the IEEE CSS Technical Committee on Discrete Event Systems (2020~2024) and an Associate Editor for the IEEE Transactions on Automatic Control (2018~2024). He was the recipient of the Pioneer Award of SICE in 2021, the Best Paper Award of SICE in 2013, the Best Student Paper Award of the IEEE Multi-Conference on Systems and Control, and the Young Author’s Award of SICE in 2010.

邀请人：钟杰