Transformation of a PID Controller for Numerical Accuracy

Nasrine Damouche 1 Matthieu Martel 1, 2 Alexandre Chapoutot 3
2 DALI - Digits, Architectures et Logiciels Informatiques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia
Abstract : Numerical programs performing floating-point computations are very sensitive to the way formulas are written. Several techniques have been proposed concerning the transformation of expressions in order to improve their accuracy and now we aim at going a step further by automatically transforming larger pieces of code containing several assignments and control structures. This article presents a case study in this direction. We consider a PID controller and we transform its code in order to improve its accuracy. The experimental data obtained when we compare the different versions of the code (which are mathematically equivalent) show that those transformations have a significant impact on the accuracy of the computations.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01255942
Contributor : Joelle Sulian <>
Submitted on : Thursday, January 14, 2016 - 10:56:10 AM
Last modification on : Wednesday, July 3, 2019 - 10:48:05 AM

Links full text

Identifiers

Citation

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot. Transformation of a PID Controller for Numerical Accuracy. Electronic Notes in Theoretical Computer Science, Elsevier, 2015, 317, pp.47-54. ⟨10.1016/j.entcs.2015.10.006⟩. ⟨hal-01255942⟩

Share

Metrics

Record views

156