A Case Study on Numerical Analysis of a Path Computation Algorithm

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Boussu, Grégoire, Kosmatov, Nikolai, Védrine, Franck
Formato: Preprint
Publicado: 2024
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866913582788116480
author Boussu, Grégoire
Kosmatov, Nikolai
Védrine, Franck
author_facet Boussu, Grégoire
Kosmatov, Nikolai
Védrine, Franck
contents Lack of numerical precision in control software -- in particular, related to trajectory computation -- can lead to incorrect results with costly or even catastrophic consequences. Various tools have been proposed to analyze the precision of program computations. This paper presents a case study on numerical analysis of an industrial implementation of the fast marching algorithm, a popular path computation algorithm frequently used for trajectory computation. We briefly describe the selected tools, present the applied methodology, highlight some attention points, summarize the results and outline future work directions.
format Preprint
id arxiv_https___arxiv_org_abs_2411_14372
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle A Case Study on Numerical Analysis of a Path Computation Algorithm
Boussu, Grégoire
Kosmatov, Nikolai
Védrine, Franck
Software Engineering
G.1.0; F.3.2
Lack of numerical precision in control software -- in particular, related to trajectory computation -- can lead to incorrect results with costly or even catastrophic consequences. Various tools have been proposed to analyze the precision of program computations. This paper presents a case study on numerical analysis of an industrial implementation of the fast marching algorithm, a popular path computation algorithm frequently used for trajectory computation. We briefly describe the selected tools, present the applied methodology, highlight some attention points, summarize the results and outline future work directions.
title A Case Study on Numerical Analysis of a Path Computation Algorithm
topic Software Engineering
G.1.0; F.3.2
url https://arxiv.org/abs/2411.14372