Cargando…

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal

Active debris removal in space has become a necessary activity to maintain and facilitate orbital operations. Current approaches tend to adopt autonomous robotic systems which are often furnished with a robotic arm to safely capture debris by identifying a suitable grasping point. These systems are...

Descripción completa

Detalles Bibliográficos
Autores principales: Farrell, Marie, Mavrakis, Nikos, Ferrando, Angelo, Dixon, Clare, Gao, Yang
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Frontiers Media S.A. 2022
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8829115/
https://www.ncbi.nlm.nih.gov/pubmed/35155585
http://dx.doi.org/10.3389/frobt.2021.639282