Reachability Computation for uncertain Planar Affine Systems using linear Abstractions. - Othman Nasri; Marie-Anne Lefebvre; Hervé Guéguen (ADHS, 2006)

Abstraction based reachability computation for affine systems with bounded input. - Othman Nasri; Marie-Anne Lefebvre; Hervé Guéguen (CDC, 2006)

Safety verification and reachability analysis for hybrid systems. - Hervé Guéguen; Marie-Anne Lefebvre; Janan Zaytoon; Othman Nasri (Annu. Rev. Control., 2009)

Preservation of structural identifiability in expanded systems. - Safa Jedidi; Romain Bourdais; Marie-Anne Lefebvre (Eur. J. Control, 2018)