Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations

  • 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
Submitted by Whitsitt on