Compositional Design and Analysis of Cyber-Physical Systems

Linh Thi Xuan Phan
Research Assistant Professor
University of Pennsylvania
Wachman Hall 447
Wednesday, September 18, 2013 - 11:00
Did you know that a modern car has as many as 100 microprocessors running simultaneously and controlling thousands of software functions, and that commercial airplanes practically fly themselves?
Modern cyber-physical systems such as these are becoming increasingly complex, autonomous, and resource-constrained. These trends are making it more and more difficult to ensure the safety of these systems: existing approaches were developed for much simpler systems and are difficult to scale. As system sizes are increasing further, designing future cyber-physical systems is going to be even more challenging.
Compositional design and compositional analysis have emerged as an effective means for addressing this challenge. In this talk, I will present recent results that cover several aspects of this approach, including theoretical foundations and practical platform design, as well as several applications. If time permits, I will also discuss some of my other work, e.g., multi-mode theories, control and platform co-design, and real-time cloud computing.