Ambient Coaching of Progressive Relaxation

In this paper, we address the issue how an ambient intelligent system can coach people in doing progressive muscle relaxation exercises. Such a system could help many people in dealing with their stress-related problems like poor sleep. We develop a formal model of progressive muscle relaxation, formalize the different steps of the practice of relaxation and show how these can be assisted by an ambient system. The model can be used as a basis on top of which concrete coaching applications can be developed.