Correct-by-Design Control Software Synthesis for Highly Dynamic Systems Download pdf Tags: 2015 Control 2015PIMTG National CPS PI Meeting 2015 Academia Dynamic CPS Session 3 Session 3 License: CC-2.5 Submitted by Jessy Grizzle on Tue, 11/17/2015 - 07:52