JavaScript is disabled for your browser. Some features of this site may not work without it.

    Listar

    Todo RIUMAComunidades & ColeccionesPor fecha de publicaciónAutoresTítulosMateriasTipo de publicaciónCentrosEsta colecciónPor fecha de publicaciónAutoresTítulosMateriasTipo de publicaciónCentros

    Mi cuenta

    AccederRegistro

    Estadísticas

    Ver Estadísticas de uso

    DE INTERÉS

    Datos de investigaciónReglamento de ciencia abierta de la UMAPolítica de RIUMAPolitica de datos de investigación en RIUMASHERPA/RoMEODulcinea
    Preguntas frecuentesManual de usoDerechos de autorContacto/Sugerencias
    Ver ítem 
    •   RIUMA Principal
    • Investigación
    • Ingeniería de Sistemas y Automática - (ISA)
    • ISA - Contribuciones a congresos científicos
    • Ver ítem
    •   RIUMA Principal
    • Investigación
    • Ingeniería de Sistemas y Automática - (ISA)
    • ISA - Contribuciones a congresos científicos
    • Ver ítem

    Fast Global Optimality Verification in 3D SLAM

    • Autor
      Briales, Jesus; Gonzalez-Jimenez, Antonio JavierAutoridad Universidad de Málaga
    • Fecha
      2016-10-20
    • Palabras clave
      Robótica
    • Resumen
      Graph-based SLAM has proved to be one of the most effective solutions to the Simultaneous localization and Mapping problem. This approach relies on nonlinear iterative optimization methods that in practice perform both accurately and efficiently. However, due to the non-convexity of the problem, the obtained solutions come with no guarantee of global optimality and may get stuck in local minima. The application of SLAM to many real-world applications cannot be conceived without additional control tools that detect possible suboptimalities as soon as possible in order to take corrective action and avoid catastrophic failure of the entire system. This paper builds upon the state-of-the-art framework [1] in verification for this problem and introduces a novel superior formulation that leads to a much higher efficiency. While retaining the same high effectiveness, the verification times of our proposal reduce up to >50x, paving the way for faster verification in critical real applications or in embedded low-power systems.We support our claims with extensive experiments with real and simulated data.
    • URI
      http://hdl.handle.net/10630/12249
    • Compartir
      RefworksMendeley
    Mostrar el registro completo del ítem
    Ficheros
    main.pdf (36.03Kb)
    Colecciones
    • ISA - Contribuciones a congresos científicos

    Estadísticas

    Ver Estadísticas de uso
    Buscar en Dimension
    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
     

     

    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA