Retour au site du LAAS-CNRS

GenoM as a robotics framework for planetary rover surface operations

A.CEBALLOS, L.DE SILVA, M.HERRB, F.INGRAND, A.MALLET, A.MEDINA, M.PRIETO

GMV, RIS, 2I, GEPETTO

Manifestation avec acte : Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA 2011), Noordwijk (Pays Bas), 12-14 Avril 2011, 7p. , N° 11160

Diffusable

Ajouter au panier 124991

Robustness testing and evaluation. Rapport Technique 7

D.POWELL, J.ARLAT, H.CHU, F.INGRAND, M.O.KILLIJIAN, L.DE SILVA

TSF, RIS

Rapport de Contrat : Projet MARAE V1.1. LAAS-Verimag-Astrium, Février 2011, 57p. , N° 11284

Diffusable

Ajouter au panier 124726

"Rock solid" software: a verifiable and correct-by-construction controller for rover and spacecraft functional levels

S.BENSALEM, L.DE SILVA, M.GALLIEN, F.INGRAND, R.YAN

RIS, VERIMAG

Manifestation avec acte : International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 2010), Sapporo (Japon), 29 Août - 1er Septembre 2010, 9p. , N° 10842

Diffusable

Ajouter au panier 123724

A verifiable and correct-by-construction controller for robots in human environments

S.BENSALEM, L.DE SILVA, M.GALLIEN, F.INGRAND, R.YAN

VERIMAG, RIS

Manifestation avec acte : IARP Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE 2010), Toulouse (France), 16-17 Juin 2010, 11p. , N° 10841

Diffusable

Ajouter au panier 123722