Abstract
This brief presents an approach to safe controller synthesis for manufacturing systems controlled by programmable logic controllers (PLCs). In this brief, manufacturing systems are considered as discrete-event dynamic systems with logical inputs and outputs. The methodology is based on the use of safety constraints placed at the end of the PLC program. These constraints are checked offline by a formal approach and acted as a safety filter in order to be robust against control errors. The proposed approach separates the functional control part from the safety part and focuses on the latter. This brief presents the whole methodology and recent improvements on consistency checking of a set of Boolean expressions.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
