Abstract
Rebeca is 20+ years old. Introduced by Marjan Sirjani and colleagues for modelling and analysing actor-based systems, it comes with a variety of tool support, including dedicated model checkers, simulators, and code generators. When encountering Rebeca for the first time, either as a student, as a researcher, or as a practitioner from industry, one needs to grasp the subtleties of Rebeca ’s semantics, which includes variants with probabilities and time. This paper presents a user-friendly web-based front-end, based on the Caos library for Scala, to animate different operational semantics of (timed) Rebeca. This can facilitate the dissemination and awareness of Rebeca, provide insights into the differences among existing semantics, and support quick experimentation of new variants (e.g., when the order of received messages is preserved). The tool is illustrated by means of a ticket service use case from the literature.

Abstract
Local flexibility markets are a promising solution to aid system operators in managing the network as it faces the growth of distributed resources and the resulting impacts on voltage control, among other factors. This paper presents and simulates a proposal for an intra-day local flexibility market based on grid segmentation. The design provides a market-based solution for distribution system operators (DSOs) to address near-real-time grid issues. The grid segmentation computes the virtual buses that represent each zone and the sensitivity indices that approximate the impact of activating active power flexibility in the buses within the zone. This approach allows DSOs to manage and publish their flexibility needs per zone and enables aggregators to offer flexibility by optimizing their resource portfolios per zone. The simulation outcomes allow for the assessment of market performance according to the number of zones computed and show that addressing overloading and voltage control through zonal approaches can be cost-effective and counterbalance minor errors compared to node-based approaches.

Abstract

Abstract
A subgroup discovery-based method has recently been proposed to understand the behavior of models in the (original) feature space. The subgroups identified represent areas of feature space where the model obtains better or worse predictive performance when compared to the average test performance. For instance, in the marketing domain, the approach extracts subgroups such as: in groups of customers with higher income and who are younger, the random forest achieves higher accuracy than on average. Here, we propose a complementary method, Meta Subspace Analysis (MSA), MSA uses metalearning to analyze these subgroups in the metafeature space. We use association rules to relate metafeatures of the feature space represented by the subgroups to the improvement or degradation of the performance of models. For instance, in the same domain, the approach extracts rules such as: when the class entropy decreases and the mutual information increases in the subgroup data, the random forest achieves lower accuracy. While the subgroups in the original feature space are useful for the end user and the data scientist developing the corresponding model, the meta-level rules provide a domain-independent perspective on the behavior of the model that is suitable for the same data scientist but also for ML researchers, to understand the behavior of algorithms. We illustrate the approach with the results of two well-known algorithms, naive Bayes and random forest, on the Adult dataset. The results confirm some expected behavior of algorithms. However, and most interestingly, some unexpected behaviors are also obtained, requiring additional investigation. In general, the empirical study demonstrates the usefulness of the approach to obtain additional knowledge about the behavior of models.

Abstract

Abstract
Research around the co-location of different renewable energy technologies in offshore sites is increasing due to the potential complementarity of different sources that could decrease the power output variability, and increase reliability. However, further decrease of the power fluctuations and higher economic profitability could be achieved with energy storage. In this work, a model is developed for optimal sizing and energy management of energy storage and delivery solutions to accommodate the hybridisation of an offshore wind park. A set of options is considered for energy storage: the integration of a battery energy storage system (BESS), hydrogen production for direct sale or hydrogen/fuel cell system. For energy delivery, an expansion of the transmission cable, hydrogen pipeline or transportation by ship is evaluated. The case study used to test the model is the offshore farm WindFloat Atlantic located near the coast of Viana do Castelo, Portugal, which is proposed to be hybridised with wave energy converters (WEC). Sensitivity analyses are performed on possible components' cost variations, hydrogen shipping frequency or sale price. The results show that hydrogen production from the studied offshore hybrid park is profitable, and the transmission through submarine pipeline is competitive with electrical connections by cable. The highest profitability is achieved when pipeline and cable expansion are combined. Hydrogen transportation by ship also appears profitable, in the eventuality that additional submarine transmission facilities cannot be installed.