Abstract The Digital Twin (DT) is the most modern technology in Industry 4.0, which
combines digital and physical components, accurate visualization, and multifaceted …

In modern industrial production, robotic assembly systems play a crucial role. As robots take
on more tasks, the need for formal methods arises to define, control, and execute these …

The graphical modeling language GRAFCET is used as a formal specification language in
industrial control design. To use these formal specifications for model-driven development of …

Petri nets (PNs) are typically used for design and verification rather than direct control
implementation. In this paper, aligning with the Industry 4.0 paradigm's focus on flexible and …

Abstract The Security and Stability Control System (SSCS) is developed to ensure the safe
and stable operation of power grids, effectively mitigating failure propagation through …

Model-based systems engineering (MBSE) is a methodology that entails creating and
utilizing models across the entire system development lifecycle. Based on the Unified …

In IoT systems managing multiple devices simultaneously, errors in system controllers often
undermine intended operations. Formal verification offers a method to assess system …

Formalisms such as IEC 60848 GRAFCET can be used for the specification of system
behavior, as a basis for verification, and for automated code generation, eg to Structured …

The article is focused on the use of progressive techniques in the process of design and
implementation of a heterogeneous multirobotic cell control system. The task of visualization …

In der heutigen Praxis wird das Maschinen-und Anlagenverhalten für den Entwurf der
Steuerungssoftware informell mittels Zeichnungen, Tabellen und Textdokumenten …