Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems.

Romain Pichard, Alexandre Philippot, Bernard Riera

Browse the full ICINCO paper archive.