TY - CONF T1 - Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations T2 - NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems Y1 - 2014 A1 - Sean Whitsitt KW - Controls KW - Dynamic Constraints KW - Model Transformations JF - NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems PB - NSF CY - Washington, DC ER -