Login / Signup
Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems.
Romain Pichard
Alexandre Philippot
Bernard Riera
Published in:
ICINCO (1) (2018)
Keyphrases
</>
manufacturing systems
control system
petri net
programmable logic controller
sat solvers
manufacturing environment
control structure
holonic manufacturing systems
multi agent
cooperative
complex systems
sat solving
search space
upper bound