Raphaël Coupat

According to our database, Raphaël Coupat authored at least 5 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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.

Mohamed Niang, Bernard Riera, Alexandre Philippot, Janan Zaytoon, François Gellot, Raphaël Coupat

Comput. Ind., 2020

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

IEEE Intell. Transp. Syst. Mag., 2018

2017

Formal Verification for Validation of PSEEL's PLC Program.

Mohamed Niang, Alexandre Philippot, François Gellot, Raphaël Coupat, Bernard Riera, Sébastien Lefebvre

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.

Bernard Riera, Raphaël Coupat, Alexandre Philippot, François Gellot, David Annebicque

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013

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, Alexandre Philippot, David Annebicque

Proceedings of the 12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2013