- 46
- 11
- 8
- 7
- 3
- 2
- 2
- 1
- 1
- 1
Bernard RIERA
82
Documents
Researcher identifiers
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
Presentation
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
- 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
- 39
- 26
- 13
- 12
- 11
- 9
- 9
- 8
- 6
- 6
- 6
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 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
- 71
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 6
- 3
- 4
- 6
- 11
- 4
- 1
- 6
- 5
- 3
- 2
- 1
- 2
- 4
- 7
- 6
- 4
- 3
- 3
Le Jumeau Numérique dans le monde manufacturierCongrès annuel de la SAGIP, 2023, Marseille, France
Conference papers
hal-04177887v1
|
|
|
Algebraic Synthesis of Safety Logical Filter on Manufacturing SystemsIFAC Workshop on Intelligent Manufacturing Systems (IMS), 2022, Tel Aviv, Israel. pp.169-174
Conference papers
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
Conference papers
hal-03427266v1
|
|
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⟩
Conference papers
hal-03404408v1
|
|
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
Conference papers
hal-03427264v1
|
|
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
Conference papers
hal-03296136v1
|
|
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
Conference papers
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
Conference papers
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⟩
Conference papers
hal-02968156v1
|
|
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⟩
Conference papers
hal-02151138v1
|
|
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
Conference papers
hal-02151117v1
|
Diagnosis and human behavior modeling in railway network using operating dataInternational Conference on Digital Image & Signal Processing (DISP), 2019, Oxford, United Kingdom
Conference papers
hal-02962823v1
|
|
|
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⟩
Conference papers
hal-02151096v1
|
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
Conference papers
hal-02950934v1
|
|
|
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⟩
Conference papers
hal-01882564v1
|
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
Conference papers
hal-02151107v1
|
|
|
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⟩
Conference papers
hal-01882572v1
|
|
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
Conference papers
hal-03427261v1
|
|
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
Conference papers
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
Conference papers
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
Conference papers
hal-02969579v1
|
|
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⟩
Conference papers
hal-01735034v1
|
|
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⟩
Conference papers
hal-02503120v1
|
|
|
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⟩
Conference papers
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
Conference papers
hal-01882579v1
|
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⟩
Conference papers
hal-01780735v1
|
|
Practical and Dependable Control Synthesis for Programmable Logic Controllers, Invited Plenary TalkChinese Control Conference (CCC), 2016, Chengdu, China
Conference papers
hal-02950914v1
|
|
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⟩
Conference papers
hal-03297116v1
|
|
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⟩
Conference papers
hal-01780733v1
|
|
|
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
Conference papers
hal-01224261v1
|
|
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
Conference papers
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
Conference papers
hal-02969603v1
|
|
|
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
Conference papers
hal-01166614v1
|
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
Conference papers
hal-02797395v1
|
|
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
Conference papers
hal-02798608v1
|
|
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
Conference papers
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
Conference papers
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
Conference papers
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
Conference papers
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⟩
Conference papers
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
Conference papers
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
Conference papers
hal-02337905v1
|
Proposition of Completeness Property to Perform the Plant Modelling for Manufacturing Applications17th IFAC World Congress 2008, Jul 2008, Seoul, South Korea
Conference papers
hal-02337823v1
|
|
|
Human-Machine Systems concepts applied to Control Engineering Education7th IFAC World Congress (IFAC'08), Jul 2008, Seoul, South Korea. pp.CD
Conference papers
hal-00385501v1
|
Reconnaissance des formes dans un environnement non stationnaire.Conférence Internationale Francophone d’Automatique, CIFA 2008., 2008, Bucarest, Romania
Conference papers
hal-02347443v1
|
|
|
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
Conference papers
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
Conference papers
hal-02347762v1
|
|
|
Control validation of D.E.S systems: Application to remote laboratoriesWorkshop on Remote control of Devices (WoRD'07), Oct 2007, Lyon, France. pp.CD
Conference papers
hal-00385503v1
|
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
Conference papers
hal-02339487v1
|
|
|
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
Conference papers
hal-00347047v1
|
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
Conference papers
hal-02347678v1
|
|
TIMED-EVENT-STATE-BASED DIAGNOSER FOR MANUFACTURING SYSTEMSInternational Conference on Information Technology for Balanced Automation Systems BASYS 2006, Sep 2006, Niagara Falls, United States
Conference papers
hal-02339384v1
|
|
Traceability a new approach to obtain decision-making aid.European Annual Conference on Human Decision-Making and Manual Control., 2006, Valenciennes, France
Conference papers
hal-02352198v1
|
|
|
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
Conference papers
hal-00385496v1
|
Variable Probability-Possibility Transformation.European Annual Conference on Human Decision-Making and Manual Control, EAM’06., 2006, Valenciennes, France
Conference papers
hal-02347840v1
|
|
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
Conference papers
hal-00103876v1
|
|
|
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
Conference papers
hal-00351722v1
|
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
Conference papers
hal-02352217v1
|
|
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
Conference papers
hal-02352225v1
|
|
|
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
Conference papers
hal-00103137v1
|
Human adapted system for traceability : a multi-methodological approach.IEEE Third International Conference on Systems, Signals and Devices., 2005, Sousse, Tunisia
Conference papers
hal-02352237v1
|
|
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
Conference papers
hal-02352288v1
|
|
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
Conference papers
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
Conference papers
hal-02352352v1
|
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.
Conference poster
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⟩
Book sections
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
Book sections
hal-03630933v1
|