题目：What Information Really Matters in a Supervisory Controller – An Insight for Supervisor Reduction
主讲： 南洋理工大学 苏荣 副教授
日期： 2019年1月2日 (星期三)
时间： 上午14：30-- 16：30
地点： 中山大学数据科学与计算机学院 A203
主持： 邱道文 教授
摘要: To make a supervisor comprehensible to a designer has been a long-standing goal in the supervisory control community. One strategy is to reduce the size of a supervisor to generate a control equivalent version, whose size is optimistically much smaller than the original one so that a user or control designer can easily check whether a designed controller fulfils its objectives and requirements. After the first journal paper on this topic appeared in 1986 by Vaz and Wonham, which relied on the concept of control covers, Su and Wonham proposed in 2004 to use control congruences to ensure computational viability. This work was later adopted in supervisor localization theory, which aims for a control equivalent distributed implementation of a given centralized supervisor. Despite these publications, some fundamental questions, which might have been addressed in the first place, have not yet been answered, namely what information is critical to ensure control equivalence, what information is responsible for size reduction, and whether partial observation makes the problem essentially different. In this paper we address these questions by showing that there exists a unified supervisor reduction theory, which is applicable to all feasible supervisors regardless of whether they are under full observation or partial observation. Our theory proposes a preorder (called leanness) over all control equivalent feasible supervisors based on their enabling, disabling and marking information such that, if a supervisor S1 is leaner than another supervisor S2, then the size of the minimal control cover defined over the state set of S1 is no bigger than that of S2.
Dr Su Rong (苏荣) obtained his Bachelor of Engineering degree from University of Science and Technology of China in 1997, and Master of Applied Science degree and PhD degree from University of Toronto in 2000 and 2004, respectively. He was affiliated with University of Waterloo and Eindhoven University of Technology before he joined Nanyang Technological University in 2010. Dr Su's research interests include multi-agent systems, discrete-event system theory, model-based fault diagnosis, optimisation and control of complex systems with applications in flexible manufacturing, intelligent transportation, and green buildings. In the aforementioned areas he has more than 160 journal and conference publications, 1 granted US patent, 1 filed Singapore patent and 3 technical disclosures, and has been involved in projects sponsored by Singapore National Research Foundation (NRF), Singapore Agency of Science, Technology and Research (A*STAR), Singapore Ministry of Education (MoE), Singapore Civil Aviation Authority (CAAS) and Singapore Economic Development Board (EDB). Dr Su is a senior member of IEEE, and an associate editor for Automatica, Journal of Discrete Event Dynamic Systems: Theory and Applications, and Journal of Control and Decision. He is also the Chair of the Technical Committee on Smart Cities in the IEEE Control Systems Society.