Supervisory control synthesis for safety PLCs

You are here: Homepage > Search

Supervisory control synthesis for safety PLCs

Free access

Reijnen, Ferdie F.H. / Erens, Toby / van de Mortel-Fronczak, J.M. / Rooda, J.E.

The development of supervisory controllers for cyber-physical systems is a laborious and error-prone process. Supervisor synthesis enables control designers to automatically synthesize a correct-by-construction supervisor from a model of the plant in combination with a model of the control requirements. Subsequently, the controller code can be generated from the supervisor model such that it can be implemented on a programmable logic controller (PLC). In industry, supervisors have to adhere to strict safety standards. To achieve these standards, safety PLCs (SPLCs) are used. For SPLC implementation, the supervisor has to be split into a regular part and a safety part. This paper presents a method to automatically splits a supervisor model for this purpose. To validate the method, a case study on a rotating bridge has been performed. The result is compared to a splitting result made by experts. Furthermore, the supervisor has been implemented to control the real bridge.

Access

Download

Export, share and cite

Document information

Title :

Supervisory control synthesis for safety PLCs

Contributors:

Reijnen, Ferdie F.H. (author) / Erens, Toby (author) / van de Mortel-Fronczak, J.M. (author) / Rooda, J.E. (author)

Publication date :

2020-01-01

Remarks:

Reijnen , F F H , Erens , T , van de Mortel-Fronczak , J M & Rooda , J E 2020 , ' Supervisory control synthesis for safety PLCs ' , IFAC-PapersOnLine , vol. 53 , no. 4 , pp. 151-158 . https://doi.org/10.1016/j.ifacol.2021.04.015

DOI :

https://doi.org/10.1016/j.ifacol.2021.04.015

Type of media :

Article (Journal)

Type of material :

Electronic Resource

Language :

English

Keywords :

Industrial automation , Programmable logic controller , Supervisory control theory

Classification :

DDC: