Romain Pichard, Alexandre Philippot, Bernard Riera. Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems. In Kurosh Madani, Oleg Gusikhin, editors, Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2018 - Volume 1, Porto, Portugal, July 29-31, 2018. pages 241-249, SciTePress, 2018. [doi]
Abstract is missing.