Accession Number:

ADA411530

Title:

Formal Specifications of Sequential Control for Training Machines for the Lower Limbs

Descriptive Note:

Conference paper

Corporate Author:

REIMS UNIV CHAMPAGNE ARDENNE (FRANCE) LABORATORIE D'AUTOMATIQUE ET DE MICRO-ELECTRONIQUE

Report Date:

2001-10-25

Pagination or Media Count:

5.0

Abstract:

This paper presents a generic formal model for the specification and design of the sequential control for lower-limbs training machines. An object extension of Statecharts is used as a modeling formalism. The resulting hybrid and hierarchical control system interprets the required training specifications for a particular user to execute the corresponding sequence of switching position, speed and force control laws.

Subject Categories:

  • Medicine and Medical Research

Distribution Statement:

APPROVED FOR PUBLIC RELEASE