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