Related papers: Modelling and Validation of Power Electronics Conv…
Recent attention to relational knowledge bases has sparked a demand for understanding how relations change between entities. Petri nets can represent knowledge structure and dynamically simulate interactions between entities, and thus they…
Electrified powertrains rely heavily on magnetics for power conversion, where cost, volume, and weight concerns make integrated multi-use designs an attractive solution. With EV powertrain architectures requiring a boost stage being a major…
Power grids are transitioning from an infrastructure model based on reactive electronics towards a smart grid that features complex software stacks with intelligent, pro-active and decentralized control. As the power grid infrastructure…
Embedded software systems, e.g. automotive, robotic or automation systems are highly configurable and consist of many software components being available in different variants and versions. To identify the degree of reusability between…
This paper reviews Voltage-Source Converters (VSCs) EMT and Phasor models currently used to simulate converter-interfaced generation (CIG) and renewable energy resources integration to power systems. Several modelling guidelines and…
Different approaches have been used in the development of system models. In addition, modeling and simulation approaches are essential for design, analysis, control, and diagnosis of complex systems. This work presents a Simulink model for…
DC-DC boost converters require advanced control to ensure efficiency and stability under varying loads. Traditional model predictive control (MPC) and data-driven neural network methods face challenges such as high complexity and limited…
This article presents the characterization of analog and digital control loops using PID and PIDN control algorithms for bidirectional buck and boost converter (BBC). Control loops of BBC are designed and implemented in MATLAB code using…
Database administrators need to compute closure of functional dependencies (FDs) for normalization of database systems and enforcing integrity rules. Colored Petri net (CPN) is a powerful formal method for modelling and verification of…
We present a tool flow and results for a model-based hardware design for FPGAs from Simulink descriptions which nicely integrates into existing environments. While current commercial tools do not exploit some high-level optimizations, we…
This study presents the modeling, control design, and performance analysis of a DC-DC buck converter using state-space averaging techniques. Buck converters are essential in modern power electronics for regulating DC voltages in renewable…
Digital twins are becoming powerful tools in industrial applications, offering virtual representations of cyber-physical systems. However, verification of these models remains a significant challenge due to the potentially large datasets…
Cyber-Physical Systems (CPSs) tightly interconnect digital and physical operations within production environments, enabling real-time monitoring, control, optimization, and autonomous decision-making that directly enhance manufacturing…
Real-time simulation methods for investigations on electric networks and integration of grid connected generation units are increasingly in the focus of ongoing research areas. While laboratory testing methods are the predominant method for…
In this paper, we analyse the behaviour of a buck converter network that contains arbitrary, up to mild regularity assumptions, loads. Our analysis of the network begins with the study of the current dynamics; we propose a novel Lyapunov…
Our objective is to design a controlled system with a simple method for discrete event systems based on Petri nets. It is possible to construct the Petri net model of a system and the specification separately. By synchronous composition of…
We present the concept of a unified graphical environment for expressing the semantics of control systems. The graphical control system design environment in Simulink already allows engineers to insert a variety of assertions aimed the…
In this paper, we employ a bi-level control system to react to disturbances and balance power mismatch by coordinating distributed energy resources (DERs) under packetized energy management. Packetized energy management (PEM) is a novel…
High voltage direct current links based on voltage source converters (VSC-HVDC) embedded in alternating current (AC) systems are receiving a great deal of attention recently because they can contribute positively to the flexibilisation of…
This paper considers the liveness enforcement problem in a class of Petri nets (PNs) modeling distributed systems called Synchronized Sequential Processes (SSP). This class of PNs is defined as a set of mono-marked state machines…