Home

Calendar

Filter

Search

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

Mar 20, 2024

03:30 PM - 04:30 PM

MacLean Hall, 110

2 West Washington Street, Iowa City, IA 52240

Save to My Events

Tianyu Zhang portrait from https://tianyu-zhang.scholar.uconn.edu/

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.

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 in advance at