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

  • 2015
  • Control
  • 2015PIMTG
  • National CPS PI Meeting 2015
  • Academia
  • Dynamic CPS
  • Session 3
  • Session 3
Submitted by Jessy Grizzle on