Formal representation of GRAFCET to automatically generate control code
Publication date
2014-12-01
Document type
Research article
Author
Schumacher, Frank
Organisational unit
DOI
10.1016/j.conengprac.2014.09.008
Scopus ID
2-s2.0-84907960285
ISSN
0967-0661
Series or journal
Control Engineering Practice
Periodical volume
2014
Periodical issue
33
First page
84
Last page
93
Peer-reviewed
✅
Part of the university bibliography
✅
Keyword
Control Code
Formalization
GRAFCET
Modeling Language
Abstract
Within the engineering of control code, model-based approaches become more and more important. Basically GRAFCET serves as a suitable modeling language but lacks an exhaustive formal representation of its structure and dynamic behavior since current approaches only consider subclasses of GRAFCET. Within this article the authors depict a systematic approach for an exhaustive formal model of GRAFCET, specifically by taking enclosing steps, forcing orders and time constraints into account. Based on this formal model of GRAFCET a method together with a tool framework are presented allowing for the automatic generation of control code.
Version
Not applicable (or unknown)
Access Right
Metadata only access