Transformation of a PID Controller for Numerical Accuracy
Author(s) -
Nasrine Damouche,
Matthieu Martel,
Alexandre Chapoutot
Publication year - 2015
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2015.10.006
Subject(s) - computation , transformation (genetics) , pid controller , code (set theory) , computer science , algorithm , controller (irrigation) , program transformation , order (exchange) , theoretical computer science , programming language , control engineering , engineering , temperature control , agronomy , biochemistry , chemistry , biology , gene , set (abstract data type) , finance , economics
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom