Transformation of a PID controller for numerical accuracy (Q2520677)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Transformation of a PID controller for numerical accuracy |
scientific article |
Statements
Transformation of a PID controller for numerical accuracy (English)
0 references
16 December 2016
0 references
numerical accuracy
0 references
semantics-based program transformation
0 references
floating-point arithmetic
0 references
validation of numerical programs
0 references
