Causal infinitesimal modeling of nonlinear impulsive systems and safe path planning in robotics