Publications

Export 3 results:
Author [ Keyword(Desc)] Title Type Year
Filters: First Letter Of Title is A and Author is Sean Whitsitt  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Controls
S. Whitsitt, “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.
Dynamic Constraints
S. Whitsitt, “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.
Model Transformations
S. Whitsitt, “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.