François Gellot

Orcid: 0000-0001-8797-1704

According to our database1, François Gellot authored at least 13 papers between 2007 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Model-based engineering for designing cyber-physical systems from product specifications.
Comput. Ind., 2023

2021
Hierarchical Intelligent Component-Based Development for the Design of Cyber-Physical Control Architecture.
Proceedings of the 5th International Conference on Control and Fault-Tolerant Systems, 2021

Model-Based Engineering for Designing Cyber-Physical Systems Control Architecture and Improving Adaptability from Requirements.
Proceedings of the Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, 2021

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

Design and Application of a Reconfigurable Control to a Cyber-Physical System.
Proceedings of the 17th International Conference on Informatics in Control, 2020

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

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

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

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

Remote control of automation systems for training.
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


  Loading...