Abstract
Energy smart grids and other modern industrial control systems networks impose considerable security management challenges due to several factors: their broad geographic dispersion and capillarity, the constrained nature of many of the devices and network links that integrate them, and the fact that they are often fragmented across multiple domains, owned and managed by different entities which often have non-aligned or even competing interests. Due to this scenario, we propose to improve federated learning-based anomaly detection for smart grids and other industrial control networks, using a federated data-centric methodology that attends to the balance and causality of the data, improving the representation of the different classes of anomalies of the ingested data, which directly impact the classifier's performance. The proposed approach shows up to 33% performance improvements in terms of F1-score for attack classification, compared to the baseline federated approach (not attending to class imbalance and causality) on a broad range of industrial control systems traffic datasets.

Abstract
The R/G approach to the development of interfering programs was initiated by the pioneering work of Cliff Jones (1981) on a relational basis. R/G has been the subject of much research since then, most of it deviating from the original relational set-up. This paper looks at such early work from a historical perspective and shows how it can be approached and extended using state-of-the-art relational algebra. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

Abstract
Solar energy will contribute to global economic growth, increasing worldwide photovoltaic (PV) solar energy production. More recently, one of the outstanding energy achievements of the last decade has been the development of floating photovoltaic panels. These panels differ from conventional (terrestrial) panels because they occupy space in a more environmentally friendly way, i.e., aquatic areas. In contrast, land areas are saved for other applications, such as construction or agriculture. Developing autonomous inspection systems using unmanned aerial vehicles (UAVs) represents a significant step forward in solar PV technology. Given the frequently remote and difficult-to-access locations, traditional inspection methods are no longer practical or suitable. Responding to these challenges, an innovative inspection framework was developed to autonomously inspect photovoltaic plants (offshore) with a Vertical Takeoff and Landing (VTOL) UAV. This work explores two different methods of autonomous aerial inspection, each adapted to specific scenarios, thus increasing the adaptability of the inspection process. During the flight, the aerial images are evaluated in real-time for the autonomous detection of the photovoltaic modules and the detection of possible faults. This mechanism is crucial for making decisions and taking immediate corrective action. An offshore simulation environment was developed to validate the implemented system.

Abstract
Port wine plays a crucial role in the Douro region in Portugal, providing significant economic support and international recognition. The efficient and sustainable management of the wine sector is of utmost importance, which includes the verification of abandoned vineyard plots in the region, covering an area of approximately 250,000 hectares. The manual analysis of aerial images for this purpose is a laborious and resource-intensive task. However, several artificial intelligence (AI) methods are available to assist in this process. This paper presents the development of AI models, specifically deep learning models, for the automatic detection of abandoned vineyards using aerial images. A private image database was expanded, containing a larger collection of images with both abandoned and non-abandoned vineyards. Multiple AI algorithms, including Convolutional Neural Networks (CNNs) and Vision Transformers (ViTs), were explored for classification. The results, particularly with the ViTs approach, achieved high accuracy and demonstrated the effectiveness of automatic detection, with the ViT models achieving an accuracy of 99.37% and an F1-score of 98.92%. The proposed AI models provide valuable tools for monitoring and decision-making related to vineyard abandonment. © 2024 The Author(s). Published by Elsevier B.V.

Abstract
This special section features extended versions of papers originally published in the 2022 IEEE Vehicle Power and Propulsion Conference (VPPC22), hosted by the University of California, Merced, USA. This was the first time that the VPPC took place in California, USA. It was a timely visit. California recently announced that only zero-emission vehicles (ZEVs) will be allowed to be sold in the state by 2035. Other states and countries will surely follow. The VPPC, as one of the pioneer forums dedicated to electric mobility, is in a privileged position to create and disseminate knowledge that will help our communities transition toward sustainable transportation, improving air quality and reducing greenhouse emissions.

Abstract
This research idea paper proposes leveraging Large Language Models (LLMs) to enhance the productivity of Dafny developers. Although the use of verification-aware languages, such as Dafny, has increased considerably in the last decade, these are still not widely adopted. Often the cost of using such languages is too high, due to the level of expertise required from the developers and challenges that they often face when trying to prove a program correct. Even though Dafny automates a lot of the verification process, sometimes there are steps that are too complex for Dafny to perform on its own. One such case is that of missing lemmas, i.e. Dafny is unable to prove a result without being given further help in the form of a theorem that can assist it in the proof of the step. In this paper, we describe preliminary work on using LLMs to assist developers by generating suggestions for relevant lemmas that Dafny is unable to discover and use. Moreover, for the lemmas that cannot be proved automatically, we attempt to provide accompanying calculational proofs. We also discuss ideas for future work by describing a research agenda on using LLMs to increase the adoption of verification-aware languages in general, by increasing developers productivity and by reducing the level of expertise required for crafting formal specifications and proving program properties.