A fast method for solving guard set intersection in nonlinear hybrid reachability. - Moussa Maïga; Nacim Ramdani; Louise Travé-Massuyès (CDC, 2013)

Nonlinear hybrid reachability using set integration and zonotopic enclosures. - Moussa Maïga; Christophe Combastel; Nacim Ramdani; Louise Travé-Massuyès (ECC, 2014)

A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability. - Moussa Maïga; Nacim Ramdani; Louise Travé-Massuyès; Christophe Combastel (Math. Comput. Sci., 2014)

A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems. - Moussa Maïga; Nacim Ramdani; Louise Travé-Massuyès; Christophe Combastel (IEEE Trans. Autom. Control., 2016)