Model Synthesis New Challenges in Model Based Design Download Tags: 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 License: CC-2.5 Submitted by Rajiv Alur on Wed, 10/03/2012 - 13:58