CS Colloquium - Towards Deterministic and Reliable Real-Time Cyber-Physical Systems

CS Colloquium - Towards Deterministic and Reliable Real-Time Cyber-Physical Systems promotional image


Tianyu Zhang


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?


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.

Wednesday, March 20, 2024 3:30pm to 4:30pm
MacLean Hall
2 West Washington Street, Iowa City, IA 52240
View on Event Calendar
Individuals with disabilities are encouraged to attend all University of Iowa–sponsored events. If you are a person with a disability who requires a reasonable accommodation in order to participate in this program, please contact Computer Science Dept. in advance at 319-335-0713 or matthieu-biger@uiowa.edu.