Design of a new human-machine system for the supervision of a highly automated continuous process. - Manuel Lambert; Bernard Riera 001; Grégory Martel (SMC, 1998)

A Questionnaire-based Discount Evaluation Method using Guidelines for Process Control Interactive Applications. - Christophe Kolski; Bernard Riera 001; Thierry Berger (TFWWG, 2000)

Human-machine cooperation and supervisory control of automated processes. - Bernard Riera 001; Serge Debernard (ETFA (1), 2001)

Specifications, Design and Evaluation of an Advanced Human-Adapted Supervisory System. - Bernard Riera 001 (Cogn. Technol. Work., 2001)

Fuzzy pattern matching with adaptive bin width histograms to maximize classification performances. - Moamar Sayed-Mouchaweh; Patrice Billaudel; Bernard Riera 001 (FUZZ-IEEE, 2004)

Using Neural Networks for the identification of a class of Hybrid Dynamic Systems. - Nadhir Messai; Janan Zaytoon; Bernard Riera 001 (ADHS, 2006)

Timed-Event-State-Based Diagnoser for Manufacturing Systems. - Moamar Sayed-Mouchaweh; Alexandre Philippot; Véronique Carré-Ménétrier; Bernard Riera 001 (BASYS, 2006)

Control validation of D.E.S systems: Application to remote laboratories. - Pascale Marange; François Gellot; Bernard Riera 001 (ICDIM, 2007)

Safety validation of automation systems: Application for teaching of discrete event system control. - Pascale Marange; François Gellot; Bernard Riera 001 (ICINCO-SPSMC, 2007)

Hybrid pattern recognition method to diagnose dynamic systems. - Mohamed Saïd Bouguelid; Moamar Sayed-Mouchaweh; Patrice Billaudel; Bernard Riera 001 (IFAC HMS, 2007)

Remote control of automation systems for training. - Pascale Marange; François Gellot; Bernard Riera 001 (IFAC HMS, 2007)

Manufacturing human machine interface design using plant models. - Benoit Rohee; Bernard Riera 001; Véronique Carré-Ménétrier (IFAC HMS, 2007)

Remote Control of Automation Systems for DES Courses. - Pascale Marange; François Gellot; Bernard Riera 001 (IEEE Trans. Ind. Electron., 2007)

Synthesis Method of a PN Controller using Forbidden Transitions Sequences. - Rebiha Bekrar; Nadhir Messai; Najib Essounbouli; Abdelaziz Hamzaoui; Bernard Riera 001 (ICINCO-SPSMC, 2008)

Application of the Control Validation to the D.E.S. Teaching. - Pascale Marange; François Gellot; Bernard Riera 001 (Int. J. Online Eng., 2008)

Incremental Possibilistic Approach for Online Clustering and Classification. - Moamar Sayed-Mouchaweh; Bernard Riera 001 (IFSA/EUSFLAT Conf., 2009)

Advanced supervisory control for manufacturing systems: from concepts to a separated monitoring system. - Benoit Rohee; Bernard Riera 001 (Int. J. Intell. Syst. Technol. Appl., 2009)

Human design applied to operating light rail studies. - Mathieu Hemour; Alexandre Philippot; Nadhir Messai; D. Caligny; Bernard Riera 001 (IFAC HMS, 2010)

Synthetic target systems in control education: Lessons teachers are learning from students. - Antonio Pessoa Magalhães; Bernard Riera 001; Bruno Vigário (IFAC HMS, 2010)

Prevention of human control errors by robust filter for manufacturing system. - Pascale Marange; Rachid Benlorhfar; François Gellot; Bernard Riera 001 (IFAC HMS, 2010)

Design and Identification of Stochastic and Deterministic Stochastic Petri Nets. - Souleiman Ould el Mehdi; Rebiha Bekrar; Nadhir Messai; Edouard Leclercq; Dimitri Lefebvre; Bernard Riera 001 (IEEE Trans. Syst. Man Cybern. Part A, 2012)

The Standardized Generation and the Robust Filtering of the Command As Tools of Optimization of the Mental Workload of the Systems Engineer. - Raphaël Coupat; Marc Meslay; Marc-Axel Burette; Bernard Riera 001; Alexandre Philippot; David Annebicque (IFAC HMS, 2013)

Virtual Systems to Train and Assist Control Applications in Future Factories. - Bernard Riera 001; Bruno Vigário (IFAC HMS, 2013)

Control Design Pattern Based on Safety Logical Constraints for Manufacturing Systems: Application to a Palletizer. - Bernard Riera 001; Raphaël Coupat; Alexandre Philippot; François Gellot; David Annebicque (WODES, 2014)

Formal Verification for Validation of PSEEL's PLC Program. - Mohamed Niang; Alexandre Philippot; François Gellot; Raphaël Coupat; Bernard Riera 001; Sébastien Lefebvre (ICINCO (1), 2017)

Synthesis and implementation of logic controllers - A review. - Janan Zaytoon; Bernard Riera 001 (Annu. Rev. Control., 2017)

Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems. - Romain Pichard; Alexandre Philippot; Bernard Riera 001 (ICINCO (1), 2018)

Advanced tools for the control engineer in Industry 4.0. - Alexandre Philippot; Bernard Riera 001; Vinay Kunreddy; Serge Debernard (ICPS, 2018)

Methodology for Railway Automation Study and Automatic Generation of PLC Programs. - Raphaël Coupat; Alexandre Philippot; Mohamed Niang; Christian Courtois; David Annebicque; Bernard Riera 001 (IEEE Intell. Transp. Syst. Mag., 2018)

Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter. - Romain Pichard; Alexandre Philippot; Ramla Saddem; Bernard Riera 001 (IEEE Trans. Control. Syst. Technol., 2019)

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. - Mohamed Niang; Bernard Riera 001; Alexandre Philippot; Janan Zaytoon; François Gellot; Raphaël Coupat (Comput. Ind., 2020)

From Reinforcement Learning to Reality: Generating Structured Text Logic Controller. - Dimitri Renard; Ramla Saddem; David Annebicque; Mathieu Roisin; Bernard Riera 001 (CoDIT, 2024)

Constraint Programming for Logic controller Synthesis. - Mathieu Roisin; Pierre-Alain Yvars; Bernard Riera 001 (CoDIT, 2024)

An International and Multidisciplinary Teaching Experience with Real Industrial Team Project Development. - Martín Mellado; Eduardo Vendrell; Filomena Ferrucci; Andrea F. Abate; Detlef Zühlke; Bernard Riera 001 (CoRR, 2024)

From Sensors to Digital Twins toward an Iterative Approach for Existing Manufacturing Systems. - Dimitri Renard; Ramla Saddem; David Annebicque; Bernard Riera 001 (Sensors, 2024)