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

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