Quantifier elimination for robot positioning with landmarks of uncertain position

Ide-Flore Kenmogne 1 Vincent Drevelle 1 Eric Marchand 1
1 RAINBOW - Sensor-based and interactive robotics
Inria Rennes – Bretagne Atlantique , IRISA_D5 - SIGNAUX ET IMAGES NUMÉRIQUES, ROBOTIQUE
Abstract : No abstract
Keywords : Interval Analysis Pose estimation Quantified set-inversion
Type de document :
Communication dans un congrès
8th Int. Symp. on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, SCAN2018, Sep 2018, Tokyo, Japan
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01814773
Contributeur : Eric Marchand <>
Soumis le : mercredi 13 juin 2018 - 15:12:06
Dernière modification le : vendredi 15 juin 2018 - 01:18:16

Fichier

2018_scan_kenmogne.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01814773, version 1

Collections

CENTRALESUPELEC | IRISA | INRIA | UR1-UFR-ISTIC | UNIV-RENNES

Citation

Ide-Flore Kenmogne, Vincent Drevelle, Eric Marchand. Quantifier elimination for robot positioning with landmarks of uncertain position. 8th Int. Symp. on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, SCAN2018, Sep 2018, Tokyo, Japan. 〈hal-01814773〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

56

Téléchargements de fichiers

10

Contact


archive-ouverte@inria.fr