Les systA]mes dynamiques hybrides sont des systA]mes dynamiques faisant intervenir explicitement et simultanA(c)ment des phA(c)nomA]nes ou des modA]les de type dynamique continu et A(c)vA(c)nementiel. Dans cette thA]se, nous proposons des techniques algorithmiques de vA(c)rification formelle de propriA(c)tA(c)s pour ces systA]mes. Ces techniques de vA(c)rification se basent sur le calcul de l'espace atteignable A partir d'une rA(c)gion initiale pour dA(c)terminer si l'intersection de cet espace avec le domaine A A(c)viter est bien vide. Notre mA(c)thode consiste A partitionner l'espace...