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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 25, 2001
Accession Number
ADA411530

Entities

People

  • J. Zaytoon
  • L. Afilal
  • L. Angelloz
  • N. Manamanni
  • S. Moughamir

Organizations

  • University of Reims

Tags

Communities of Interest

  • Biomedical

DTIC Thesaurus Topics

  • Abstracts
  • Calibration
  • Classification
  • Compensation
  • Computer Programs
  • Control Systems
  • Deceleration
  • Emergencies
  • Mechanical Structure
  • Military Research
  • Rehabilitation
  • Sequences
  • Simulations
  • Specifications
  • Switching
  • Training
  • Transitions

Fields of Study

  • Computer science

Readers

  • Computer Programming and Software Development.
  • Robotics and Automation.
  • Software Engineering.