Raphaël Coupat

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 3

Top Topics

Formal Verification

Top Venues

IEEE Intell. Transp. Syst. Mag.

Publications

Mohamed Niang, Bernard Riera, Alexandre Philippot, Janan Zaytoon, François Gellot, Raphaël Coupat
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. 123 (2020)
Raphaël Coupat, Alexandre Philippot, Mohamed Niang, Christian Courtois, David Annebicque, Bernard Riera
Methodology for Railway Automation Study and Automatic Generation of PLC Programs. IEEE Intell. Transp. Syst. Mag. 10 (3) (2018)
Mohamed Niang, Alexandre Philippot, François Gellot, Raphaël Coupat, Bernard Riera, Sébastien Lefebvre
Formal Verification for Validation of PSEEL's PLC Program. ICINCO (1) (2017)
Bernard Riera, Raphaël Coupat, Alexandre Philippot, François Gellot, David Annebicque
Control Design Pattern Based on Safety Logical Constraints for Manufacturing Systems: Application to a Palletizer. WODES (2014)
Raphaël Coupat, Marc Meslay, Marc-Axel Burette, Bernard Riera, Alexandre Philippot, David Annebicque
The Standardized Generation and the Robust Filtering of the Command As Tools of Optimization of the Mental Workload of the Systems Engineer. IFAC HMS (2013)