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

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