François Gellot

13 papers C 1Journal 4Unranked 8

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Model-based engineering for designing cyber-physical systems from product specifications. Comput. Ind. Alexandre Parant, François Gellot, Damien Zander, Véronique Carré-Ménétrier, Alexandre Philippot
2021	—	`conf`	Hierarchical Intelligent Component-Based Development for the Design of Cyber-Physical Control Architecture. SysTol Alexandre Parant, François Gellot, Alexandre Philippot, Véronique Carré-Ménétrier
2021	—	`conf`	Model-Based Engineering for Designing Cyber-Physical Systems Control Architecture and Improving Adaptability from Requirements. SOHOMA Alexandre Parant, François Gellot, Alexandre Philippot, Véronique Carré-Ménétrier
2020	J	`jnl`	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. Mohamed Niang, Bernard Riera, Alexandre Philippot, Janan Zaytoon, François Gellot, Raphaël Coupat
2020	C	`conf`	Design and Application of a Reconfigurable Control to a Cyber-Physical System. ICINCO Imane Tahiri, Alexandre Parant, François Gellot, Alexandre Philippot, Véronique Carré-Ménétrier
2017	—	`conf`	Formal Verification for Validation of PSEEL's PLC Program. ICINCO (1) Mohamed Niang, Alexandre Philippot, François Gellot, Raphaël Coupat, Bernard Riera, Sébastien Lefebvre
2014	—	`conf`	Control Design Pattern Based on Safety Logical Constraints for Manufacturing Systems: Application to a Palletizer. WODES Bernard Riera, Raphaël Coupat, Alexandre Philippot, François Gellot, David Annebicque
2010	—	`conf`	Prevention of human control errors by robust filter for manufacturing system. IFAC HMS Pascale Marange, Rachid Benlorhfar, François Gellot, Bernard Riera
2008	J	`jnl`	Application of the Control Validation to the D.E.S. Teaching. Int. J. Online Eng. Pascale Marange, François Gellot, Bernard Riera
2007	—	`conf`	Control validation of D.E.S systems: Application to remote laboratories. ICDIM Pascale Marange, François Gellot, Bernard Riera
2007	J	`jnl`	Remote Control of Automation Systems for DES Courses. IEEE Trans. Ind. Electron. Pascale Marange, François Gellot, Bernard Riera
2007	—	`conf`	Remote control of automation systems for training. IFAC HMS Pascale Marange, François Gellot, Bernard Riera
2007	—	`conf`	Safety validation of automation systems: Application for teaching of discrete event system control. ICINCO-SPSMC Pascale Marange, François Gellot, Bernard Riera