Skip to Main content

Keywords

Researcher identifiers

Export Publications

Export the displayed publications:
Number of documents

66

CV Bernard Riera - CReSTIC - Reims Champagne Ardenne University


Journal articles12 documents

  • M. Niang, B. Riera, A. Philippot, J. Zaytoon, F. Gellot, et al.. A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems. Computers in Industry, Elsevier, 2020, 123, pp.103328. ⟨10.1016/j.compind.2020.103328⟩. ⟨hal-02974729⟩
  • Romain Pichard, Philippot Alexandre, Ramla Saddem, Bernard Riera. Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter. IEEE Transactions on Control Systems Technology, Institute of Electrical and Electronics Engineers, 2019, 27 (4), pp.1659-1667. ⟨10.1109/TCST.2018.2827329⟩. ⟨hal-01882604⟩
  • David Violeau, Bernard Riera. HOME I/O : du collège à l’enseignement supérieur. TDC-Réseau Canopé, 2018, pp.62-66. ⟨hal-02977470⟩
  • Raphael Coupat, Alexandre Philippot, Mohamed Niang, Christian Courtois, David Annebicque, et al.. Methodology for Railway Automation Study and Automatic Generation of PLC Programs. IEEE Intelligent Transportation Systems Magazine, IEEE, 2018, 10 (3), pp.80-93. ⟨10.1109/MITS.2018.2842018⟩. ⟨hal-02979013⟩
  • J. Zaytoon, Bernard Riera. Synthesis and implementation of logic controllers – A review. Annual Reviews in Control, Elsevier, 2017, 43, pp.152-168. ⟨10.1016/j.arcontrol.2017.03.004⟩. ⟨hal-02003224⟩
  • Jean-Paul Chemla, Bernard Riera. Home Automation with a PLC: From requirement to commissionning. Informatika, Dennis Gabor College, 2017, pp.12-18. ⟨hal-02990409⟩
  • Pascale Marangé, Serge Debernard, François Gellot, Marie-Pierre Pacaux-Lemoine, Philippot Alexandre, et al.. Approche de détection et d'explication d'erreur de commande par filtrage robuste. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2014, 48 (4-6), pp.339-372. ⟨10.3166/jesa.48.339-372⟩. ⟨hal-01094983⟩
  • Philippot Alexandre, Pascale Marangé, François Gellot, Bernard Riera. Decentralized diagnosis and diagnosability by model checking. Universal Journal of Control and Automation, Horizon Research Publishing, 2013, 1 (2), pp.28-33. ⟨10.13189/ujca.2013.010202⟩. ⟨hal-00870135⟩
  • Souleiman Ould El Mehdi, R. Bekrar, N. Messai, E. Leclercq, D. Lefebvre, et al.. Design and Identification of Stochastic and Deterministic Stochastic Petri Nets. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, Institute of Electrical and Electronics Engineers, 2012, 42 (4), pp.931-946. ⟨10.1109/TSMCA.2011.2173798⟩. ⟨hal-02189937⟩
  • Alexandre Philippot, Moamar Sayed-Mouchaweh, Véronique Carré-Ménétrier, Bernard Riera. Generation of candidates' tree for the fault diagnosis of discrete event systems. Control Engineering Practice, Elsevier, 2011, 19 (9), pp.1002-1013. ⟨10.1016/j.conengprac.2011.06.007⟩. ⟨hal-02337742⟩
  • Pascale Marangé, François Gellot, Bernard Riera. Application of the control validation to the D.E.S. teaching. International Journal of Online Engineering, International Association of Online Engineering, 2008, pp.1. ⟨hal-00385479⟩
  • Pascale Marangé, François Gellot, Bernard Riera. REMOTE CONTROL OF AUTOMATION SYSTEMS FOR D.E.S COURSES. IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2007, 54 (6), pp.3103-3133. ⟨hal-00385474⟩

Conference papers54 documents

  • Jules Jouffroy, Bernard Riera, Alexandre Philippot, François Gellot, Stéphane Lecasse. Retour d'expérience sur la réalisation du jumeau numérique d'une Cellule Flexible avec Emulate3D. 17ème colloque national S-mart AIP-PRIMECA, Université Polytechnique Hauts-de-France [UPHF], Mar 2021, LAVAL VIRTUAL WORLD, France. ⟨hal-03296136⟩
  • B. Riera, Tom Ranger, R. Saddem, Jean-Paul Chemla, F. Emprin, et al.. Experience feedback and innovative pedagogical applications with HOME I/O. IFAC World Congress, 2020, Berlin, Germany. pp.17610-17615, ⟨10.1016/j.ifacol.2020.12.2676⟩. ⟨hal-02968156⟩
  • B. Riera, A. Philippot, D Annebicque. Teaching the first and only logic control course with HOME I/O and Scratch 2.0. IFAC Advances in Control Education Symposium (ACE), 2019, Philadelphia, United States. pp.109-114, ⟨10.1016/j.ifacol.2019.08.133⟩. ⟨hal-02151138⟩
  • Vincent Dimanche, Alban Goupil, Philippot Alexandre, Bernard Riera, Gérard Gabriel. Diagnosis and human behavior modeling in railway network using operating data. International Conference on Digital Image & Signal Processing (DISP), 2019, Oxford, United Kingdom. ⟨hal-02962823⟩
  • Alexandre Philippot, Bernard Riera, Vinay Kunreddy, Serge Debernard. Formation à l'Industrie 4.0 par l'utilisation du Model-Checking et du Virtual Commissioning. Colloque National S-mart/AIP-PRIMECA, 2019, Montrichier Albanne, France. ⟨hal-02151117⟩
  • Mohamed Niang, Bernard Riera, Philippot Alexandre, Serge Debernard. 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. Journées STP du GDR MACS, 2018, Clermont-Ferrand, France. ⟨hal-02151107⟩
  • Alexandre Philippot, Bernard Riera, Vinay Kunreddy, Serge Debernard. Advanced Tools for the Control Engineer in Industry 4.0. IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), 2018, Saint Petersburg, Russia. ⟨10.1109/ICPHYS.2018.8390766⟩. ⟨hal-02151096⟩
  • J. Zaytoon, Mohamed Niang, Bernard Riera, Philippot Alexandre, François Gellot. Automatic Generation and Formal Verification of Safe PLC Programs for Railway Control Systems, Invited Plenary Talk: Invited Plenary lecture. International Conference on Control, Automation and Systems (ICCAS), 2018, PyeongChang, South Korea. ⟨hal-02950934⟩
  • Romain Pichard, Philippot Alexandre, Bernard Riera. Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems. International Conference on Informatics in Control, Automation and Robotics (ICINCO), 2018, Porto, Portugal. ⟨10.5220/0006885502310239⟩. ⟨hal-01882564⟩
  • Vincent Dimanche, Alban Goupil, Alexandre Philippot, Bernard Riera, Alain Urban, et al.. Massive Railway Operating Data Visualization; a Tool for RATP Operating Expert. IFAC World Congress, 2017, Toulouse, France. pp.15841-15846, ⟨10.1016/j.ifacol.2017.08.2324⟩. ⟨hal-02503120⟩
  • A. Philippot, B. Riera, M. Koza, R Pichard, R Saddem, et al.. HOME I/O and FACTORY I/O: 2 Pieces of innovative PO simulation software for automation education. European Association for Education in Electrical and Information Engineering Annual Conference (EAEEIE), 2017, Grenoble, France. ⟨10.1109/EAEEIE.2017.8768639⟩. ⟨hal-01882572⟩
  • Romain Pichard, Michel Combacau, Philippot Alexandre, Ramla Saddem, Bernard Riera. SEDMA-un outil pour la Modélisation, l'Analyse et la génération automatique de programme pour les SEDs. Colloque sur la Modélisation des Systèmes Réactifs (MSR), 2017, Marseille, France. ⟨hal-01882579⟩
  • Bernard Riera, Romain Pichard, Alexandre Philippot, Ramla Saddem, François Gellot, et al.. HOME I/O et FACTORY I/O : 2 logiciels innovants de simulation de PO pour la formation à l'automatique. Colloque consacré à l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), 2017, Le Mans, France. ⟨hal-01882591⟩
  • R. Pichard, A. Philippot, Bernard Riera. Consistency Checking of Safety Constraints for Manufacturing Systems with Graph Analysis. IFAC World Congress, 2017, Tolouse, France. pp.1193-1198, ⟨10.1016/j.ifacol.2017.08.273⟩. ⟨hal-01780730⟩
  • M. Koza, Alexandre Philippot, Pichard M, Ramla Saddem, François Gellot, et al.. HOME I/O and FACTORY I/O: a house simulator and a plant simulator for automatic control education. The 27th EAEEIE (European Association for Education in Electrical and Information Engineering) Annual Conference, Jun 2017, Grenoble, France. ⟨hal-02969579⟩
  • B. Vigário, Bernard Riera. HOME I/O and FACTORY I/O: a virtual house and a virtual plant for control education. IFAC World Congress, 2017, Toulouse, France. pp.9144-9149, ⟨10.1016/j.ifacol.2017.08.1719⟩. ⟨hal-01735034⟩
  • Raphaël Coupat, Philippot Alexandre, David Annebicque, François Gellot, Bernard Riera. Automation for improve of mental workload of the systems engineer. IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS), 2016, Kyoto, Japan. pp.555-560, ⟨10.1016/j.ifacol.2016.10.624⟩. ⟨hal-03297116⟩
  • Bernard Riera, F. Emprin, D. Annebicque, M. Colas, B. Vigário. HOME I/O: a virtual house for control and STEM education from middle schools to Universities. IFAC Symposium on Advances in Control Education (ACE), 2016, Bratislava, Slovakia. pp.168-173, ⟨10.1016/j.ifacol.2016.07.172⟩. ⟨hal-01780735⟩
  • J. Zaytoon, Bernard Riera. Practical and Dependable Control Synthesis for Programmable Logic Controllers, Invited Plenary Talk: Plenary Talk. Chinese Control Conference (CCC), 2016, Chengdu, China. ⟨hal-02950914⟩
  • Bernard Riera, D. Annebicque, B. Vigário. HOME I/O: an example of Human-Machine Systems concepts applied to STEM education. IFAC Symposium on Analysis, Design, and Evaluation ofHuman-Machine Systems (HMS), 2016, Kyoto, Japan. pp.233-238, ⟨10.1016/j.ifacol.2016.10.530⟩. ⟨hal-01780733⟩
  • Bernard Riera, Philippot Alexandre, David Annebicque, François Gellot. La commande par contraintes logiques de sécurité : principe, applications et mise en oeuvre. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. ⟨hal-01224261⟩
  • Bernard Riera, Raphael Coupat, David Annebicque, Philippot Alexandre, Francois Gellot. CONTROL SYNTHESIS BASED ON SAFETY BOOLEAN GUARDS FOR MANUFACTURING SYSTEMS: APPLICATION TO A SORTING SYSTEM . MOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, Nov 2014, Nancy, France. ⟨hal-01166614⟩
  • Philippot Alexandre, Pascale Marangé, François Gellot, Jean-François Pétin, Bernard Riera. Fault tolerant control for manufacturing discrete systems by filter and diagnoser interactions. Annual Conference of the Prognostics and Health Management Society, PHM Conference 2014, Sep 2014, Dallas, United States. ⟨hal-01094956⟩
  • Fabien Emprin, Bernard Riera. Process of creating educational uses by teachers from a 3D simulation of a house home automation to teach technology. 3rd international constructionism conference, Aug 2014, Vienna, Austria. pp.247 - 257. ⟨hal-02969603⟩
  • Bernard Riera, Farouk Yalaoui. Présentation du projet CPER MOSYP : Mesure des performances et Optimisation des Systèmes de Production. 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. ⟨hal-02798608⟩
  • B. Riera, Farouk Yalaoui. Présentation du projet MOSYP : mesure des performances et optimisation des systèmes de production. 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. ⟨hal-02797395⟩
  • Bernard Riera, David Annebicque, Bruno Vigario, François Gellot, Philippot Alexandre. Synthèse de commande sûre de fonctionnement à base de contraintes logiques pour les systèmes manufacturiers. 9th International Conference on Modeling, Optimization & SIMulation, Jun 2012, Bordeaux, France. ⟨hal-00728626⟩
  • Philippot Alexandre, Pascale Marangé, Véronique Carré-Ménétrier, Bernard Riera. Implementation of diagnosis approach for Discrete Event Systems. International Symposium on Security and Safety of Complex Systems, 2SCS'12, May 2012, Agadir, Morocco. pp.CDROM. ⟨hal-00767444⟩
  • Pascale Marangé, Jean-François Pétin, David Gouyon, Bernard Riera, François Gellot, et al.. Approche de détection et d'explication d'erreur de commande par filtrage robuste. 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. ⟨hal-00653767⟩
  • M. Hemour, A. Philippot, N. Messai, D. Caligny, B. Riera. HUMAN DESIGN APPLIED TO OPERATING LIGHT RAIL STUDIES. 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⟩. ⟨hal-02189961⟩
  • Moamar Sayed-Mouchaweh, A. Philippot, V. Carre-Menetrier, Bernard Riera. Fault Diagnosis of Discrete Event Systems Using Components Fault-Free models. 20th International Workshop on Principles of Diagnosis DX'09, Jun 2009, Stockholm, Sweden. ⟨hal-02337905⟩
  • Pascale Marangé, David Gouyon, Jean-François Pétin, Bernard Riera. Verification of functional constraints for safe product driven control. 2nd IFAC Workshop on Dependable Control of Discrete System, DCDS'09, Jun 2009, Bari, Italy. pp.315-320. ⟨hal-00401680⟩
  • Laurent Hartert, Moamar Sayed-Moucahweh, Patrice Billaudel, Bernard Riera. Reconnaissance des formes dans un environnement non stationnaire.. Conférence Internationale Francophone d’Automatique, CIFA 2008., 2008, Bucarest, Romania. ⟨hal-02347443⟩
  • Benoit Rohée, V Carre-Menetrier, Bernard Riera. Proposition of Completeness Property to Perform the Plant Modelling for Manufacturing Applications. 17th IFAC World Congress 2008, Jul 2008, Seoul, South Korea. ⟨hal-02337823⟩
  • Pascale Marangé, François Gellot, Bernard Riera. Human-Machine Systems concepts applied to Control Engineering Education. 7th IFAC World Congress (IFAC'08), Jul 2008, Seoul, South Korea. pp.CD. ⟨hal-00385501⟩
  • Mohamed Said Bouguelid, Moamar Sayed-Moucahweh, Patrice Billaudel, Bernard Riera. 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. ⟨hal-02347678⟩
  • Philippe Vellemans, Patrice Billaudel, Bernard Riera. 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. ⟨hal-02347762⟩
  • Pascale Marangé, François Gellot, Bernard Riera. Control validation of D.E.S systems: Application to remote laboratories. Workshop on Remote control of Devices (WoRD'07), Oct 2007, Lyon, France. pp.CD. ⟨hal-00385503⟩
  • Benoit Rohée, Bernard Riera, Véronique Carré-Ménétrier. Manufacturing human machine interface design using plant models. IFAC/IFIP/IFORS/IEA Symposium - Analysis, Design and Evaluation of human machine systems, Sep 2007, Séoul, South Korea. ⟨hal-02339487⟩
  • Pascale Marangé, François Gellot, Bernard Riera. REMOTE CONTROL OF AUTOMATION SYSTEMS FOR TRAINING. IFAC/IFIP/IFORS/IEA Symposium, Analysis, Design, and Evaluation of Human Machine Systems (ADEHMS'07), Sep 2007, Séoul, South Korea. pp.CD. ⟨hal-00385512⟩
  • Benoit Rohée, Bernard Riera, Véronique Carré-Ménétrier, Jean-Marc Roussel. Outil d'aide à l'élaboration de modèles hybrides de simulation pour les systèmes manufacturiers. Journées Doctorales du GDR MACS (JD-MACS'07), Jul 2007, Reims, France. Papier n°62. ⟨hal-00347047⟩
  • Pascale Marangé, François Gellot, Bernard Riera. REQUIREMENT AND USE FOR REMOTE TEACHING OF DISCRETE EVENTS SYSTEMS. 7th IFAC Symposium on Advances in Control Education (ACE'06), Jun 2006, Madrid, Spain. pp.CD. ⟨hal-00385496⟩
  • Moamar Sayed-Moucahweh, Mohamed Said Bouguelid, Patrice Billaudel, Bernard Riera. Variable Probability-Possibility Transformation.. European Annual Conference on Human Decision-Making and Manual Control, EAM’06., 2006, Valenciennes, France. ⟨hal-02347840⟩
  • Nadhir Messai, Philippe Thomas, Dimitri Lefebvre, Bernard Riera. Fault detection for HDS by means of neural networks: application to two tanks hydraulic system. 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, SAFEPROCESS'06, Sep 2006, Beijing, China. pp.1039 - 1044. ⟨hal-00103876⟩
  • Benoit Rohée, Bernard Riera, Véronique Carré-Ménétrier, Jean-Marc Roussel. A methodology to design and check a plant model. 3rd IFAC Workshop on Discrete-Event System Design (DESDes'06), Jun 2006, Rydzyna, Poland. pp. 246-250. ⟨hal-00351722⟩
  • Philippe Vellemans, Patrice Billaudel, Bernard Riera. Traceability a new approach to obtain decision-making aid.. European Annual Conference on Human Decision-Making and Manual Control., 2006, Valenciennes, France. ⟨hal-02352198⟩
  • M Sayed-Mouchaweh, A. Philippot, V. Carre-Menetrier, Bernard Riera. TIMED-EVENT-STATE-BASED DIAGNOSER FOR MANUFACTURING SYSTEMS. International Conference on Information Technology for Balanced Automation Systems BASYS 2006, Sep 2006, Niagara Falls, United States. ⟨hal-02339384⟩
  • Nadhir Messai, Philippe Thomas, Dimitri Lefebvre, Bernard Riera, Abdellah Elmoudni. Modeling and Monitoring of Hybrid Dynamic Systems with Feed-Forward Neural Networks: application to two tanks hydraulic system. Workshop on Advanced Control and Diagnosis, Nov 2005, Mulhouse, France. pp.103-109. ⟨hal-00103137⟩
  • Philippe Vellemans, Patrice Billaudel, Bernard Riera. 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. ⟨hal-02352225⟩
  • Philippe Vellemans, Bernard Riera, Patrice Billaudel. 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. ⟨hal-02352217⟩
  • Philippe Vellemans, Patrice Billaudel, Bernard Riera. Human adapted system for traceability : a multi-methodological approach.. IEEE Third International Conference on Systems, Signals and Devices., 2005, Sousse, Tunisia. ⟨hal-02352237⟩
  • Moamar Sayed-Moucahweh, Patrice Billaudel, Bernard Riera. 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. ⟨hal-02352346⟩
  • Philippe Vellemans, Patrice Billaudel, Bernard Riera. 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. ⟨hal-02352288⟩
  • M Sayed Mouchaweh, Patrice Billaudel, Bernard Riera. 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. ⟨hal-02352352⟩