Abstract
This paper presents a timed automata based rehabilitation training game design to effectively strengthen the affected leg of the hemiparetic patient. The proposed system is implemented by applying a simple motion capture technique to a rhythm game. Especially, for the rapid prototyping of the game and a patient-customized game storyline reflecting isometric training as well as dynamic training, the timed automata concept and tool are adopted. The system, which consists of a training generator, rehabilitation training game, and sensor, shows the close correlation with existing physical training.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Dill, D.L.: A Theory of Timed Automata. In: Proceedings of the 17th International Collquium on Automata, Language, and Programming, vol. 126(2), pp. 183–236 (1994)
Bengtsson, J., Yi, W.: Timed Automata: Semantics, Algorithms and Tools, UNU-IIST Report No.316 (2004)
Bouyer, P., Fleury, E., Larsen, K.G.: Optimal Strategies in Priced Timed Game Automata, BRICS, Department of Computer Science, University of Aarhus (2004)
Duchateau, J., Hainaut, K.: Isometric or dynamic training: differential effects on mechanical properties of a human muscle. Journal of applied physiology: respiratory, environmental and exercise physiology 56(2), 296–301 (1984)
Jonathan, P., Folland, A., Hawker, K., Leach, B., Little, T., Jones, D.A.: Strength Training: Isometric Training at a Range of Joint Angles versus Dynamic Training. Journal of Sports Sciences, 817–824 (2005)
Kim, S.Y., Jung, S.D., Kim, S.H., Jung, S.K., Lee, Y.S., Kim, C.H.: Rehabilitation Training System for Leg Rehabilitation Based on Motion Capture. In: Proceedings of HCI, South Korea, vol. 1, pp. 109–114 (2007)
Kim, S.Y., Jung, G.S., Oh, S.H., Lee, Y.S., Jung, S.K.: A Motion Capture Based Rehabilitation Training System for the Affected Lower Extremity of Hemiparetic Patient. In: Proceedings of the 7th International Conference on Applications and Principles of Information Science, Auckland, New Zealand, pp. 583–587 (2008)
Kizony, R., Weiss, P.L., Shahar, M., Rand, D.: TheraGame–a Home Based Virtual Reality Rehabilitation System. In: Proc. of 6th Intl Conf. Disability, pp. 265–269. Virtual Reality & Assoc. Tech, Esbjerg, Denmark (2006)
Lee, Y.S.: Appraratus for Rehabilitation Training and Method of the Rehabilitation Training Using the Weight Load and the Angel of Articulation For Variable, Korea Patent: 10-2005-0024333 (2005)
Lee, Y.S., Kim, C.H., Byun, S.D.: Correlation between Maximal Inclination of Sliding Rehabilitation Machine and Gait Parameters. Journal of Korean Academy of Rehabilitation Medicine 31(2), 196–201 (2007)
Naughton, M., McGrath, J., Heffernan, D.: Real-time Software Modeling Using Statecharts and Timed Automata Approaches. In: IEE Irish Signals and Systems Conference, Dublin, June 28-30 (2006)
CAREN (Computer Assisted Rehabilitation Environment), http://www.motekmedical.com
Uppaal, http://www.Uppaal.com
Wikipedia, http://www.wikipedia.org
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Jung, G.S., Kim, S.Y., Jung, S.K., Byun, S.D., Lee, Y.S. (2008). Timed Automata-Based Rehabilitation Training Game Design for the Affected Lower Extremity of Hemiparetic Patient. In: Pan, Z., Cheok, A.D., Müller, W., El Rhalibi, A. (eds) Transactions on Edutainment I. Lecture Notes in Computer Science, vol 5080. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69744-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-69744-2_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69737-4
Online ISBN: 978-3-540-69744-2
eBook Packages: Computer ScienceComputer Science (R0)