题目：Resilient Supervisory Control against Bounded Sensor Reading Alterations
主讲： 南洋理工大学 苏荣 副教授
日期： 2018年12月25日 (星期二)
时间： 上午10：30 -- 11：30
地点： jbo竞博电竞官方网站数据科学与jbo竞博电竞官方网站A203
主持： 邱道文 教授
摘要: One of the major challenges about cyber physical systems is how to protect system integrity from cyber attacks. There has been a large number of different types of attacks discussed in the literature. In this talk I will discuss one special type of attacks in the discrete-event system framework, where an attacker can arbitrarily alter sensor readings after intercepting them from a target system, aiming to trick a given supervisor to issue improper control commands, which can drive the system to an undesirable state. We first consider the cyber attack problem from an attacker point of view, and formulate an attack-with-bounded-sensor-reading-alterations (ABSRA) problem. We then show that the supremal (or least restrictive) ABSRA exists and can be computed, as long as the plant model and the supervisor model are regular, i.e., representable by finite-state automata. Upon the synthesis of the supremal ABSRA, we present a synthesis algorithm, which computes a supervisor that is ABSRA-robust in the sense that any ABSRA will either be detectable or not lead the system to undesirable behaviours.
报告人简介:
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.