Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations Download pdf Tags: controls Dynamic Constraints Model Transformations University of Arizona CPS Domains CPS Technologies Foundations Validation and Verification 2014 2014 CPS-ECP Publications Position Paper Academia CFP Paper Submissions CFP Submissions License: CC-2.5 Submitted by Whitsitt on Wed, 02/12/2014 - 14:59