Generative Components for Hybrid Systems Tools

J. Sprinkle, “Generative Components for Hybrid Systems Tools”, in Generative Programming and Component Engineering (GPCE) 2004, Young Researchers Workshop, 2004.

Forgetting UML (A Useful Guide to Formal Modeling)

J. Sprinkle, “Forgetting UML (A Useful Guide to Formal Modeling)”, 2004.

Encoding Aerial Pursuit/Evasion Games with Fixed Wing Aircraft into a Nonlinear Model Predictive Tracking Controller

J. Sprinkle, J. Eklund, M., H. Kim, J., and S. Sastry, S., “Encoding Aerial Pursuit/Evasion Games with Fixed Wing Aircraft into a Nonlinear Model Predictive Tracking Controller”, in Proceedings of the 43rd IEEE Conference on Decision and Control, 2004, vol. 3, pp. 2609–2614.

A Domain-Specific Visual Language for Domain Model Evolution

J. Sprinkle and Karsai, G., “A Domain-Specific Visual Language for Domain Model Evolution”, Journal of Visual Languages and Computing, vol. 15, pp. 291-307, 2004.

4th {OOPSLA} Workshop on Domain-Specific Modeling ({DSM}’04)

J. - P. Tolvanen, Sprinkle, J., and Rossi, M., Eds., “4th {OOPSLA} Workshop on Domain-Specific Modeling ({DSM}’04)”. OOPSLA, Jyväskylä, Finland, 2004.

Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools

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.

{Using smart sensors and a camera phone to detect and verify the fall of elderly persons}

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.

User’s Guide to the PublicationsDatabase

J. Sprinkle, “User’s Guide to the PublicationsDatabase”. 2005.

On the Partitioning of Syntax and Semantics For Hybrid Systems Tools

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.

Online Safety Calculations for Glideslope Recapture

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.
Subscribe to Compositional Systems Lab RSS