Correct-by-Design Control Software Synthesis for Highly Dynamic Systems Download Tags: 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 License: CC-2.5 Submitted by Jessy Grizzle on Thu, 10/24/2013 - 13:21