Formal Synthesis of Discrete Control Logic for Safe Transportation Systems Download pdf Tags: logic safety systems synthesis CPS Domains Critical Infrastructure Transportation Systems Sector Transportation Automotive CPS Technologies Architectures Foundations Control Modeling Validation and Verification 2014 2014 National Workshop on Transportation CPS Publications Position Paper Academia CFP Submissions CFP Paper Submissions License: CC-2.5 Submitted by Stephane Lafortune on Thu, 02/20/2014 - 10:06