Special Interest Group: CPS Foundations and Architectures I Discussion Lead: Bruce Krogh
11:00-11:30 -- Paul Eremenko, DARPA - CPS Foundations
9:45-10:00 -- Nancy Lynch (MIT): Mathematical Foundations for CPS 10:00-10:15 -- George Pappas (U Penn): Quantitative Analysis of Control Networks 10:15-10:30 -- Janos Sztipanovits (Vanderbilt): Science of Integration for CPS
Plenary: Foundations of Cyber Physical Systems Edward Lee (UC Berkeley)
10:30-11:00 -- Q&A and Panel Discussion Panelists: (TBA, moderator), Edward Lee, Janos Sztipanovits, Nancy Lynch, George Pappas