Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter

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 sa...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on control systems technology Vol. 27; no. 4; pp. 1659 - 1667
Main Authors Pichard, Romain, Philippot, Alexandre, Saddem, Ramla, Riera, Bernard
Format Journal Article
LanguageEnglish
Published New York IEEE 01.07.2019
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Institute of Electrical and Electronics Engineers
Subjects
Automata
Automatic Control Engineering
Boolean algebra
Computational modeling
Computer Science
Control systems
Discrete event systems
Discrete-event dynamic systems (DEDS)
Explosions
logical filter
Manufacturing
Manufacturing systems
Mathematical model
Programmable logic controllers
programmable logic controllers (PLCs)
Robust control
safe control
Safety
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:1063-6536
1558-0865
DOI:10.1109/TCST.2018.2827329