|
Apprentissage par renforcement pour la synthèse de contrôleur logique et implémentation en langage ST
Dimitri Renard
,
Ramla Saddem
,
David Annebicque
,
Bernard Riera
2ème Congrès Annuel de la SAGIP, May 2024, Villeurbanne (France), France
Communication dans un congrès
hal-04609484
v1
|
|
From Reinforcement Learning to Reality: Generating Structured Text Logic Controller
Dimitri Renard
,
David Annebicque
,
Ramla Saddem
,
Mathieu Roisin
,
Bernard Riera
2024 10th International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2024, Vallette, France. pp.1269-1274, ⟨10.1109/CoDIT62066.2024.10708353⟩
Communication dans un congrès
hal-04745723
v1
|
|
Le Jumeau Numérique dans le monde manufacturier
Dimitri Renard
,
Ramla Saddem
,
David Annebicque
,
Bernard Riera
Congrès annuel de la SAGIP, 2023, Marseille, France
Communication dans un congrès
hal-04177887
v1
|
|
Painting of the digital twin to better understand and implement it in manufacturing
Dimitri Renard
,
Ramla Saddem
,
David Annebicque
,
Bernard Riera
The 3rd Digital Twin International Conference, LURPA (Automated Production Research Laboratory), Paris-Saclay University, Oct 2023, Gif-sur-Yvette, France
Communication dans un congrès
hal-04431349
v1
|
|
Un générateur Web de canevas CODESYS et SCHNEIDER Electric depuis un fichier FACTORY I/O pour l'aide à l'hybridation des TP d'Automates Programmables Industriels (API)
Bernard Riera
,
David Annebicque
,
Dimitri Renard
,
Bryan Pettinelli
6èmes journées des Démonstrateurs en Automatique, Jun 2022, Angers, France
Communication dans un congrès
hal-04432415
v1
|
|
Algebraic Synthesis of Safety Logical Filter on Manufacturing Systems
T Ranger
,
Philippot Alexandre
,
Bernard Riera
IFAC Workshop on Intelligent Manufacturing Systems (IMS), 2022, Tel Aviv, Israel. pp.169-174
Communication dans un congrès
hal-03716080
v1
|
|
Développement d'un connecteur logiciel pour l'apprentissage de l'automatisme
Philippot Alexandre
,
Stéphane Lecasse
,
Bernard Riera
,
François Gellot
Colloque de l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), Jun 2021, Valenciennes, France
Communication dans un congrès
hal-03427264
v1
|
|
Retour d'expérience sur la réalisation du jumeau numérique d'une Cellule Flexible avec Emulate3D
Jules Jouffroy
,
Bernard Riera
,
Alexandre Philippot
,
François Gellot
,
Stéphane Lecasse
17ème colloque national S-mart AIP-PRIMECA, Université Polytechnique Hauts-de-France [UPHF], Mar 2021, LAVAL VIRTUAL WORLD, France
Communication dans un congrès
hal-03296136
v1
|
|
Manufacturing Tasks Synchronization by Algebraic Synthesis
Tom Ranger
,
Philippot Alexandre
,
Bernard Riera
IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control (CESCIT), 2021, Valenciennes, France. ⟨10.1016/j.ifacol.2021.10.038⟩
Communication dans un congrès
hal-03404408
v1
|
|
Retour d'expérience sur la réalisation du jumeau numérique d'une Cellule Flexible avec Emulate3D
Jules Jouffroy
,
Bernard Riera
,
Alexandre Parant
,
Philippot Alexandre
,
François Gellot
et al.
17e Colloque National S-mart, Mar 2021, Distanciel, France
Communication dans un congrès
hal-03427269
v1
|
|
Retour d'expérience et applications pédagogiques innovantes avec HOME I/O
Bernard Riera
,
Tom Ranger
,
Ramla Saddem
,
Fabien Emprin
,
Jean-Paul Chemla
et al.
Colloque de l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), Jun 2021, Valenciennes, France
Communication dans un congrès
hal-03427266
v1
|
|
Experience feedback and innovative pedagogical applications with HOME I/O
B. Riera
,
Tom Ranger
,
R. Saddem
,
Jean-Paul Chemla
,
F. Emprin
et al.
Communication dans un congrès
hal-02968156
v1
|
|
Formation à l'Industrie 4.0 par l'utilisation du Model-Checking et du Virtual Commissioning
Alexandre Philippot
,
Bernard Riera
,
Vinay Kunreddy
,
Serge Debernard
Colloque National S-mart/AIP-PRIMECA, Apr 2019, Montrichier-Albanne, France
Communication dans un congrès
hal-02151117
v1
|
|
Teaching the first and only logic control course with HOME I/O and Scratch 2.0
B. Riera
,
A. Philippot
,
D Annebicque
Communication dans un congrès
hal-02151138
v1
|
|
Diagnosis and human behavior modeling in railway network using operating data
Vincent Dimanche
,
Alban Goupil
,
Philippot Alexandre
,
Bernard Riera
,
Gérard Gabriel
International Conference on Digital Image & Signal Processing (DISP), 2019, Oxford, United Kingdom
Communication dans un congrès
hal-02962823
v1
|
|
Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems
Romain Pichard
,
Philippot Alexandre
,
Bernard Riera
International Conference on Informatics in Control, Automation and Robotics (ICINCO), 2018, Porto, Portugal. ⟨10.5220/0006885502310239⟩
Communication dans un congrès
hal-01882564
v1
|
|
Automatic Generation and Formal Verification of Safe PLC Programs for Railway Control Systems, Invited Plenary Talk
J. Zaytoon
,
Mohamed Niang
,
Bernard Riera
,
Philippot Alexandre
,
François Gellot
International Conference on Control, Automation and Systems (ICCAS), 2018, PyeongChang, South Korea
Communication dans un congrès
hal-02950934
v1
|
|
Advanced Tools for the Control Engineer in Industry 4.0
Alexandre Philippot
,
Bernard Riera
,
Vinay Kunreddy
,
Serge Debernard
Communication dans un congrès
hal-02151096
v1
|
|
Génération automatique et vérification formelle de programmes d'API sécurisés pour les systèmes de contrôle ferroviaires Génération automatique et vérification formelle de programmes d'API sécurisés pour les systèmes de contrôle ferroviaires
Mohamed Niang
,
Bernard Riera
,
Philippot Alexandre
,
Serge Debernard
Journées STP du GDR MACS, 2018, Clermont-Ferrand, France
Communication dans un congrès
hal-02151107
v1
|
|
Massive Railway Operating Data Visualization; a Tool for RATP Operating Expert
Vincent Dimanche
,
Alban Goupil
,
Alexandre Philippot
,
Bernard Riera
,
Alain Urban
et al.
Communication dans un congrès
hal-02503120
v1
|
|
HOME I/O and FACTORY I/O: a virtual house and a virtual plant for control education
B. Vigário
,
Bernard Riera
Communication dans un congrès
hal-01735034
v1
|
|
Formal Verification for Validation of PSEEL's PLC Program
Mohamed Niang
,
Philippot Alexandre
,
François Gellot
,
Raphaël Coupat
,
Bernard Riera
et al.
14th International Conference on Informatics in Control, Automation and Robotics (ICINCO), Jul 2017, Madrid, Spain
Communication dans un congrès
hal-03427253
v1
|
|
HOME I/O et FACTORY I/O : 2 logiciels innovants de simulation de PO pour la formation à l'automatique
Bernard Riera
,
Romain Pichard
,
Alexandre Philippot
,
Ramla Saddem
,
François Gellot
et al.
Colloque consacré à l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), 2017, Le Mans, France
Communication dans un congrès
hal-01882591
v1
|
|
HOME I/O and FACTORY I/O: a house simulator and a plant simulator for automatic control education
M. Koza
,
Alexandre Philippot
,
Pichard M
,
Ramla Saddem
,
François Gellot
et al.
The 27th EAEEIE (European Association for Education in Electrical and Information Engineering) Annual Conference, Jun 2017, Grenoble, France
Communication dans un congrès
hal-02969579
v1
|
|
HOME I/O and FACTORY I/O: 2 Pieces of innovative PO simulation software for automation education
A. Philippot
,
B. Riera
,
M. Koza
,
R Pichard
,
R Saddem
et al.
European Association for Education in Electrical and Information Engineering Annual Conference (EAEEIE), 2017, Grenoble, France. ⟨10.1109/EAEEIE.2017.8768639⟩
Communication dans un congrès
hal-01882572
v1
|
|
Vérification formelle des programmes automates de la SNCF par Model-Checking
Mohamed Niang
,
Philippot Alexandre
,
François Gellot
,
Raphaël Coupat
,
Bernard Riera
et al.
11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR), Nov 2017, Marseille, France
Communication dans un congrès
hal-03427261
v1
|
|
Consistency Checking of Safety Constraints for Manufacturing Systems with Graph Analysis
R. Pichard
,
A. Philippot
,
Bernard Riera
Communication dans un congrès
hal-01780730
v1
|
|
SEDMA-un outil pour la Modélisation, l'Analyse et la génération automatique de programme pour les SEDs
Romain Pichard
,
Michel Combacau
,
Philippot Alexandre
,
Ramla Saddem
,
Bernard Riera
Colloque sur la Modélisation des Systèmes Réactifs (MSR), 2017, Marseille, France
Communication dans un congrès
hal-01882579
v1
|
|
Practical and Dependable Control Synthesis for Programmable Logic Controllers, Invited Plenary Talk
J. Zaytoon
,
Bernard Riera
Chinese Control Conference (CCC), 2016, Chengdu, China
Communication dans un congrès
hal-02950914
v1
|
|
HOME I/O: a virtual house for control and STEM education from middle schools to Universities
Bernard Riera
,
F. Emprin
,
D. Annebicque
,
Maxime Colas
,
B. Vigário
Communication dans un congrès
hal-01780735
v1
|
|
HOME I/O: an example of Human-Machine Systems concepts applied to STEM education
Bernard Riera
,
D. Annebicque
,
B. Vigário
Communication dans un congrès
hal-01780733
v1
|
|
Automation for improve of mental workload of the systems engineer
Raphaël Coupat
,
Philippot Alexandre
,
David Annebicque
,
François Gellot
,
Bernard Riera
Communication dans un congrès
hal-03297116
v1
|
|
La commande par contraintes logiques de sécurité : principe, applications et mise en oeuvre
Bernard Riera
,
Philippot Alexandre
,
David Annebicque
,
François Gellot
Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France
Communication dans un congrès
hal-01224261
v1
|
|
Process of creating educational uses by teachers from a 3D simulation of a house home automation to teach technology
Fabien Emprin
,
Bernard Riera
3rd international constructionism conference, Aug 2014, Vienna, Austria. pp.247 - 257
Communication dans un congrès
hal-02969603
v1
|
|
CONTROL SYNTHESIS BASED ON SAFETY BOOLEAN GUARDS FOR MANUFACTURING SYSTEMS: APPLICATION TO A SORTING SYSTEM
Bernard Riera
,
Raphael Coupat
,
David Annebicque
,
Philippot Alexandre
,
Francois Gellot
MOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, Nov 2014, Nancy, France
Communication dans un congrès
hal-01166614
v1
|
|
Fault tolerant control for manufacturing discrete systems by filter and diagnoser interactions
Alexandre Philippot
,
Pascale Marangé
,
François Gellot
,
Jean-François Pétin
,
Bernard Riera
Annual Conference of the Prognostics and Health Management Society, PHM Conference 2014, Sep 2014, Dallas, United States
Communication dans un congrès
hal-01094956
v1
|
|
A support tool for assisting human diagnoses of command errors detected by a robust filter
Serge Debernard
,
Pascale Marangé
,
François Gellot
,
Marie-Pierre Pacaux-Lemoine
,
Thierry Poulain
et al.
10. Berliner Werkstatt Mensch-Maschine-Systeme, Oct 2013, Berlin, Germany. pp. 66-74
Communication dans un congrès
hal-03470903
v1
|
|
Présentation du projet MOSYP : mesure des performances et optimisation des systèmes de production
B. Riera
,
Farouk Yalaoui
14ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2013), Feb 2013, Troyes, France
Communication dans un congrès
hal-02797395
v1
|
|
Présentation du projet CPER MOSYP : Mesure des performances et Optimisation des Systèmes de Production
Bernard Riera
,
Farouk Yalaoui
14ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2013), Feb 2013, Troyes, France
Communication dans un congrès
hal-02798608
v1
|
|
Synthèse de commande sûre de fonctionnement à base de contraintes logiques pour les systèmes manufacturiers
Bernard Riera
,
David Annebicque
,
Bruno Vigario
,
François Gellot
,
Philippot Alexandre
9th International Conference on Modeling, Optimization & SIMulation, Jun 2012, Bordeaux, France
Communication dans un congrès
hal-00728626
v1
|
|
Implementation of diagnosis approach for Discrete Event Systems
Philippot Alexandre
,
Pascale Marangé
,
Véronique Carré-Ménétrier
,
Bernard Riera
International Symposium on Security and Safety of Complex Systems, 2SCS'12, May 2012, Agadir, Morocco. pp.CDROM
Communication dans un congrès
hal-00767444
v1
|
|
Approche de détection et d'explication d'erreur de commande par filtrage robuste
Pascale Marangé
,
Jean-François Pétin
,
David Gouyon
,
Bernard Riera
,
François Gellot
et al.
4ème Workshop du Groupement d'Intérêt Scientifique "Surveillance, Sûreté, Sécurité des Grands Systèmes", Oct 2011, Valenciennes, France. pp.CDROM
Communication dans un congrès
hal-00653767
v1
|
|
HUMAN DESIGN APPLIED TO OPERATING LIGHT RAIL STUDIES
M. Hemour
,
A. Philippot
,
N. Messai
,
D. Caligny
,
B. Riera
11 th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS’2010), 2010, Valenciennes, France. pp.187-191, ⟨10.3182/20100831-4-FR-2021.00034⟩
Communication dans un congrès
hal-02189961
v1
|
|
Fault Diagnosis of Discrete Event Systems Using Components Fault-Free models
Moamar Sayed-Mouchaweh
,
A. Philippot
,
V. Carre-Menetrier
,
Bernard Riera
20th International Workshop on Principles of Diagnosis DX'09, Jun 2009, Stockholm, Sweden
Communication dans un congrès
hal-02337905
v1
|
|
Verification of functional constraints for safe product driven control
Pascale Marangé
,
David Gouyon
,
Jean-François Pétin
,
Bernard Riera
2nd IFAC Workshop on Dependable Control of Discrete System, DCDS'09, Jun 2009, Bari, Italy. pp.315-320
Communication dans un congrès
hal-00401680
v1
|
|
Proposition of Completeness Property to Perform the Plant Modelling for Manufacturing Applications
Benoit Rohée
,
V Carre-Menetrier
,
Bernard Riera
17th IFAC World Congress 2008, Jul 2008, Seoul, South Korea
Communication dans un congrès
hal-02337823
v1
|
|
Human-Machine Systems concepts applied to Control Engineering Education
Pascale Marangé
,
François Gellot
,
Bernard Riera
7th IFAC World Congress (IFAC'08), Jul 2008, Seoul, South Korea. pp.CD
Communication dans un congrès
hal-00385501
v1
|
|
Reconnaissance des formes dans un environnement non stationnaire.
Laurent Hartert
,
Moamar Sayed-Moucahweh
,
Patrice Billaudel
,
Bernard Riera
Conférence Internationale Francophone d’Automatique, CIFA 2008., 2008, Bucarest, Romania
Communication dans un congrès
hal-02347443
v1
|
|
Outil d'aide à l'élaboration de modèles hybrides de simulation pour les systèmes manufacturiers
Benoit Rohée
,
Bernard Riera
,
Véronique Carré-Ménétrier
,
Jean-Marc Roussel
Journées Doctorales du GDR MACS (JD-MACS'07), Jul 2007, Reims, France. Papier n°62
Communication dans un congrès
hal-00347047
v1
|
|
REMOTE CONTROL OF AUTOMATION SYSTEMS FOR TRAINING
Pascale Marangé
,
François Gellot
,
Bernard Riera
IFAC/IFIP/IFORS/IEA Symposium, Analysis, Design, and Evaluation of Human Machine Systems (ADEHMS'07), Sep 2007, Séoul, South Korea. pp.CD
Communication dans un congrès
hal-00385512
v1
|
|
Hybrid pattern recognition method to diagnose dynamic systems.
Mohamed Said Bouguelid
,
Moamar Sayed-Moucahweh
,
Patrice Billaudel
,
Bernard Riera
10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (IFAC-HMS 2007)., 2007, Seoul, South Korea
Communication dans un congrès
hal-02347678
v1
|
|
Traçabilité et théorie des possibilités pour l’aide au diagnostic.
Philippe Vellemans
,
Patrice Billaudel
,
Bernard Riera
IEEE International Conference : Sciences of Electronic, Technologies of Information and Telecommunications., 2007, Hammamet, Tunisia
Communication dans un congrès
hal-02347762
v1
|
|
Manufacturing human machine interface design using plant models
Benoit Rohée
,
Bernard Riera
,
Véronique Carré-Ménétrier
IFAC/IFIP/IFORS/IEA Symposium - Analysis, Design and Evaluation of human machine systems, Sep 2007, Séoul, South Korea
Communication dans un congrès
hal-02339487
v1
|
|
Control validation of D.E.S systems: Application to remote laboratories
Pascale Marangé
,
François Gellot
,
Bernard Riera
Workshop on Remote control of Devices (WoRD'07), Oct 2007, Lyon, France. pp.CD
Communication dans un congrès
hal-00385503
v1
|
|
Variable Probability-Possibility Transformation.
Moamar Sayed-Moucahweh
,
Mohamed Said Bouguelid
,
Patrice Billaudel
,
Bernard Riera
European Annual Conference on Human Decision-Making and Manual Control, EAM’06., 2006, Valenciennes, France
Communication dans un congrès
hal-02347840
v1
|
|
REQUIREMENT AND USE FOR REMOTE TEACHING OF DISCRETE EVENTS SYSTEMS
Pascale Marangé
,
François Gellot
,
Bernard Riera
7th IFAC Symposium on Advances in Control Education (ACE'06), Jun 2006, Madrid, Spain. pp.CD
Communication dans un congrès
hal-00385496
v1
|
|
TIMED-EVENT-STATE-BASED DIAGNOSER FOR MANUFACTURING SYSTEMS
M Sayed-Mouchaweh
,
A. Philippot
,
V. Carre-Menetrier
,
Bernard Riera
International Conference on Information Technology for Balanced Automation Systems BASYS 2006, Sep 2006, Niagara Falls, United States
Communication dans un congrès
hal-02339384
v1
|
|
Fault detection for HDS by means of neural networks: application to two tanks hydraulic system
Nadhir Messai
,
Philippe Thomas
,
Dimitri Lefebvre
,
Bernard Riera
6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, SAFEPROCESS'06, Sep 2006, Beijing, China. pp.1039 - 1044
Communication dans un congrès
hal-00103876
v1
|
|
A methodology to design and check a plant model
Benoit Rohée
,
Bernard Riera
,
Véronique Carré-Ménétrier
,
Jean-Marc Roussel
3rd IFAC Workshop on Discrete-Event System Design (DESDes'06), Jun 2006, Rydzyna, Poland. pp. 246-250
Communication dans un congrès
hal-00351722
v1
|
|
Traceability a new approach to obtain decision-making aid.
Philippe Vellemans
,
Patrice Billaudel
,
Bernard Riera
European Annual Conference on Human Decision-Making and Manual Control., 2006, Valenciennes, France
Communication dans un congrès
hal-02352198
v1
|
|
Data mining and models for human adapted system : a multi-methodological approach.
Philippe Vellemans
,
Patrice Billaudel
,
Bernard Riera
IEEE Third International Conference : Sciences of Electronic, Technologies of Information and Telecommunications., 2005, Sousse, Tunisia
Communication dans un congrès
hal-02352225
v1
|
|
Product traceability integration within process for more precise diagnosis.
Philippe Vellemans
,
Bernard Riera
,
Patrice Billaudel
International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, CIS²E’05, International Conference on Industrial Electronics, Technology & Automation, IETA’05., 2005, e-conference, United States
Communication dans un congrès
hal-02352217
v1
|
|
Modeling and Monitoring of Hybrid Dynamic Systems with Feed-Forward Neural Networks: application to two tanks hydraulic system
Nadhir Messai
,
Philippe Thomas
,
Dimitri Lefebvre
,
Bernard Riera
,
Abdellah Elmoudni
Workshop on Advanced Control and Diagnosis, Nov 2005, Mulhouse, France. pp.103-109
Communication dans un congrès
hal-00103137
v1
|
|
Human adapted system for traceability : a multi-methodological approach.
Philippe Vellemans
,
Patrice Billaudel
,
Bernard Riera
IEEE Third International Conference on Systems, Signals and Devices., 2005, Sousse, Tunisia
Communication dans un congrès
hal-02352237
v1
|
|
Human adapted system for analysis of the failure causes : a multi-method approach.
Philippe Vellemans
,
Patrice Billaudel
,
Bernard Riera
IFAC Symposium on the Analysis, Design and Evaluation of Human-Machine Systems., 2004, Atlanta, United States
Communication dans un congrès
hal-02352288
v1
|
|
Fusion of objective and subjective information in multi-criteria decision-making.
Moamar Sayed-Moucahweh
,
Patrice Billaudel
,
Bernard Riera
IFAC Symposium on the Analysis, Design and Evaluation of Human-Machine Systems., 2004, Atlanta, United States
Communication dans un congrès
hal-02352346
v1
|
|
Fuzzy Pattern Matching with adaptive bin width histograms to maximize classification performances.
M Sayed Mouchaweh
,
Patrice Billaudel
,
Bernard Riera
IEEE International Conference on Fuzzy Systems, participation à ce congrès sur invitation., 2004, Budapest, Hungary
Communication dans un congrès
hal-02352352
v1
|
|
A questionnaire-based discount evaluation mathod using guidelines for process control interactive applications
Christophe Kolski
,
Bernard Riera
,
Thierry Berger
Communication dans un congrès
hal-03409136
v1
|