Publication:
Formal representation of GRAFCET to automatically generate control code

cris.virtual.departmentAutomatisierungstechnik
cris.virtual.department#PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtual.departmentbrowseAutomatisierungstechnik
cris.virtual.departmentbrowseAutomatisierungstechnik
cris.virtualsource.departmentd27eae86-6d38-489c-b4c3-2eed27fb81cc
cris.virtualsource.department#PLACEHOLDER_PARENT_METADATA_VALUE#
dc.contributor.authorSchumacher, Frank
dc.contributor.authorFay, Alexander
dc.date.issued2014-12-01
dc.description.abstractWithin 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.
dc.description.versionNA
dc.identifier.doi10.1016/j.conengprac.2014.09.008
dc.identifier.issn0967-0661
dc.identifier.scopus2-s2.0-84907960285
dc.identifier.urihttps://openhsu.ub.hsu-hh.de/handle/10.24405/15021
dc.language.isoen
dc.publisherElsevier
dc.relation.journalControl Engineering Practice
dc.relation.orgunitAutomatisierungstechnik
dc.rights.accessRightsmetadata only access
dc.subjectControl Code
dc.subjectFormalization
dc.subjectGRAFCET
dc.subjectModeling Language
dc.titleFormal representation of GRAFCET to automatically generate control code
dc.typeResearch article
dcterms.bibliographicCitation.originalpublisherplaceAmsterdam
dspace.entity.typePublication
hsu.peerReviewed
hsu.uniBibliography
oaire.citation.endPage93
oaire.citation.issue33
oaire.citation.startPage84
oaire.citation.volume2014
Files