4 citations · 4 across the 1 of their papers we have counts for
3 papers · 1 filter
Structural Analysis of GRAFCET Control Specifications
Aron Schnakenbeck, Robin Mroß, Marcus Völker +2
The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. This paper proposes a structural analysis that approximates the var…
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review
Robin Mroß, Aron Schnakenbeck, Marcus Völker +2
IEC 60848 GRAFCET is a standardized, graphical specification language for control functions. Because of the semiformal nature of IEC 60848, the details of specifications created wi…
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
Aron Schnakenbeck, Robin Mroß, Marcus Völker +2
The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. This paper proposes a static analysis approach based on the control…