Publications
Export 19 results:
Author Keyword Title Type [ Year
Filters: Author is Sean Whitsitt [Clear All Filters]
“Citizen Science in Support of Vegetation Index and Phenology Research”, in Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE), 2010.
, “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.
, “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.
, “Efficient Reconfiguration Methods to Enable Rapid Deployment of Runtime Reconfigurable Systems”, in Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, 2013.
, “Generating a ROS/JAUS Bridge for an Autonomous Ground Vehicle”, in Proceedings of the 2013 ACM workshop on Domain-specific modeling (DSM ’13), Indianapolis, IN, 2013, pp. 13-18.
, “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.
, “Runtime Hardware/Software Task Transition Scheduling for Runtime-Adaptable Embedded Systems”, in International Conference on Field-Programmable Technology (ICFPT), 2013, pp. 342-345.
, “System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 59-68.
, “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.
, “Task Transition Scheduling for Data-Adaptable Systems”, ACM Transactions on Embedded Computing Systems (TECS), vol. 16, pp. 105:1–105:28, 2017.
,