English
Related papers

Related papers: Analyzing standardization needs for CHIL-based tes…

200 papers

Renewable energy sources and further electrificationof energy consumption are key enablers for decreasing green-house gas emissions, but also introduce increased complexitywithin the electric power system. The increased availability…

Systems and Control · Computer Science 2017-05-03 Marita Blank , Sebastian Lehnhoff , Kai Hessen , Daniel Esteban Morales Bondy , Cyndi Moyo , Thomas Strasser

Model checking is an established technique to formally verify automation systems which are required to be trusted. However, for sufficiently complex systems model checking becomes computationally infeasible. On the other hand, testing,…

Software Engineering · Computer Science 2019-07-30 Igor Buzhinsky , Valeriy Vyatkin

This paper focuses on the design and implementation of an automatic synchronizing and protection relay to automate the synchronization process of a Distributed Energy Resource (DER) to the Main Grid. The proposed design utilize a…

Systems and Control · Electrical Eng. & Systems 2019-07-02 Mishal Mahmood , Mariam Azam , Khair-un-Nisa Fatima , Muhammad Sarwar , Muhammad Abubakar , Babar Hussain

As smart buildings move towards open communication technologies, providing access to the Building Automation System (BAS) through the intranet, or even remotely through the Internet, has become a common practice. However, BAS was…

Cryptography and Security · Computer Science 2023-04-21 Guowen Li , Zhiyao Yang , Yangyang Fu , Lingyu Ren , Zheng O'Neill , Chirag Parikh

Computerized integrity test of an electronic product hardware interface and product probing validation are considered. Integrity testing is based on a current voltage characteristic measurement, when a small voltage and/or current stimuli…

Other Computer Science · Computer Science 2015-03-12 A. M. Dorman

Background: Software systems powered by large language models are becoming a routine part of everyday technologies, supporting applications across a wide range of domains. In software engineering, many studies have focused on how LLMs…

Software Engineering · Computer Science 2025-08-05 Cleyton Magalhaes , Italo Santos , Brody Stuart-Verner , Ronnie de Souza Santos

For Application Specific Integrated Circuits (ASIC) and System-on-Chip (SOC) designs, Cell - Based Design (CBD) is the most prevalent practice as it guarantees a shorter design cycle, minimizes errors and is easier to maintain. In modern…

Other Computer Science · Computer Science 2011-10-28 Santanu Bhowmick , S. Bhattacherjee , Nandakumar G. N

The Particle-In-Cell (PIC) method for plasma simulation tracks particle phase space information using particle and grid data structures. High computational costs in 2D and 3D device-scale PIC simulations necessitate parallelization, with…

Computational Physics · Physics 2025-06-27 Libn Varghese , Bhaskar Chaudhury , Miral Shah , Mainak Bandyopadhyay

Non-Intrusive Load Monitoring (NILM) identifies the operating status and energy consumption of each electrical device in the circuit by analyzing the electrical signals at the bus, which is of great significance for smart power management.…

Machine Learning · Computer Science 2025-06-10 Olimjon Toirov , Wei Yu

For robust testing of new technologies used in future, intelligent power and energy systems, realistic testing environments are needed. Due to the dimensions of a real-world environment a field-based installation is often not viable. More…

Systems and Control · Computer Science 2017-05-02 Martin Buscher , Sebastian Lehnhoff , Sebastian Rohjans , Filip Andrén , Thomas Strasser

The deployment of PV inverters is rapidly expanding across Europe, where these devices must increasingly comply with stringent grid requirements.This study presents a benchmark analysis of four PV inverter manufacturers, focusing on their…

Systems and Control · Electrical Eng. & Systems 2025-01-31 Carina Lehmal , Ziqian Zhang , Robert Schürhuber

With the ongoing emergence of smart and distributed grids, it becomes increasingly important to understand as well as improve legacy infrastructure while operating a much more interconnected and fragile architecture. To support this…

Human-Computer Interaction · Computer Science 2022-04-13 Maximilian T. Fischer , Daniel A. Keim

The current verification flow of complex systems uses different engines synergistically: virtual prototyping, formal verification, simulation, emulation and FPGA prototyping. However, none is able to verify a complete architecture.…

Logic in Computer Science · Computer Science 2018-02-12 Tomas Grimm , Djones Lettnin , Michael Hübner

The suitability of the QDL method for analyzing the performance of ac power systems has been evaluated by application to a microgrid. The QDL method is based on a combination of Quantized State Systems (QSS) methods and the Latency…

Systems and Control · Electrical Eng. & Systems 2023-02-28 Navid Gholizadeh , Joseph M. Hood , Roger A. Dougal

System-level design, once the province of board designers, has now become a central concern for chip designers. Because chip design is a less forgiving design medium -- design cycles are longer and mistakes are harder to correct --…

Hardware Architecture · Computer Science 2025-07-15 Shuvra S. Bhattacharyya , Marilyn Wolf

Different hardware platforms and their associated real time operating systems that can be used in an educational laboratory for illustrating engine electronic control unit hardware in the loop testing are presented and compared in this…

Systems and Control · Electrical Eng. & Systems 2020-12-03 Sertac Karaman , Levent Guvenc

In the design flow of integrated circuits, chip-level verification is an important step that sanity checks the performance is as expected. Power grid verification is one of the most expensive and time-consuming steps of chip-level…

Other Computer Science · Computer Science 2015-07-09 Jim Jing-Yan Wang , Lan Yang , Jingbin Wang , Lorenzo Azevedo

While vehicles have primarily been controlled through mechanical means in years past, an increasing number of embedded control systems are being installed and used, keeping pace with advances in electronic control technology and…

Grid-following and grid-forming inverters are integral components of microgrids and for integration of renewable energy sources with the grid. For grid following inverters, which need to emulate controllable current sources, a significant…

Systems and Control · Electrical Eng. & Systems 2022-07-07 Soham Chakraborty , Sourav Patel , Murti V Salapaka

In the past few years there has been a significant rise in the short-circuit current levels in transmission and distribution networks, it due to the increasing demands on power and the addition of sources of distributed generations. It…

Superconductivity · Physics 2016-02-26 Xiuchang Zhang , H. S. Ruiz , Z. Zhong , T. A. Coombs