Millions of people worldwide suffer from stroke each year. One way to assist patients cost-effectively during their rehabilitation process is using end-effector-based robot-assisted rehabilitation. Such systems allow patients to use their own movement strategies to perform a movement task, which encourages them to do self-motivated training but also allow compensation movements if they have problems executing the movement tasks. Therefore, a patient supervision system was developed on the basis of inertial measurement units and a patient-tailored movement interpretation system. Very light and small inertial measurement units were developed to record the patients' movements during a teaching phase in which the desired movement is shown to the patient by a physiotherapist. During a following exercise phase, the patient is training the previously shown movement alone with the help of an end-effector-based robot-assisted rehabilitation system, and the patient's movement is recorded again. The data from the teaching and exercise phases are compared with each other and evaluated by using fuzzy logic tailored to each patient. Experimental tests with one healthy subject and one stroke patient showed the capability of the system to supervise patient movements during the robot-assisted end-effector-based rehabilitation.

No abstract

No abstract

No abstract

While methods of software validation and verification are by now well established, the approach of automatic synthesis of software (and hardware) is as yet only developed in quite rudimentary form. Algorithmic program synthesis is possible in restricted scenarios, in particular in reactive multi-agent systems with low data complexity and in control systems. Central issues are the establishment of system models that support algorithmic solutions, the combination of discrete and continuous parameters (in hybrid systems), and the exploration of applications. The aim of the Research Training Group AlgoSyn is to unify the expertise from computer science, mathematics, and four engineering disciplines (processor architectures, automatic control, process control engineering, train traffic systems), in order to push forward the desired integration of methods.