Title: Formal representation of GRAFCET to automatically generate control code
Authors: Schumacher, Frank
Fay, Alexander 
Language: eng
Keywords: Control Code;Formalization;GRAFCET;Modeling Language
Subject (DDC): 620 Ingenieurwissenschaften
Issue Date: 1-Dec-2014
Publisher: Elsevier
Document Type: Article
Journal / Series / Working Paper (HSU): Control Engineering Practice
Volume: 2014
Issue: 33
Page Start: 84
Page End: 93
Publisher Place: Amsterdam
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.
Organization Units (connected with the publication): Automatisierungstechnik 
ISSN: 09670661
Publisher DOI: 10.1016/j.conengprac.2014.09.008
Appears in Collections:3 - Reported Publications

Show full item record

CORE Recommender


checked on Sep 30, 2023

Google ScholarTM




Items in openHSU are protected by copyright, with all rights reserved, unless otherwise indicated.