ProSkill: A formal skill language for acting in robotics - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

ProSkill: A formal skill language for acting in robotics

Félix Ingrand

Résumé

Acting is an important decisional function for autonomous robots. Acting relies on skills to implement and to model the activities it oversees: refinement, local recovery, temporal dis- patching, external asynchronous events, and commands execution, all done online. While sitting between planning and the robotic platform, acting often relies on programming primitives and an interpreter which executes these skills. Following our experience in providing a formal framework to program the functional components of our robots, we propose a new language, to program the acting skills. This language maps unequivocally into a formal model which can then be used to check properties offline or execute the skills, or more precisely their formal equivalent, and per- form runtime verification. We illustrate with a real example how we can program a survey mission for a drone in this new language, prove some formal properties on the program and directly exe- cute the formal model on the drone to perform the mission.
Fichier principal
Vignette du fichier
main.pdf (3.94 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY - Paternité

Dates et versions

hal-04502274 , version 1 (13-03-2024)

Licence

Paternité

Identifiants

Citer

Félix Ingrand. ProSkill: A formal skill language for acting in robotics. 2024. ⟨hal-04502274⟩
8 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More