Browse
Record Types
Records with Type: Published Article
Showing records 32745 to 32769 of 43292. [First] Page: 1 1307 1308 1309 1310 1311 1312 1313 1314 1315 Last
Active Air-Source Heat Storage and Release System for Solar Greenhouses: Design and Performance
Yingfeng Xiang, Mingwen Shi, Chuanzhen Li, Chao Zhu, Yifan Cao, Yangda Chen, Weijun Wu, Yapeng Li, Xuxin Guo, Xianpeng Sun
February 23, 2023 (v1)
Keywords: active heat storage and release, energy storage optimization, greenhouse agriculture, heat pump system, performance test, solar greenhouse
The temperature difference between day and night in a solar greenhouse is large. Heat in a greenhouse is typically in excess during the day while the temperature is low and the humidity is high at night. This study designs and tests an active heat storage and release air-source heat-pump system with a thermally insulated water tank as the energy storage body. By comparing air temperature and humidity in a test greenhouse with a control greenhouse in typical weather conditions, the power consumption and performance of the system are evaluated. The results show that compared with the control greenhouse, the average daytime temperature of the test greenhouse is lowered by about 3 °C during the operation of the system in typical weather conditions. At night, the average temperature is increased by about 4 °C, and the relative humidity is decreased by about 20%. When optimized, the maximum coefficient of performance (COP) of the system can reach 4.32 in heat storage mode. The nighttime heat... [more]
A Review of Tariffs and Services for Smart Charging of Electric Vehicles in Europe
Julia Hildermeier, Jaap Burger, Andreas Jahn, Jan Rosenow
February 23, 2023 (v1)
Keywords: beneficial electrification, BEV, electric vehicle, electricity, EV, grid, smart charging, smart meter, tariff design, utility
Smart charging of electric vehicles (EVs) is an essential approach to reduce the costs and maximise the benefits of increasing numbers of EVs being connected to the power grid. This article analyses 139 tariffs and services for smart EV charging available in Europe. It finds that while the market for smart EV charging services is growing, there is a lack of consumer information on the savings and broader environmental benefits it offers, such as integration of renewables. Offers are also unevenly distributed across the continent, resulting in unequal access to smart EV charging. The article outlines six strategies to establish framework conditions in energy markets that would address these gaps and establish smart charging as a standard means of charging, to ensure the beneficial integration of EVs into power grids.
Bibliometric Analysis of Global Trends around Hydrogen Production Based on the Scopus Database in the Period 2011−2021
Luis Camargo, Daniel Comas, Yulineth Cardenas Escorcia, Anibal Alviz-Meza, Gaylord Carrillo Caballero, Ivan Portnoy
February 23, 2023 (v1)
Keywords: bibliometric analysis, electrolysis, global trends, Hydrogen
Given the increase in population and energy demand worldwide, alternative methods have been adopted for the production of hydrogen as a clean energy source. This energy offers an alternative energy source due to its high energy content, and without emissions to the environment. In this bibliometric analysis of energy production using electrolysis and taking into account the different forms of energy production. In this analysis, it was possible to evaluate the research trends based on the literature in the Scopus database during the years 2011−2021. The results showed a growing interest in hydrogen production from electrolysis and other mechanisms, with China being the country with the highest number of publications and the United States TOP in citations. The trend shows that during the first four years of this study (2011−2014), the average number of publications was 74 articles per year, from 2015 to 2021 where the growth is an average of 209 articles, the journal that published the... [more]
Research on Hydrogen Production by Water Electrolysis Using a Rotating Magnetic Field
Hao Guo, Hyeon-Jung Kim, Sang-Young Kim
February 23, 2023 (v1)
Keywords: Hydrogen, induced voltage, ion migration, rotating magnetic field, water electrolysis
In this paper, the effect of rotating magnetic fields on hydrogen generation from water electrolysis is analyzed, aiming to provide a research reference for hydrogen production and improving hydrogen production efficiency. The electrolytic environment is formed by alkaline solutions and special electrolytic cells. The two electrolytic cells are connected to each other in the form of several pipes. The ring magnets are used to surround the pipes and rotate the magnets so that the pipes move relative to the magnets within the ring magnetic field area. Experimentally, the electrolysis reaction of an alkaline solution was studied by using a rotating magnetic field, and the effect of magnetic field rotation speed on the electrolysis reaction was analyzed using detected voltage data. The experimental phenomenon showed that the faster the rotation speed of the rotating magnetic field, the faster the production speed of hydrogen gas.
Assessment of the Electric Demand Management Potential of Educational Buildings’ Mechanical Ventilation Systems
Kalevi Härkönen, Lea Hannola, Jukka Lassila, Mika Luoranen
February 23, 2023 (v1)
Keywords: building automation system, demand management, indoor air quality
Demand management is expected to reduce emissions from energy systems and support the utilization of renewable energy sources. In this paper, the focus is on the viability of educational buildings’ mechanical ventilation systems’ participation in electric demand management. The results suggest that when load shedding lasts for a short duration, the ventilation machine load seems more promising than expected for electric demand management, as even 60% of its electric power could be granted to such markets. Prolonging the load-shedding duration increases the risk of the indoor carbon dioxide (CO2) concentration exceeding the limit for good indoor air quality. This paper contributes to the academic community by providing information for the assessment of the demand management potential of buildings and eventually their significance in decarbonizing the electric energy system and filling research gaps concerning the impact of implementing demand management that involves a reduction in vent... [more]
Spatiotemporal Evolution and Fluctuation Characteristics of a Centrifugal Compressor under Near-Stall Conditions and High Mass-Flow Rate
Kang Xiao, Zhengdao Wang, Hui Yang, Yikun Wei
February 23, 2023 (v1)
Keywords: centrifugal compressor, fast Fourier transform, large-eddy simulation, vaneless diffuser
Spatiotemporal evolution and fluctuation characteristics of a centrifugal compressor are investigated by numerical simulation under near-stall conditions and with a high mass-flow rate. The large-eddy simulation (LES) for unsteady computations is implemented in the numerical simulation of unsteady flow. The internal flow physical mechanism of the centrifugal compressor is presented at a high mass-flow rate (1.1 Qn) and low mass-flow rate (0.8 Qn, near-stall). The spatiotemporal evolution of the velocity and streamline for the internal flow of the centrifugal compressor demonstrates that a lot of large-scale eddies near the tongue are transformed into small-scale ones at high mass-flow rates. High mass-flow rate resulted in excessive fluid velocity in the impeller. A large amount of impact loss massive backflow appears near the tip clearance, and boundary layer separation of the suction surface emerges firstly and at a low mass-flow rate. Considerable flow loss occurs in the centrifugal... [more]
Advantages and Limitations of Anaerobic Wastewater Treatment—Technological Basics, Development Directions, and Technological Innovations
Marcin Zieliński, Joanna Kazimierowicz, Marcin Dębowski
February 23, 2023 (v1)
Subject: Environment
Keywords: active fillings, anaerobic reactors, biodegradation, biogas, methane fermentation, nutrient removal, physical factor, Wastewater
Anaerobic wastewater treatment is still a dynamically developing technology ensuring the effective degradation of organic compounds and biogas production. As evidenced in the large scale-up, this technological solution surpasses aerobic methods in many aspects. Its advantages stem from the feasibility of operation at a high organic load rate, the smaller production of difficult-to-manage sewage sludge, the smaller space and cubature required, and the high-methane biogas ultimately produced. The exploitation of anaerobic reactors is in line with the assumption of a circular economy, material recycling by reduced CO2 emissions and energy consumption, and the production of renewable energy. Despite their unquestionable advantages, there is still a need to seek novel approaches and improve the currently exploited installations. The key avenues of research entail improvements in the stability of bioreactor operations and the enhancement of bioreactor adaptability to changing and unfavorable... [more]
Pore-Scale Numerical Simulation of CO2−Oil Two-Phase Flow: A Multiple-Parameter Analysis Based on Phase-Field Method
Rui Song, Yu Tang, Yao Wang, Ruiyang Xie, Jianjun Liu
February 23, 2023 (v1)
Keywords: capillary number, CO2 flooding, phase-field method, two-phase flow, wettability
A deep understanding of the pore-scale fluid flow mechanism during the CO2 flooding process is essential to enhanced oil recovery (EOR) and subsurface CO2 sequestration. Two-phase flow simulations were performed to simulate the CO2 flooding process based on the phase-field method in this study. Two-dimensional models with random positions and sizes of grains of circular shape were constructed to reproduce the topology of porous media with heterogeneous pore size distributions in the reservoir rock. A multiple-parameter analysis was performed to investigate the effects of capillary number, viscosity ratio, wettability, density, gravity, interfacial tension, and absolute permeability on the two-phase fluid flow characteristics. The results indicated that when the capillary number and viscosity ratio were large enough, i.e., log Ca = −3.62 and log M = −1.00, the fingering phenomenon was not obvious, which could be regarded as a stable displacement process. CO2 saturation increased with th... [more]
Economic Assessment of Operation Strategies on Park-Level Integrated Energy System Coupled with Biogas: A Case Study in a Sewage Treatment Plant
Xin Zhao, Yanqi Chen, Gang Xu, Heng Chen
February 23, 2023 (v1)
Subject: Optimization
Keywords: biogas, Carbon, energy system, Optimization, strategy
Operation strategies for a park-level integrated energy system (PIES) in terms of carbon prices and feed-in tariffs, have not been adequately studied. This paper addresses this knowledge gap by proposing operation strategies based on the PIES driven by biogas, solar energy, natural gas, and the power grid. Meanwhile, the electricity-driven dispatching strategy (EDS), thermal-driven dispatching strategy (TDS), cost-driven dispatching strategy (CDS) are compared to assess their impacts on operation cost, carbon dioxide emissions, etc. The flexibility and complementarity of the three operation strategies in energy supply are analyzed in detail. The results indicated that biogas was the main energy supply fuel, accounting for 46% to 72% of the total energy supply. About 33% to 54% of electricity was transmitted to the grid each month using the TDS. The annual initial capital cost of the CDS was only 1.39% higher than that of the EDS. However, the annual operation cost of the EDS was 16.86%... [more]
Large Scale Microalgae Biofuel Technology—Development Perspectives in Light of the Barriers and Limitations
Marcin Dębowski, Izabela Świca, Joanna Kazimierowicz, Marcin Zieliński
February 23, 2023 (v1)
Subject: Environment
Keywords: Biofuels, large scale, life cycle assessment (LCA), microalgae, molecular engineering, sustainable development, technological readiness level (TRL), technology development
Microalgal biomass can be used to derive many different types of biofuels. In order to widely commercialize this technology, its limitations and weaknesses must be eliminated. Many technical and economic issues also need to be clarified and unknowns answered. Microalgae-based technologies have been shown to be versatile, efficient and suitable for practical and commercial use. However, the current technological readiness level (TRL) of most microalgae-based bioenergy production systems precludes their quick and widespread implementation. Their development is limited by a combination of factors that must be precisely identified, after which their negative impact on scale-up prospects can be eliminated or minimized. The present study identifies the main barriers to the development of industrial microalgae-production and microalgae-to-biofuel systems. In addition, it proposes measures and efforts necessary to achieve a higher TRL, which will provide investors with sought-after performance... [more]
Reactive Power Control of a Converter in a Hardware-Based Environment Using Deep Reinforcement Learning
Ode Bokker, Henning Schlachter, Vanessa Beutel, Stefan Geißendörfer, Karsten von Maydell
February 23, 2023 (v1)
Subject: Environment
Keywords: power grid, power hardware-in-the-loop, reactive power, voltage control
Due to the increasing penetration of the power grid with renewable, distributed energy resources, new strategies for voltage stabilization in low voltage distribution grids must be developed. One approach to autonomous voltage control is to apply reinforcement learning (RL) for reactive power injection by converters. In this work, to implement a secure test environment including real hardware influences for such intelligent algorithms, a power hardware-in-the-loop (PHIL) approach is used to combine a virtually simulated grid with real hardware devices to emulate as realistic grid states as possible. The PHIL environment is validated through the identification of system limits and analysis of deviations to a software model of the test grid. Finally, an adaptive volt−var control algorithm using RL is implemented to control reactive power injection of a real converter within the test environment. Despite facing more difficult conditions in the hardware than in the software environment, th... [more]
Influence and Mechanism Study of Ultrasonic Electric Power Input on Heavy Oil Viscosity
Jinbiao Gao, Pengfei Wu, Chao Li, Delong Xu, Xiuming Wang
February 23, 2023 (v1)
Keywords: cavitation noise, chemical analysis, heavy crude oil, mechanism, ultrasonics, viscosity variation
The reserves of heavy oil are enormous. However, its high viscosity and other characteristics make heavy oil extraction and transportation extremely difficult. Power ultrasonic (US) reforming technology on heavy oil has the advantages of environmental protection and fast results, so it is important to understand the mechanism of ultrasonic reforming. We examine the influence law of the electric power input of the US transducer on the viscosity of heavy oil. Fourier Transform Infrared Spectrometer (FTIR) and Gas Chromatography (GC) are applied to explain the changes in different functional groups, heavy components, and carbon chains before and after US irradiation. The cavitation noise method is also used to study the influences of variance in the intensity of cavitation on the viscosity of heavy oil. The results indicate that the viscosity of heavy oil first decreases, and next increases with an increase in electric power. The functional groups and chromatographic distillation also cha... [more]
Effectiveness of Butanol and Deposit Control Additive in Fuel to Reduce Deposits of Gasoline Direct Injection Engine Injectors
Ireneusz Pielecha, Zbigniew Stępień, Filip Szwajca, Grzegorz Kinal
February 23, 2023 (v1)
Keywords: Butanol, DCA, fuel atomization quality, GDI engine, injector deposition
Modern internal combustion engines are designed to meet new emission standards and reduce fuel consumption. The wide application of direct fuel injection is associated with the problem of injector contamination. It leads to a deterioration of the engine’s environmental performance. The paper aims to evaluate the effect of applying gasoline−butanol blends and appropriate additives on the formation of injector deposits. The research involved testing the engine on a dynamometer, evaluating the injector tips visually at 1000× magnification, and registering the fuel spray using high-speed imaging techniques with a laser and halogen lighting source. The effect of engine operating with the reference fuel was to coke the injector tip with a linear pattern. It increased the linear injection time to keep the engine’s operating point constant over the 48 h test. The application of 20% (v/v) butanol reduced deposit formation. The best scavenging results were obtained by extending the engine operat... [more]
Prediction of NOx Emissions from a Coal-Fired Boiler Based on Convolutional Neural Networks with a Channel Attention Mechanism
Nan Li, You Lv, Yong Hu
February 23, 2023 (v1)
Keywords: channel attention mechanism, coal-fired boiler, NOx emissions, prediction, separable convolutional neural network
This paper presents a small and efficient model for predicting NOx emissions from coal-fired boilers. The raw data collected are processed by the min−max scale method and converted into a multivariate time series. The overall model’s architecture is mainly based on building blocks consisting of separable convolutional neural networks and efficient channel attention (ECA) modules. The experimental results show that the model can learn good representations from sufficient data covering different operation conditions. These results also suggest that ECA modules can improve the model’s performance. The comparative study shows our model’s strong performance compared to other NOx prediction models. Then, we demonstrate the effectiveness of the model proposed in this paper in terms of predicting NOx emissions.
Multi-Objective Energy Management Strategy for Hybrid Electric Vehicles Based on TD3 with Non-Parametric Reward Function
Fuwu Yan, Jinhai Wang, Changqing Du, Min Hua
February 23, 2023 (v1)
Subject: Energy Policy
Keywords: energy management strategy, non-parametric reward function, twin-delayed deep deterministic policy gradient
The energy management system (EMS) of hybridization and electrification plays a pivotal role in improving the stability and cost-effectiveness of future vehicles. Existing efforts mainly concentrate on specific optimization targets, like fuel consumption, without sufficiently taking into account the degradation of on-board power sources. In this context, a novel multi-objective energy management strategy based on deep reinforcement learning is proposed for a hybrid electric vehicle (HEV), explicitly conscious of lithium-ion battery (LIB) wear. To be specific, this paper mainly contributes to three points. Firstly, a non-parametric reward function is introduced, for the first time, into the twin-delayed deep deterministic policy gradient (TD3) strategy, to facilitate the optimality and adaptability of the proposed energy management strategy and to mitigate the effort of parameter tuning. Then, to cope with the problem of state redundancy, state space refinement techniques are included i... [more]
Microbial Granule Technology—Prospects for Wastewater Treatment and Energy Production
Joanna Kazimierowicz, Marcin Dębowski, Marcin Zieliński
February 23, 2023 (v1)
Subject: Biosystems
Keywords: aerobic granular sludge, algal-bacterial granules, anaerobic granular sludge, energy recovery, sewage sludge, waste to energy, wastewater treatment
Recent years have brought significant evolution and changes in wastewater treatment systems. New solutions are sought to improve treatment efficiency, reduce investment/operational costs, and comply with the principles of circular economy and zero waste. Microbial granules can serve as an alternative to conventional technologies. Indeed, there has been fast-growing interest in methods harnessing aerobic (AGS) and anaerobic (AnGS) granular sludge as well as microbial-bacterial granules (MBGS), as evidenced by the number of studies on the subject and commercial installations developed. The present paper identifies the strengths and weaknesses of wastewater treatment systems based on granular sludge (GS) and their potential for energy production, with a particular focus on establishing the R&D activities required for further advance of these technologies. In particular, the impact of granules on bioenergy conversion, including bio-oil recovery efficiency and biomethane/biohydrogen yields,... [more]
Optimizing Energy Management in Microgrids Based on Different Load Types in Smart Buildings
Mohammad Zareein, Jalal Sahebkar Farkhani, Amirhossein Nikoofard, Turaj Amraee
February 23, 2023 (v1)
Keywords: demand response, energy management, microgrid, smart building, Stackelberg game
This paper presents an energy management strategy (EMS) based on the Stackelberg game theory for the microgrid community. Three agents or layers are considered in the proposed framework. The microgrid cluster (MGC) refers to the agent that coordinates the interactions between the microgrids and the utility grid. The microgrid agent manages the energy scheduling of its own consumers. The third agent represents the consumers inside the microgrids. The game equilibrium point is solved between different layers and each layer will benefit the most. First, an algorithm performs demand response in each microgrid according to load models in smart buildings and determines the load consumption for each consumer. Then, each microgrid determines its selling price to the consumers and the amount of energy required to purchase from the utility grid to achieve the maximum profit. Finally, the balance point will be obtained between microgrids by the microgrid cluster agent. Moreover, the proposed meth... [more]
Induction Generator with Direct Control and a Limited Number of Measurements on the Side of the Converter Connected to the Power Grid
Andrzej Bogdan Kasprowicz, Oleksandr Husev, Ryszard Strzelecki
February 23, 2023 (v1)
Keywords: Direct Field-Oriented Control (DFOC), induction generator, Maximum Power Point Tracking (MPPT), Sinusoidal Pulse Width Modulator (SPWM), three-level inverter
The article presents an induction generator connected to the power grid using the AC/DC/AC converter and LCL coupling filter. Three-level inverters were used in the converter, both from the generator side and the power grid side. The algorithm realizing Pulse Width Modulation (PWM) in inverters has been simplified to the maximum. Control of the induction generator was based on the Direct Field-Oriented Control (DFOC) method. At the same time, voltage control has been used for this solution. The MPPT algorithm has been extended to include the variable pitch range of wind turbine blades. The active voltage balancing circuit has been used in the inverter DC voltage circuit. In the control system of the grid converter with an LCL filter, the number of measurements was limited to the measurement of power grid currents and voltages. Synchronization of control from the power grid side is ensured by the use of a PLL loop with the system of preliminary suppression of undesired harmonics.
Power Grid Infrastructural Resilience against Extreme Events
Ahmed Daeli, Salman Mohagheghi
February 23, 2023 (v1)
Keywords: extreme weather, grid reinforcement, infrastructural resilience, natural disaster, power grid hardening, power grid resilience, resilience metrics
Extreme weather events are one of the main causes of large-scale power outages in distribution systems. The changing climate has led to an increase in the frequency and severity of these events, which, if not mitigated, are expected to lead to more instances of widespread outages and the severe societal and economic damages that ensue. Protecting the power grid against such events, which are high impact yet low frequency, requires a paradigm shift in grid design practices. In recent years, many researchers have focused on the resilience of the power grid against extreme weather events by proposing various grid hardening and/or redundancy solutions. The goal of this paper is to provide a survey of the literature related to the infrastructural resilience of the power grid against extreme events. Currently, no standard definitions or metrics exist for power grid resilience, and researchers adopt various models for quantifying and assessing it. Hence, a review of the most commonly used def... [more]
Control of Cascaded Multilevel Converter for Wave Energy Applications
Henry M. Zapata, Marcelo A. Perez, Abraham Marquez Alcaide
February 23, 2023 (v1)
Keywords: cascaded multilevel converter, linear generator, wave energy converter
This paper proposes a control scheme for a wave energy conversion system based on a linear generator and a cascaded multilevel converter. The mechanical conversion system is composed of a buoy connected directly to a linear generator. The windings of the generator are individually controlled by a cascaded multilevel power converter using independent maximum power point tracking to improve energy harvesting. The output of the cascaded converter is controlled to keep the DC capacitors balanced and generate a multilevel voltage at the output terminals which reduces the losses in the underwater transmission line. Experimental results show the performance of the proposed control scheme maximizing the power generation by imposing a current with the same waveform of the induced voltage and balancing the DC capacitors.
Upgrading of Lignocellulosic Biomass to Hydrogen-Rich Gas
Jacek Grams
February 23, 2023 (v1)
Subject: Environment
Due to limited fossil fuel reserves, the global political situation, and progressive environmental pollution, the development of new methods of hydrogen production is highly demanded [...]
Natural Esters for Green Transformers: Challenges and Keys for Improved Serviceability
Samson Okikiola Oparanti, Ungarala Mohan Rao, Issouf Fofana
February 23, 2023 (v1)
Subject: Environment
Keywords: additives and chemical modifications, green transformers, natural esters
The service of mineral insulating oils for power transformer insulation and cooling aspects cannot be disavowed. However, the continued use of mineral oils is questionable due to environmental unfriendliness and the divestment from fossil fuels. This has provoked the quest for green alternative insulating liquids for high-voltage insulation. Natural esters are among the remaining alternatives that are renewable and environmentally friendly. Regardless of their environmental and technical merits, natural esters have some limitations that are slowing down their total acceptance by transformer owners and utilities. Critical limitations and concerns include esters’ pour point, viscosity, oxidative stability, and ionization resistance. In this work, the state of the art of “natural esters for transformers” is explored with the aim of potential improvements. The sections of the article are geared towards technical viewpoints on improving the overall workability and serviceability of natural... [more]
Fiscal Policy, Growth, Financial Development and Renewable Energy in Romania: An Autoregressive Distributed Lag Model with Evidence for Growth Hypothesis
Marius Dalian Doran, Maria Magdalena Poenaru, Alexandra Lucia Zaharia, Sorana Vătavu, Oana Ramona Lobonț
February 23, 2023 (v1)
Subject: Energy Policy
Keywords: autoregressive method, causality test, financial development, Renewable and Sustainable Energy, taxation
This research aims to identify the influence of fiscal policy, financial development and economic growth on the increase of renewable consumption in Romania. To achieve our objective, we employ bivariate regressions through the Autoregressive Distributed Lag method, over the 2000−2020 period, to examine these influences. We find clear evidence that the variables observed (implicit tax rate on energy, external debt stocks, real GDP per capita, environmental tax revenues from energy taxes, and market capitalisation of listed domestic companies) have significant effects on the use of renewable energy. Four unidirectional causal relationships were identified in the long run: two from independent variables towards the dependent variable and two from the dependent variables towards two other independent variables. The importance of this study is that its results can contribute to the finding of the most suitable solutions to improve renewable energy consumption in Romania and mitigate the im... [more]
A Review on Heat Transfer Characteristics and Enhanced Heat Transfer Technology for Helium−Xenon Gas Mixtures
Fulong Zhao, Yiguo Mei, Tiebo Liang, Bin Wang, Hao Jing, Weixiong Chen
February 23, 2023 (v1)
Keywords: enhanced heat transfer, heat transfer characteristics, helium–xenon gas mixture
As one of the most promising working substances for space nuclear power sources, research on the heat transfer characteristics of helium−xenon gas mixtures has become the key issue in focus. In this paper, through an extensive literature research, the current research results are classified and organized. The results show that there are semi-empirical formulas for physical property parameters with high prediction accuracy, and there are also Nusselt correlations with small errors. However, both lack the support of experimental data. There is no systematic research on enhanced heat transfer technologies, and the conclusions of the existing studies are not significant, so they can only make limited reference contributions to the future study of enhanced heat transfer technologies. More flow and heat transfer experiments on helium−xenon mixtures are urgently needed, through detailed analysis of the heat transfer performance of helium−xenon flow, identifying the key factors affecting the h... [more]
Design and Verification of Petri-Net-Based Cyber-Physical Systems Oriented toward Implementation in Field-Programmable Gate Arrays—A Case Study Example
Remigiusz Wiśniewski, Marcin Wojnakowski, Zhiwu Li
February 23, 2023 (v1)
Keywords: boundedness, error detection, FPGA, Modelling, real-life CPS, verification
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 (FPGA). The proposed technique permits error detection in the system at the early specification stage in order to reduce the time and prototyping cost of the CPS. Due to the state explosion problem, the traditional verification methods have exponential computational complexity. In contrast, we show that under certain assumptions, the proposed algorithm is able to detect possible errors in the system even in cubic O(|T|2|P|) time. Furthermore, all the required steps of the proposed design method are presented and discussed. The idea is illustrated by a real-life case study example of a traffic light crossroad. The system was modelled, analysed, implemented, and finally validated within the FPGA device (Virtex-5 family).
Showing records 32745 to 32769 of 43292. [First] Page: 1 1307 1308 1309 1310 1311 1312 1313 1314 1315 Last
(0.13 seconds)
[Show List of Record Types]

[0.13 s]