François Gellot
Maître de conférences
Groupe Auto
CReSTIC
UFR Sciences Exactes et Naturelles
Moulin de la Housse
BP 1039
51687 Reims CEDEX 2
FRANCE
Tél. : (+33) 3 26 91 86 16
Fax : (+33) 3 26 91 31 06

francois[dot]gellot[at]univ-reims[dot]fr

Thèmes de recherche développés

- Modélisation, analyse et synthèse des SED et, dans une moindre mesure, des systèmes hybrides (dans le cadre d'une approche événementielle),
- Mots Clés : SED, SDH, automates, Grafcet, réseaux de Petri.
Haut de la page

Points forts des activités de recherche

- Utilisation des réseaux de Petri pour la validation de protocole d'accès de zones sensibles. Ce travail a fait l'objet d'un brevet,
- Synthèse d'une commande correcte spécifiée par grafcet : de la modélisation à l'implantation
- Nouvelles technologies éducatives pour l'automatique
Haut de la page

Principales responsabilités scientifiques et administratives

- Co-encadrement à 50% de la thèse de A. Tajer (soutenue en novembre 2005) et de la thèse en cours de P. Marangé (démarrée en novembre 2005),
- Responsable du stage de DEA de Djafer Fraradji (soutenance en septembre 2004, encadrement à 50%) et de Pascale Marangé (soutenance en juillet 2005, encadrement à 50%).
- Responsable de la licence EEA de 2002 à 2005,
- Responsable depuis 2004 du Master I STIC-EEA
- Responsable depuis 2005 du Master II pro STIC-EEA option Automatisation Supervision
- Membre suppléant de la CSE (61e section) de Valenciennes en 2003 et de Nancy en 2004,
- Membre suppléant de la CSE (61e section) de Nancy en 2004,
- Evaluateur d'un article pour la Conférence Francophone sur la Modélisation des Systèmes Réactifs, MSR'05,
- Représentant du groupe Automatique au sein du conseil du CReSTIC en 2004 et 2005,
- Membre du comité d'organisation des Journées Doctorales/Journées Nationales MACS 2007 (JD/JN MACS'07), juillet 2007, Reims
Haut de la page

Coopération industrielle et valorisation

Brevet :
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), date de publication : 4 juillet 2003.
Brevet déposé par l'URCA, numéro de dépôt : FR0117125, date de dépôt : 31 décembre 2001.

Contrats :
- Co-responsable du projet « plate-forme pédagogique pour l'entreprise communicante et le e-manufacturing » (budget de 300 k€ financé pour 80% par la région Champagne Ardenne)
- Participation au projet régional d'ingénierie collaborative pour l'apprentissage de l'automatique de 2004 à 2006 pour un montant de 70 k euros
Haut de la page

Information scientifique & technique et vulgarisation

- Co-organisateur d'une journée d'étude sur le thème de « L'innovation technologique dans la supervision industrielle : Des outils aux applications » dans le cadre du mois de la création et de l'innovation de la ville de Reims Jeudi 23 Octobre 2003 à l'Hôtel de Ville de Reims. Editeur avec B. Riera des actes de cette journée.
- B. RIERA, F. GELLOT, Améliorer la conduite des installations avec les TIC, publication dans le journal « Emballage Magazine », 15 décembre 2004, supplément au N°727 novembre2004,
- Participation au projet de pilotage par des élèves de maternelle ou de primaire d'un système automatisé dans le cadre de journées portes ouvertes, d'actions pédagogiques ou de vulgarisation.
Haut de la page

Activités internationales

Membre du comité d'organisation des conférences :
- IFAC 7th International Workshop on Discrete Event Systems, WODES'04, 22 au 24 septembre 2004, Reims
- 6th IFAC Symposium on Modelling and Control in Biomedical Systems, MCBMS'06, septembre 2006, Reims
- Evaluateur d'un article pour le congrès IFAC Workshop on Internet Based Control Education 2004, Grenoble, septembre 2004,
Haut de la page

Activités d'enseignement

Etablissement : URCA, UFR Sciences

Discipline : Informatique Industrielle et Systèmes à Evénements Discrets

Nature (CM, TD, TP) et volume (nombre d'heures effectives) : 300h eq. TD, 60h CM, 81h TD, 198h TP

Niveau (L, M, D, à l'exception de la direction des thèses) : M
Haut de la page

Publications

Articles dans des revues internationales avec comités de lecture (3)

2013

BibTeX Decentralized Diagnosis and Diagnosability by Model Checking Publication avec comité de lecture Publication internationale
A. Philippot, P. Marangé, F. Gellot et B. Riera
Prof. Guan-Chun Luh, Horizon Research Publishing Corporation, Universal Journal of Control and Automation, 1(2):28-33, septembre 2013.
10.13189/ujca.2013.010202

2008

BibTeX Application of the control validation to D.E.S. Teaching Publication avec comité de lecture Publication internationale
P. Marangé, F. Gellot et B. Riera
IJOE : International Journal of Online Engineering, février 2008.

2007

BibTeX Remote Control of Automation Systems for DES Courses Publication avec comité de lecture Publication internationale
P. Marangé, F. Gellot et B. Riera
IEEE, Transactions on Industrial Electronics, 54(6):3103-3111, décembre 2007.

Articles dans des revues nationales avec comités de lecture (9)

2014

BibTeX Approche de détection et d’explication d’erreur de commande par filtrage robuste Publication avec comité de lecture Publication nationale
P. Marangé, S. Debernard, F. Gellot, M. Pacaux, A. Philippot, T. Poulain, B. Riera et J.-F. Pétin
Hermès/Lavoisier, Journal Européen des Systèmes Automatisés, 48(4):339-372, décembre 2014.
10.3166/jesa.48.339-372

2009

BibTeX 10 ans de Maquettes Virtuelles pour l'enseignement des automatismes : de WINSIM en 1998 à ITS PLC Professional Edition en 2008 Publication avec comité de lecture Publication nationale
B. Riera, B. Vigario, J.-P. Chemla, L. Correia et F. Gellot
J3eA, 2009.

2008

BibTeX Étude du comportement global d'un SED en vue de la validation de sa commande spécifiée par Grafcet Publication avec comité de lecture Publication nationale
P. Marangé, A. Tajer, F. Gellot et V. Carré-Ménétrier
Hermès/Lavoisier, Journal Européen des Systèmes Automatisés JESA, 42(1):63-94, mars 2008.

2007

BibTeX Synthèse d'une commande supervisée à base de contraintes booléennes Publication avec comité de lecture Publication nationale
A. Tajer, P. Marangé, F. Gellot et V. Carré-Ménétrier
e-STA 2007, spéciale Cifa 2006, 4(5), 2007.

2006

BibTeX Un projet original en commande et supervision des systèmes automatisés : des enfants de 5 ans aux secours des animaux malades Publication avec comité de lecture Publication nationale
B. Riera, F. Gellot, P. Marangé, J.-P. Chemla et M. Sayed Mouchaweh
J3eA, 5, Hors-Série, 2006.
BibTeX Simulation de partie opérative temps réel pour l'enseignement des automatismes Publication avec comité de lecture Publication nationale
J.-P. Chemla, B. Riera, F. Gellot et D. Kouame
J3eA, 5, Hors-Série 2, 2006.

2005

BibTeX Méthodologie de modélisation dans le cadre de la synthèse formelle des SED Publication avec comité de lecture Publication nationale
A. Philippot, A. Tajer, F. Gellot et V. Carré-Ménétrier
Revue électronique des sciences et technologies de l'automatique, e-STA, 2(2), mai 2005.
BibTeX L'utilisation pédagogique et l'enseignement des TIC dans les automatismes Publication avec comité de lecture Publication nationale
B. Riera, F. Gellot, O. Dubois, J.-P. Chemla et S. Triki
J3eA, 4, Hors-Série:2-13, 2005.

2004

BibTeX Approche de synthèse en ligne basée sur une modélisation structurée de la partie opérative Publication avec comité de lecture Publication nationale
A. Philippot, A. Tajer, F. Gellot et V. Carré-Ménétrier
Revue électronique des sciences et technologies de l'automatique, e-STA, 1(3), 2004.

Direction d'ouvrage

2003

BibTeX "Editorial", Actes de la journée d'étude sur l'innovation technologique dans la supervision industrielle : Des outils aux applications
B. Riera et F. Gellot (éditeurs)
2003. Reims, France, 23 octobre 2003.

Communications internationales avec actes (27)

2017

BibTeX
PDF (611 Ko)
Formal Verification for Validation of PSEEL’s PLC Program Communication avec actes Communication avec comité de lecture Communication internationale
M. Niang, A. Philippot, F. Gellot, R. Coupat, B. Riera et S. Lefebvre
The 14th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2017), Madrid, Spain, juillet 2017.
BibTeX
PDF (445 Ko)
HOME I/O and FACTORY I/O: 2 Pieces of innovative PO simulation software for automation education Communication avec actes Communication avec comité de lecture Communication internationale
A. Philippot, B. Riera, M. Koza, R. Pichard, R. Saddem, F. Gellot, D. Annebicque et F. Emprin
The 27th European Association for Education in Electrical and Information Engineering Annual Conference (EAEEIE 2017), Grenoble, France, juin 2017.

2016

BibTeX
PDF (955 Ko)
Automation for improve of mental workload of the systems engineer Communication avec actes Communication avec comité de lecture Communication internationale
R. Coupat, A. Philippot, D. Annebicque, F. Gellot et B. Riera
The 13th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (IFAC HMS 2016), Kyoto, Japan, septembre 2016.

2015

BibTeX
Fichier protégé par copyright
Diagnosability evaluation by model-checking Communication avec actes Communication avec comité de lecture Communication internationale
P. Marangé, A. Philippot, J.-F. Pétin et F. Gellot
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'15), Paris, France, septembre 2015.
BibTeX
Fichier protégé par copyright
A non-intrusive method to make safe existing PLC Program Communication avec actes Communication avec comité de lecture Communication internationale
B. Riera, A. Philippot, R. Coupat, F. Gellot et D. Annebicque
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'15), Paris, France, septembre 2015.

2014

BibTeX
Fichier protégé par copyright
Fault Tolerant Control for manufacturing discrete systems by filter and diagnoser interactions Communication avec actes Communication avec comité de lecture Communication internationale
A. Philippot, P. Marangé, F. Gellot, J.-F. Pétin et B. Riera
Annual Conference of the Prognostics and Health Management Society (PHM'14), Fort Worth, Texas, USA, octobre 2014.
BibTeX
PDF (178 Ko)
Control design pattern based on safety logical constraints for Manufacturing Systems: Application to a Palletizer Communication avec actes Communication avec comité de lecture Communication internationale
B. Riera, R. Coupat, A. Philippot, F. Gellot et D. Annebicque
12th IFAC - IEEE International Workshop On Discrete Event Systems (WODES'14), Paris, France, 2014.

2013

BibTeX
Fichier protégé par copyright
A support tool for assisting human diagnoses of control errors Communication avec actes Communication avec comité de lecture Communication internationale
S. Debernard, F. Gellot, P. Marangé, M. Pacaux, T. Poulain, A. Philippot, B. Riera et J.-F. Pétin
10th Berlin Human-Machine Systems Workshop (HMS'13), Berlin, Germany, octobre 2013.

2012

BibTeX
Résumé
Safe control synthesis based on Boolean constraints for manufacturing systems Communication avec actes Communication avec comité de lecture Communication internationale
B. Riera, A. Philippot, D. Annebicque et F. Gellot
8th Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS 2012), Mexico City, Mexico, août 2012.
BibTeX
Résumé
PDF (285 Ko)
Synthèse de commande sure de fonctionnement à base de contraintes logiques pour les systèmes manufacturiers Communication avec actes Communication avec comité de lecture Communication internationale
B. Riera, F. Gellot, A. Philippot, B. Vigario et D. Annebicque
9th International Conference on Modeling, Optimization & SIMulation (MOSIM'2012), Bordeaux, France, juin 2012. paper 53 (e-Preprints).
BibTeX
Résumé
Control synthesis based on logical constraints for safe manufacturing systems Communication avec actes Communication avec comité de lecture Communication internationale
B. Riera, D. Annebicque, F. Gellot, A. Philippot et R. Benlorhfar
14th IFAC Symposium on INformation COntrol problems in Manufacturing (INCOM 2012), Bucarest, Romania, mai 2012.

2011

BibTeX Robust control filter for manufacturing systems : application to PLC training Communication avec actes Communication avec comité de lecture Communication internationale
B. Riera, R. Benlorhfar, D. Annebicque, F. Gellot et B. Vigario
18th World Congress of the International Federation of Automatic Control , Milan, Italie, août 2011.
BibTeX Robust filtering of PLC program for automated systems of production Communication avec actes Communication avec comité de lecture Communication internationale
R. Benlorhfar, D. Annebicque, F. Gellot et B. Riera
18th World Congress of the International Federation of Automatic Control , Milan, Italie, août 2011.

2010

BibTeX Prevention of human control errors by robust filter for manufacturing system Communication avec actes Communication avec comité de lecture Communication internationale
P. Marangé, R. Benlorhfar, F. Gellot et B. Riera
11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Valenciennes, France, août 2010.

2009

BibTeX Complementary usage of real and virtual manufacturing systems for safe PLC training Communication avec actes Communication sans comité de lecture Communication internationale
B. Riera, P. Marangé, F. Gellot, O. Nocent, A. Magalhaes et B. Vigario
8th IFAC Symposium on Advances in Control Education (ACE09), Kumamoto, Japon, octobre 2009.
BibTeX Industrial risk prevention by robust filter for manufacturing control system Communication avec actes Communication avec comité de lecture Communication internationale
P. Marangé, F. Gellot et B. Riera
7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS'09), Barcelona, Spain, juin 2009.
BibTeX
Résumé
Proposition of plant model for the verification of system safety Poster Communication avec actes Communication avec comité de lecture Communication internationale
P. Marangé, F. Gellot et B. Riera
13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'09), pp 400-405, Moscow, Russia, juin 2009.

2008

BibTeX Human-Machine Systems concepts applied to Control Engineering Education Communication avec actes Communication avec comité de lecture Communication internationale
P. Marangé, F. Gellot et B. Riera
7th IFAC World Congress (IFAC'08), Seoul, Korea, juillet 2008.

2007

BibTeX Control validation of manufacturing system: application to remote laboratories Communication avec actes Communication avec comité de lecture Communication internationale
P. Marangé, F. Gellot et B. Riera
Workshop on Remote control of Devices (WoRD'07), Lyon, France, octobre 2007.
BibTeX Remote control of Automation Systems for training Communication avec actes Communication avec comité de lecture Communication internationale
P. Marangé, F. Gellot et B. Riera
IFAC/IFIP/IFORS/IEA Symposium, Analysis, Design, and Evaluation of Human Machine Systems (ADEHMS'07), Séoul, Corée, septembre 2007.
BibTeX Synthesis of safety system for the discrete event control Communication avec actes Communication avec comité de lecture Communication internationale
P. Marangé, F. Gellot et B. Riera
4th international conference on informatics in control, automation and robotics (Icinco'07), Angers, France, mai 2007.

2006

BibTeX Internet : use and requiremments for the discrete events systems teaching Communication avec actes Communication avec comité de lecture Communication internationale
P. Marangé, F. Gellot, J.-P. Chemla et B. Riera
7th IFAC Symposium on Advances in Control Education (ACE'06), Madrid, Spain, juin 2006.
BibTeX Synthesis of supervised controller based on Boolean constraints and Boolean automata Communication avec actes Communication avec comité de lecture Communication internationale
A. Tajer, P. Marangé, F. Gellot et V. Carré-Ménétrier
12th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2006), vol. 1, pp 299-304, Saint-Etienne, France, mai 2006.

2005

BibTeX A structural-behavioral framework for access-control of safety-critical installations Communication avec actes Communication avec comité de lecture Communication internationale
F. Gellot et V. Carré-Ménétrier
17th IMACS World Congress (IMACS'05), Actes sur CD-ROM, Paris, France, juillet 2005.

2004

BibTeX Démarche formelle de synthèse de synthèse d'une commande sûre à partir d'une spécification Grafcet Communication avec actes Communication avec comité de lecture Communication internationale
A. Tajer, A. Philippot, F. Gellot et V. Carré-Ménétrier
Conférence Internationale Francophone de l'Automatique (CIFA'04), Douz, Tunisie, novembre 2004.
BibTeX Méthodologie de modélisation dans le cadre de la synthèse formelle des SED Communication avec actes Communication avec comité de lecture Communication internationale
A. Philippot, A. Tajer, F. Gellot et V. Carré-Ménétrier
Conférence Internationale Francophone de l'Automatique (CIFA'O4), Douz, Tunisie, novembre 2004.
BibTeX On-line synthesis approach based on a structured plant modelling Communication avec actes Communication avec comité de lecture Communication internationale
A. Philippot, A. Tajer, F. Gellot et V. Carré-Ménétrier
IFAC Workshop on Discrete Event Systems (7th edition) (WODES'04), pp 387-392, Reims, France, septembre 2004.

Communications nationales avec actes (21)

2017

BibTeX
PDF (620 Ko)
HOME I/O et FACTORY I/O : 2 logiciels innovants de simulation de PO pour la formation à l’automatique Poster Communication avec actes Communication avec comité de lecture Communication nationale
B. Riera, R. Pichard, A. Philippot, R. Saddem, F. Gellot, D. Annebicque et F. Emprin
12ème Colloque Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), Le Mans, France, mai 2017.

2015

BibTeX La commande par contraintes logiques de sécurité : principe, applications et mise en œuvre Communication avec actes Communication avec comité de lecture Communication nationale
B. Riera, A. Philippot, D. Annebicque et F. Gellot
10ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015), Nancy, France, novembre 2015.

2014

BibTeX Vérification de la diagnosticabilité par Model-Checking Communication avec actes Communication avec comité de lecture Communication nationale
P. Marangé, A. Philippot, J.-F. Pétin et F. Gellot
10ème Conférence Francophone de Modélisation, Optimisation et Simulation (MOSIM'14), Nancy, France, novembre 2014.
BibTeX Control synthesis based on safety Boolean guards for manufacturing systems: application to a sorting system Communication avec actes Communication avec comité de lecture Communication nationale
B. Riera, R. Coupat, D. Annebicque, A. Philippot et F. Gellot
10ème Conférence Francophone de Modélisation, Optimisation et Simulation (MOSIM'14), Nancy, France, novembre 2014.
BibTeX
PDF (494 Ko)
Initiation à la qualimétrie de code d'automate programmable industriel Poster Communication avec actes Communication avec comité de lecture Communication nationale
A. Philippot, B. Riera, F. Gellot, D. Annebicque, R. Coupat et E. Pierrel
11ème Colloque Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS 2014), Besançon, octobre 2014.

2013

BibTeX Simulateur 3D interactif de Parties Opératives et Synthèse sûre de la commande des systèmes manufacturiers Communication avec actes Communication avec comité de lecture Communication nationale
B. Riera, B. Vigario, A. Philippot, D. Annebicque et F. Gellot
Quatrièmes Journées des Démonstrateurs en Automatique Section automatique du club EEA, Angers, France, juin 2013.
BibTeX
Résumé
Un interpréteur de Grafcet pour l’enseignement et la recherche Poster Communication avec actes Communication avec comité de lecture Communication nationale
D. Annebicque, A. Philippot, F. Gellot et B. Riera
10ème Colloque Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS 2013), Caen, mars 2013.
BibTeX Commande robuste et sûre de fonctionnement des systèmes manufacturiers Communication avec actes Communication avec comité de lecture Communication nationale
F. Gellot, A. Philippot, D. Annebicque et B. Riera
14e conférence ROADEF de la société Française de Recherche Opérationnelle et Aide à la Décision (ROADEF'13), Troyes, France, février 2013.

2012

BibTeX
Résumé
Synthèse de commande sûre de fonctionnement à base de contraintes logiques pour les systèmes manufacturiers. Communication avec actes Communication avec comité de lecture Communication nationale
B. Riera, F. Gellot, D. Annebicque, B. Vigario et A. Philippot
9ème Conférence Internationale de Modélisation, Optimisation et SIMulation Performance, interopérabilité et sécurité pour le développement durable (MOSIM'2012), Bordeaux, France, juin 2012.

2010

BibTeX Simulateur 3D interactif de Parties Opératives pour la formation et la recherche en SED Communication avec actes Communication avec comité de lecture Communication nationale
B. Riera, B. Vigario, R. Benlorhfar, l. Correia, F. Gellot et C. Louppe
3éme Journées Démonstrateurs EEA, Angers, France, novembre 2010.
BibTeX Formalisation et vérification de contraintes fonctionnelles dans le cadre d’un contrôle par le produit Communication avec actes Communication avec comité de lecture Communication nationale
P. Marangé, D. Gouyon, J.-F. Pétin et F. Gellot
Conférence Internationale Francophone d’Automatique (CIFA 2010), Nancy, juin 2010.

2008

BibTeX 10 ans de Maquettes Virtuelles pour l'enseignement des automatismes : de WINSIM en 1998 à ITS PLC Professional Edition en 2008 Communication avec actes Communication avec comité de lecture Communication nationale
B. Riera, B. Vigario, J.-P. Chemla, L. Correia et F. Gellot
7ème Colloque sur l'Enseignement des Tecnologies et des Sciences de l'Information et des Systèmes (CETSIS 2008), Bruxelles, Belgique, octobre 2008.
BibTeX Vérification des propriétés de sécurité pour la commande des systèmes à événements discrets Communication avec actes Communication avec comité de lecture Communication nationale
P. Marangé, F. Gellot et B. Riera
Workshop Surveillance, Sûreté et Sécurité des Grands Systèmes 2008 (Workshop 3SGS'08), Troyes, France, juin 2008.

2007

BibTeX Validation de commande des Systèmes à événements Discrets Communication avec actes Communication avec comité de lecture Communication nationale
P. Marangé, F. Gellot, V. Carré-Ménétrier et B. Riera
6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Lyon, France, octobre 2007.
BibTeX Utilisation adaptée au niveau des apprenants et validation de la commande des Systèmes Automatisés de Production Communication avec actes Communication avec comité de lecture Communication nationale
P. Marangé, F. Gellot, B. Riera et J.-P. Chemla
Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes en Électronique, Électrotechnique et Automatique (CETSIS-EEA 2007), Bordeaux, France, octobre 2007.

2006

BibTeX Synthèse d'une commande supervisée à base de contraintes booléennes Communication avec actes Communication avec comité de lecture Communication nationale
A. Tajer, P. Marangé, F. Gellot et V. Carré-Ménétrier
Conférence Internationale Francophone d'Automatique (CIFA 2006), Bordeaux, France, juin 2006.

2005

BibTeX Un projet original en commande et supervision des systèmes automatisés : des enfants de 5 ans aux secours des animaux malades Communication avec actes Communication avec comité de lecture Communication nationale
B. Riera, F. Gellot, P. Marangé, J.-P. Chemla et M. Sayed Mouchaweh
Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes en Electronique, Electrotechnique et Automatique (CETSIS-EEA 2005), Nancy, France, octobre 2005.
BibTeX Simulation de partie opérative temps réel pour l'enseignement des automatismes Communication avec actes Communication avec comité de lecture Communication nationale
J.-P. Chemla, B. Riera, F. Gellot et D. Kouame
Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes en Electronique, Electrotechnique et Automatique (CETSIS-EEA 2005), Nancy, France, octobre 2005.

2003

BibTeX L'utilisation pédagogique et l'enseignement des TIC dans les automatismes Communication avec actes Communication avec comité de lecture Communication nationale
B. Riera, F. Gellot, O. Dubois, J.-P. Chemla et S. Triki
Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes en Electronique, Electrotechnique et Automatique (CETSIS-EEA 2003), pp 345-348, Toulouse, novembre 2003.
BibTeX Synthèse de la commande spécifiée en Grafcet: application à un préhenseur pneumatique Communication avec actes Communication avec comité de lecture Communication nationale
A. Philippot, A. Tajer, F. Gellot et V. Carré-Ménétrier
Colloque Francophone sur la modélisation des systèmes réactifs (MSR'03), pp 61-75, Metz, octobre 2003.
BibTeX Contribution à l'amélioration de la praticabilité des approches formelles de synthèse de commande Communication avec actes Communication avec comité de lecture Communication nationale
A. Tajer, A. Philippot, F. Gellot et V. Carré-Ménétrier
Journées Doctorales d'Automatique (JDA'03), pp 239-244, Valenciennes, France, juin 2003.

Communications sans actes (4)

2015

BibTeX Automatic generation of safe PLC programs Poster Communication sans actes Communication sans comité de lecture Communication internationale
R. Coupat, B. Riera, M. Niang, F. Gellot, M. Meslay, A. Philippot, H. Caron et D. Annebicque
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'15), Paris, France, septembre 2015.

2011

BibTeX Approche de Détection et d’Explication de Commande par filtrage robuste Projet ADEXEC Poster Communication sans actes Communication sans comité de lecture Communication nationale
P. Marangé, J.-F. Pétin, D. Gouyon, B. Riera, F. Gellot, A. Philippot, S. Debernard, M. Pacaux et T. Poulain
Workshop Surveillance, Sûreté et Sécurité des Grands Systèmes (3SGS'11), Valenciennes, octobre 2011.

2010

BibTeX Filtrage Robuste de la Commande pour des Systèmes Manufacturiers Sûrs de Fonctionnement Poster Communication sans actes Communication sans comité de lecture Communication nationale
R. Benlorhfar, F. Gellot, C. Louppe et B. Riera
Workshop Surveillance, Sûreté et Sécurité des Grands Systèmes (3SGS'10), REIMS, septembre 2010.

2009

BibTeX Filtrage robuste de la commande pour des systèmes manufacturiers sûrs de fonctionnement Poster Communication sans actes Communication avec comité de lecture Communication nationale
B. Riera, P. Marangé et F. Gellot
15ème COLLOQUE NATIONAL DE LA RECHERCHE DANS LES IUT (CNR-IUT09), Lille, France, juin 2009.

Rapports / autres publications (7)

2013

BibTeX Supervision de l’atelier flexible – Programme de démonstration
E. Tieche, F. Gellot, A. Philippot, D. Annebicque et B. Riera
Septembre 2013.
BibTeX Supervision de l’atelier flexible – Programme avec filtre logique robuste aux erreurs de commande
E. Tieche, F. Gellot, A. Philippot, D. Annebicque et B. Riera
Septembre 2013.
BibTeX Application des contraintes de sécurité sur la cellule flexible CellFlex
E. Tieche, F. Gellot, A. Philippot, D. Annebicque et B. Riera
Janvier 2013.

2005

BibTeX Ingénierie collaborative en enseignement pour l'apprentissage distribué de l'Automatique
B. Riera et F. Gellot
Rapport CReSTIC 05-07-02, 15 pages, juillet 2005.
BibTeX Plate-forme d 'Ingénierie Collaborative dans l'enseignement, MODULE 2 Campus numérique en Région
G. Moroz, J. Pasco, B. Eynard, L. Roucoules, B. Riera, Y. Gardan et F. Gellot
30 pages, juillet 2005.
BibTeX Ingénierie collaborative en enseignement pour l'apprentissage distribué de l'Automatique
B. Riera et F. Gellot
Rapport CReSTIC 05-02-01, 10 pages, février 2005.

2004

BibTeX Améliorer la conduite des installations avec les TIC
B. Riera et F. Gellot
2004. Emballage Magazine, n°727, 2004.

Brevet

2003

BibTeX Procédé pour la supervision et la gestion de la sécurité au sein d'une installation à risque
V. Carré-Ménétrier, F. Gellot et J. Zaytoon
Délivré le 4 juillet 2003 (n° 2834370), 15 pages.
Haut de la page

Principaux co-auteurs

Valid XHTML 1.1
Dernière mise à jour : 2010-09-29 14:18:06