Correct-by-Design Control Software Synthesis for Highly Dynamic Systems

Submitted by Jessy Grizzle on
  • Carnegie Mellon University
  • Correct by construction
  • formal method
  • Texas A&M University
  • The University of Michigan
  • UCLA
  • CPS Domains
  • Defense
  • Aerospace
  • Robotics
  • Transportation
  • Automotive
  • Avionics
  • CPS Technologies
  • Platforms
  • Foundations
  • Control
  • 2014
  • National CPS PI Meeting 2014
  • Academia