Véronique Carré-ménétrier

Contact

Email: veronique.carre@univ-reims.fr
Telephone: +33 3 26 91 32 29
Mobile Phone: +33 6 38 41 85 76
Equipe(s): CDSED

Department : Automatique et Traitement du Signal
CNU : 61

Location

EiSINe - Moulin de la Housse - BP 1039 - 51687 Reims CEDEX 2
Reims, bât. 12, bur. 28

CV

Formation

1983 à 1985 DEUG, Licence EEA, Maitrise, Mention Assez Bien, UFR SEN de Reims

Juin 1986 DEA en Métrologie Automatique Electrotechnique, option Automatique, Mention Bien, Nancy I – INP de Lorraine

Janvier 1990 Doctorat de l'Université de Reims Champagne-Ardenne, "Contribution au dialogue homme-machine - Applications Industrielles à un réseau d'automates", Mention très honorable, soutenu le 18 janvier 1990, Directeur de thèse : G. Villermain Lecolier, Professeur à l’URCA, partenariat avec Alstom

Décembre 2000 Habilitation à diriger des recherches, "Contribution à la modélisation, l’analyse et la synthèse de commande des systèmes à événements discrets", soutenue le 21 décembre 2000, Garant des travaux : J. Zaytoon, Professeur à l’URCA

Activités d'Enseignement

Octobre 1990 Maître de Conférences 61^ème section à l’URCA

Septembre 2002 Professeur en 61^ème section à l’URCA

Mots-clés : Modélisation / Commande / Diagnostic / Spécification et conception / Systèmes à Evénements Discrets

Enseignement en formation initiale : DEUG, IUP GEII, Licence et Maîtrise EEA, DESS EEA, Master Professionnel STIC-EEA…

Enseignement en formation continue : ITII Génie Mécanique (diplôme ENSAM-URCA), IIT BTP (diplôme Cnam-URCA), Cnam ...

Activités de Recherche

de 1985 à 2004 au Laboratoire d'Automatique et de Microélectronique (LAM) de l'URCA.
depuis 2004 au Centre de Recherche en STIC (CReSTIC) de l'URCA (EA 3084)

Mots-clés : Systèmes à événements discrets (SED) / commande / diagnostic / vérification / analyse / synthèse / supervision / sûreté de fonctionnement / systèmes automatisés de production.

Distinctions

Officier des palmes académiques, promotion du 14 juillet 2009

Chevalier de l’ordre national du mérite, promotion du 13 novembre 2009

Activities

Directrice de l'EiSINe (Ecole d'ingénieurs en Sciences Industrielles et Numérique) depuis février 2020

Directrice des études pour l’URCA du diplôme d'ingénieur en mécanique de l’ENSAM en convention avec l’URCA en partenariat avec l’ITII Champagne-Ardenne depuis septembre 2013

Chargée de mission auprès du Président de l’URCA en charge du suivi et du développement de filières ingénieurs au sein de l'URCA de juin 2017 à janvier 2020

Conseiller académique de la formation continue dans l'enseignement supérieur (CAFCES) de juillet 2017 à février 2019

Directrice de l’UFR Sciences Exactes et Naturelles de l'URCA de mai 2004 à octobre 2010 puis de novembre 2015 à avril 2017

Chargée de mission auprès du Président de l’URCA en charge du continuum bac-3/bac+3 de septembre 2013 à septembre 2015

Directrice du Cnam Champagne-Ardenne d’octobre 2010 à juillet 2013

Directrice de la filière ingénieur du Cnam en partenariat avec l’IIT BTP d’octobre 2010 à juillet 2013

Encadrement doctoral et scientifique

a) Direction de thèses

Constant Ndjab (thèse soutenue en décembre 1999),
Omar Nour El Alaoui (thèse soutenue en janvier 2002),
Abelouahed Tajer (thèse soutenue le 3 novembre 2005),
Alexandre Philippot (thèse soutenue le 18 juillet 2006),
Benoit Rohée (thèse soutenue le 19 décembre 2008),
Nourhène Ben Rabah (thèse en co-tutelle avec l'Ecole Nationale des Sciences de l’Informatique de l'Université de la Manouba en Tunisie, soutenue le 14 décembre 2018),
Imane Tahiri (thèse, soutenue le 28 aout 2020),
Medhi Chankate (thèse en cours, début novembre 2016),
Alexandre Parent (thèse en cours, début le 1^er octobre 2019),
Yuhan Chen (thèse en cours, début mars 2020, co-directrice).

b) Garant HDR

Garant des travaux de l’Habilitation à diriger des Recherches de M. Sayed Mouchaweh, « Contribution au diagnostic et à la supervision des systèmes dynamiques complexes », soutenue le 8 décembre 2008 devant le jury composé des professeurs : Président : Patrick Millot, Rapporteurs : Jean- Jacques Lesage, Sylviane Gentil et Carl Frélicot et Examinateurs : Michel Combacau, Patrice Billaudel, Bernard Riera, Véronique Carré-Ménétrier

c) Participation à des jurys d’Habilitation à diriger des Recherches au sein de l’URCA

HDR de Guillaume GELLE, « Information et Décision. Contribution à la surveillance des systèmes complexes et aux communications numériques », URCA, 7 décembre 2004, Garant HDR G. Delaunay
HDR de Abdelaziz HAMZAOUI, « Contribution à la commande floue des systèmes complexes et/ou incertains », URCA, 10 décembre 2004, Garant HDR J. Zaytoon.
HDR de Alexandre PHILIPPOT, « Commande sûre de fonctionnement et diagnostic des SED : vers une intégration de l’humain au cœur de l’industrie du futur », 3 décembre 2018, Rapporteurs : Pascal Berruet, Dimitri Lefebvre, Frédéric Vanderhaegen, Examinateurs : Jean-Jacques Lesage, Véronique Carré-Ménétrier, Bernard Riera Professeur Garant URCA

d) Participation à des jurys de thèse au sein de l’URCA

Thèse de Pascale MARANGE, « Synthèse et filtrage robuste de la commande pour des systèmes manufacturiers sûrs de fonctionnement », Université de Reims Champagne Ardenne, 3 novembre 2008, Directeurs de recherche B. Riera et F.Gellot
Thèse de Khaled LABOUDI : « Contribution à la détection et à l’estimation des défauts pour des systèmes linéaires à commutations », Université de Reims-Champagne-Ardenne, 9 novembre 2017, Directeurs de recherche N. Manamanni et N. Messai, Présidente : V. Carré-Ménétrier
Thèse de Romain PICHARD, « Contribution à la Commande des Systèmes à Événements Discrets par Filtre Logique », Université de Reims-Champagne-Ardenne, 30 novembre 2018, Jury : Pr. J.F. Pétin (Université de Lorraine, Examinateur), Pr. V. Carré-Ménétrier (URCA, Examinatrice), Dr. P. Marangé (Université de Lorraine, Examinatrice), Dr-HDR J.M. Roussel (ENS Paris-Saclay, Rapporteur), Dr-HDR L. Piétrac (INSA de Lyon, Rapporteur), Dr. R. Saddem (URCA, Co-encadrant), Dr. A. Philippot (URCA, Co-encadrant), Pr. B. Riera (URCA, Directeur).

Mes travaux personnels et d’encadrement ont pour cadre les SED. Les systèmes manufacturiers, dans un contexte industrie du futur, constituent le domaine d’application de ces travaux dont l’objectif est la réalisation d’une commande sûre de fonctionnement.

La modélisation, l’analyse, la synthèse et le diagnostic représentent le fil conducteur de ces travaux qui s’articulent autour d’outils de modélisation complémentaires que sont les automates à états, le Grafcet et les réseaux de Petri et des outils de vérification formelle.

L’orientation actuelle de mes travaux est de prendre en compte la composante humaine dans la conception des outils/méthodes développés. En effet, mes activités visent une amélioration de la performance du système global dans lequel l’homme reste un acteur indispensable qui doit être vu comme une valeur ajoutée. Ces outils, parce qu’ils modifient la place, le rôle et les tâches de l’opérateur, doivent être conçus dans une approche de coopération Homme-Machine. Mes activités conduisent à une recherche qui aborde les aspects théoriques et conceptuels ainsi que les aspects appliqués.

L’ensemble a fait l’objet de chapitres d’ouvrages (2), d’articles dans des revues nationales et internationales (18), de communications nationales et internationales (62), de présentation dans des groupes de travail (15), d’encadrement et de co-encadrement de chercheurs (5 thèses soutenues, 3 thèses en cours, garant d’une HDR), de contrats en partenariat avec la région, avec les industriels et d’un brevet international. J’ai intégré en 1995 le groupe de travail GRAFCET de l’AFCET devenu le groupe SED du GDR MACS. Dans le cadre recherche, j’y ai présenté de nombreux travaux et dans le cadre du lien enseignement-recherche, j’ai participé à l’écriture d’un ouvrage collectif.

En cohérence avec mes activités et celles de mon équipe, je travaille à développer un démonstrateur à visée industrielle avec l’UTT et l’UIMM-CA dans le cadre d’un projet CPER « Factories of Future Champagne-Ardenne » obtenu en 2017. L’objectif est de fédérer les travaux et les plateformes existantes autour de la problématique « Industrie du Futur » dans un institut en réseau pour la région Grand -Est.

La Liste des publications est donnée ici.

1. Ouvrage collectif – Chapitre dans ouvrage

[OU-1] V. CARRÉ-MÉNÉTRIER, P. DE LOOR. Grafcet et Graphe d’états, Chapitre 5 de l’ouvrage collectif « 7 Facettes du GRAFCET : Approches pratiques de la conception à l’exploitation », Cépaduès-Éditions : Paris, juin 2000, pp 98-113.

[OU-2] A. Philippot, M. Sayed-Mouchaweh, V. Carré-Ménétrier, “Component models based approach for failure diagnosis of discrete event systems”, IGI book “Intelligent Industrial Systems: Modelling, Automation and Adaptive Behaviour”, ISBN 9781615208494, 2010.

2. Edition d'actes

[EA-1] J. Zaytoon, V. Carré-Ménétrier, X. CAO, C. Cassandras. Proceedings of the 7^th International Workshop on Discrete Event Systems, WODES'04, Editors, Reims, France 22-24 September 2004, 471 pages, Elsevier-Oxford 2005.

3. Revues nationales avec comité de lecture

[RN-1] P. BILLAUDEL, J.C. EMOND, V. MÉNÉTRIER, G. VILLERMAIN LECOLIER. « Identification de la réponse d'un capteur magnétique plat de proximité », Revue Physique Appliquée, vol 22, 1987, pp 779-783.

[RN-2] V. CARRÉ-MÉNÉTRIER, G. VILLERMAIN-LECOLIER. « Amélioration du dialogue homme-machine sur console d’automate programmable pour la réalisation de progiciels », Revue d’Automatique et de Productique Appliquée (RAPA), vol 3, n°2, 1990, pp 57-65.

[RN-3] F. GELLOT, V. CARRÉ-MÉNÉTRIER, J. ZAYTOON, G. VILLERMAIN-LECOLIER. « PETRILAM : atelier logiciel d'analyse et de simulation de réseaux de Petri ». RAPA, vol 8, n°4, 1995, pp 543-563.

[RN-4] J. Zaytoon, V. CarrÉ-MÉnÉtrier. « Grafcet et Graphe d’états : comportement, raffinement, vérification et validation », JESA, vol 33, n°7, 1999, pp 751-782.

[RN-5] J. Zaytoon, C. Ndjab hagbebell, V. Carré-Ménétrier. « Grafcet et Graphe d’états : synthèse hors ligne de la commande », JESA, vol 33, n°7, 1999, pp 783-814.

[RN-6] V. Carré-Ménétrier, C. Ndjab hagbebell, J. Zaytoon. “Methods and tools for the synthesis of an optimal control implementation for Grafcet”, JESA, vol. 33, n°8-9, 1999, pp 1073-1092.

[RN-7] A. PHILIPPOT, A. TAJER, F. GELLOT, V. CARRÉ-MÉNÉTRIER, "On-line synthesis approach based on a structured plant modelling", e-STA, vol 1, n°3, 2004.

[RN-8] A. PHILIPPOT, A. TAJER, F. GELLOT, V. CARRÉ-MÉNÉTRIER, « Méthodologie de modélisation dans le cadre de la synthèse formelle des SED », e-STA, vol 2, n°2, 2005.

[RN-9] A. TAJER, P. MARANGE, F. GELLOT, V. CARRÉ-MÉNÉTRIERr, « Synthèse d’une commande supervisée à base de contraintes booléennes », e-STA 2007, vol 4, n°5, 2007.

[RN-10] A. Philippot, M. Sayed-Mouchaweh, V. Carré-Ménétrier, « Diagnostic Décentralisé des SED: Application aux Systèmes Manufacturiers », JESA, 42(1):31-62, mars 2008.

[RN-11] P. MARANGE, A. TAJER, F. GELLOT, V. CARRÉ-MÉNÉTRIER, « Étude du comportement global d'un SED en vue de la validation de sa commande spécifiée par Grafcet », JESA, 42(1):63-94, mars 2008.

4. Revues internationales avec comité de lecture

[RI-1] J. Zaytoon, V. Carré-Ménétrier. “Synthesis of control implementation for discrete manufacturing systems”, International Journal of Production Research (IJPR), vol 39, n°2, January 2001, pp 329-345.

[RI-2] V. Carré-Ménétrier, J. Zaytoon, “Grafcet: behavioural issues and control synthesis”, European Journal of Control (EJC), vol 8 n°4, 2002, pp 375-401.

[RI-3] M. Sayed-Mouchaweh, A. Philippot, V. Carré-Ménétrier, “Decentralized diagnosis based on Boolean discrete event models: Application on manufacturing systems”, IJPR, vol 46, September 2008, pp 5469-5490.

[RI-4] A. Philippot, M. Sayed Mouchaweh, V. Carré-Ménétrier, B. Riera, “Generation of candidates’ tree for the fault diagnosis of discrete event systems”, Special Section: DCDS’09 – The 2nd IFAC Workshop on Dependable Control of Discrete Systems , Elsevier, Control Engineering Practice,

19(9):1002-1013, September 2011.

[RI-5] A. Philippot, A TAJER, V. Carré-Ménétrier, “From centralized to decentralized approach for optimal controller of Discrete Manufacturing Systems”, ARPN Journal of Science and Technology, 2(10):936-949, November 2012.

[RI-6] A TAJER, A. Philippot, V. Carré-Ménétrier, “Centralised controller for manufacturing systems through liveness extraction approach”, International Journal of Systems, Control and Communications, 5(3) : 189-213, 2013, DOI:10.1504/IJSCC.2013.058175.

[RI-7] I. TAHIRI, A. PHILIPPOT, V. Carré-Ménétrier, A. TAJER, " A Tolerant and Reconfigurable Control Approach for Discrete Event Systems with a PLC implementation Method", soumis en septembre 2019 à IEEE TCST

5. Autres Revues

[ARE-1] V. CARRÉ-MÉNÉTRIER, J. ZAYTON. Démarche progressive d’implantation d’une commande sûre dans un A.P.I. à partir d’une spécification Grafcet. Revue de l’Electricité et de l’Electronique R.E.E., N°3, mars 2000, pp 69-76.

[ARE-2] O. NOUR EL ALAOUI, V. CARRÉ-MÉNÉTRIER, F. GELLOT, J. ZAYTOON. Sur le comportement cyclique des systèmes dynamiques hybrides : Application aux convertisseurs statiques, Revue de l’Electricité et de l’Electronique R.E.E., N°10, octobre 2000, pp 67-72.

6. Conférences internationales à comité de lecture et actes publiés

[CI-1] V. CARRÉ-MÉNÉTRIER, G. VILLERMAIN-LECOLIER. Outil de dialogue homme-machine sur console d’automate programmable. 1^ère Conférence Internationale sur l'Automatisation Industrielle, Montréal, Canada, 1-3 juin 1992, vol 1, pp 11.5-11.8.

[CI-2] F. GELLOT, V. CARRÉ-MÉNÉTRIER, G. VILLERMAIN-LECOLIER. PETRILAM: an analysis and simulation Petri nets software. 4^th Annual EAEEIE conference on multimedia and computer tools, Prague, Czechoslovakia, 8-10 September 1993, pp 19-23.

[CI-3] V. CARRÉ-MÉNÉTRIER, F. GELLOT, J. ZAYTOON, G. VILLERMAIN-LECOLIER. Spécification d'un didacticiel pour Réseaux de Petri. 2^ème Conférence Internationale sur l'Automatisation Industrielle, Nancy, 7-9 juin 1995, pp 83-88.

[CI-4] J. ZAYTOON, M. NICLET, V. CARRÉ-MÉNÉTRIER, G. VILLERMAIN-LECOLIER. Décomposition et allocation des tâches en génie automatique : une approche objet. 2^ème Conférence Internationale sur l'Automatisation Industrielle, Nancy, 7-9 juin 1995, vol 1, pp 35-40.

[CI-5] J. Zaytoon, V. CARRÉ-MÉNÉTRIER, M. NICLET, P. DE LOOR. On the recent advances in Grafcet. IFAC-Workshop on Manufacturing Systems: Modelling, Management and Control, MIM’97, Vienna, Austria, 3-5 February 1997, pp 387-392.

[CI-6] J. ZAYTOON, C. NDJAB HAGBEBELL, V. CARRÉ-MÉNÉTRIER. On the synthesis of Grafcet using the supervisory control theory, IFAC Conference on Control of Industrial Systems, Belfort, 1997, pp 391-396.

[CI-7] B. ROBERT, O. NOUR EL ALAOUI, F. GELLOT, V. CARRÉ-MÉNÉTRIER. Le modèle Réseaux de Petri en électrotechnique. ADMP’98, 3^ème Conférence Internationale sur l’Automatisation des Processus Mixtes ADPM’98, Reims, 19-20 mars 1998, pp 383-389.

[CI-8] J. Zaytoon, V. CARRÉ-MÉNÉTRIER, G. VILLERMAIN LECOLIER. Grafcet : Methodological and Formal issues, EURISCON’98, 3^rd European Robotics, Intelligent Systems and Control Conference, Athens, Greece, June 1998, pp 176.

[CI-9] O. NOUR EL ALOUI, F. GELLOT, V. CARRÉ-MÉNÉTRIER, G. VILLERMAIN LECOLIER. Analyse de systèmes électrotechniques à l’aide des Réseaux de Petri en vue de leur commande. 3^ème Conf. Internationale sur l’Automatisation Industrielle, Montréal, Canada, juin 1999, pp 18.1-18.4.

[CI-10] V. CARRÉ-MÉNÉTRIER, C. NDJAB HAGBEBELL, F. GELLOT, J. ZAYTOON. A CASE tool for the synthesis of optimal control implementation of Grafcet, 1999 IEEE International Conference on Systems, Man, and Cybernetics, Tokyo, Japan, October 1999, pp 796-801.

[CI-11] J. ZAYTOON, V. CARRÉ-MÉNÉTRIER. From Discrete-Event Dynamical Systems to Hybrid Dynamical Systems, 1999 IEEE International Conference on Systems, Man, and Cybernetics, Tokyo, Japan, October 1999, pp 159-164.

[CI-12] J. ZAYTOON, V. CARRÉ-MÉNÉTRIER, O. NOUR EL ALAOUI. F. GELLOT. A Declarative Framework for the Characterisation of Cyclic Behaviour for a Class of Hybrid Control Systems, 8^th IFAC Symposium on Computer Aided Control Systems Design, Salford, Royaume-Uni, September 2000, pp 57-62.

[CI-13] V. CARRÉ-MÉNÉTRIER, O. NOUR EL ALAOUI, F. GELLOT, J. ZAYTOON. Analysis and Synthesis of Cyclic Behaviour for Electronic Converters, 4^th Int. Conference on Automation of Mixed Processes ADPM’2000, Dortmund, Germany, September 2000, pp 301-306.

[CI-14] V. CARRÉ-MÉNÉTRIER, F. GELLOT, S. MAILLIOT, J. ZAYTOON. Design and development of an access-control supervisor for a safety-critical installation, 28^th ICC&IE (Int. Conference on Computers and Industrial Engineering), Cocoa Beach, Floride, Mars 2001, pp. 804-809.

[CI-15] V. CARRÉ-MÉNÉTRIER, J. ZAYTOON, A. TAJER. Formal composition algorithm for the synthesis of a correct controller implementation, 10^th IFAC Symposium on Information Control Problems in Manufacturing INCOM’01, Vienne, Septembre 2001.

[CI-16] S. TRIKI, M. SAYED MOUCHAWEH, B. RIERA, V. CarrÉ-MÉnÉtrier, J.ZAYTOON, "Human adapted qualitative diagnosis for abrupt faults", IFAC INCOM’O4, Salvador, Brazil, April 2004.

[CI-17] A. PHILIPPOT, A. TAJER, F. GELLOT, V. CARRÉ-MÉNÉTRIER, "On-line synthesis approach based on a structured plant modelling", IFAC 7th WODES’04, Reims, September 2004, p. 397-402.

[CI-18] A. PHILIPPOT, M. SAYED MOUCHAWEH, V. CARRÉ-MÉNÉTRIER, "Multi-models approach for the diagnosis of Dicrete Events Systems", 7th IMACS’05 World Congress, 11-15 juillet 2005, Paris, France

[CI-19] F. GELLOT, V. CARRÉ-MÉNÉTRIER, J. ZAYTOON, "A structural-behavioral framework for access-control of safety-critical installations", 7th IMACS’05 World Congress, 11-15 juillet 2005, Paris,

[CI-20] M. SAYED-MOUCHAWEH, A. PHILIPPOT, V. CARRÉ-MÉNÉTRIER, B. RIERA, "Detectability and diagnosability of Discrete Event Systems", 2nd ICINCO 2005, Barcelona, Spain, Vol. 4, September 14-17, 2005, p.149-154.

[CI-21] P. MARANGE, A. TAJER, F. GELLOT, V. CARRÉ-MÉNÉTRIER, "Synthesis of supervised controller based on Boolean constraints and Boolean automata", IFAC INCOM'06, Saint-Etienne, 17-19 mai, 2006, p.299-304.

[CI-22] M. SAYED-MOUCHAWEH, A. PHILIPPOT, V. CARRÉ-MÉNÉTRIER, B. RIERA, "Timed-Event-State-Based Diagnoser for Manufacturing Systems", 7^th IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services, BASYS'06,

Niagara Falls, Ontario, Canada, 4-6 September, 2006.

[CI-23] B. Rohée, B. RIERA, V. CARRÉ-MÉNÉTRIER, J.M. ROUSSEL, "A methodology to design and check a plant model", 3^rd International IFAC Workshop on discrete event System Design DESDes 06, Rydzyna, Pologne, 26-28 September, 2006.

[CI-24] A. PHILIPPOT, M. SAYED-MOUCHAWEH, V. CARRÉ-MÉNÉTRIER, B. RIERA. "Decentralized Approach to Diagnose Manufacturing Systems", Computational Engineering in Systems Applications CESA'06, Beijing, China, 4-6 October, 2006

[CI-25] M. Sayed-Mouchaweh, A. Philippot, V. Carré-Ménétrier, «Decentralized Approach for fault diagnosis of Discrete Event Systems”, IFAC 4th International Conference on Informatics in Control, Automation and Robotics (ICINCO’07). Angers, France, mai 2007.

[CI-26] A. Philippot, M. Sayed-Mouchaweh, V. Carré-Ménétrier “Unconditional Decentralized Structure for the fault diagnosis of Discrete Event Systems”, 1st IFAC Workshop on Dependable Control of Discrete-event Systems (DCDS’07). Cachan, France, juin 2007.

[CI-27] B. Rohée, B. Riera, V. Carré-Ménétrier “Manufacturing human machine interface design using plant models”, IFAC/IFIP/IFORS/IEA Symposium - Analysis, Design and Evaluation of human machine systems. Seoul, Korea, September 2007.

[CI-28] B. Rohée, V. Carré-Ménétrier, B. Riera, “Proposition of completeness property to perform the plant modelling for manufacturing applications”, IFAC World congress, Seoul Korea, 2008.

[CI-29] A. Philippot, M. Sayed-Mouchaweh, V. Carré-Ménétrier, “Modelling of a discrete manufacturing system by Parts of plant”, 13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM '09, June 3-5, 2009, Moscow - Russia

[CI-30] A. Philippot, M. Sayed-Mouchaweh, V. Carré-Ménétrierr, B. RIERA, “Discrete Event Model-Based Approach for Fault Detection and Isolation of Manufacturing Systems”, DCDS09, June 10-12, 2009, Bari - Italy

[CI-31] A. Philippot, M. Sayed-Mouchaweh, V. Carré-Ménétrier, B. RIERA, “Fault Diagnosis of Discrete Event Systems Using Components Fault-Free models”, DX’09, June 14-14, 2009, Stockholm - Suède

[CI-32] M. Sayed-Mouchaweh, A. Philippot, V. Carré-Ménétrier, “Candidates’ generation for diagnosis of discrete manufacturing systems”, 7^th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SafeProcess 2009), June 30 - July 3, 2009, Barcelona – Spain

[CI-33] A. Philippot, M. Sayed-Mouchaweh, V. Carré-Ménétrier, “Distributed Modeling Approach of discrete manufacturing systems by Parts of Plant”, European Control Conference 2009 (ECC'09). Budapest (Hungary), August 2009.

[CI-34] N. MALKI, A. Philippot, M. Sayed-Mouchaweh, V. Carré-Ménétrier, “Independent co-diagnosability of discrete event systems using component-based-approach from modelling to diagnosis”.28^th European Annual Conference on Human Decision-Making and Manual control (EAM09), Reims, France,

September 2009.

[CI-35] A. Philippot, A. TAJER, V. Carré-Ménétrier, “Elaboration of Distributed Optimal Controller for Manufacturing Systems through Synthesis Approach”, International Conference on Communication, Computing and Control Applications, IEEE, Hammamet, Tunisia, mars 2011.

[CI-36] A. TAJER, A. Philippot, V. Carré-Ménétrier, “Decentralized Implementation Approach of Control Synthesis of Manufacturing Systems”, 2nd International Conference on Multimedia Computing and Systems, IEEE, Ouarzazate, Morocco, April 2011.

[CI-37] A. Philippot, V. Carré-Ménétrier, “Comparison of diagnosis approaches for Discrete Event Systems”, International Conference on Industrial Engineering and Systems Management (IESM'11), Metz, France, May 2011.

[CI-38] A. Philippot, V. Carré-Ménétrier, “Methodology to obtain local discrete diagnosers”, 3rd International Workshop on Dependable Control of Discrete Systems (DCDS'11), pp 49-54, IEEE, Saarbrücken, Germany, June 2011.

[CI-39] A. Philippot, V. Carré-Ménétrier, A. TAJER, “Optimal Controller for Manufacturing Systems by Decentralized Approach”, European Safety and Reliability Annual Conference (ESREL'11), Troyes, France, September 2011.

[CI-40] A. TAJER, A. Philippot, V. Carré-Ménétrier, « Design and implementation of decentralized controller for Discrete Manufacturing Systems”, International symposium on Security and Safety of Complex Systems (2SCS'12), Agadir, Morocco, May 2012.

[CI-41] A. Philippot, P. MARANGE, V. Carré-Ménétrier, B. RIERA, "Implementation of diagnosis approach for Discrete Event Systems”, International symposium on Security and Safety of Complex Systems (2SCS'12), Agadir, Morocco, May 2012.

[CI-42] A. TAJER, A. Philippot, V. Carré-Ménétrier, “Synthesis of Optimal controller of Discrete Manufacturing Systems by Liveness Extraction”, IEEE International Conference on Complex Systems (ICCS'12), Agadir, Morocco, November 2012.

[CI-43] R. PICHARD, N. BEN RABAH, V. Carré-Ménétrier, B. RIERA, “CSP solver for Safe PLC Controller: Application to manufacturing systems”, 8th IFAC Conference on Manufacturing Modelling, Management and Control (MIM 2016), Troyes, France, June 2016.

[CI-44] N. BEN RABAH, R. SADDEM, F. BEN HMIDA, V. Carré-Ménétrier, M. TAGINA, “Intelligent Case Based Decision Support System for Online Diagnosis of Automated Production System”, 13th IFAC European Workshop on Advanced Control and Diagnosis, 17 - 18 November 2016, Lille.

[CI-45] N. BEN RABAH, R. SADDEM, F. BEN HMIDA, V. CARRÉ-MÉNÉTRIER, M. TAGINA, “Automatic Acquisition and Updating of a Causal Temporal Signatures Base- for Faults Diagnosis in Automated Production System”, 14th International Conference on Informatics in Control,

Automation and Robotics (ICINCO), 26-28 July 2017, Madrid, Spain.

[CI-46] I. TAHIRI, A. PHILIPPOT, V. Carré-Ménétrier, A. TAJER, “Timed synthesis control approach for tolerant-fault control of Discrete Event Systems (DES)”, ICCAD'18, March 19-21, 2018, Marrakech, Morocco

[CI-47] M. CHANKATE, P. MARANGE, A. PHILIPPOT, V. CARRÉ-MÉNÉTRIER, « Conception d’un système de vérification de la diagnosticabilité par Model-Checking à partir du modèle du système », 12^ème Conférence Internationale de Modélisation, Optimisation et SIMulation- MOSIM’18, 27-29 Juin, 2018, Toulouse

[CI-48] I. TAHIRI, A. PHILIPPOT, V. Carré-Ménétrier, A. TAJER, “Time-Based Estimator for Control Reconfiguration of Discrete Event Systems (DES)”, IEEE International Conference on Control, Decision and Information Technologies CoDIT 2019, April 23-26, 2019, Paris, France

[CI-49] M. CHANKATE, P. MARANGE, A. PHILIPPOT, V. CARRÉ-MÉNÉTRIER, “Diagnosability on Centralized Model of the System Checking”, IEEE - 2019 International Conference on Control Automation and Diagnosis ICCAD'19, July 2-4, 2019, Grenoble-France

[CI-50] I. TAHIRI, A. PHILIPPOT, V. Carré-Ménétrier, A. TAJER, “Two Cases of Study for Control Reconfiguration of Discrete Event Systems (DES)”, 16th International Conference on Informatics in Control, Automation and Robotics ICINCO’19, Prague, Csech Republic, 29-31 July, 2019

7. Conférences nationales à comité de lecture et actes publiés

[CN-1] O. NOUR EL ALOUI, F. GELLOT, V. CARRÉ-MÉNÉTRIER. Utilisation de la programmation par contraintes pour l’analyse des Réseaux de Petri. Colloque de Recherche Doctorale AGI’S 97, Session Poster, Angers, décembre 1997, pp 115-121.

[CN-2] O. NOUR EL ALAOUI, V. CARRÉ-MÉNÉTRIER, F. GELLOT. De la modélisation à l'analyse de convertisseurs statiques à partir des réseaux de Petri, JDA'99, Nancy, sep. 1999, pp 277-280.

[CN-3] A. TAJER, A. PHILIPPOT, F. GELLOT, V. CARRÉ-MÉNÉTRIER "Contribution à l’amélioration de la praticabilité des approches formelles de synthèse de commande", Journées Doctorales d’Automatique 2003, Valenciennes, 25-27 juin 2003, p.239-244.

[CN-4] A. PHILIPPOT, A. TAJER, F. GELLOT, V. CARRÉ-MÉNÉTRIERr, "Synthèse de la commande spécifiée en Grafcet : application à un préhenseur pneumatique", Colloque Francophone sur la modélisation des systèmes réactifs, MSR’03, Metz, 6-8 octobre 2003, p.61-75.

[CN-5] A. TAJER, A. PHILIPPOT, F. GELLOT, V. CARRÉ-MÉNÉTRIER, "Démarche formelle de synthèse de synthèse d’une commande sûre à partir d’une spécification Grafcet", Conférence Internationale Francophone d'Automatique CIFA’04, Douz, Tunisie, novembre 2004, papier 160, 6 pages

[CN-6] A. PHILIPPOT, A. TAJER, F. GELLOT, V. CARRÉ-MÉNÉTRIERr, "Méthodologie de modélisation dans le cadre de la synthèse formelle des SED", CIFA’04, Douz, Tunisie, novembre 2004, 6 pages

[CN-7] A. PHILIPPOT, M. SAYED MOUCHAWEH, V. CARRÉ-MÉNÉTRIER, "Diagnostic des SED par modélisation multi-outils", JDMACS-JNMACS, Lyon, France, 5-7 septembre 2005.

[CN-8] A. TAJER, P. MARANGE, F. GELLOT, V. CARRÉ-MÉNÉTRIER, "Synthèse d’une commande supervisée à base de contraintes booléennes", CIFA'06, Bordeaux, 30-31 mai et 1^er juin, 2006.

[CN-9] B. Rohée, B. Riera, V. CarrÉ-MÉnÉtrier, J.-M. Roussel, « Outil d’aide à l’élaboration de modèles hybrides de simulation pour les systèmes manufacturiers », JN-JD-MACS 2007. Reims, France, juillet 2007.

[CN-10] A. Philippot, M. Sayed Mouchaweh, V. CarrÉ-MÉnÉtrier, « Démarche globale de diagnostic décentralisé des SED : Application à un système de transfert de pièces », 6ième Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR’07). Lyon, France, octobre 2007.

[CN-11] P. Marangé, F. Gellot, V. CARRÉ-MÉNÉTRIER, B. Riera, « Validation de commande des Systèmes à événements Discrets », 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR’07). Lyon, France, octobre 2007.

[CN-12] A. Philippot, M. Sayed Mouchaweh,V. CARRÉ-MÉNÉTRIER, « Nouveaux Modèles de Partie Opérative des Systèmes Manufacturiers », CIFA’08. Bucarest-Roumanie, septembre 2008

[CN-13] A. TAJER, A. Philippot, V. Carré-Ménétrier, « Approche Décentralisée pour le Diagnostic des Systèmes Manufacturiers », Conférence Méditerranéenne sur l’ingénierie sûre des systèmes complexes (MISC'11), Agadir, Maroc, mai 2011.

[CN-14] A. TAJER, A. Philippot, V. CARRÉ-MÉNÉTRIER, « Elaboration d’une Commande des Systèmes Manufacturiers utilisant une Approche Décentralisée », Conférence Méditerranéenne sur l’ingénierie sûre des systèmes complexes (MISC'11), Agadir, Maroc, mai 2011.

[CN-15] N. BEN RABAH, R. SADDEM, F. BEN HMIDA, V. CARRÉ-MÉNÉTRIER, M. TAGINA, “Approche originale utilisant le Raisonnement à Partir de Cas pour le diagnostic en ligne des systèmes automatisés de production“, 11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR),

15 - 17 novembre 2017, Marseille, France

[CN-16] I. TAHIRI, A. PHILIPPOT, V. CARRÉ-MÉNÉTRIER, A. TAJER, « Approche distribuée pour la reconfiguration de la commande des systèmes manufacturiers », accepté au 12^ème colloque sur la Modélisation des Systèmes Réactifs (MSR’2019), 13 - 15 novembre 2019, Angers, France

8. Journées sans actes ou avec actes à diffusion restreinte

[JO-1] F. GELLOT, V. CARRÉ-MÉNÉTRIER, J. ZAYTOON, G. VILLERMAIN-LECOLIER. « Modélisation et vérification d’une spécification en Réseaux de Petri : PETRILAM ». ELISA’97 Journées d’étude sur les logiciels pour le Traitement de l’Image, du Signal et de l’Automatique, Nancy, 25-26 mars 1997.

[JO-2] C. NDJAB HAGBEBELL, J. ZAYTOON, V. CARRÉ-MÉNÉTRIER. « Synthèse d'un Grafcet suprême », 5^ème Séminaire du Groupe de Recherche en Automatique et Mécanique de l'université de Reims, Troyes, 12 septembre 1997, pp 26-27.

[JO-3] O. NOUR EL ALAOUI, B. ROBERT, F. GELLOT, V. CARRÉ-MÉNÉTRIER. « Le modèle Réseaux de Petri en électrotechnique - Modélisation des convertisseurs ». 5^ème Séminaire du Groupe de Recherche en Automatique et Mécanique, Troyes, 12 septembre 1997, pp 28-29.

[JO-4] C. NDJAB HAGBEBELL, J. ZAYTOON, V. CARRÉ-MÉNÉTRIER. Synthèse du Grafcet, Communication au groupe GRAFCET de l'AFCET, 7 novembre 1997, ENS Cachan.

[JO-5] C. NDJAB HAGBEBELL, J. ZAYTOON, V. CARRÉ-MÉNÉTRIER. Implantation en ligne de la commande issue du Grafcet, Communication au groupe GRAFCET du club EEA, 12 mars 1999, ENS Cachan.

[JO-6] V. CARRÉ-MÉNÉTRIER, J. ZAYTOON. Démarche progressive d’implantation d’une commande correcte par construction dans un environnement A.P.I., Communication journée d’études SEE sur les Nouvelles percées dans les langages pour l’automatique, 25 novembre 1999, Amiens.

[JO-7] J. ZAYTOON, V. CARRÉ-MÉNÉTRIER. De la spécification à l’implantation de la commande des systèmes à événements discrets, Journées thématiques du Groupement pour la Recherche en Productique, session Commande et Pilotage, 25-26 novembre 1999, Nancy.

[JO-8] J. ZAYTOON, V. CARRÉ-MÉNÉTRIER. De la spécification à l’implantation de la commande des systèmes à événements discrets : présentation intuitive, Communication au Groupe Systèmes Dynamiques Hybrides du GDR Automatique/SEE/Club EEA, 27 janvier 2000, Paris.

[JO-9] O. NOUR EL ALAOUI, F. GELLOT, V. CARRÉ-MÉNÉTRIER, J. ZAYTOON. Caractérisation du comportement cyclique d’une classe de systèmes dynamiques hybrides, Communication au Groupe Systèmes Dynamiques Hybrides du GDR Automatique/SEE/Club EEA, 18 mai 2000, Paris.

[JO-10] V. CARRÉ-MÉNÉTRIER. Contribution à la synthèse de commande des systèmes à événements discrets, Communication au groupe COSED, 6 juillet 2001, ENS Cachan.

[JO-11] V.CARRÉ-MÉNÉTRIER, A. PHILIPPOT, A. TAJER, F. GELLOT, "Modélisation de la partie opérative pour la synthèse de la commande d’un préhenseur pneumatique », Communication au groupe COSED du GDR-Automatique, Cachan, 6 juillet 2002.

[JO-12] B. RIERA, V. CARRÉ-MÉNÉTRIER, "Présentation des compétences du LAM et du LERI pour l'Emballage et le conditionnement", Journée CNRT Emballage et Conditionnement, octobre 2003.

[JO-13] V. CARRÉ-MÉNÉTRIER, "Synthèse de commande", Exposé de synthèse au groupe COSED du GDR MACS, Cachan, 12 juin 2003.

[JO-14] V. CARRÉ-MÉNÉTRIER, "Synthèse formelle de la commande opérationnelle des SED", Présentation aux Journées Nationales d’Automatique JNA’03, Valenciennes, 25-27 juin 2003.

[JO-15] A. PHILIPPOT, M. SAYED MOUCHAWEH, V. CARRÉ-MÉNÉTRIER, "Une approche multi-outils décentralisé et modulaire pour le diagnostic des Systèmes à Evénements Discrets", Présentation aux Journées du Pôle STP du GDR MACS, Clermont Ferrand., 31 mars-1^er avril 2005.

[JO-16] J. Meyer, V. CARRÉ-MÉNÉTRIER, F. Cravoisier, F. Becard, C. Juppin et J. Gautray, « Quelle stratégie pour la Champagne-Ardenne ? Vers une agence régionale de soutien à la recherche et à l’innovation », Table ronde des 2^èmes Assises Régionales Recherche – Entreprise. Reims, France, octobre 2006.

[JO-17] V. CARRÉ-MÉNÉTRIER, Présidente de la table ronde n°5 lors des 4^èmes Assises Régionales Recherche – Entreprise. Reims, France, 23 mars 2009, « De la recherche fondamentale aux retombées économiques locales, l’exemple de Double Chooz »

[JO-18] V. CARRÉ-MÉNÉTRIER, « Les études scientifiques en France : organisation, domaines de prédilection, parcours », Colloque Franco-Allemand sous l’égide de campus France, 29 mars 2009 à Hanoi, Vietnam

[JO-19] N. BEN RABAH, R. SADDEM, V. CARRÉ-MÉNÉTRIER, « Approche intelligente pour le diagnostic en ligne des Systèmes à Évènements Discrets : application sur les Systèmes Automatisés de Production », séminaire de le FR TTM, 2 octobre 2018, Valenciennes

9. Brevet

[BR-1] V. CarrÉ-MÉnÉtrier, F. Gellot, J. Zaytoon, "Procédé pour la supervision et la gestion de la sécurité au sein d’une installation à risque", Brevet FR2834370 (G08B-025/00) déposé par l’université de Reims Champagne Ardenne, Date de publication : 4 juillet 2003, Numéro de publication internationale n° WO03060834.

10. Autres

a) Information et culture scientifique et technique

[ICST 1] V. CARRÉ-MÉNÉTRIER, "Le LAM dans le contexte socio-économique régional", Poster présenté à la 7^ème édition des journées de la jeune entreprise innovante, Innovact’02, Parc des Expositions de Reims, 1-3 octobre 2002.

[ICST 2] V. CARRÉ-MÉNÉTRIER, "Les activités du LAM", Poster présenté à la 8^ème édition des journées de la jeune entreprise innovante, Innovact’03, Parc des Expositions de Reims, 30 septembre 2003 – 2 octobre 2003.

[ICST 3] V. CARRÉ-MÉNÉTRIER, "Surveillance d’installations à risques", Lettre de la Recherche et de la Technologie à Reims, ADER, n°12, janvier/mars 2003.

[ICST 4] V. CARRÉ-MÉNÉTRIER, "Les atouts du LAM pour l’emballage et le conditionnement", Annuaire du « Savoir-faire technologique en emballage et conditionnement », octobre 2004, Editeur : Packaging Valley, Reims.

b) Activités liées à la mission à l’égalité des chances

[EG 1] V. CARRÉ-MÉNÉTRIER, « Mise en œuvre de la convention interministérielle du 25 février 2000 au sein de l’université de Reims Champagne-Ardenne », Intervention à la journée de formation de l’IUFM « L’école et ses valeurs », novembre 2002.

[EG 2] V. CARRÉ-MÉNÉTRIER, « Rôle et Actions de la mission à l’égalité des chances entre les femmes et les hommes au sein de l’université de Reims Champagne-Ardenne », Intervention au Colloque « Egalité des Sexes : où en est-on ? », 5 décembre 2002, Reims.

[EG 3] V. CARRÉ-MÉNÉTRIER, « Présentation de la mission à l’égalité des chances entre les femmes et les hommes au sein de l’université de Reims Champagne-Ardenne », Programme de sensibilisation du personnel de l’URCA à la problématique du genre : 14 janvier 2003 campus Sciences,

21 janvier 2003 campus Croix-Rouge, 28 janvier 2003 campus Santé, 4 mars 2003 Villa Douce et 22 mai 2003 IFTS Charleville.

[EG 4] V. CARRÉ-MÉNÉTRIER, Editorial du catalogue de l’exposition "Des femmes exposent à la Villa Douce", mars 2003.

[EG 5] V. CARRÉ-MÉNÉTRIER, Bilan d’activités de la Mission à l’égalité des chances entre les femmes et les hommes au sein l’université de Reims Champagne-Ardenne, 10 avril 2003.

[EG 6] V. CARRÉ-MÉNÉTRIER, Catalogue de l’exposition "D comme découvreuses, Femmes et découvertes", octobre 2003, 4 pages.

[EG 7] V. CARRÉ-MÉNÉTRIER, Plaquette sur l’égalité des chances dans le supérieur avec le contexte socio-économique régional, URCA, Reims, novembre 2003, 4 pages.

[EG 8] V. CARRÉ-MÉNÉTRIER, Actes de la journée sur l’égalité des chances entre les femmes et les hommes dans l'enseignement supérieur, 15 mars 2004.

[EG 9] V. CARRÉ-MÉNÉTRIER, Participation à la Table ronde "Renforcer les outils de promotion de l'égalité", animée par Dominique Torsat coordinatrice des activités du comité interministériel pour la promotion de l’égalité dans le système éducatif,

Colloque "De la mixité…à l’égalité dans le système éducatif : Une volonté interministérielle", Paris, 27 mai 2004.

[EG 10] V. CARRÉ-MÉNÉTRIER, A. GERARDIN, M. SEVERS, Egalité femmes-hommes à l'URCA, Reims, décembre 2004, 4 pages.

c) Contrats et Rapports de fin de contrat

[CR-1] V. CARRÉ-MÉNÉTRIER. Organisation du logiciel N10, Rapport de fin de contrat, Programmation du réseau Sycodis N10 sur carte CC103, Contrat CEGELEC CLAMART, 1990, 40 pages.

[CR-2a] V. CARRÉ-MÉNÉTRIER, F. GELLOT, J. ZAYTOON. Validation et amélioration de la procédure de contrôle d’accès en vue de la protection et la sécurité du personnel au sein du système AIRIX. Contrat CEA Moronvilliers, 12 mois, 100 kF, 1999-2000.

[CR-2b] V. CARRÉ-MÉNÉTRIER, F. GELLOT, J. ZAYTOON. Rapport de fin de contrat, Validation de la procédure de contrôle d’accès en vue de la protection et de la sécurité du personnel au sein du système AIRIX, MARCHE/CEA/DAM N°9M5423HG H4.

[CR-3] V. CARRÉ-MÉNÉTRIER, F. GELLOT, J. ZAYTOON. Mise en place d’un système de supervision et de gestion de la sécurité du personnel au sein de l’installation AIRIX, Contrat CEA Moronvilliers, 12 mois, 100 kF, 2000-2001.

[CR-4] V. CARRÉ-MÉNÉTRIER, Bilan de l’année 1 du projet MOSYP, Contrat CPER (URCA-REGION-FEDER), Avril 2009

[CR-5] V. CARRÉ-MÉNÉTRIER, F. YALAOUI. Projet FFCA « Factories of Future Champagne-Ardenne », CPER 2018-2020, 2 M€, Novembre 2017.

d) Expositions Industrielles

[EX-1] F. GELLOT, V. CARRÉ-MÉNÉTRIER, G. VILLERMAIN-LECOLIER. PETRILAM : a tool for Petri Nets analysis and simulation. Tools Exhibition, 5^th International Workshop on Petri Nets and Performance Models, Toulouse, 20-22 October 1993, 9 pages.

[EX-2] F. GELLOT, V. CARRÉ-MÉNÉTRIER. Présentation de PETRILAM. Exhibition, 6^th International Conference of Software Engineering and its applications, Le Cnit, Paris, 15-19 novembre 1993.

[EX-3] V. CARRÉ-MÉNÉTRIER, F. GELLOT. Organisation de l’Exposition industrielle liée à la 3^ème Conférence Internationale sur l’Automatisation des Processus Mixtes ADPM’98, Reims, 19-20 mars 1998.

e) Congrès liés à l’enseignement avec comité de lecture et actes

[CP-1] L. AFILAL, V. CARRÉ-MÉNÉTRIER, J. ZAYTOON, V. RIGAUT, G. VILLERMAIN LECOLIER. Introduction de nouvelles technologies éducatives en E.E.A. à l’université de Reims Champagne Ardenne : approches, outils, collaborations et perspectives. Colloque CETSIS-EEA,

Orsay, 20-21 novembre 1997, pp 243-246.

Participation à des jurys de thèse ou de HDR hors URCA

Thèse de José MACHADO : « Influence de la prise en compte d'un modèle de processus en vérification formelle des SED », ENS Cachan – Université du Minho (Portugal), 30 juin 2006, Rapporteurs : A. Carvalho, V. Carré-Ménétrier »
Thèse de Tewfik MEFTAH : « Spécification et structuration de la commande des machines : Une méthodologie intégrant l’aide à la reprise après incidents », Université de Rennes I, 17 juillet 2007, Rapporteurs : J.J. Lesage, V. Carré-Ménétrier. »
Thèse de Khaled ALKASSEM : « Evaluation et pilotage des flux manufacturiers : réflexions et propositions », Université Henri Poincaré Nancy 1, 18 juillet 2007, Direction de thèse : P. Charpentier, Présidente : V. Carré-Ménétrier »
Thèse de Antonio MEDINA : « Méthode de synthèse d’un contrôleur logique à partir des spécifications algébriques », Ecole Normale Supérieure de Cachan, 5 décembre 2007, Rapporteurs : H. Alla, V. Carré- Ménétrier.
Thèse de Siegfried SOLDANI : « Vers le diagnostic embarqué de défaillances dans les systèmes à événements discrets : application au domaine automobile », LAAS-Toulouse, 12 septembre 2008, Rapporteurs : M.O. Cordier, V. Carré-Ménétrier.
Thèse de Rabih TALEB : « Enrichissement d’une classification supervisée par l’ajout d’attributs issus d’observateurs d’état : application au diagnostic de défaillances d’un siège d’avion robotisé », Paris 8, 6 décembre 2017, Directeurs de recherche H. Akdag et K. Guelton, Membres du Jury : François Delmotte (Rapporteur), Christophe Marsala (Rapporteur), Arab Ali Cherif (Président), Véronique Carré-Ménétrier, Sylvain Pons, Lynda Seddiki
Thèse Mohamed AFILAL : « Optimisation de la prévision et de la planification des activités d’un centre d’urgence hospitalier », Université de Technologie de Troyes, 18 décembre 2017, Directeurs de recherche F. Yalaoui et L. Amodeo, Présidente : Véronique Carré-Ménétrier
Thèse de Yassine QAMSANE : « Synthèse et Implémentation de la Commande Distribuée des Systèmes à Evénements Discrets : Application aux Systèmes Manufacturiers de Production », Faculté des sciences et Technique de Marrakech, mars 2018, Directeur de Recherche A. Tajer, Rapporteurs et Présidente : Véronique Carré-Ménétrier, Rapporteurs : Mohamed Nemiche (Université Ibnou Zohr d'Agadir – Maroc) et Abdelkrim Haqiq (‎Université Hassan 1er, FST de Settat)
Thèse de Thomas LALOIX : « Méthodologie d’élaboration d’un bilan de santé (performance et dégradation) de machines de production pour aider à la prise de décision en exploitation: application à un centre d’usinage à partir de la surveillance de sa cinématique », Rapporteurs : François Peres et Daniel Brissaud; Examinateurs: Véronique Carré-Ménétrier, Brigitte Morello, Kamel Fettih; Encadrants: Alexandre Voisin et Benoît Iung (coté CRAN), Eric Romagne (coté Renault), invités industriels : Jean Goutière et Philippe Montfort, 11 décembre 2018
HDR de Zied HAJEJ : « De la maintenance intégrée vers l’analyse des risques sur la prise de décision », Présidente Véronique Carré-Ménétrier, Rapporteurs : Hamid Allaoui, Jean-Pierre Kenné, Farouk Yalaoui, Examinateurs : Benoît Iung ; Garants : Nidhal Rezg et Sofiène Dellagi (Université de Lorraine, Metz, LGIPM) ; 7 décembre 2018
Thèse de Xiaoshan LU : « Contribution to the integration of Supervisory Control Theory in a Model-Based system engineering method », Rapporteurs et Présidente : Véronique Carré-Ménétrier, Rapporteur : Pascal Berruet; Encadrants : Eric Niel (INSA Lyon) et Laurent Piétrac (INSA Lyon), 18 septembre 2019

Activités éditoriales

Editeur des actes (avec X. Cao, C. Cassandras et J. Zaytoon). 132 papiers soumis de 29 pays. Dans le cadre de l’IFAC 7th International Workshop on Discrete Event Systems, WODES’04, 22-24 septembre 2004, Reims.
Referee pour Control Engineering Practice Special (CEP), pour International Journal of Production Research (IJPR) et pour le Journal Européen des Systèmes Automatisés (JESA).
Referee pour les conférences : JDA’03 à Valenciennes, CIFA'04 à Douz, JDA'05 à Lyon ; ADPM’98 à Reims, ADPM’00 à Dortmund, IFAC INCOM’04 à Salvador (Brésil), IFAC 7th WODES’04 à Reims, IFAC INCOM'06 à Saint-Etienne (France), CESA'06 (Chine), IFAC .

Cette liste bibliographique est récupérée automatiquement depuis HAL