- 50
- 11
- 8
- 7
- 3
- 2
- 2
- 1
- 1
- 1
Bernard RIERA
86
Documents
Identifiants chercheurs
bernard-riera-
0000-0003-1294-874X
- Google Scholar : https://scholar.google.fr/citations?hl=fr&user=Ra8FSWUAAAAJ&view_op=list_works&sortby=pubdate
- IdRef : 114568022
Présentation
Publications
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 38
- 26
- 16
- 14
- 11
- 9
- 9
- 9
- 8
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 75
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 6
- 3
- 4
- 6
- 11
- 4
- 1
- 6
- 5
- 3
- 2
- 1
- 2
- 4
- 7
- 6
- 4
- 3
- 3
- 1
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
Communication dans un congrès
hal-04431349v1
|
|
|
|
Le Jumeau Numérique dans le monde manufacturierCongrès annuel de la SAGIP, 2023, Marseille, France
Communication dans un congrès
hal-04177887v1
|
|
|
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
Communication dans un congrès
hal-04432415v1
|
|
|
Algebraic Synthesis of Safety Logical Filter on Manufacturing SystemsIFAC Workshop on Intelligent Manufacturing Systems (IMS), 2022, Tel Aviv, Israel. pp.169-174
Communication dans un congrès
hal-03716080v1
|
|
|
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
Communication dans un congrès
hal-03427266v1
|
|
|
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
Communication dans un congrès
hal-03296136v1
|
|
|
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
Communication dans un congrès
hal-03427264v1
|
|
|
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⟩
Communication dans un congrès
hal-03404408v1
|
|
|
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
Communication dans un congrès
hal-03427269v1
|
A questionnaire-based discount evaluation mathod using guidelines for process control interactive applicationsInternational Workshop on Tools for Working with Guidelines, Oct 2020, Biarritz, France. pp. 127-138
Communication dans un congrès
hal-03409136v1
|
|
|
|
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⟩
Communication dans un congrès
hal-02968156v1
|
Diagnosis and human behavior modeling in railway network using operating dataInternational Conference on Digital Image & Signal Processing (DISP), 2019, Oxford, United Kingdom
Communication dans un congrès
hal-02962823v1
|
|
|
|
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
Communication dans un congrès
hal-02151117v1
|
|
|
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⟩
Communication dans un congrès
hal-02151138v1
|
|
|
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⟩
Communication dans un congrès
hal-01882564v1
|
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
Communication dans un congrès
hal-02950934v1
|
|
|
|
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⟩
Communication dans un congrès
hal-02151096v1
|
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
Communication dans un congrès
hal-02151107v1
|
|
|
|
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
Communication dans un congrès
hal-03427261v1
|
|
|
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⟩
Communication dans un congrès
hal-01882572v1
|
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⟩
Communication dans un congrès
hal-02503120v1
|
|
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⟩
Communication dans un congrès
hal-01735034v1
|
|
|
|
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
Communication dans un congrès
hal-01882591v1
|
|
|
Formal Verification for Validation of PSEEL's PLC Program14th International Conference on Informatics in Control, Automation and Robotics (ICINCO), Jul 2017, Madrid, Spain
Communication dans un congrès
hal-03427253v1
|
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
Communication dans un congrès
hal-02969579v1
|
|
|
|
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⟩
Communication dans un congrès
hal-01780730v1
|
|
|
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
Communication dans un congrès
hal-01882579v1
|
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⟩
Communication dans un congrès
hal-01780733v1
|
|
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⟩
Communication dans un congrès
hal-03297116v1
|
|
Practical and Dependable Control Synthesis for Programmable Logic Controllers, Invited Plenary TalkChinese Control Conference (CCC), 2016, Chengdu, China
Communication dans un congrès
hal-02950914v1
|
|
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⟩
Communication dans un congrès
hal-01780735v1
|
|
|
|
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
Communication dans un congrès
hal-01224261v1
|
|
|
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
Communication dans un congrès
hal-01166614v1
|
|
|
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
Communication dans un congrès
hal-01094956v1
|
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
Communication dans un congrès
hal-02969603v1
|
|
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
Communication dans un congrès
hal-02798608v1
|
|
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
Communication dans un congrès
hal-02797395v1
|
|
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
Communication dans un congrès
hal-03470903v1
|
|
|
|
Implementation of diagnosis approach for Discrete Event SystemsInternational Symposium on Security and Safety of Complex Systems, 2SCS'12, May 2012, Agadir, Morocco. pp.CDROM
Communication dans un congrès
hal-00767444v1
|
|
|
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
Communication dans un congrès
hal-00728626v1
|
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
Communication dans un congrès
hal-00653767v1
|
|
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⟩
Communication dans un congrès
hal-02189961v1
|
|
|
|
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
Communication dans un congrès
hal-00401680v1
|
|
|
Fault Diagnosis of Discrete Event Systems Using Components Fault-Free models20th International Workshop on Principles of Diagnosis DX'09, Jun 2009, Stockholm, Sweden
Communication dans un congrès
hal-02337905v1
|
Reconnaissance des formes dans un environnement non stationnaire.Conférence Internationale Francophone d’Automatique, CIFA 2008., 2008, Bucarest, Romania
Communication dans un congrès
hal-02347443v1
|
|
|
|
Human-Machine Systems concepts applied to Control Engineering Education7th IFAC World Congress (IFAC'08), Jul 2008, Seoul, South Korea. pp.CD
Communication dans un congrès
hal-00385501v1
|
Proposition of Completeness Property to Perform the Plant Modelling for Manufacturing Applications17th IFAC World Congress 2008, Jul 2008, Seoul, South Korea
Communication dans un congrès
hal-02337823v1
|
|
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
Communication dans un congrès
hal-02347678v1
|
|
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
Communication dans un congrès
hal-02339487v1
|
|
|
|
Control validation of D.E.S systems: Application to remote laboratoriesWorkshop on Remote control of Devices (WoRD'07), Oct 2007, Lyon, France. pp.CD
Communication dans un congrès
hal-00385503v1
|
|
|
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
Communication dans un congrès
hal-00385512v1
|
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
Communication dans un congrès
hal-02347762v1
|
|
|
|
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
Communication dans un congrès
hal-00347047v1
|
|
|
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
Communication dans un congrès
hal-00351722v1
|
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
Communication dans un congrès
hal-00103876v1
|
|
Traceability a new approach to obtain decision-making aid.European Annual Conference on Human Decision-Making and Manual Control., 2006, Valenciennes, France
Communication dans un congrès
hal-02352198v1
|
|
Variable Probability-Possibility Transformation.European Annual Conference on Human Decision-Making and Manual Control, EAM’06., 2006, Valenciennes, France
Communication dans un congrès
hal-02347840v1
|
|
|
|
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
Communication dans un congrès
hal-00385496v1
|
TIMED-EVENT-STATE-BASED DIAGNOSER FOR MANUFACTURING SYSTEMSInternational Conference on Information Technology for Balanced Automation Systems BASYS 2006, Sep 2006, Niagara Falls, United States
Communication dans un congrès
hal-02339384v1
|
|
Human adapted system for traceability : a multi-methodological approach.IEEE Third International Conference on Systems, Signals and Devices., 2005, Sousse, Tunisia
Communication dans un congrès
hal-02352237v1
|
|
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
Communication dans un congrès
hal-02352217v1
|
|
|
|
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
Communication dans un congrès
hal-00103137v1
|
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
Communication dans un congrès
hal-02352225v1
|
|
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
Communication dans un congrès
hal-02352346v1
|
|
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
Communication dans un congrès
hal-02352352v1
|
|
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
Communication dans un congrès
hal-02352288v1
|
|
|
Benchmark d'un système automatisé de production de type SEDModélisation des Systèmes Réactifs (MSR'23), Nov 2023, Toulouse, France
Poster de conférence
hal-04431441v1
|
|
|
Unified data collect for Digital TwinPoster de conférence hal-04431896v1 |
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.
Poster de conférence
hal-03478525v1
|
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⟩
Chapitre d'ouvrage
hal-03404190v1
|
|
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
Chapitre d'ouvrage
hal-03630933v1
|