Construction of parametric barrier functions for dynamical systems using interval analysis
scientific article