Safe control synthesis based on Boolean constraints for manufacturing systems

B. Riera, A. Philippot, D. Annebicque et F. Gellot
8th Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS 2012), Mexico City, Mexico
Publication year: 2012

This paper presents an original approach of safe control synthesis of manufacturing systems. This is an extension of the work that CReSTIC has led for several years on the definition and design of a logic filter (placed into a Programmable Logic Controller