PLC Implementation of Symbolic, Modular Supervisory Controllers

Laurin Prenzel; Julien Provost

doi:10.1016/j.ifacol.2018.06.317

PLC Implementation of Symbolic, Modular Supervisory Controllers

Laurin Prenzel, Julien Provost

Medicine and Health

Technical University of Munich

Research output: Contribution to journal › Article › peer-review

8 Scopus citations

Abstract

The Supervisory Control Theory was introduced in 1987 by Ramadge and Wonham (1987), and industrial applications are still scarce. This paper outlines an automatic code generation framework to construct the control logic for a programmable logic controller (PLC) from a symbolic, modular supervisor. The modeling and supervisor generation is performed with Supremica (Malik et al. (2017)), and the supervisor is implemented with the IEC 61131-3 programming language Structured Text. This framework is used to teach model-based approaches and SCT to mechanical engineering students.

Original language	English
Pages (from-to)	304-309
Number of pages	6
Journal	14th IFAC Workshop on Discrete Event Systems WODES 2018
Volume	51
Issue number	7
DOIs	https://doi.org/10.1016/j.ifacol.2018.06.317
State	Published - 1 Jan 2018

Keywords

Automatic Code Generation
Discrete Event Systems (DES) in Manufacturing
Programmable Logic Controller
Supervisory Control Theory (SCT)

Access to Document

10.1016/j.ifacol.2018.06.317

Cite this

@article{591ae685f43348acbfd0c6d91a1df546,

title = "PLC Implementation of Symbolic, Modular Supervisory Controllers",

abstract = "The Supervisory Control Theory was introduced in 1987 by Ramadge and Wonham (1987), and industrial applications are still scarce. This paper outlines an automatic code generation framework to construct the control logic for a programmable logic controller (PLC) from a symbolic, modular supervisor. The modeling and supervisor generation is performed with Supremica (Malik et al. (2017)), and the supervisor is implemented with the IEC 61131-3 programming language Structured Text. This framework is used to teach model-based approaches and SCT to mechanical engineering students.",

keywords = "Automatic Code Generation, Discrete Event Systems (DES) in Manufacturing, Programmable Logic Controller, Supervisory Control Theory (SCT)",

author = "Laurin Prenzel and Julien Provost",

note = "Publisher Copyright: {\textcopyright} 2018",

year = "2018",

month = jan,

day = "1",

doi = "10.1016/j.ifacol.2018.06.317",

language = "English",

volume = "51",

pages = "304--309",

journal = "14th IFAC Workshop on Discrete Event Systems WODES 2018",

issn = "2405-8963",

number = "7",

}

TY - JOUR

T1 - PLC Implementation of Symbolic, Modular Supervisory Controllers

AU - Prenzel, Laurin

AU - Provost, Julien

PY - 2018/1/1

Y1 - 2018/1/1

N2 - The Supervisory Control Theory was introduced in 1987 by Ramadge and Wonham (1987), and industrial applications are still scarce. This paper outlines an automatic code generation framework to construct the control logic for a programmable logic controller (PLC) from a symbolic, modular supervisor. The modeling and supervisor generation is performed with Supremica (Malik et al. (2017)), and the supervisor is implemented with the IEC 61131-3 programming language Structured Text. This framework is used to teach model-based approaches and SCT to mechanical engineering students.

AB - The Supervisory Control Theory was introduced in 1987 by Ramadge and Wonham (1987), and industrial applications are still scarce. This paper outlines an automatic code generation framework to construct the control logic for a programmable logic controller (PLC) from a symbolic, modular supervisor. The modeling and supervisor generation is performed with Supremica (Malik et al. (2017)), and the supervisor is implemented with the IEC 61131-3 programming language Structured Text. This framework is used to teach model-based approaches and SCT to mechanical engineering students.

KW - Automatic Code Generation

KW - Discrete Event Systems (DES) in Manufacturing

KW - Programmable Logic Controller

KW - Supervisory Control Theory (SCT)

UR - http://www.scopus.com/inward/record.url?scp=85050113235&partnerID=8YFLogxK

U2 - 10.1016/j.ifacol.2018.06.317

DO - 10.1016/j.ifacol.2018.06.317

M3 - Article

AN - SCOPUS:85050113235

SN - 2405-8963

VL - 51

SP - 304

EP - 309

JO - 14th IFAC Workshop on Discrete Event Systems WODES 2018

JF - 14th IFAC Workshop on Discrete Event Systems WODES 2018

IS - 7

ER -

PLC Implementation of Symbolic, Modular Supervisory Controllers

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this