Bernard RIERA
Présentation
Publications
Publications
|
|
Optimisation lexicographique pseudo-booléenne : Une contrainte globaleROADEF 2026, Université de Tours [UT], Feb 2026, Tours, France |
|
|
Collaborative-Iterative Digital Twin BenchmarkingColloque S.Mart 2025, GIS S.Mart RAO, May 2025, Vogüé (Ardèche - France), France |
|
|
Novel Supervisor-Based Architecture for Logic Controller DesignMIM 2025 - 11th IFAC Conference on Manufacturing Modelling, Management and Control, Jun 2025, Trondheim, Norway |
|
|
Intégration et caractérisation d'une fonction de comptage réalisée avec une caméra événementielle dans une application IEC 61499Colloque S.Mart 2025, GIS S.Mart RAO, May 2025, Vogüé (Ardèche - France), France |
|
|
Filtre logique et Théorie du Contrôle SuperviséModélisation des Systèmes Réactifs (MSR'25), CReSTIC, LICIIS, Nov 2025, Reims, France |
|
|
Initiation à la traçabilité et à l'IoT avec HOME I/O et MIT App InventorCETSIS 2025, Jun 2025, Perpignan, France |
|
|
Collaborative-Iterative Digital Twin Benchmarking19ème colloque national "Recherche et enseignement agiles pour une industrie soutenable", May 2025, Vogüé, France |
|
|
Constraint Programming for Logic controller Synthesis2024 10th International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2024, Vallette, Malta. pp.1843-1848, ⟨10.1109/codit62066.2024.10708360⟩ |
|
|
De la modélisation par intension du problème de commande logique à la génération de code ST (IEC 61131-3)Modélisation des système réactifs (MSR'25), Nov 2025, Reims, France |
|
|
From Algebraic Synthesis and GRAFCET to Logical Controller Design in ST Code (IEC 61131-3)22nd international conference on information in control, automation and robotics (ICINCO 2025), Oct 2025, Marbella, Spain |
|
|
Introduction to Traceability and IoT with HOME I/O and MIT App InventorIFAC ACE 2025, Jun 2025, Budapest, Hungary |
|
|
Synthèse de système à base de modèles pour la conception de contrôleur logique correct par constructionS.mart 2025, May 2025, Voguë, France |
|
|
Apprentissage par renforcement pour la synthèse de contrôleur logique et implémentation en langage ST2ème Congrès Annuel de la SAGIP, May 2024, Villeurbanne (France), France |
|
|
From Reinforcement Learning to Reality: Generating Structured Text Logic Controller2024 10th International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2024, Vallette, France. pp.1269-1274, ⟨10.1109/CoDIT62066.2024.10708353⟩ |
|
|
Le Jumeau Numérique dans le monde manufacturierCongrès annuel de la SAGIP, 2023, Marseille, France |
Painting of the digital twin to better understand and implement it in manufacturingThe 3rd Digital Twin International Conference, LURPA (Automated Production Research Laboratory), Paris-Saclay University, Oct 2023, Gif-sur-Yvette, France |
|
|
|
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)6èmes journées des Démonstrateurs en Automatique, Jun 2022, Angers, France |
|
|
Algebraic Synthesis of Safety Logical Filter on Manufacturing SystemsIFAC Workshop on Intelligent Manufacturing Systems (IMS), 2022, Tel Aviv, Israel. pp.169-174 |
|
|
Manufacturing Tasks Synchronization by Algebraic SynthesisIFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control (CESCIT), 2021, Valenciennes, France. ⟨10.1016/j.ifacol.2021.10.038⟩ |
|
|
Retour d'expérience sur la réalisation du jumeau numérique d'une Cellule Flexible avec Emulate3D17e Colloque National S-mart, Mar 2021, Distanciel, France |
|
|
Retour d'expérience et applications pédagogiques innovantes avec HOME I/OColloque de l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), Jun 2021, Valenciennes, France |
|
|
Développement d'un connecteur logiciel pour l'apprentissage de l'automatismeColloque de l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), Jun 2021, Valenciennes, France |
|
|
Retour d'expérience sur la réalisation du jumeau numérique d'une Cellule Flexible avec Emulate3D17ème colloque national S-mart AIP-PRIMECA, Université Polytechnique Hauts-de-France [UPHF], Mar 2021, LAVAL VIRTUAL WORLD, France |
|
|
Experience feedback and innovative pedagogical applications with HOME I/OIFAC World Congress, 2020, Berlin, Germany. pp.17610-17615, ⟨10.1016/j.ifacol.2020.12.2676⟩ |
|
|
Formation à l'Industrie 4.0 par l'utilisation du Model-Checking et du Virtual CommissioningColloque National S-mart/AIP-PRIMECA, Apr 2019, Montrichier-Albanne, France |
|
|
Teaching the first and only logic control course with HOME I/O and Scratch 2.0IFAC Advances in Control Education Symposium (ACE), 2019, Philadelphia, United States. pp.109-114, ⟨10.1016/j.ifacol.2019.08.133⟩ |
Diagnosis and human behavior modeling in railway network using operating dataInternational Conference on Digital Image & Signal Processing (DISP), 2019, Oxford, United Kingdom |
|
Automatic Generation and Formal Verification of Safe PLC Programs for Railway Control Systems, Invited Plenary TalkInternational Conference on Control, Automation and Systems (ICCAS), 2018, PyeongChang, South Korea |
|
|
|
Advanced Tools for the Control Engineer in Industry 4.0IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), 2018, Saint Petersburg, Russia. ⟨10.1109/ICPHYS.2018.8390766⟩ |
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 ferroviairesJournées STP du GDR MACS, 2018, Clermont-Ferrand, France |
|
|
|
Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing SystemsInternational Conference on Informatics in Control, Automation and Robotics (ICINCO), 2018, Porto, Portugal. ⟨10.5220/0006885502310239⟩ |
HOME I/O and FACTORY I/O: a house simulator and a plant simulator for automatic control educationThe 27th EAEEIE (European Association for Education in Electrical and Information Engineering) Annual Conference, Jun 2017, Grenoble, France |
|
|
|
HOME I/O et FACTORY I/O : 2 logiciels innovants de simulation de PO pour la formation à l'automatiqueColloque consacré à l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), 2017, Le Mans, France |
|
|
Formal Verification for Validation of PSEEL's PLC Program14th International Conference on Informatics in Control, Automation and Robotics (ICINCO), Jul 2017, Madrid, Spain |
|
|
HOME I/O and FACTORY I/O: 2 Pieces of innovative PO simulation software for automation educationEuropean Association for Education in Electrical and Information Engineering Annual Conference (EAEEIE), 2017, Grenoble, France. ⟨10.1109/EAEEIE.2017.8768639⟩ |
|
|
Vérification formelle des programmes automates de la SNCF par Model-Checking11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR), Nov 2017, Marseille, France |
|
|
Consistency Checking of Safety Constraints for Manufacturing Systems with Graph AnalysisIFAC World Congress, 2017, Tolouse, France. pp.1193-1198, ⟨10.1016/j.ifacol.2017.08.273⟩ |
|
|
SEDMA-un outil pour la Modélisation, l'Analyse et la génération automatique de programme pour les SEDsColloque sur la Modélisation des Systèmes Réactifs (MSR), 2017, Marseille, France |
|
|
Massive Railway Operating Data Visualization; a Tool for RATP Operating ExpertIFAC World Congress, 2017, Toulouse, France. pp.15841-15846, ⟨10.1016/j.ifacol.2017.08.2324⟩ |
|
|
HOME I/O and FACTORY I/O: a virtual house and a virtual plant for control educationIFAC World Congress, 2017, Toulouse, France. pp.9144-9149, ⟨10.1016/j.ifacol.2017.08.1719⟩ |
Practical and Dependable Control Synthesis for Programmable Logic Controllers, Invited Plenary TalkChinese Control Conference (CCC), 2016, Chengdu, China |
|
|
|
HOME I/O: a virtual house for control and STEM education from middle schools to UniversitiesIFAC Symposium on Advances in Control Education (ACE), 2016, Bratislava, Slovakia. pp.168-173, ⟨10.1016/j.ifacol.2016.07.172⟩ |
|
|
HOME I/O: an example of Human-Machine Systems concepts applied to STEM educationIFAC Symposium on Analysis, Design, and Evaluation ofHuman-Machine Systems (HMS), 2016, Kyoto, Japan. pp.233-238, ⟨10.1016/j.ifacol.2016.10.530⟩ |
|
|
Automation for improve of mental workload of the systems engineerIFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS), 2016, Kyoto, Japan. pp.555-560, ⟨10.1016/j.ifacol.2016.10.624⟩ |
|
|
La commande par contraintes logiques de sécurité : principe, applications et mise en oeuvreModélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France |
|
|
CONTROL SYNTHESIS BASED ON SAFETY BOOLEAN GUARDS FOR MANUFACTURING SYSTEMS: APPLICATION TO A SORTING SYSTEMMOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, Nov 2014, Nancy, France |
|
|
Fault tolerant control for manufacturing discrete systems by filter and diagnoser interactionsAnnual Conference of the Prognostics and Health Management Society, PHM Conference 2014, Sep 2014, Dallas, United States |
Process of creating educational uses by teachers from a 3D simulation of a house home automation to teach technology3rd international constructionism conference, Aug 2014, Vienna, Austria. pp.247 - 257 |
|
Présentation du projet MOSYP : mesure des performances et optimisation des systèmes de production14è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 |
|
Présentation du projet CPER MOSYP : Mesure des performances et Optimisation des Systèmes de Production14è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 |
|
A support tool for assisting human diagnoses of command errors detected by a robust filter10. Berliner Werkstatt Mensch-Maschine-Systeme, Oct 2013, Berlin, Germany. pp. 66-74 |
|
|
|
Implementation of diagnosis approach for Discrete Event SystemsInternational Symposium on Security and Safety of Complex Systems, 2SCS'12, May 2012, Agadir, Morocco. pp.CDROM |
|
|
Synthèse de commande sûre de fonctionnement à base de contraintes logiques pour les systèmes manufacturiers9th International Conference on Modeling, Optimization & SIMulation, Jun 2012, Bordeaux, France |
Approche de détection et d'explication d'erreur de commande par filtrage robuste4ème Workshop du Groupement d'Intérêt Scientifique "Surveillance, Sûreté, Sécurité des Grands Systèmes", Oct 2011, Valenciennes, France. pp.CDROM |
|
|
|
HUMAN DESIGN APPLIED TO OPERATING LIGHT RAIL STUDIES11 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⟩ |
|
|
Verification of functional constraints for safe product driven control2nd IFAC Workshop on Dependable Control of Discrete System, DCDS'09, Jun 2009, Bari, Italy. pp.315-320 |
|
|
Fault Diagnosis of Discrete Event Systems Using Components Fault-Free models20th International Workshop on Principles of Diagnosis DX'09, Jun 2009, Stockholm, Sweden |
Proposition of Completeness Property to Perform the Plant Modelling for Manufacturing Applications17th IFAC World Congress 2008, Jul 2008, Seoul, South Korea |
|
|
|
Human-Machine Systems concepts applied to Control Engineering Education7th IFAC World Congress (IFAC'08), Jul 2008, Seoul, South Korea. pp.CD |
Reconnaissance des formes dans un environnement non stationnaire.Conférence Internationale Francophone d’Automatique, CIFA 2008., 2008, Bucarest, Romania |
|
|
|
REMOTE CONTROL OF AUTOMATION SYSTEMS FOR TRAININGIFAC/IFIP/IFORS/IEA Symposium, Analysis, Design, and Evaluation of Human Machine Systems (ADEHMS'07), Sep 2007, Séoul, South Korea. pp.CD |
Hybrid pattern recognition method to diagnose dynamic systems.10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (IFAC-HMS 2007)., 2007, Seoul, South Korea |
|
Traçabilité et théorie des possibilités pour l’aide au diagnostic.IEEE International Conference : Sciences of Electronic, Technologies of Information and Telecommunications., 2007, Hammamet, Tunisia |
|
Manufacturing human machine interface design using plant modelsIFAC/IFIP/IFORS/IEA Symposium - Analysis, Design and Evaluation of human machine systems, Sep 2007, Séoul, South Korea |
|
|
|
Control validation of D.E.S systems: Application to remote laboratoriesWorkshop on Remote control of Devices (WoRD'07), Oct 2007, Lyon, France. pp.CD |
|
|
Outil d'aide à l'élaboration de modèles hybrides de simulation pour les systèmes manufacturiersJournées Doctorales du GDR MACS (JD-MACS'07), Jul 2007, Reims, France. Papier n°62 |
TIMED-EVENT-STATE-BASED DIAGNOSER FOR MANUFACTURING SYSTEMSInternational Conference on Information Technology for Balanced Automation Systems BASYS 2006, Sep 2006, Niagara Falls, United States |
|
Fault detection for HDS by means of neural networks: application to two tanks hydraulic system6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, SAFEPROCESS'06, Sep 2006, Beijing, China. pp.1039 - 1044 |
|
|
|
A methodology to design and check a plant model3rd IFAC Workshop on Discrete-Event System Design (DESDes'06), Jun 2006, Rydzyna, Poland. pp. 246-250 |
Traceability a new approach to obtain decision-making aid.European Annual Conference on Human Decision-Making and Manual Control., 2006, Valenciennes, France |
|
Variable Probability-Possibility Transformation.European Annual Conference on Human Decision-Making and Manual Control, EAM’06., 2006, Valenciennes, France |
|
|
|
REQUIREMENT AND USE FOR REMOTE TEACHING OF DISCRETE EVENTS SYSTEMS7th IFAC Symposium on Advances in Control Education (ACE'06), Jun 2006, Madrid, Spain. pp.CD |
Product traceability integration within process for more precise diagnosis.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 |
|
Data mining and models for human adapted system : a multi-methodological approach.IEEE Third International Conference : Sciences of Electronic, Technologies of Information and Telecommunications., 2005, Sousse, Tunisia |
|
|
|
Modeling and Monitoring of Hybrid Dynamic Systems with Feed-Forward Neural Networks: application to two tanks hydraulic systemWorkshop on Advanced Control and Diagnosis, Nov 2005, Mulhouse, France. pp.103-109 |
Human adapted system for traceability : a multi-methodological approach.IEEE Third International Conference on Systems, Signals and Devices., 2005, Sousse, Tunisia |
|
Human adapted system for analysis of the failure causes : a multi-method approach.IFAC Symposium on the Analysis, Design and Evaluation of Human-Machine Systems., 2004, Atlanta, United States |
|
Fuzzy Pattern Matching with adaptive bin width histograms to maximize classification performances.IEEE International Conference on Fuzzy Systems, participation à ce congrès sur invitation., 2004, Budapest, Hungary |
|
Fusion of objective and subjective information in multi-criteria decision-making.IFAC Symposium on the Analysis, Design and Evaluation of Human-Machine Systems., 2004, Atlanta, United States |
|
|
|
A questionnaire-based discount evaluation mathod using guidelines for process control interactive applicationsInternational Workshop on Tools for Working with Guidelines, Oct 2000, Biarritz, France. pp. 127-138, ⟨10.1007/978-1-4471-0279-3_12⟩ |
|
|
INITIATION À LA COBOTIQUE À L'AIDE DE JUMEAUX NUMÉRIQUESG.SMART 2025, May 2025, Vogüe, France |
|
|
Unified data collect for Digital TwinInternational forum on Digital Twins Design & Operation (DTD&O), Dec 2023, Paris, France. |
|
|
Benchmark d'un système automatisé de production de type SEDModélisation des Systèmes Réactifs (MSR'23), Nov 2023, Toulouse, France |
Home I/O and Factory I/O simulation software for STEM educationune journée scientifique autour des environnements de simulation numérique et leurs apports à la pédagogie universitaire -ESN 21, Dec 2021, Lyon, France. |
The Common Work Space for the Support of Supervision and Human-Machine CooperationDesigning Human-Machine Cooperation Systems, ISTE-Wiley, pp.285-342, 2014, 9781848216853. ⟨10.1002/9781118984390.ch8⟩ |
|
L’espace de travail commun pour l’aide à la supervision et à la coopération homme-machineMillot Patrick (Ed.). Ergonomie des systèmes homme-machine : conception et coopération, Lavoisier-Hermès, pp.295-341, 2013, Traité IC2, série Systèmes automatisés, 9782746239203 |