- 25
- 5
- 4
- 1
- 1
- 1
- 1
- 1
Bernard RIERA
39
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
- 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
- 38
- 19
- 9
- 7
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 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
- 34
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 4
- 5
- 8
- 1
- 1
- 4
- 2
- 2
- 2
- 1
- 1
- 3
|
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 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
|
|
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
|
|
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
|
|
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
|
|
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
|
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
|
|
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
|
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
|
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
|
|
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
|
|
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
|
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
|
|
|
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
|