3 papers
cs.LO2023
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…
eess.SY2023
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…
cs.PL2023
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…