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 7th 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. 4th 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, 3rd 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, 8th 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, 4th 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, 28th 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, 10th 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", 7th 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”.28th 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 1er 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-1er 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, 5th 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, 6th 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.