Alexandre Philippot

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 18

Top Topics

Manufacturing Systems

Formal Verification

Top Venues

Int. J. Prod. Res.

Publications

Alexandre Parant, François Gellot, Damien Zander, Véronique Carré-Ménétrier, Alexandre Philippot
Model-based engineering for designing cyber-physical systems from product specifications. Comput. Ind. 145 (2023)
Alexandre Parant, Dylan Baptiste, Ramla Saddem, Alexandre Philippot
Data-Based PLC Identification for IEC 61499 Implementation. SOHOMA (2023)
Alexandre Parant, François Gellot, Alexandre Philippot, Véronique Carré-Ménétrier
Hierarchical Intelligent Component-Based Development for the Design of Cyber-Physical Control Architecture. SysTol (2021)
Alexandre Parant, François Gellot, Alexandre Philippot, Véronique Carré-Ménétrier
Model-Based Engineering for Designing Cyber-Physical Systems Control Architecture and Improving Adaptability from Requirements. SOHOMA (2021)
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)
Imane Tahiri, Alexandre Parant, François Gellot, Alexandre Philippot, Véronique Carré-Ménétrier
Design and Application of a Reconfigurable Control to a Cyber-Physical System. ICINCO (2020)
Imane Tahiri, Alexandre Philippot, Véronique Carré-Ménétrier, Abdelouahed Tajer
Two Cases of Study for Control Reconfiguration of Discrete Event Systems (DES). ICINCO (1) (2019)
M. Chankate, Alexandre Philippot, Véronique Carré-Ménétrier, Pascale Marange
Checking Diagnosability on Centralized Model of the System. ICCAD (2019)
Imane Tahiri, Alexandre Philippot, Véronique Carré-Ménétrier, Abdelouahed Tajer
Time-Based Estimator for Control Reconfiguration of Discrete Event Systems (DES). CoDIT (2019)
Romain Pichard, Alexandre Philippot, Ramla Saddem, Bernard Riera
Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter. IEEE Trans. Control. Syst. Technol. 27 (4) (2019)
Alexandre Philippot, Bernard Riera, Vinay Kunreddy, Serge Debernard
Advanced tools for the control engineer in Industry 4.0. ICPS (2018)
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)
Romain Pichard, Alexandre Philippot, Bernard Riera
Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems. ICINCO (1) (2018)
Imane Tahiri, Alexandre Philippot, Véronique Carré-Ménétrier, Abdelouahed Tajer
Timed Synthesis Control Approach for Tolerant-Fault Control of Discrete Event Systems (DES). ICCAD (2018)
Yassine Qamsane, Abdelouahed Tajer, Alexandre Philippot
A synthesis approach to distributed supervisory control design for manufacturing systems with Grafcet implementation. Int. J. Prod. Res. 55 (15) (2017)
Yassine Qamsane, Abdelouahed Tajer, Alexandre Philippot
Towards an approach of synthesis, validation and implementation of distributed control for AMS by using events ordering relations. Int. J. Prod. Res. 55 (21) (2017)
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)
Yassine Qamsane, Abdelouahed Tajer, Alexandre Philippot, Abdelhadi Elbacha
Synthesis and Implementation of Timed Distributed Supervisory Controller: Application to an Automated Manufacturing System. AECIA (2016)
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)
Ramla Saddem, Alexandre Philippot
Causal Temporal Signature from diagnoser model for online diagnosis of Discrete Event Systems. CoDIT (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)
Mathieu Hemour, Alexandre Philippot, Nadhir Messai, D. Caligny, Bernard Riera
Human design applied to operating light rail studies. IFAC HMS (2010)
Alexandre Philippot, Moamar Sayed Mouchaweh, Véronique Carré-Ménétrier
Distributed modeling approach of discrete manufacturing systems by Parts of Plant. ECC (2009)
Moamar Sayed Mouchaweh, Alexandre Philippot, Véronique Carré-Ménétrier
Decentralized approach for fault diagnosis of discrete event systems. ICINCO-SPSMC (2007)
Moamar Sayed Mouchaweh, Alexandre Philippot, Véronique Carré-Ménétrier, Bernard Riera
Timed-Event-State-Based Diagnoser for Manufacturing Systems. BASYS (2006)
Moamar Sayed Mouchaweh, Alexandre Philippot, Véronique Carré-Ménétrier
Detectability and diagnosability of discrete event systems - application on manufacturing systemsdo. ICINCO (2005)