Computing the evolution of hybrid systems using rigorous function calculus