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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Supervisory control synthesis for safety PLCs


    Beteiligte:

    Erscheinungsdatum :

    2020-01-01


    Anmerkungen:

    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



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    DDC:    629



    APPLYING TECHNOLOGY: SPECIAL REPORT-PLCs in Control

    British Library Online Contents | 2002


    PLCs in lorry manufacture

    Brouwer, A.E. | Tema Archiv | 1985


    Applying PLCs and PCs in offshore platform safety shutdown systems

    Finkel, V.S. / Filho, L.S. | Tema Archiv | 1986


    PLCs keep the presses running

    British Library Online Contents | 2002


    WDM optical components using PLCs

    Uetsuka, H. | IEEE | 1999