Publications
“Toward ultra high speed locomotors: Design and test of a cheetah robot hind limb”, in Robotics and Automation (ICRA), 2011 IEEE International Conference on, 2011.
, “The 12th Workshop on Domain-specific Modeling”, in Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity, New York, NY, USA, 2012.
, “Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems”, in Engineering of Computer Based Systems (ECBS), 2012 IEEE 19th International Conference and Workshops on, 2012, pp. 15-23.
, “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.
, “A generic in-place transformation-based approach to structured model co-evolution”, Electronic Communications of the European Association of Software Science and Technology (EASST), vol. 42, pp. 1–13, 2012.
, “Identifying key components of variability using Energy based Control”, in The 2012 Workshop on Variability Modeling and Characterization (VMC), 2012, p. 2 pages.
, “ME ’12: Proceedings of the 6th International Workshop on Models and Evolution”. ACM, New York, NY, USA, 2012.
, “Metamodel-Based Metrics for Complexity of Using a DSML”, Software and Systems Modeling, vol. TBD, p. (in preparation), 2012.
, “Model-Based Configuration of a Heterogeneous Human-in-the-loop Command and Control Simulation Environment”, tbd, vol. tbd, p. (in preparation), 2012.
, “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.
, “MPM ’12: Proceedings of the 6th International Workshop on Multi-Paradigm Modeling”. ACM, New York, NY, USA, 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.
, “Proceedings of the 12th Workshop on Domain-specific Modeling”, 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity. ACM, New York, NY, USA, 2012.
, “Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction”, AIAA Journal of Guidance, Control, and Dynamics, vol. 35, pp. 138-152, 2012.
, “Summary of the 6th International Workshop on Multi-Paradigm Modeling (MPM’12)”, in Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, New York, NY, USA, 2012.
, “Switched and Symmetric Pursuit/Evasion Games With Online Model Predictive Control”, IEEE Transactions on Control Systems Technology, vol. 20, pp. 604-620, 2012.
, “Design Validation of Multi-Mode Systems”, University of Arizona, Tucson, AZ, 2013.
, “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.
, “How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 213-214.
, “Mobile Device Software: Model-Based Architectures and Examples”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, p. 215.
, “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.
, “Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.
, “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.
, “A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation”, in The 14th Workshop on Domain-Specific Modeling, 2014, pp. 1-6.
, “A Data-Driven Approach for System Approximation and Set Point Optimization, with a Focus in HVAC Systems”, University of Arizona, Tucson, AZ, 2014.
,