Tuning permissiveness for active safety monitoring - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2017

Tuning permissiveness for active safety monitoring

Résumé

Robots and autonomous system have become a part of our everyday life, therefore guaranteeing their safety is a crucial issue. Among the possible methods for guaranteeing safety, monitoring is widely used, but few methods exist to generate safety rules to implement such monitors. Particularly, building safety monitors that do not constrain excessively the system's ability to perform its tasks is necessary as those systems operate with few human interventions. We propose in this paper a method to take into account the system's desired tasks in the specification of strategies for monitors and apply it to a case study. We show that we can synthesize a more important number of strategies and we facilitate the reasoning about the trade-off between safety and function-alities.
Fichier principal
Vignette du fichier
PermissivenessMonitoring.pdf (663.51 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01637277 , version 1 (17-11-2017)
hal-01637277 , version 2 (01-02-2018)

Identifiants

  • HAL Id : hal-01637277 , version 1

Citer

Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, et al.. Tuning permissiveness for active safety monitoring. 2017. ⟨hal-01637277v1⟩
147 Consultations
36 Téléchargements

Partager

Gmail Facebook X LinkedIn More