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

TitleAutomatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations
Publication TypeConference Paper
Year of Publication2014
AuthorsWhitsitt, S
Conference NameNSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems
Date Published03/2014
PublisherNSF
Conference LocationWashington, DC
KeywordsControls, Dynamic Constraints, Model Transformations