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.
,