Transformation of a PID controller for numerical accuracy (Q2520677): Difference between revisions

@@ Property / author @@
-Alexandre Chapoutot
@@ Property / author: Alexandre Chapoutot / rank @@
-Normal rank
@@ Property / author @@
+Alexandre Chapoutot
@@ Property / author: Alexandre Chapoutot / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2015.10.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2225877325
@@ Property / OpenAlex ID: W2225877325 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317766
@@ Property / Wikidata QID: Q113317766 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Static Analysis of Finite Precision Computations
@@ Property / cites work: Static Analysis of Finite Precision Computations / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics-Based Transformation of Arithmetic Expressions
+Normal rank
@@ Property / cites work @@
+Accurate Evaluation of Arithmetic Expressions (Invited Talk)
+Normal rank
@@ Property / cites work @@
+Handbook of Floating-Point Arithmetic
@@ Property / cites work: Handbook of Floating-Point Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical Computing with IEEE Floating Point Arithmetic
+Normal rank