Control for Composition: A Correct-by-construction Synthesis Approach for Connected Vehicles Download pdf Tags: connected vehicles synthesis CPS Domains Transportation Automotive Avionics CPS Technologies Foundations Control 2014 2014 National Workshop on Transportation CPS Publications Position Paper Academia CFP Submissions CFP Paper Submissions License: CC-2.5 Submitted by Necmiye Ozay on Thu, 02/20/2014 - 10:07