Publications

Conference Paper
J. Sprinkle and Eames, B., On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle, in Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2011, pp. 159-168.
J. Sprinkle, 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.
T. Haque, Santos, J. De Los, and Lam, D., A Mobile Interface designed for the Safety Verification of Autonomous Vehicle Trajectories, in ACM Mid-Southeast Conference, Gatlinburg, TN, 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.
J. Sprinkle and Karsai, G., Model Migration through Visual Modeling, in OOPSLA, 3rd ACM Workshop on Domain-Specific Modeling, 2003.
B. P. Malladi, Risso, N., and Zeleke, Y., Model Predictive Control for Space Missions, in The First American Model Predictive Control Summer School, 2017.
J. Sprinkle and Eames, B., Model-Based Autosynthesis of Time-Triggered Buffers for Event-Based Middleware Systems, in 9th OOPSLA Workshop on Domain-Specific Modeling, 2009, pp. 119–124.
K. Zhang and Sprinkle, J., 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.
A. Lizarraga, Lysecky, R., and Sprinkle, J., Model-Driven Optimization of Data-Adaptable Embedded Systems, in 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC), 2016.
A. Lizarraga, Lysecky, R., and Sprinkle, J., Model-driven Optimization of Data-Adaptable Embedded Systems, in COMPSAC, 2016, pp. 293-302.
J. Sprinkle, van Buskirk, C. P., and Karsai, G., Modeling Agent Negotiation, in Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics, 2000, vol. 1, pp. 454–459.
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.
J. Sprinkle and Chu, D., Modeling Languages Applied to Decision Controllers for Embedded Human Systems, in Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EAsE 2010), 2010, pp. 129–136.
V. Gopinath, Sprinkle, J., and Lysecky, R., Modeling of Data Adaptable Reconfigurable Embedded Systems, in Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems, 2011, pp. 276-285.
J. Sprinkle, Karsai, G., Lédeczi, Á., and Nordstrom, G., The New Metamodeling Generation, in Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2001, pp. 275–279.
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.
J. Sprinkle, Davis, J., and Nordstrom, G., A Paradigm for Teaching Modeling Environment Design, in OOPSLA’04 Educators Symposium (Poster Session), 2004.
J. Sprinkle, Ames, A. D., Pinto, A., Zheng, H., and S. Sastry, S., On the Partitioning of Syntax and Semantics For Hybrid Systems Tools, in 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC’05), 2005, pp. 4694–4699.
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.
R. Bhadani, Djordjevic, I. B., Sprinkle, J., and Guha, S., Programming the Kennedy Receiver for Capacity Maximization versus Minimizing One-shot Error Probability, in Frontiers in Optics 2020, Online, 2020.PDF icon Preprint - Programming Kennedy Receiver (770.34 KB)
L. Bentley, MacInnes, J., Bhadani, R., and Bose, T., A Pseudo-Derivative Method for Sliding Window Path Mapping in Robotics-Based Image Processing, Accepted at IEEE International Conference on Robotic Computing, 2019.PDF icon Preprint (312.52 KB)
J. Ding, Sprinkle, J., S. Sastry, S., and Tomlin, C. J., Reachability Calculations for Automated Aerial Refueling, in 47th IEEE Conference on Decision and Control, 2008, pp. 3706-3712.
J. Nguyen, Huynh, H., Av, E., Bhadani, R., and Bose, T., Reinforcement Learning for Autonomous Driving using CAT Vehicle Testbed, in CAT Vehicle Research Experience for Undergraduates, Tucson, 2019.PDF icon Reinforcement Learning for Autonomous Driving.pdf (488.41 KB)
J. Sprinkle, Bhadani, R., Cui, S., and Seibold, B., Robust Control of Autonomous Vehicle Trajectories, in AIMS, 2016.
N. Sandoval, Mackin, C., Whitsitt, S., Lysecky, R., and Sprinkle, J., Runtime Hardware/Software Task Transition Scheduling for Runtime-Adaptable Embedded Systems, in International Conference on Field-Programmable Technology (ICFPT), 2013, pp. 342-345.
M. Bunting, Zeleke, Y., McKeever, K., and Sprinkle, J., A Safe Autonomous Vehicle Trajectory Domain Specific Modeling Language For Non-Expert Development, in Proceedings of the International Workshop on Domain-Specific Modeling (DSM 2016), Amsterdam, Netherlands, 2016, pp. 42–48.
E. Baschab, Ball, S., Vazzana, A., and Sprinkle, J., Safer Adaptive Cruise Control for Traffic Wave Dampening, in ACM/IEEE 12th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2021), 2021.
C. Kreienkamp, Fishbein, D., Bhadani, R., and Sprinkle, J., Safety and stability analysis of FollowerStopper, in CAT Vehicle Research Experience for Undergraduates, Tucson, 2019.PDF icon Safety and stability analysis of FollowerStopper.pdf (2 MB)
C. Kreienkamp, Fishbein, D., Bhadani, R., and Sprinkle, J., Safety and Stability Analysis of the FollowerStopper Traffic Wave Dampening Controller (Late-Breaking Poster), in American Control Conference, 2020.
M. Hudson and Sprinkle, J., Simplification of Semantically-Rich Model Transformations Through Generated Transformation Blocks, in Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems, 2011, pp. 260-268.