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)

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

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

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

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

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)

Design and Application of a Reconfigurable Control to a Cyber-Physical System. - Imane Tahiri; Alexandre Parant; François Gellot; Alexandre Philippot; Véronique Carré-Ménétrier (ICINCO, 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 001; Alexandre Philippot; Janan Zaytoon; François Gellot; Raphaël Coupat (Comput. Ind., 2020)

Model-Based Engineering for Designing Cyber-Physical Systems Control Architecture and Improving Adaptability from Requirements. - Alexandre Parant; François Gellot; Alexandre Philippot; Véronique Carré-Ménétrier (SOHOMA, 2021)

Hierarchical Intelligent Component-Based Development for the Design of Cyber-Physical Control Architecture. - Alexandre Parant; François Gellot; Alexandre Philippot; Véronique Carré-Ménétrier (SysTol, 2021)

Model-based engineering for designing cyber-physical systems from product specifications. - Alexandre Parant; François Gellot; Damien Zander; Véronique Carré-Ménétrier; Alexandre Philippot (Comput. Ind., 2023)