Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2014 NSF Early Career Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems Program Committee
CPS-VO
»
2014 NSF Early Career Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems
»
2014 NSF Early Career Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems Program Committee
» AUTOMATIC VERIFICATION OF DYNAMIC CONSTRAINTS IN LTI CONTROL SYSTEMS THROUGH MODEL TRANSFORMATIONS
Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations
View
Properties
Name
Value
MIME type
application/pdf
Size
883.89 KB
