Visible to the public Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations

Submitted by Whitsitt on Fri, 05/16/2014 - 4:24pm. Contributor:
License: 
Creative Commons 2.5

Other available formats:

Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations
Switch to experimental viewer