Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems. - Romain Pichard; Alexandre Philippot; Bernard Riera 001 (ICINCO (1), 2018)

Contribution à la Commande des Systèmes à Événements Discrets par Filtre Logique. (Contribution to Control of Discrete Event Systems by Logical Filter). - Romain Pichard (2018)

Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter. - Romain Pichard; Alexandre Philippot; Ramla Saddem; Bernard Riera 001 (IEEE Trans. Control. Syst. Technol., 2019)