Hi guys, I know this might seem a bit unrelated for the sub, but I thought it could be a useful resource for some people.
If you're working on set membership state estimation where probabilistic state estimation (such as standard Kalman filters) aren't safe enough, you rely on worst-case uncertainty tracking.
I recently released decoint, which is a strict implementation of the IEEE 1788.1-2017 Standard for Interval Arithmetic in Python. When using hardware binary64 floats, bounding boxes can artificially shrink. decoint uses gmpy2 and MPFR values for exact arbitrary precision directed rounding.
Why it matters:
When computing reachable sets or bounding additive disturbances, losing precision on bounds can invalidate a safety guarantee. decoint ensures that your over-approximations remain strictly conservative across non-linear transformations.
Here is a quick example of how you can use the library:
from decoint import Interval, cos
x_current = Interval("-0.1", "0.1")
noise_bound = Interval("-0.05", "0.05")
x_next = cos(x_current) + noise_bound
print(f"Guaranteed reachable set: [{x_next.inf}, {x_next.sup}]")
It includes full support for transcendentals, geometric properties, and more.
I'd love any feedback for anyone using interval methods for robust tube MPC or bounded-error tracking
Github: https://github.com/arjavsharma91/IEEE-1788.1-2017-Interval-Arithmetic