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.
Supervisory control synthesis for safety PLCs
2020-01-01
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
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
DDC: | 629 |
APPLYING TECHNOLOGY: SPECIAL REPORT-PLCs in Control
British Library Online Contents | 2002
Tema Archiv | 1985
|Applying PLCs and PCs in offshore platform safety shutdown systems
Tema Archiv | 1986
|British Library Online Contents | 2002
WDM optical components using PLCs
IEEE | 1999
|