Publications
Export 1 results:
Author Keyword Title [ Type
] Year Filters: First Letter Of Title is A and Author is Sean Whitsitt [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.