CPS Frontiers: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems Download Tags: automotive systems bipedal robots Carnegie Mellon University Feedback control systems Ford Motor Company Texas A&M University Toyota UCLA University of Michigan CPS Domains Robotics Transportation Automotive CPS Technologies Wireless Sensing and Actuation Education Foundations Control Simulation Validation and Verification Certification Testing 2014 National CPS PI Meeting 2014 Presentation Academia Industry Session 3 Dynamic CPS License: CC-2.5 Submitted by Jessy Grizzle on Thu, 11/06/2014 - 16:44