AI-Empowered Real-Time Cyber-Physical Systems

Date: 2026/05/22 – 2026/05/22

Academic Seminar: AI-Empowered Real-Time Cyber-Physical Systems

Speaker: Binqi Sun, Ph.D. candidate at the Technical University of Munich

Time: 3:00 -4:00 p.m., May 22, 2026 (Beijing Time)

Location: Online

Abstract

AI is increasingly moving from datacenters into the physical world, where timing is not merely a performance metric but a correctness requirement. In this talk, I will present my research on bridging real-time systems and AI to make physical AI both performant and timing-predictable. I will discuss new compiler optimization, task scheduling, and timing verification techniques for predictable AI inference on edge accelerators, as well as AI-based methods for solving challenging real-time systems design problems with formal guarantees. This research aims to enable the next generation of intelligent cyber-physical systems that can safely sense, learn, and interact with the physical world in real time.

Biography

Binqi Sun is a final-year Ph.D. candidate at the Technical University of Munich, advised by Prof. Marco Caccamo. He is also a visiting researcher at UIUC, where he works with Prof. Tarek Abdelzaher. His research focuses on the intersection of real-time systems and AI. He has published more than 20 papers and received best paper awards at leading conferences in real-time and IoT systems.