Model Synthesis New Challenges in Model Based Design Download University of Pennsylvania CPS Domains Communication Health Care Medical Devices Robotics Transportation Automotive CPS Technologies Design Automation Tools Embedded Software Platforms Systems Engineering Foundations Concurrency and Timing Control Modeling Hybrid Models Simulation Validation and Verification Testing 2012 National CPS PI Meeting 2012 Presentation Academia Session 1: Science of CPS Submitted by Rajiv Alur on Wed, 10/03/2012 - 13:58