Publications
Export 14 results:
[ Author
Filters: 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.
, “Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems”, in The 14th Workshop on Domain-Specific Modeling, 2014, pp. 35-40.
, “A Hybrid Controller for Autonomous Vehicle Lane Changing with Epsilon Dragging”, in American Control Conference, Portland, Oregon, 2014, pp. 5307-5312.
, “A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations”, University of Arizona, Tucson, AZ, 2014.
, “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.
, “Modeling Autonomous Systems”, AIAA Journal of Aerospace Information Systems, vol. 10, pp. 396-413, 2013.
, “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.
, “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.
, “An Overseer Control Methodology for Data Adaptable Embedded Systems”, in International Workshop on Multi-Paradigm Modeling (MPM), 2012, pp. 1-6.
, “A Passenger Comfort Controller for an Autonomous Ground Vehicle”, in 51st IEEE Conference on Decision and Control, 2012, pp. 3380-3385.
, “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.
, “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.
, “Modeling the Messaging and Component Interfaces of Autonomous Systems”, University of Arizona, 2011.
, “Citizen Science in Support of Vegetation Index and Phenology Research”, in Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE), 2010.
,