Bernard Riera

Orcid: 0000-0003-1294-874X

Affiliations:
  • University of Reims Champagne-Ardenne, France
  • University of Valenciennes and Hainaut-Cambresis, France (former)


According to our database1, Bernard Riera authored at least 35 papers between 1998 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
From Sensors to Digital Twins toward an Iterative Approach for Existing Manufacturing Systems.
Sensors, March, 2024

An International and Multidisciplinary Teaching Experience with Real Industrial Team Project Development.
CoRR, 2024

Constraint Programming for Logic controller Synthesis.
Proceedings of the 10th International Conference on Control, 2024

From Reinforcement Learning to Reality: Generating Structured Text Logic Controller.
Proceedings of the 10th International Conference on Control, 2024

2020
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.
Comput. Ind., 2020

2019
Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter.
IEEE Trans. Control. Syst. Technol., 2019

2018
Methodology for Railway Automation Study and Automatic Generation of PLC Programs.
IEEE Intell. Transp. Syst. Mag., 2018

Advanced tools for the control engineer in Industry 4.0.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems.
Proceedings of the 15th International Conference on Informatics in Control, 2018

2017
Synthesis and implementation of logic controllers - A review.
Annu. Rev. Control., 2017

Formal Verification for Validation of PSEEL's PLC Program.
Proceedings of the 14th International Conference on Informatics in Control, 2017

2014
Control Design Pattern Based on Safety Logical Constraints for Manufacturing Systems: Application to a Palletizer.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013
Virtual Systems to Train and Assist Control Applications in Future Factories.
Proceedings of the 12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2013

The Standardized Generation and the Robust Filtering of the Command As Tools of Optimization of the Mental Workload of the Systems Engineer.
Proceedings of the 12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2013

2012
Design and Identification of Stochastic and Deterministic Stochastic Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A, 2012

2010
Prevention of human control errors by robust filter for manufacturing system.
Proceedings of the 11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (2010), Valenciennes, France, August 31, 2010

Synthetic target systems in control education: Lessons teachers are learning from students.
Proceedings of the 11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (2010), Valenciennes, France, August 31, 2010

Human design applied to operating light rail studies.
Proceedings of the 11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (2010), Valenciennes, France, August 31, 2010

2009
Advanced supervisory control for manufacturing systems: from concepts to a separated monitoring system.
Int. J. Intell. Syst. Technol. Appl., 2009

Incremental Possibilistic Approach for Online Clustering and Classification.
Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, 2009

2008
Application of the Control Validation to the D.E.S. Teaching.
Int. J. Online Eng., 2008

Synthesis Method of a PN Controller using Forbidden Transitions Sequences.
Proceedings of the ICINCO 2008, 2008

2007
Remote Control of Automation Systems for DES Courses.
IEEE Trans. Ind. Electron., 2007

Manufacturing human machine interface design using plant models.
Proceedings of the 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2007

Remote control of automation systems for training.
Proceedings of the 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2007

Hybrid pattern recognition method to diagnose dynamic systems.
Proceedings of the 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2007

Safety validation of automation systems: Application for teaching of discrete event system control.
Proceedings of the ICINCO 2007, 2007

Control validation of D.E.S systems: Application to remote laboratories.
Proceedings of the Second IEEE International Conference on Digital Information Management (ICDIM), 2007

2006
Timed-Event-State-Based Diagnoser for Manufacturing Systems.
Proceedings of the Information Technology For Balanced Manufacturing Systems, 2006

Using Neural Networks for the identification of a class of Hybrid Dynamic Systems.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2004
Fuzzy pattern matching with adaptive bin width histograms to maximize classification performances.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2004

2001
Specifications, Design and Evaluation of an Advanced Human-Adapted Supervisory System.
Cogn. Technol. Work., 2001

Human-machine cooperation and supervisory control of automated processes.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

2000
A Questionnaire-based Discount Evaluation Method using Guidelines for Process Control Interactive Applications.
Proceedings of the Tools for Working with Guidelines, 2000

1998
Design of a new human-machine system for the supervision of a highly automated continuous process.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998


  Loading...