Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2025

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?

Autores
Oliveira, F; Mendes, A; Carreira, C;

Publicação
CoRR

Abstract

2025

Frequency support from PEM hydrogen electrolysers using Power-Hardware-in-the-Loop validation

Autores
Elhawash, AM; Araújo, RE; Lopes, JAP;

Publicação
INTERNATIONAL JOURNAL OF HYDROGEN ENERGY

Abstract
Maintaining frequency stability is one of the biggest challenges facing future power systems, due to the increasing penetration levels of inverter-based renewable resources. This investigation experimentally validates the frequency provision capabilities of a real Polymer Electrolyte Membrane (PEM) hydrogen electrolyser (HE) using a power hardware-in-the-loop (PHIL) setup. The PHIL consists of a custom 3-level interleaved buck converter and a hardware platform for real-time control of the converter and conducting grid simulation, associated with the modelling of the future Iberian Peninsula (IP) and Continental Europe (CE) systems. The investigation had the aim of validating earlier simulation work and testing new responses from the electrolyser when providing different frequency services at different provision volumes. The experimental results corroborate earlier simulation results and capture extra electrolyser dynamics as the double-layer capacitance effect, which was absent in the simulations. Frequency Containment Reserve (FCR) and Fast Frequency Response (FFR) were provided successfully from the HE at different provision percentages, enhancing the nadir and the rate of change of frequency (RoCoF) in the power system when facing a large disturbance compared to conventional support only. The results verify that HE can surely contribute to frequency services, paving the way for future grid support studies beyond simulations.

2025

A Nonlinear Control Allocation Strategy for Dual Half Bridge Power Converters

Autores
de Castro, R; Araujo, RE; Brembeck, J;

Publicação
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING

Abstract
This work focuses on designing nonlinear control algorithms for dual half-bridge converters (DHBs). We propose a two-layer controller to regulate the current and voltage of the DHB. The first layer utilizes a change in the control variable to obtain a quasi-linear representation of the DHB, allowing for the application of simple linear controllers to regulate current and power flow. The second layer employs a nonlinear control allocation algorithm to select control actions that fulfill (pseudo) power setpoints specified by the first control layer; it also minimizes peak-to-peak currents in the DHB and enforces voltage balance constraints. We apply the DHB and this new control strategy to manage power flow in a hybrid energy storage system comprising of a battery and supercapacitors. Numerical simulation results demonstrate that, in comparison with state-of-the-art approaches, our control algorithm is capable of maintaining good transient behavior over a wide operating range, while reducing peak-to-peak current by up to 80%.

2025

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny

Autores
Carreira, C; Silva, AF; Abreu, A; Mendes, A;

Publicação
CoRR

Abstract

2025

Multi-domain indoor environmental quality and worker health, well-being, and productivity: Objective and subjective assessments in modern office buildings

Autores
Felgueiras, F; Mourao, Z; Moreira, A; Gabriel, MF;

Publicação
BUILDING AND ENVIRONMENT

Abstract
It is widely recognized that the well-being, health, and productivity of office workers can be influenced by indoor environmental quality (IEQ) conditions in the workplace. This study aimed to investigate associations between multi-domain IEQ in offices and workers' well-being, health, productivity, and perceived IEQ in 30 open office spaces (6 buildings) located in the urban area of Porto, Portugal. This cross-sectional study included 277 office workers and used a combination of methods to assess their perceptions and physiological responses. Data were collected through questionnaires (covering self-reported well-being, health, productivity, and IEQ satisfaction), pupillometry (autonomic nervous system activity), and concurrent monitoring of IEQ. Correlation, comparative, and regression methods were used to explore associations and differences between IEQ indicators and participants' outcomes. The findings showed that offices typically met acceptable IEQ standards. However, a higher prevalence of health problems and symptoms was observed in offices with higher levels of carbon dioxide (CO2), ozone (O3), particulate matter (PM10), and ultrafine particles (UFP). Interestingly, offices with higher COQ, PM2.5, and volatile organic compounds concentrations were linked to a reduced likelihood of participants reporting asthma, dry cough, and allergies. Additionally, thermal discomfort due to high temperatures, increased PM2.5, UFP, CO2, and O3, and low illuminance appear to reduce eye response in office workers. Higher CO2 and noise levels, and temperatures outside the comfortable range, were linked to lower productivity. The multi-domain analysis showed that perception of multiple IEQ factors significantly explained both self-reported productivity and overall satisfaction with work environment. Overall, ensuring proper IEQ and enhancing workers' satisfaction are essential for creating healthy and productive workplaces.

2025

A Pipeline for AI-Based Quantitative Studies of Science Enhanced by Crowdsourced Inferential Modelling

Autores
António Correia; Tommi Kärkkäinen; Shoaib Jameel; Daniel Schneider; Pedro Antunes; Benjamim Fonseca; Andrea Grover;

Publicação
Lecture notes in networks and systems

Abstract

  • 90
  • 4391