Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations
Title | Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations |
Publication Type | Conference Paper |
Year of Publication | 2014 |
Authors | Whitsitt, S |
Conference Name | NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems |
Date Published | 03/2014 |
Publisher | NSF |
Conference Location | Washington, DC |
Keywords | Controls, Dynamic Constraints, Model Transformations |