Hybrid cloud model checking using the interaction layer of HARMS for ambient assistive living environments - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2018

Hybrid cloud model checking using the interaction layer of HARMS for ambient assistive living environments

Vérification de modèle de nuage hybride à l'aide de la couche d'interaction de HARMS pour les environnements de vie assistée ambiants

Résumé

My thesis topic is motivated by the non countable people that because of getting to certain age lose some of their capabilities and need help to accomplish their daily activities. In this case, soon elderly people will be helped in scenarios where a device such as a robot should be able to assure fully continous service.
Mon sujet de thèse est motivé par les personnes innombrables qui, en raison de leur âge perdent une partie de leurs capacités et ont besoin d'aide pour accomplir leurs activités quotidiennes. Dans ce cas, peu de personnes âgées seront aidés dans les scénarios où un dispositif tel qu'un robot doit être en mesure d'assurer un service entièrement continu.
Fichier principal
Vignette du fichier
TH2018PESC0049.pdf (3.44 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-03428360 , version 1 (15-11-2021)

Identifiants

  • HAL Id : tel-03428360 , version 1

Citer

Mauricio Alejandro Gomez Morales. Hybrid cloud model checking using the interaction layer of HARMS for ambient assistive living environments. Library and information sciences. Université Paris-Est; Purdue university (West Lafayette, Ind.), 2018. English. ⟨NNT : 2018PESC0049⟩. ⟨tel-03428360⟩

Collections

STAR LISSI UPEC
28 Consultations
56 Téléchargements

Partager

Gmail Facebook X LinkedIn More