1. Impulse Differential Inclusions: A Viability Approach to Hybrid Systems;a-Aubin;IEEE Transactions on Automatic Control,2002
2. b-Aubin J,-P., Haddad G.,(2002) Detectability through Measurements under Impulse Differential Inclusions, IEEE proceedings of the 41 st IEEE conference on decision and control, Vol. 4, 3591 - 3595 Dang T.(2000), vérification et synthèse des systèmes hybrides, Institut national polytechnique de Grenoble, France, Thesis
3. Hadj-Amor. HJ (2008), Contribution au prototypage virtuel de systèmes mécatroniques basé sur une architecture distribuée HLA. Expérimentation sous les environnements OpenModelica-OpenMASK Supmeca Toulon university France PHD thesis.
4. Lygeros. J, (2004) Lecture Notes on Hybrid Systems, Notes for an ENSIETA short course, 54–58
5. ‘Continuous simulation, differential inclusions, uncertainty, and traveling in time';Raczynski;Simulation,2004