Transformation of a PID controller for numerical accuracy

DOI10.1016/J.ENTCS.2015.10.006MaRDI QIDQ2520677zbMATH OpenOpenAlexWikidataFDO

Authors N. Damouche, Matthieu Martel, Alexandre Chapoutot

Publication date 16 December 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2015.10.006

zbMATH Keywords

floating-point arithmeticnumerical accuracysemantics-based program transformationvalidation of numerical programs

Mathematics Subject Classification ID

Roundoff error (65G50) Numerical algorithms for computer arithmetic, etc. (65Y04) Feedback control (93B52)

Recommendations

• Semantics-Based Transformation of Arithmetic Expressions
• Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics
• Impact of accuracy optimization on the convergence of numerical iterative methods
• Numerically reliable software for control: the SLICE library
• Numerical Software with Result Verification

Cites work

• Accurate evaluation of arithmetic expressions (invited talk)
• Handbook of Floating-Point Arithmetic
• Interval slopes as a numerical abstract domain for floating-point variables
• Numerical computing with IEEE floating point arithmetic. Incl. one theorem, one rule of thumb, and one hundred and one exercises
• Semantics-Based Transformation of Arithmetic Expressions
• Static analysis of finite precision computations
• Systematic design of program transformation frameworks by abstract interpretation

Cited in

(6)

• On a modification of the PID controller
• Forcing linearity numbers for modules over PID's
• Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics
• Tuning of PID controllers based on Bode's ideal transfer function
• Semantics-Based Transformation of Arithmetic Expressions
• Impact of accuracy optimization on the convergence of numerical iterative methods

This page was built for publication: Transformation of a PID controller for numerical accuracy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2520677)