Robot-assisted dressing

Introduction

This entry documents the development of a model for the Robot-Assisted dressing case-study.

RoboChart model

This is available from the TAS repository at: https://github.com/hlsa/Verifiability-Node/tree/main/Models/RAD

RoboSim P-Model

SDF representation of P-Model

The SDF file can be downloaded here

P-Model representation using Gazebo