Speaker

Tianyu Zhang

Abstract

Real-time cyber-physical systems (CPSs) are subject to stringent Quality of Service requirements in terms of both timing and reliability. The correct behavior of real-time CPSs depends not only on their functional accuracy but also on the temporal precision. Real-time CPSs have a variety of applications, including avionics, autonomous vehicles, industrial internet-of-things (IIoT), etc. In this talk, I will introduce some of my recent works on the design of real-time resource management frameworks in real-time wireless sensor-actuator systems (WSANs) and real-time 5G New Radio (NR) by discussing the following three questions: 1) Why is real-time performance crucial to the mission-critical industrial applications? 2) What are the challenges in the design of deterministic and reliable IIoT systems? 3) How do we tackle these challenges by developing new models, analysis methodologies, and scheduling algorithms?

Bio

Dr. Tianyu Zhang is a postdoc fellow in the Department of Computer Science and Engineering at the University of Connecticut (UConn). Before joining UConn, he worked as a postdoctoral fellow at the Hong Kong Polytechnic University. His research falls in the area of real-time cyber-physical systems (CPSs) with a focus on designing resource management frameworks and developing theoretical foundations for mission-critical CPS applications.