Publications

Thesis
H. Al-Helal, Provable Detection Of Moving Targets With Reliable Sensors, University of Arizona, 2011.
S. Whitsitt, Modeling the Messaging and Component Interfaces of Autonomous Systems, University of Arizona, 2011.
M. Hudson, Model Transformation by Domain-Specific Models, University of Arizona, 2011.
J. Sprinkle, Model Integrated Program Synthesis of Agent Negotiation Protocols, Vanderbilt University, Nashville, TN 37203, 2000.
S. Whitsitt, A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations, University of Arizona, Tucson, AZ, 2014.
J. Sprinkle, Metamodel Driven Model Migration, Vanderbilt University, Nashville, TN 37203, 2003.
E. Jones, A Domain-Specific Modeling Approach to the Auto-Generation of VHDL Core Wrappers, University of Arizona, 2011.
D. Chu, Design Validation of Multi-Mode Systems, University of Arizona, Tucson, AZ, 2013.
X. Qin, A Data-Driven Approach for System Approximation and Set Point Optimization, with a Focus in HVAC Systems, University of Arizona, Tucson, AZ, 2014.
J. Gulotta, Automatic Optimization of Models Using Metamodels, University of Arizona, 2010.
Journal Article
G. Karsai, Agrawal, A., Shi, F., and Sprinkle, J., On the Use of Graph Transformation in the Formal Specification of Model Interpreters, Journal of Universal Computer Science, vol. 9, pp. 1296–1321, 2003.
H. Al-Helal, UAV Search: Maximising Target Acquisition, 2009.
F. Wu, Stern, R. E., Cui, S., Monache, M. Laura Dell, Bhadani, R., Bunting, M., Churchill, M., Hamilton, N., Piccoli, B., Seibold, B., Sprinkle, J., and Work, D. B., Tracking vehicle trajectories and fuel rates in phantom traffic jams: Methodology and data, Transportation Research Part C: Emerging Technologies, vol. 99, pp. 82–109, 2019.
J. Sprinkle and Eames, B., Time-Triggered Buffers for Event-Based Middleware Systems, Innovations in Systems and Software Engineering, vol. 7, pp. 9–22, 2011.
N. Sandoval, Mackin, C., Whitsitt, S., Gopinath, V. Shankar, Mahadevan, S., Milakovich, A., Merry, K., Sprinkle, J., and Lysecky, R., Task Transition Scheduling for Data-Adaptable Systems, ACM Transactions on Embedded Computing Systems (TECS), vol. 16, pp. 105:1–105:28, 2017.
A. Schuster and Sprinkle, J., Synthesizing Executable Simulations from Structural Models of Component-Based Systems, Electronic Communications of the European Association of Software Science and Technology (EASST), vol. 21, p. 10 pages, 2009.
M. J. Eklund, Sprinkle, J., and S. Sastry, S., Switched and Symmetric Pursuit/Evasion Games With Online Model Predictive Control, IEEE Transactions on Control Systems Technology, vol. 20, pp. 604-620, 2012.
D. Chu, Sprinkle, J., Randall, R., and Shkarayev, S., Simulations and Flight Experiments of Transition Maneuvers of a VTOL Micro Air Vehicle, International Journal of Micro Air Vehicles, vol. 2, pp. 69–89, 2010.
J. Sprinkle, J. Eklund, M., Gonzalez, H., Grøtli, E. Ingar, Sanketi, P. R., Moser, M., and S. Sastry, S., Recovering Models of a Four-Wheel Vehicle Using Vehicular System Data, 2008.
J. Ding, Sprinkle, J., Tomlin, C., S. Sastry, S., and Paunicka, J. L., Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction, AIAA Journal of Guidance, Control, and Dynamics, vol. 35, pp. 138-152, 2012.
Y. Chen, Churchill, M., Wu, F., Monache, M. Laura Dell, Piccoli, B., Seibold, B., Sprinkle, J., and Work, D. B., Quantifying air quality benefits resulting from few autonomous vehicles stabilizing traffic, Transportation Research Part D: Transport and Environment, vol. 67, 2019.
J. Sprinkle, J. Eklund, M., H. Kim, J., and S. Sastry, S., Pursuit/Evasion of Fixed-wing Aircraft through Model-Predictive Control, 2004.
J. Sprinkle, Ames, A. D., J. Eklund, M., Mitchell, I., and S. Sastry, S., Online Safety Calculations for Glideslope Recapture, Innovations in Systems and Software Engineering, vol. 1, pp. 157–175, 2005.
N. Toosizadeh, Bunting, M., Howe, C., Mohler, J., Sprinkle, J., and Najafi, B., Motorized mobility scooters: The Use of Training/Intervention and Technology for Improving Driving Skills in Aging Adults - A Mini-Review, Gerontology, vol. 60, pp. 357-365, 2014.
X. Qin, Lin, L., Lysecky, S., Roveda, J., Son, Y. - J., and Sprinkle, J., A Modular Framework to Enable Rapid Evaluation and Exploration of Energy Management Methods in Smart Home Platforms, Energy Systems, p. Online First, 2014.
J. Sprinkle, Model-Integrated Computing, IEEE Potentials, vol. 23, pp. 28–30, 2004.