IMU

Reliable overbounding for stochastic IMU error models using interval analysis