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 Foundations Control Modeling Validation and Verification 2014 2014 CPS-ECP Poster Academia Poster Submissions Posters License: CC-2.5 Submitted by Whitsitt on Fri, 05/16/2014 - 16:24