Publications

Export 14 results:
[ Author(Asc)] Keyword Title Type Year
Filters: First Letter Of Last Name is W 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 
W
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.
S. Whitsitt, Sprinkle, J., and Lysecky, R., Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, in The 14th Workshop on Domain-Specific Modeling, 2014, pp. 35-40.
S. Whitsitt and Sprinkle, J., A Hybrid Controller for Autonomous Vehicle Lane Changing with Epsilon Dragging, in American Control Conference, Portland, Oregon, 2014, pp. 5307-5312.
S. Whitsitt, A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations, University of Arizona, Tucson, AZ, 2014.
S. Whitsitt, Sprinkle, J., and Lysecky, R., Model Based Development with the Skeleton Design Method, in 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems, 2013, pp. 12-19.
S. Whitsitt and Sprinkle, J., Modeling Autonomous Systems, AIAA Journal of Aerospace Information Systems, vol. 10, pp. 396-413, 2013.
S. Whitsitt, Gopalan, A., Cho, S., Sprinkle, J., Ramasubramanian, S., Suantak, L., and Rozenblit, J., On the Extraction and Analysis of a Social Network with Partial Organizational Observation, in Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2012, pp. 249-256.
S. Whitsitt, Modeling and Code Generation with Autonomous Vehicles, in ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems Doctoral Symposium, Innsbruck Austria, 2012.
S. Whitsitt, Sprinkle, J., and Lysecky, R., An Overseer Control Methodology for Data Adaptable Embedded Systems, in International Workshop on Multi-Paradigm Modeling (MPM), 2012, pp. 1-6.
S. Whitsitt and Sprinkle, J., A Passenger Comfort Controller for an Autonomous Ground Vehicle, in 51st IEEE Conference on Decision and Control, 2012, pp. 3380-3385.
S. Whitsitt, Barreto, A., Hudson, M., Al-Helal, H., Chu, D., Didan, K., and Sprinkle, J., Constrained data acquisition for mobile citizen science applications, in Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, & VMIL’11, New York, NY, USA, 2011, pp. 267–272.
S. Whitsitt and Sprinkle, J., Message Modeling for the Joint Architecture for Unmanned Systems (JAUS), in Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems, 2011, pp. 251–259.
S. Whitsitt, Modeling the Messaging and Component Interfaces of Autonomous Systems, University of Arizona, 2011.
S. Whitsitt, Barreto, A., Ram, S., Al-Helal, H., Hudson, M., Chu, D., Sprinkle, J., and Didan, K., Citizen Science in Support of Vegetation Index and Phenology Research, in Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE), 2010.