A necessary controllability condition for discrete-time systems. - Badis Djeridane; Jean-Louis Calvet (ACC, 2002)

An explicit control approach of accessibility for nonlinear discrete-time systems. - Badis Djeridane; Jean-Louis Calvet (ACC, 2003)

A necessary and sufficient local controllability condition for bilinear discrete-time systems. - Badis Djeridane; Jean-Louis Calvet (ACC, 2004)

Neural approximation of PDE solutions: An application to reachability computations. - Badis Djeridane; John Lygeros (CDC, 2006)