Computation of parametric barrier functions for dynamical systems using interval analysis. - Olivier Bouissou; Alexandre Chapoutot; Adel Djaballah; Michel Kieffer (CDC, 2014)

Construction of parametric barrier functions for dynamical systems using interval analysis. - Adel Djaballah; Alexandre Chapoutot; Michel Kieffer; Olivier Bouissou (Autom., 2017)

Computation of barrier certificates for dynamical hybrids systems using interval analysis. (Calcul par analyse intervalle de certificats de barrière pour les systèmes dynamiques hybrides). - Adel Djaballah (2017)