|Title:||Formal representation of GRAFCET to automatically generate control code||Authors:||Schumacher, Frank
|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||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.
|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
checked on Sep 30, 2023
Items in openHSU are protected by copyright, with all rights reserved, unless otherwise indicated.