Skip to Main content Skip to Navigation
New interface
Journal articles

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 metadata
Contributor : Joelle Sulian Connect in order to contact the contributor
Submitted on : Thursday, January 14, 2016 - 10:56:10 AM
Last modification on : Friday, August 5, 2022 - 2:56:33 PM

Links full text



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



Record views