RT Conference Proceedings
T1 Using Physical Quantities in Robot Software Models
A1 Burgueño-Caballero, Lola
A1 Mayerhofer, Tanja
A1 Wimmer, Manuel
A1 Vallecillo-Moreno, Antonio Jesús
K1 Robótica
AB One of the challenges of modeling any software application that deals with real-world physical systems resides in the correct representation of numerical values and their units. This paper shows how both measurement uncertainty and units can be effectively incorporated into software models, becoming part of their basic type systems, and illustrates this approach in the particular case of a robot language. We show how our approach allows robot modelers to safely represent and manipulate units and measurement uncertainties of the robots and their elements in a natural manner, statically ensuring unit-safe assignments and operations, as well as the propagation of uncertainty in the computations of derived attributes and operations.
YR 2018
FD 2018-05-31
LK https://hdl.handle.net/10630/15885
UL https://hdl.handle.net/10630/15885
LA eng
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 20 ene 2026