Publications

2005
J. - P. Tolvanen, Sprinkle, J., and Rossi, M., Eds., 5th OOPSLA Workshop on Domain-Specific Modeling (DSM’05). OOPSLA, Jyväskylä, Finland, 2005.
M. J. Eklund, Bajcsy, R., Sprinkle, J., and Simpson, G. V., Computing Inverse MEG Signals in the Brain, in 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity, 2005, pp. 332–335.
J. Sprinkle, J. Eklund, M., and S. Sastry, S., Deciding to Land a UAV Safely in Real Time, in Proceedings of American Control Conference (ACC) 2005, 2005, pp. 3506–3511.
M. L. McKelvin, Jr, Sprinkle, J., Pinello, C., and Sangiovanni-Vincentelli, A., Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment, in 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2005, pp. 229–235.
J. Sprinkle, Generative Components for Hybrid Systems Tools, Journal of Object Technology, vol. 4, pp. 35–40, 2005.
M. J. Eklund, Sprinkle, J., and S. Sastry, S., Implementing and Testing a Nonlinear Model Predictive Tracking Controller for Aerial Pursuit Evasion Games on a Fixed Wing Aircraft, in Proceedings of American Control Conference (ACC) 2005, 2005, pp. 1509–1514.
M. J. Eklund, Hansen, T. Risgaard, Sprinkle, J., and S. Sastry, S., Information Technology for Assisted Living at Home: Building a Wireless Infrastructure for Assisted Living, in 27th Annual International Conference of the IEEE Engineering In Medicine and Biology Society (EMBS), 2005, pp. 3931–3934.
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.
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.
J. Sprinkle, User’s Guide to the PublicationsDatabase. 2005.
T. R. Hansen, Eklund, J. M., Sprinkle, J., Bajcsy, R., and Sastry, S., Using smart sensors and a camera phone to detect and verify the fall of elderly persons, in 3rd European Medicine, Biology and Engineering Conference, 2005.
J. Sprinkle, Shakernia, O., Miller, R., and S. Sastry, S., Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools, in IEEE Aerospace Conference, Verification and Validation, 2005, pp. 1–6.