报告题目：Bisimulation Abstraction of Dynamic Systems with Applications in Control of Autonomous Systems

报告人：Rong Su，Nanyang Technological University

报告时间：2026年11月24日（周二）14:00-16:30

报告地点：腾讯会议：732-961-9301

报告摘要：Autonomous robotic systems are increasingly used in safety-critical scenarios, where their behaviors must satisfy high-level requirements such as safety, reachability, and task correctness. However, the state space of such systems is usually continuous or high-dimensional, making direct formal verification and controller synthesis difficult. In this talk, I will present one of my team’s recent works on bisimulation-based model abstraction for dynamic systems and its applications in autonomous robotic control. The proposed framework constructs a series of abstracted finite-state transitional models based on a properly defined state-space partitioning, upon whose states relevant propositions or specifications will be introduced. Under this framework, there exists a bisimulation relation between the original system dynamics and each abstract model in the series, ensuring that any concerned safety or reachability property verifiable in the series of abstracted models can be preserved in the original continuous-space system via a finite control set. Simulation cases and real-world tests have indicated that this framework is applicable in various tasks with high adaptivity, involving autonomous mobile robots, cobots and humanoid robots.

报告人简介：Dr Rong Su received the bachelor’s degree in automatic Control from the University of Science and Technology of China, and the master’s degree and PhD degree, both in electrical engineering from the University of Toronto. Currently, he is a full professor in the School of Electrical & Electronic Engineering at Nanyang Technological University, Singapore. He is also the Director of the Centre for Systems Intelligence & Efficiency (CSIE) and Program Director of EEE Master of Science Program in Computer Control and Automation. His research interests include multi-agent systems, formal methods in robotics and cyber security analysis and synthesis, control and optimization of complex networks with applications in manufacturing and smart cities. In the aforementioned areas, he has more than 400 journal and conference papers, 2 monographs and 20 granted/filed patents. Dr Su is an associate editor of several journals such as Automatica and IEEE Transactions on Cybernetics, Journal of Discrete Event and Dynamic Systems and Journal of Control and Decision. He is also a recipient of several best paper awards and the 2025 CoE Industrial Excellence Award at Nanyang Technological University, and an IEEE Distinguished Lecturer for IEEE Robotics and Automation Society.

邀请人：钟杰