Here is the slides of the talk I recently gave in Shanghai Jiao-Tong University.
It summarizes most of my works during my PhD study.
Supervisory Control of Discrete-Event Systems
Here is a summary of open problems in centralized and decentralized supervisory control of
partially-observed discrete event systems.
This slides is a little bit out of date. The range control problem for the prefix-closed case has recently been solved by our paper.
Model Based Fault Diagnosis
Cyber-Physical Systems and Cyber-Security
Participated Projects
I am (was) participating in the following projects.