Guaranteed recursive non‐linear state bounding using interval analysis