CPS Frontiers: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems

  • 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
Submitted by Jessy Grizzle on