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

Submitted by Whitsitt on Wed, 02/12/2014 - 3:59pm. 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