Timed automata-based rehabilitation training game design for the affected lower extremity of hemiparetic patient

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5080 LNCS, Issue , 2008, Pages 17-27

  Jung, Gi Sook ^a   Kim, Sang Yun ^a   Jung, Soon Ki ^a   Byun, Seung Deuk ^b   Lee, Yang Soo ^c  

^a Kyungpook National University   (South Korea)

^b Daegu Fatima Hospital   (South Korea)

^c Kyungpook National University School of Medicine   (South Korea)

Author keywords

Hemiparetic patient; Isometric training; Motion capture; Rehabilitation training game; Timed automata

Indexed keywords

CONCURRENT ENGINEERING; JOB ANALYSIS; PATIENT REHABILITATION; PRODUCT DEVELOPMENT; RAPID PROTOTYPING; ROBOTS; TRANSLATION (LANGUAGES);

EDUTAINMENT; GAME DESIGNS; HEIDELBERG (CO); LOWER EXTREMITY; MOTION CAPTURE (MOCAP); PHYSICAL TRAINING; PROTOTYPING; REHABILITATION TRAINING; STORY LINE; TIMED AUTOMATA (TA);

GAME THEORY;

EID: 47849117109     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69744-2_2     Document Type: Conference Paper

References (14)

1. 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)
2. Bengtsson, J., Yi, W.: Timed Automata: Semantics, Algorithms and Tools, UNU-IIST Report No.316 (2004)
3. Bouyer, P., Fleury, E., Larsen, K.G.: Optimal Strategies in Priced Timed Game Automata, BRICS, Department of Computer Science, University of Aarhus (2004)
4. 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)
5. 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)
6. 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)
7. 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)
8. 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)
9. 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)
10. 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)
11. 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)
12. CAREN (Computer Assisted Rehabilitation Environment), http://www.motekmedical.com
13. Uppaal, http://www.Uppaal.com
14. Wikipedia, http://www.wikipedia.org