Partenaires

CNRS
Ministère de l'Enseignement Supérieur et de la Recherche
Ecole Centrale de Lille
Université de Lille 1
CRIStAL

« janvier 2017 »
L M M J V S D
26 27 28 29 30 31 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31 1 2 3 4 5


Rechercher

Sur ce site

Sur le Web du CNRS


Accueil du site > Pages perso > KHLIF-BOUASSIDA Manel

KHLIF-BOUASSIDA Manel


My CV :

 

Join my network :

Maître de Conférences 


Département Math-Info

Équipe MOSES

Groupe de travail CI2S

Laboratoire CRIStAL

Tél +33 3 20 33 54 35

Fax +33 3 20 33 54 18

Centrale Lille

Cité Scientifique- CS 20048

59651 Villeneuve d’Ascq cedex


Enseignements 

  • Ada, C
  • UML, SQL, PL/SQL
  • Logique combinatoire et séquentielle
  • Grafcet
  • FPGA, CPLD, VHDL

Recherche

Mots clés

  • Diagnostic, Diagnosticabilité
  • Systèmes à événements discrets (SED), Réseaux de Petri (RdP)
  • Systèmes embarqués, Systèmes de transport

Encadrements de ​thèses

  • Ben Li (2014-2017) : Diagnosticabilité des systèmes complexes
  • Yuchen Xie (2014-2017) : Modélisation et vérification formelle des systèmes complexes- Application aux systèmes ferroviaires
  • Paul Cazenave (2016-2019) : Synthèse des contrôleurs sûrs de fonctionnement - Application aux systèmes ferroviaires

Participations aux projets

   


Publications

Li B., Basilio J-C, Toguyeni A.K.A, Khlif-Bouassida M., Polynomial Time Verification of Modular Diagnosability of Discrete Event Systems, The 20th World Congress of the International Federation of Automatic Control, IFAC 2017 World Congress, 9-14 July 2017, Toulouse, France (submitted)

Xie Y., Khlif-Bouassida M., Toguyeni A.K.A, Modeling of logic controllers of railway systems for the development of autonomous train, The 20th World Congress of the International Federation of Automatic Control, IFAC 2017 World Congress, 9-14 July 2017, Toulouse, France (Submitted)

Li B., Khlif-Bouassida M., Toguyeni A.K.A Diagnostic and Diagnosability Analysis of Labeled Petri Nets Using Reduction Rules, The 13th International Workshop on Discrete Event Systems (WODES 2016) 

Li B., Khlif-Bouassida M., Toguyeni A.K.A On-The-Fly Diagnosability Analysis of LPN Using Verifier Nets, 3rd Conference on Control and Fault-Tolerant Systems-SysTol’16, Sept 2016, Barcelona, Catalonia, Spain

Xie Y., Khlif-Bouassida M., Toguyeni A.K.A., Modeling of Automatic train operation control using colored petri nets, 11th International Conference on Modeling, Optimization and Simulation-MOSIM’16, August 22-24 Montréal, Québec, Canada

Li B., Khlif-Bouassida M., Toguyeni A.K.A Diagnosticabilité de Réseaux de Petri Labellisés basée sur les explications minimales et les T-semiflots, MSR 2015, Nancy, France, November 2015 (Best Student Paper Award)

Li B., Khlif-Bouassida M., Toguyeni A.K.A., On-the-fly Diagnosability Analysisof Labeled Petri Nets Using T-invariants, DCDS’15, Cancun, Mexico, May 2015

Saddem R., Khlif-Bouassida M., Toguyeni A.K.A., Operational Diagnosability of a Digital Embedded System Controlling a Critical System, SYSTOL’13, Nice, France, October 2013

Saddem R., Khlif-Bouassida M., Toguyeni A.K.A., Architectural Diagnosability analysis of Digital Embedded Systemsapplication to a controller board in train, ROIS’13, Hammam-Sousse, Tunisia, September 2013

Khlif M., Shawky M., Functional-Architectural Diagnosability Analysis of Embedded Architecture, 14th International IEEE Conference on Intelligent Transportation Systems - (ITSC 2011).

A. M’Hamed, M. Khlif, D. Lebey, E. Geahchan, Une architecture de préservation de la vie privée des personnes dépendantes dans les environnements intelligents, Congrès Lambda mu 17 (Maîtrise des risques et sûreté de fonctionnement). 5-7 October 2010. La Rochelle, France.

Khlif, M. Tahan, O. Shawky, M. CO-SImulation Trace Analysis (COSITA) tool for vehicle electronic architecture diagnosability analysis, Intelligent Vehicles Symposium (IV), 2010 IEEE, 21-24 June 2010, San Diego, CA.

M. Khlif, Analyse de diagnosticabilité d’architecture de fonctions embarquées - Application aux architectures automobiles, Thèse de Doctorat, Compiègne France, 2010.

Khlif, M. Shawky, M. Observability Checking to Enhance Diagnosis of Real Time Electronic Systems. DS-RT 2008, the 12- th IEEE International Symposium on Distributed Simulation and Real Time Applications. October 27-29, 2008. Vancouver, British Columbia, Canada.

Khlif, M. Shawky, M. Co-modelling and simulation with multilevel of granularity for real time electronic systems supervision, EUROSIM/UKSIM 2008. 10th International conference on computer Modelling and Simulation. Emmanuel College, Cambridge, England, 1–3 April 2008.

Khlif, M. Shawky, M. Enhancing Diagnosis Ability for Embedded Electronic Systems Using Co-Modeling, International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 07) December 3-12, 2007.