Correct-by-Design Control Software Synthesis for Highly Dynamic Systems Download Aerospace Automotive CPS Domains Concurrency and Timing Testing Control Defense Platforms Systems Engineering Health Care Manufacturing Robotics Transportation Validation and Verification CPS Technologies Foundations National CPS PI Meeting 2013 Poster Academia CPS PI Poster Session Dynamic CPS Submitted by Jessy Grizzle on Thu, 10/24/2013 - 13:21