Publications
Export 1 results:
Author Keyword Title Type [ Year
] Filters: Keyword is Controls [Clear All Filters]
, “Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations”, in NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems, Washington, DC, 2014.