This paper presents a novel design approach of a Petri-net-based cyber-physical system
(CPS). The idea is oriented toward implementation in a field-programmable gate array …

This paper proposes a Petri-net-based specification of cyber-physical systems dedicated to
the control of a direct matrix converter with space vector modulation (SVM) and transistor …

The traditional security risk monitoring technology cannot adapt to cyber-physical power
systems (CPPS) concerning evaluation criteria, real-time monitoring, and technical …

In this paper, we study selected aspects of determinism in the control part of a cyber-physical
system (CPS) that is specified by a Petri net-based model. In particular, the control …

A method of analysis of a control part of the cyber-physical system described by a Petri net is
presented in the paper. In particular, boundedness of the system is examined. Contrary to …

A novel digital controller for the space-vector pulsewidth modulation (SVPWM) algorithm
used in three-phase power inverters is shown. From an analysis of the vector representation …

The paper proposes a novel analysis algorithm of the control part of cyber-physical systems
specified by an interpreted Petri net. In particular, the three essential properties of Petri nets …

This paper proposes the utilisation of the direct matrix converter (DMC) to regulate the power
transfer between a permanent magnet synchronous generator (PMSG) based wind energy …

Featured Application Presented controller synthesis strategy applies to systems running
under tight time dependencies and requiring precise and repeatable timing of operations …

The paper presents a novel design methodology of cyber-physical systems supported by
computer aided tools. In particular, IOPT and Hippo tools are involved in the design and …