Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

Dynamic Constraints

file

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

Submitted by Whitsitt on Fri, 05/16/2014 - 5:24pm. Contributor:
  • Sean Whitsitt
  • CPS Domains
  • Control
  • Modeling
  • Validation and Verification
  • Foundations
  • controls
  • Dynamic Constraints
  • Model Transformations
  • University of Arizona
  • 2014 CPS-ECP
  • 2014
  • Academia
  • Poster
  • Poster Submissions
  • Posters
file

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

Submitted by Whitsitt on Wed, 02/12/2014 - 4:59pm. Contributor:
  • Sean Whitsitt
  • CPS Domains
  • Validation and Verification
  • CPS Technologies
  • Foundations
  • controls
  • Dynamic Constraints
  • Model Transformations
  • University of Arizona
  • 2014 CPS-ECP
  • 2014
  • Academia
  • Position Paper
  • Publications
  • CFP Paper Submissions
  • CFP Submissions

Terms of Use  |  ©2023. CPS-VO