-
Fast and Secure Decentralized Optimistic Rollups Using Setchain
Authors:
Margarita Capretto,
Martín Ceresa,
Antonio Fernández Anta,
Pedro Moreno-Sánchez,
César Sánchez
Abstract:
Modern blockchains face a scalability challenge due to the intrinsic throughput limitations of consensus protocols. Layer 2 optimistic rollups (L2) are a faster alternative that offer the same interface in terms of smart contract development and user interaction. Optimistic rollups perform most computations offchain and make light use of an underlying blockchain (L1) to guarantee correct behavior,…
▽ More
Modern blockchains face a scalability challenge due to the intrinsic throughput limitations of consensus protocols. Layer 2 optimistic rollups (L2) are a faster alternative that offer the same interface in terms of smart contract development and user interaction. Optimistic rollups perform most computations offchain and make light use of an underlying blockchain (L1) to guarantee correct behavior, implementing a cheaper blockchain on a blockchain solution. With optimistic rollups, a sequencer calculates offchain batches of L2 transactions and commits batches (compressed or hashed) to the L1 blockchain. The use of hashes requires a data service to translate hashes into their corresponding batches. Current L2 implementations consist of a centralized sequencer (central authority) and an optional data availability committee (DAC).
In this paper, we propose a decentralized L2 optimistic rollup based on Setchain, a decentralized Byzantine-tolerant implementation of sets. The main contribution is a fully decentralized "arranger" where arrangers are a formal definition combining sequencers and DACs. We prove our implementation correct and show empirical evidence that our solution scales. A final contribution is a system of incentives (payments) for servers that implement the sequencer and data availability committee protocols correctly, and a fraud-proof mechanism to detect violations of the protocol.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
On the dam** of power systems during inverter-based blackstart
Authors:
Adolfo Anta,
Diego Cifelli
Abstract:
The massive deployment of inverter-based generation poses several challenges to system operators but also offers new opportunities. In the context of grid recovery, inverter-based generation is expected to take over new responsibilities, as conventional generation that are blackstart capable are being decommissioned. Inverter-based facilities, being very flexible and controllable, have the ability…
▽ More
The massive deployment of inverter-based generation poses several challenges to system operators but also offers new opportunities. In the context of grid recovery, inverter-based generation is expected to take over new responsibilities, as conventional generation that are blackstart capable are being decommissioned. Inverter-based facilities, being very flexible and controllable, have the ability to contribute during grid restoration, although it is still unclear how to deal with the limited ratings of batteries, PV, etc. and how to address nonlinear effects such as inrush currents or harmonics. In this direction, the requirements of grid-forming inverters to comply with black start capabilities are still to be defined. During the first steps of a grid restoration process the dynamics of the grid largely vary from the grid behaviour under normal operation. In particular, the grid is nearly unloaded and therefore poorly damped. Indeed, overvoltages and resonances are a common concern during the energization of long transmission lines. In this work we analyse the spectral properties of unloaded transmission lines, and describe the impact of voltage controllers on the dam** of the system. As a byproduct, this analysis can be leveraged to propose high level requirements for grid-forming devices, in order to provide adequate dam** during the early stages of a grid restoration process.
△ Less
Submitted 25 May, 2024;
originally announced May 2024.
-
AMECOS: A Modular Event-based Framework for Concurrent Object Specification
Authors:
Timothé Albouy,
Antonio Fernández Anta,
Chryssis Georgiou,
Mathieu Gestin,
Nicolas Nicolaou,
Junlang Wang
Abstract:
In this work, we introduce a modular framework for specifying distributed systems that we call AMECOS. Specifically, our framework departs from the traditional use of sequential specification, which presents limitations both on the specification expressiveness and implementation efficiency of inherently concurrent objects, as documented by Casta{ñ}eda, Rajsbaum and Raynal in CACM 2023. Our framewo…
▽ More
In this work, we introduce a modular framework for specifying distributed systems that we call AMECOS. Specifically, our framework departs from the traditional use of sequential specification, which presents limitations both on the specification expressiveness and implementation efficiency of inherently concurrent objects, as documented by Casta{ñ}eda, Rajsbaum and Raynal in CACM 2023. Our framework focuses on the interface between the various system components specified as concurrent objects. Interactions are described with sequences of object events. This provides a modular way of specifying distributed systems and separates legality (object semantics) from other issues, such as consistency. We demonstrate the usability of our framework by (i) specifying various well-known concurrent objects, such as shared memory, asynchronous message-passing, and reliable broadcast, (ii) providing hierarchies of ordering semantics (namely, consistency hierarchy, memory hierarchy, and reliable broadcast hierarchy), and (iii) presenting novel axiomatic proofs of the impossibility of the well-known Consensus and wait-free Set Agreement problems.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
Federated Learning with Heterogeneous Data Handling for Robust Vehicular Object Detection
Authors:
Ahmad Khalil,
Tizian Dege,
Pegah Golchin,
Rostyslav Olshevskyi,
Antonio Fernandez Anta,
Tobias Meuser
Abstract:
In the pursuit of refining precise perception models for fully autonomous driving, continual online model training becomes essential. Federated Learning (FL) within vehicular networks offers an efficient mechanism for model training while preserving raw sensory data integrity. Yet, FL struggles with non-identically distributed data (e.g., quantity skew), leading to suboptimal convergence rates dur…
▽ More
In the pursuit of refining precise perception models for fully autonomous driving, continual online model training becomes essential. Federated Learning (FL) within vehicular networks offers an efficient mechanism for model training while preserving raw sensory data integrity. Yet, FL struggles with non-identically distributed data (e.g., quantity skew), leading to suboptimal convergence rates during model training. In previous work, we introduced FedLA, an innovative Label-Aware aggregation method addressing data heterogeneity in FL for generic scenarios.
In this paper, we introduce FedProx+LA, a novel FL method building upon the state-of-the-art FedProx and FedLA to tackle data heterogeneity, which is specifically tailored for vehicular networks. We evaluate the efficacy of FedProx+LA in continuous online object detection model training. Through a comparative analysis against conventional and state-of-the-art methods, our findings reveal the superior convergence rate of FedProx+LA. Notably, if the label distribution is very heterogeneous, our FedProx+LA approach shows substantial improvements in detection performance compared to baseline methods, also outperforming our previous FedLA approach. Moreover, both FedLA and FedProx+LA increase convergence speed by 30% compared to baseline methods.
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
NiOx passivation in perovskite solar cells: from surface reactivity to device performance
Authors:
John Mohanraj,
Bipasa Samanta,
Osbel Almora,
Renán Escalante,
Lluis F. Marsal,
Sandra Jenatsch,
Arno Gadola,
Beat Ruhstaller,
Juan A. Anta,
Maytal Caspary Toroker,
Selina Olthof
Abstract:
Non-stoichiometric nickel oxide (NiOx) is the only metal oxide successfully used as hole transport material in p-i-n type perovskite solar cells (PSCs). Its favorable opto-electronic properties and facile large-scale preparation methods are potentially relevant for future commercialization of PSCs, though currently low operational stability of PSCs containing NiOx hole transport layers are reporte…
▽ More
Non-stoichiometric nickel oxide (NiOx) is the only metal oxide successfully used as hole transport material in p-i-n type perovskite solar cells (PSCs). Its favorable opto-electronic properties and facile large-scale preparation methods are potentially relevant for future commercialization of PSCs, though currently low operational stability of PSCs containing NiOx hole transport layers are reported. Poorly understood degradation reactions at the interface to the perovskite are seen as cause for the inferior stability and a variety of interface passivation approaches have been shown to be effective in improving the overall solar cell performance. To gain a better understanding of the processes happening at this interface, we systematically passivated possible specific defects on NiOx with three different categories of organic/inorganic compounds. The effects on the NiOx and the perovskite (MAPbI3) were investigated using x-ray photoelectron spectroscopy (XPS), X-ray diffraction (XRD), and scanning electron microscopy (SEM) where we find that the structural stability and film formation can be significantly affected. In combination with Density Functional Theory (DFT) calculations, a likely origin of NiOx-perovskite degradation interactions is proposed. The surface passivated NiOx was incorporated into MAPbI3 based PSCs and its influence on overall performance, particularly operational stability, was investigated by current-voltage (J-V), impedance spectroscopy (IS), and open circuit voltage decay (OCVD) measurements. Interestingly, we find that a superior structural stability due to an interface passivation must not relate to high operational stability. The discrepancy comes from the formation of excess ions at the interface which negatively impacts all solar cell parameters.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
The impact of load placement on grid resonances during grid restoration
Authors:
Adolfo Anta,
Diego Cifelli
Abstract:
As inverter-based generation is being massively deployed in the grid, these type of units have to take over the current roles of conventional generation, including the capability of restoring the grid. In this context, the resonances of the grid during the first steps of a black start can be concerning, given that the grid is lightly loaded. Especially relevant are the low frequency resonances, th…
▽ More
As inverter-based generation is being massively deployed in the grid, these type of units have to take over the current roles of conventional generation, including the capability of restoring the grid. In this context, the resonances of the grid during the first steps of a black start can be concerning, given that the grid is lightly loaded. Especially relevant are the low frequency resonances, that may be excited by the harmonic components of the inverter. A typical strategy to avoid or minimize the effect of such resonances relies on connecting load banks. This was fairly feasible with conventional generation, but given the limited ratings of inverters, the amount of load that can be connected at the beginning is very limited. In this paper we consider the energization of a transmission line, and investigate the optimal location of a load along a line in order to maximize the dam** in the system. By analysing the spectral properties as a function of the load location, we formally prove that placing the load in the middle of the transmission line maximizes the dam** ratio of the first resonance of the system.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Degradation Analysis of Perovskite Solar Cells via Short-Circuit Impedance Spectroscopy: A case study on NiOx passivation
Authors:
Osbel Almora,
Pilar López-Varo,
Renán Escalante,
John Mohanraj,
Luis F Marsal,
Selina Olthof,
Juan A. Anta
Abstract:
Perovskite solar cells (PSCs) continue to be the front runner technology among emerging photovoltaic devices in terms of power conversion efficiency and application versatility. However, not only the stability but also the understanding of their ionic-electronic transport mechanisms continues to be challenging. In this work, the case study of NiOx-based inverted PSCs and the effect of different in…
▽ More
Perovskite solar cells (PSCs) continue to be the front runner technology among emerging photovoltaic devices in terms of power conversion efficiency and application versatility. However, not only the stability but also the understanding of their ionic-electronic transport mechanisms continues to be challenging. In this work, the case study of NiOx-based inverted PSCs and the effect of different interface passivating treatments on the device performance are approached. Our experiments include impedance spectroscopy (IS) measurements in short-circuit under different illumination intensities and operational stability tests under constant illumination intensity. It is found that certain surface treatments lead to more stable performance. However, protic anion donors can induce, both, an initial performance decrease and a subsequent reactivity during light exposure which apparently improves the cells performance. Our drift-diffusion simulations suggest that the modification of the interface with the hole transport material may have decrease the conductivity, as well as the ion and electron mobilities at the perovskite and the NiOx, respectively. Importantly, capacitance and resistance are shown to peak maximum and minimum values, respectively, around specific ranges of mobile ion concentration. Our results introduce a general route for characterization of degradation paths in PSCs via IS in short-circuit.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
Grid-Forming Hybrid Angle Control: Behavior, Stability, Variants and Verification
Authors:
Ali Tayyebi,
Denis Vettoretti,
Adolfo Anta,
Florian Dörfler
Abstract:
This work explores the stability, behavior, variants, and a controller-hardware-in-the-loop (C-HiL) verification of the recently proposed grid-forming (GFM) hybrid angle control (HAC). We revisit the foundation of GFM HAC, and highlight its behavioral properties in relation to the conventional synchronous machine (SM). Next, we introduce the required complementary controls to be combined with the…
▽ More
This work explores the stability, behavior, variants, and a controller-hardware-in-the-loop (C-HiL) verification of the recently proposed grid-forming (GFM) hybrid angle control (HAC). We revisit the foundation of GFM HAC, and highlight its behavioral properties in relation to the conventional synchronous machine (SM). Next, we introduce the required complementary controls to be combined with the HAC to realize a GFM behavior. The characterization of the analytical operating point and nonlinear energy-based stability analysis of a grid-connected converter under the HAC is presented. Further, we consider various output filter configurations and derive an approximation for the original control proposal. Moreover, we provide details on the integration of GFM HAC into a complex converter control architecture and introduce several variants of the standard HAC. Finally, the performance of GFM HAC is verified by several test scenarios in a C-HiL setup to test its behavior against real-world effect such as noise and delays.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Nowcasting Temporal Trends Using Indirect Surveys
Authors:
Ajitesh Srivastava,
Juan Marcos Ramírez,
Sergio Díaz-Aranda,
Jose Aguilar,
Antonio Ortega,
Antonio Fernández Anta,
Rosa Elvira Lillo
Abstract:
Indirect surveys, in which respondents provide information about other people they know, have been proposed for estimating (nowcasting) the size of a \emph{hidden population} where privacy is important or the hidden population is hard to reach. Examples include estimating casualties in an earthquake, conditions among female sex workers, and the prevalence of drug use and infectious diseases. The N…
▽ More
Indirect surveys, in which respondents provide information about other people they know, have been proposed for estimating (nowcasting) the size of a \emph{hidden population} where privacy is important or the hidden population is hard to reach. Examples include estimating casualties in an earthquake, conditions among female sex workers, and the prevalence of drug use and infectious diseases. The Network Scale-up Method (NSUM) is the classical approach to develo** estimates from indirect surveys, but it was designed for one-shot surveys. Further, it requires certain assumptions and asking for or estimating the number of individuals in each respondent's network. In recent years, surveys have been increasingly deployed online and can collect data continuously (e.g., COVID-19 surveys on Facebook during much of the pandemic). Conventional NSUM can be applied to these scenarios by analyzing the data independently at each point in time, but this misses the opportunity of leveraging the temporal dimension. We propose to use the responses from indirect surveys collected over time and develop analytical tools (i) to prove that indirect surveys can provide better estimates for the trends of the hidden population over time, as compared to direct surveys and (ii) to identify appropriate temporal aggregations to improve the estimates. We demonstrate through extensive simulations that our approach outperforms traditional NSUM and direct surveying methods. We also empirically demonstrate the superiority of our approach on a real indirect survey dataset of COVID-19 cases.
△ Less
Submitted 14 December, 2023; v1 submitted 13 July, 2023;
originally announced July 2023.
-
Improving Blockchain Scalability with the Setchain Data-type
Authors:
Margarita Capretto,
Martín Ceresa,
Antonio Fernández Anta,
Antonio Russo,
César Sánchez
Abstract:
Blockchain technologies are facing a scalability challenge, which must be overcome to guarantee a wider adoption of the technology. This scalability issue is due to the use of consensus algorithms to guarantee the total order of the chain of blocks and of the transactions within each block. However, total order is often not fully necessary, since important advanced applications of smart-contracts…
▽ More
Blockchain technologies are facing a scalability challenge, which must be overcome to guarantee a wider adoption of the technology. This scalability issue is due to the use of consensus algorithms to guarantee the total order of the chain of blocks and of the transactions within each block. However, total order is often not fully necessary, since important advanced applications of smart-contracts do not require a total order among all operations. A much higher scalability can potentially be achieved if a more relaxed order can be exploited. In this paper, we propose a novel distributed concurrent data type, called Setchain, which improves scalability significantly. A Setchain implements a grow-only set whose elements are not ordered, unlike conventional blockchain operations. When convenient, the Setchain allows forcing a synchronization barrier that assigns permanently an epoch number to a subset of the latest elements added, agreed by consensus. Therefore, two operations in the same epoch are not ordered, while two operations in different epochs are ordered by their respective epoch number. We present different Byzantine-tolerant implementations of Setchain, prove their correctness and report on an empirical evaluation of a prototype implementation. Our results show that Setchain is orders of magnitude faster than consensus-based ledgers, since it implements grow-only sets with epoch synchronization instead of total order. Since Setchain barriers can be synchronized with the underlying blockchain, Setchain objects can be used as a sidechain to implement many decentralized solutions with much faster operations than direct implementations on top of blockchains. Finally, we also present an algorithm that encompasses in a single process the combined behavior of Byzantine servers, which simplifies correctness proofs by encoding the general attacker in a concrete implementation.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
Multivariate Functional Outlier Detection using the FastMUOD Indices
Authors:
Oluwasegun Taiwo Ojo,
Antonio Fernández Anta,
Marc G. Genton,
Rosa E. Lillo
Abstract:
We present definitions and properties of the fast massive unsupervised outlier detection (FastMUOD) indices, used for outlier detection (OD) in functional data. FastMUOD detects outliers by computing, for each curve, an amplitude, magnitude and shape index meant to target the corresponding types of outliers. Some methods adapting FastMUOD to outlier detection in multivariate functional data are th…
▽ More
We present definitions and properties of the fast massive unsupervised outlier detection (FastMUOD) indices, used for outlier detection (OD) in functional data. FastMUOD detects outliers by computing, for each curve, an amplitude, magnitude and shape index meant to target the corresponding types of outliers. Some methods adapting FastMUOD to outlier detection in multivariate functional data are then proposed. These include applying FastMUOD on the components of the multivariate data and using random projections. Moreover, these techniques are tested on various simulated and real multivariate functional datasets. Compared with the state of the art in multivariate functional OD, the use of random projections showed the most effective results with similar, and in some cases improved, OD performance.
△ Less
Submitted 26 July, 2022;
originally announced July 2022.
-
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers
Authors:
Margarita Capretto,
Martín Ceresa,
Antonio Fernández Anta,
Antonio Russo,
César Sánchez
Abstract:
Blockchain technologies are facing a scalability challenge, which must be overcome to guarantee a wider adoption of the technology. This scalability issue is mostly caused by the use of consensus algorithms to guarantee the total order of the chain of blocks (and of the operations within each block). However, total order is often overkilling, since important advanced applications of smart-contract…
▽ More
Blockchain technologies are facing a scalability challenge, which must be overcome to guarantee a wider adoption of the technology. This scalability issue is mostly caused by the use of consensus algorithms to guarantee the total order of the chain of blocks (and of the operations within each block). However, total order is often overkilling, since important advanced applications of smart-contracts do not require a total order of all the operations. Hence, if a more relaxed partial order (instead of a total order) is allowed under certain safety conditions, a much higher scalability can be achieved. In this paper, we propose a distributed concurrent data type, called Setchain, that allows implementing this partial order and increases significantly blockchain scalability. A Setchain implements a grow-only set object whose elements are not totally ordered, unlike conventional blockchain operations. When convenient, the Setchain allows forcing a synchronization barrier that assigns permanently an epoch number to a subset of the latest elements added. With the Setchain, operations in the same epoch are not ordered, while operations in different epochs are. We present different Byzantine-tolerant implementations of Setchain, prove their correctness and report on an empirical evaluation of a direct implementation. Our results show that Setchain is orders of magnitude faster than consensus-based ledgers to implement grow-only sets with epoch synchronization. Since the Setchain barriers can be synchronized with block consolidation, Setchain objects can be used as a sidechain to implement many smart contract solutions with much faster operations than on basic blockchains.
△ Less
Submitted 23 June, 2022;
originally announced June 2022.
-
Validated Objects: Specification, Implementation, and Applications
Authors:
Antonio Fernández Anta,
Chryssis Georgiou,
Nicolas Nicolaou,
Antonio Russo
Abstract:
Guaranteeing the validity of concurrent operations on distributed objects is a key property for ensuring reliability and consistency in distributed systems. Usually, the methods for validating these operations, if present, are wired in the object implementation. In this work, we formalize the notion of a {\em validated object}, decoupling the object operations and properties from the validation pr…
▽ More
Guaranteeing the validity of concurrent operations on distributed objects is a key property for ensuring reliability and consistency in distributed systems. Usually, the methods for validating these operations, if present, are wired in the object implementation. In this work, we formalize the notion of a {\em validated object}, decoupling the object operations and properties from the validation procedure. We consider two types of objects, satisfying different levels of consistency: the validated {\em totally-ordered} object, offering a total ordering of its operations, and its weaker variant, the validated {\em regular} object. We provide conditions under which it is possible to implement these objects. In particular, we show that crash-tolerant implementations of validated regular objects are always possible in an asynchronous system with a majority of correct processes. However, for validated totally-ordered objects, consensus is always required if a property of the object we introduce in this work, {\em persistent validity,} does not hold. Persistent validity combined with another new property, {\em persistent execution}, allows consensus-free crash-tolerant implementations of validated totally-ordered objects. We demonstrate the utility of validated objects by considering several applications conforming to our formalism.
△ Less
Submitted 26 May, 2022;
originally announced May 2022.
-
Ultrathin plasma polymer passivation of perovskite solar cells for improved stability and reproducibility
Authors:
Jose M. Obrero-Perez,
Lidia Contreras-Bernal+,
Fernando Nunez-Galvez,
Javier Castillo-Seoane,
Karen Valadez-Villalobos,
Francisco J. Aparicio,
Juan A. Anta,
Ana Borras,
Juan R. Sanchez-Valencia,
Angel Barranco+
Abstract:
Despite the youthfulness of hybrid halide perovskite solar cells, their efficiencies are currently comparable to commercial silicon and have surpassed quantum-dots solar cells. Yet, the scalability of these devices is a challenge due to their low reproducibility and stability under environmental conditions. However, the methods reported to date to tackle such issues recurrently involve the use of…
▽ More
Despite the youthfulness of hybrid halide perovskite solar cells, their efficiencies are currently comparable to commercial silicon and have surpassed quantum-dots solar cells. Yet, the scalability of these devices is a challenge due to their low reproducibility and stability under environmental conditions. However, the methods reported to date to tackle such issues recurrently involve the use of solvent methods that would further complicate their transfer to industry. Herein we present a reliable alternative relaying in the implementation of an ultrathin plasma polymer as passivation interface between the electron transport material and the hybrid perovskite layer. Such nanoengineering interface provides solar devices with increased long-term stability under ambient conditions. Thus, without consideringr any additional encapsulation step, the cells retain more than 80 % of their efficiency after being exposed to the ambient atmosphere for more than 1000 h. Moreover, this plasma polymer passivation strategy significantly improves the coverage of the mesoporous scaffold by the perovskite layer, providing the solar cells with enhanced performance as well as improved reproducibility.
△ Less
Submitted 16 February, 2022;
originally announced February 2022.
-
Transferable classical force field for pure and mixed metal halide perovskites parameterized from first principles
Authors:
Juan Antonio Seijas-Bellido,
Bipasa Samanta,
Karen Valadez-Villalobos,
Juan Jesús Gallardo,
Javier Navas,
Salvador R. G. Balestra,
Rafael María Madero-Castro,
Jose Manuel Vicent-Luna,
Shuxia Tao,
Maytal Caspary Toroker,
Juan Antonio Anta
Abstract:
Many key features in photovoltaic perovskites occur in relatively long time scales and involve mixed compositions. This requires realistic but also numerically simple models. In this work we present a transferable classical force field to describe the mixed hybrid perovskite MA$_x$FA$_{1-x}$Pb(Br$_y$I$_{1-y}$)$_3$ for variable composition ($\forall x,y \in [0,1]$). The model includes Lennard-Jones…
▽ More
Many key features in photovoltaic perovskites occur in relatively long time scales and involve mixed compositions. This requires realistic but also numerically simple models. In this work we present a transferable classical force field to describe the mixed hybrid perovskite MA$_x$FA$_{1-x}$Pb(Br$_y$I$_{1-y}$)$_3$ for variable composition ($\forall x,y \in [0,1]$). The model includes Lennard-Jones and Buckingham potentials to describe the interactions between the atoms of the inorganic lattice and the organic molecule, and the AMBER model to describe intramolecular atomic interactions. Most of the parameters of the force field have been obtained by means of a genetic algorithm previously developed to parameterize the CsPb(Br$_x$I$_{1-x}$)$_3$ perovskite. The algorithm finds the best parameter set that simultaneously fits the DFT energies obtained for several crystalline structures with moderate degrees of distortion with respect to the equilibrium configuration. The resulting model reproduces correctly the XRD patterns, the expansion of the lattice upon I/Br substitution and the thermal expansion coefficients. We use the model to run classical molecular dynamics simulations with up to 8600 atoms and simulation times of up to 40~ns. From the simulations we have extracted the ion diffusion coefficient of the pure and mixed perovskites, presenting for the first time these values obtained by a fully dynamical method using a transferable model fitted to first principles calculations. The values here reported can be considered as the theoretical upper limit for ion migration dynamics induced by halide vacancies in photovoltaic perovskite devices under operational conditions.
△ Less
Submitted 23 November, 2021;
originally announced November 2021.
-
Chirotonia: A Scalable and Secure e-Voting Framework based on Blockchains and Linkable Ring Signatures
Authors:
Antonio Russo,
Antonio Fernández Anta,
Maria Isabel González Vasco,
Simon Pietro Romano
Abstract:
In this paper we propose a comprehensive and scalable framework to build secure-by-design e-voting systems. Decentralization, transparency, determinism, and untamperability of votes are granted by dedicated smart contracts on a blockchain, while voter authenticity and anonymity are achieved through (provable secure) linkable ring signatures. These, in combination with suitable smart contract const…
▽ More
In this paper we propose a comprehensive and scalable framework to build secure-by-design e-voting systems. Decentralization, transparency, determinism, and untamperability of votes are granted by dedicated smart contracts on a blockchain, while voter authenticity and anonymity are achieved through (provable secure) linkable ring signatures. These, in combination with suitable smart contract constraints, also grant protection from double voting. Our design is presented in detail, focusing on its security guarantees and the design choices that allow it to scale to a large number of voters. Finally, we present a proof-of-concept implementation of the proposed framework, made available as open source.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
System-Level Performance and Robustness of the Grid-Forming Hybrid Angle Control
Authors:
Ali Tayyebi,
Alan Magdaleno,
Denis Vettoretti,
Meng Chen,
Eduardo Prieto-Araujo,
Adolfo Anta,
Florian Dörfler
Abstract:
This paper investigates the implementation and application of the multi-variable grid-forming hybrid angle control (HAC) for high-power converters in transmission grids. We explore the system-level performance and robustness of the HAC concept in contrast to other grid-forming schemes i.e., power-frequency droop and matching controls. Our findings suggest that similar to the ac-based droop control…
▽ More
This paper investigates the implementation and application of the multi-variable grid-forming hybrid angle control (HAC) for high-power converters in transmission grids. We explore the system-level performance and robustness of the HAC concept in contrast to other grid-forming schemes i.e., power-frequency droop and matching controls. Our findings suggest that similar to the ac-based droop control, \ac{hac} enhances the small-signal frequency stability in low-inertia power grids, and akin to the dc-based matching control, HAC exhibits robustness when accounting for the practical limits of the converter systems. Thus, HAC combines the aforementioned complementary advantages. Furthermore, we show how retuning certain control parameters of the grid-forming controls improve the frequency performance. Last, as separate contributions, we introduce an alternative control augmentation that enhances the robustness and provides theoretical guidelines on extending the stability certificates of \ac{hac} to multi-converter systems.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
Highly anisotropic organometal halide perovskite nanowalls grown by Glancing Angle Deposition
Authors:
Javier Castillo-Seoane,
Lidia Contreras-Bernal,
Jose M. Obrero-Perez,
Xabier Garcia-Casas,
Francisco Lorenzo-Lazaro,
Francisco J. Aparicio,
M. Carmen Lopez-Santos,
T. Cristina Rojas,
Juan A. Anta,
Ana Borras,
Angel Barranco,
Juan R. Sanchez-Valencia
Abstract:
Polarizers are ubiquitous components in optoelectronic devices of daily use as displays, optical sensors or photographic cameras, among others. Yet the control over light polarization is an unresolved challenge as the main drawback of the current display technologies relays in significant optical losses. In such a context, organometal halide perovskites can play a decisive role given their flexibl…
▽ More
Polarizers are ubiquitous components in optoelectronic devices of daily use as displays, optical sensors or photographic cameras, among others. Yet the control over light polarization is an unresolved challenge as the main drawback of the current display technologies relays in significant optical losses. In such a context, organometal halide perovskites can play a decisive role given their flexible synthesis with under design optical properties . Therefore, along with their outstanding electrical properties have elevated hybrid perovskites as the material of choice in photovoltaics and optoelectronics. Among the different organometal halide perovskite nanostructures, nanowires and nanorods have lately arise as key players for the control of light polarization for lighting or detector applications. Herein, we will present the unprecedented fabrication of highly aligned and anisotropic methylammonium lead iodide (MAPI) perovskite nanowalls by Glancing Angle Deposition of PbI2 under high vacuum followed by CH3NH3I deposition at normal angle. Our approach offers a direct route for the fabrication of perovskite nanostructures virtually on any substrate, including on photovoltaic devices. The unparalleled alignment degree of the perovskite nanowalls provides the samples with strong anisotropic optical properties such as light absorption and photoluminescence, the latter with a maximum polarization ratio of P=0.43. Furthermore, the implementation of the MAPI nanowalls in photovoltaic devices provides them with a polarization-sensitive response, with a maximum photocurrent difference of 2.1 % when illuminating with the near-infrared range of the solar spectrum (>700 nm). Our facile vacuum-based approach embodies a milestone in the development of last generation polarization-sensitive perovskite-based optoelectronic devices such as lighting appliances or self-powered photodetectors.
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
MonTrees: Automated Detection and Classification of Networking Anomalies in Cellular Networks
Authors:
Mohamed Moulay,
Rafael Garcia Leiva,
Pablo J. Rojo Maroni,
Vincenzo Mancuso,
Antonio Fernandez Anta,
Ali Safari Khatouni
Abstract:
The active growth and dynamic nature of cellular networks makes network troubleshooting challenging. Identification of network problems leveraging on machine learning has gained a lot of visibility in the past few years, resulting in dramatically improved cellular network services. In this paper, we present a novel methodology to automate the fault identification process in a cellular network and…
▽ More
The active growth and dynamic nature of cellular networks makes network troubleshooting challenging. Identification of network problems leveraging on machine learning has gained a lot of visibility in the past few years, resulting in dramatically improved cellular network services. In this paper, we present a novel methodology to automate the fault identification process in a cellular network and to classify network anomalies, which combines supervised and unsupervised machine learning algorithms. Our experiments using real data from operational commercial mobile networks obtained through drive-test measurements as well as via the MONROE platform show that our method can automatically identify and classify networking anomalies, thus enabling timely and precise troubleshooting actions.
△ Less
Submitted 12 July, 2021;
originally announced August 2021.
-
Estimating Active Cases of COVID-19
Authors:
Javier Álvarez,
Carlos Baquero,
Elisa Cabana,
Jaya Prakash Champati,
Antonio Fernández Anta,
Davide Frey,
Augusto García-Agúndez,
Chryssis Georgiou,
Mathieu Goessens,
Harold Hernández,
Rosa Lillo,
Raquel Menezes,
Raúl Moreno,
Nicolas Nicolaou,
Oluwasegun Ojo,
Antonio Ortega,
Jesús Rufino,
Efstathios Stavrakis,
Govind Jeevan,
Christin Glorioso
Abstract:
Having accurate and timely data on confirmed active COVID-19 cases is challenging, since it depends on testing capacity and the availability of an appropriate infrastructure to perform tests and aggregate their results. In this paper, we propose methods to estimate the number of active cases of COVID-19 from the official data (of confirmed cases and fatalities) and from survey data. We show that t…
▽ More
Having accurate and timely data on confirmed active COVID-19 cases is challenging, since it depends on testing capacity and the availability of an appropriate infrastructure to perform tests and aggregate their results. In this paper, we propose methods to estimate the number of active cases of COVID-19 from the official data (of confirmed cases and fatalities) and from survey data. We show that the latter is a viable option in countries with reduced testing capacity or suboptimal infrastructures.
△ Less
Submitted 6 August, 2021;
originally announced August 2021.
-
How resilient is the Open Web to the COVID-19 pandemic?
Authors:
José González-Cabañas,
Patricia Callejo,
Pelayo Vallina,
Ángel Cuevas,
Rubén Cuevas,
Antonio Fernández Anta
Abstract:
In this paper we refer to the Open Web to the set of services offered freely to Internet users, representing a pillar of modern societies. Despite its importance for society, it is unknown how the COVID-19 pandemic is affecting the Open Web. In this paper, we address this issue, focusing our analysis on Spain, one of the countries which have been most impacted by the pandemic.
On the one hand, w…
▽ More
In this paper we refer to the Open Web to the set of services offered freely to Internet users, representing a pillar of modern societies. Despite its importance for society, it is unknown how the COVID-19 pandemic is affecting the Open Web. In this paper, we address this issue, focusing our analysis on Spain, one of the countries which have been most impacted by the pandemic.
On the one hand, we study the impact of the pandemic in the financial backbone of the Open Web, the online advertising business. To this end, we leverage concepts from Supply-Demand economic theory to perform a careful analysis of the elasticity in the supply of ad-spaces to the financial shortage of the online advertising business and its subsequent reduction in ad spaces' price. On the other hand, we analyze the distribution of the Open Web composition across business categories and its evolution during the COVID-19 pandemic. These analyses are conducted between Jan 1st and Dec 31st, 2020, using a reference dataset comprising information from more than 18 billion ad spaces.
Our results indicate that the Open Web has experienced a moderate shift in its composition across business categories. However, this change is not produced by the financial shortage of the online advertising business, because as our analysis shows, the Open Web's supply of ad spaces is inelastic (i.e., insensitive) to the sustained low-price of ad spaces during the pandemic. Instead, existing evidence suggests that the reported shift in the Open Web composition is likely due to the change in the users' online behavior (e.g., browsing and mobile apps utilization patterns).
△ Less
Submitted 28 March, 2022; v1 submitted 30 July, 2021;
originally announced July 2021.
-
A new ideality factor for perovskite solar cells and an analytical theory for their impedance spectroscopy response
Authors:
Laurence J. Bennett,
Antonio J. Riquelme,
Nicola E. Courtier,
Juan A. Anta,
Giles Richardson
Abstract:
Impedance spectroscopy (IS) is a relatively straightforward experimental technique that is commonly used to obtain information about the physical and chemical characteristics of photovoltaic devices. However, the non-standard physical behaviour of perovskite solar cells (PSC), which are heavily influenced by the motion of mobile ion vacancies, has hindered efforts to obtain a consistent theory to…
▽ More
Impedance spectroscopy (IS) is a relatively straightforward experimental technique that is commonly used to obtain information about the physical and chemical characteristics of photovoltaic devices. However, the non-standard physical behaviour of perovskite solar cells (PSC), which are heavily influenced by the motion of mobile ion vacancies, has hindered efforts to obtain a consistent theory to interpret PSC impedance data. This work rectifies this omission by deriving a simple analytic model of the impedance response of a PSC from the underlying drift-diffusion model of charge carrier dynamics and ion vacancy motion. Extremely good agreement is shown between the analytic model and the much more complex drift-diffusion model in regimes (including maximum power point) where the applied voltage is close to the open circuit voltage $V_{oc}$. Both models show good qualitative agreement to experimental IS data in the literature and predict many of the observed anomalous features found in impedance measurements on PSCs, such as `the giant low frequency capacitance` and `inductive arcs' in the Nyquist plots. Where the physical properties of the PSC are already known the analytic model can be used to predict the recombination current $j_{rec}$ and the high and low frequency resistances and capacitances of the cell, $R_{HF}$, $C_{HF}$, $R_{LF}$ and $C_{LF}$. In scenarios where the physical properties of the cell are unknown the analytic model can also used to extract physical parameters from experimental PSC impedance data. {A novel physical parameter of particular significance to PSC physics is identified. This is termed the electronic ideality factor, $n_{el}$, and (as opposed to the standard ideality factor) can be used to deduce the dominant source of recombination in a PSC, independent of its ionic properties.
△ Less
Submitted 24 May, 2021;
originally announced May 2021.
-
Outlier Detection for Functional Data with R Package fdaoutlier
Authors:
Oluwasegun Ojo,
Rosa E. Lillo,
Antonio Fernández Anta
Abstract:
Outlier detection is one of the standard exploratory analysis tasks in functional data analysis. We present the R package fdaoutlier which contains implementations of some of the latest techniques for detecting functional outliers. The package makes it easy to detect different types of outliers (magnitude, shape, and amplitude) in functional data, and some of the implemented methods can be applied…
▽ More
Outlier detection is one of the standard exploratory analysis tasks in functional data analysis. We present the R package fdaoutlier which contains implementations of some of the latest techniques for detecting functional outliers. The package makes it easy to detect different types of outliers (magnitude, shape, and amplitude) in functional data, and some of the implemented methods can be applied to both univariate and multivariate functional data. We illustrate the main functionality of the R package with common functional datasets in the literature.
△ Less
Submitted 14 October, 2021; v1 submitted 11 May, 2021;
originally announced May 2021.
-
Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications
Authors:
Vicent Cholvi,
Antonio Fernández Anta,
Chryssis Georgiou,
Nicolas Nicolaou,
Michel Raynal,
Antonio Russo
Abstract:
In order to formalize Distributed Ledger Technologies and their interconnections, a recent line of research work has formulated the notion of Distributed Ledger Object (DLO), which is a concurrent object that maintains a totally ordered sequence of records, abstracting blockchains and distributed ledgers. Through DLO, the Atomic Appends problem, intended as the need of a primitive able to append m…
▽ More
In order to formalize Distributed Ledger Technologies and their interconnections, a recent line of research work has formulated the notion of Distributed Ledger Object (DLO), which is a concurrent object that maintains a totally ordered sequence of records, abstracting blockchains and distributed ledgers. Through DLO, the Atomic Appends problem, intended as the need of a primitive able to append multiple records to distinct ledgers in an atomic way, is studied as a basic interconnection problem among ledgers.
In this work, we propose the Distributed Grow-only Set object (DSO), which instead of maintaining a sequence of records, as in a DLO, maintains a set of records in an immutable way: only Add and Get operations are provided. This object is inspired by the Grow-only Set (G-Set) data type which is part of the Conflict-free Replicated Data Types. We formally specify the object and we provide a consensus-free Byzantine-tolerant implementation that guarantees eventual consistency. We then use our Byzantine-tolerant DSO (BDSO) implementation to provide consensus-free algorithmic solutions to the Atomic Appends and Atomic Adds (the analogous problem of atomic appends applied on G-Sets) problems, as well as to construct consensus-free Single-Writer BDLOs. We believe that the BDSO has applications beyond the above-mentioned problems.
△ Less
Submitted 16 March, 2021;
originally announced March 2021.
-
Fragmented Objects: Boosting Concurrency of Shared Large Objects
Authors:
Antonio Fernandez Anta,
Chryssis Georgiou,
Theophanis Hadjistasi,
Nicolas Nicolaou,
Efstathios Stavrakis,
Andria Trigeorgi
Abstract:
This work examines strategies to handle large shared data objects in distributed storage systems (DSS), while boosting the number of concurrent accesses, maintaining strong consistency guarantees, and ensuring good operation performance. To this respect, we define the notion of fragmented objects:con-current objects composed of a list of fragments (or blocks) that allow operations to manipulate ea…
▽ More
This work examines strategies to handle large shared data objects in distributed storage systems (DSS), while boosting the number of concurrent accesses, maintaining strong consistency guarantees, and ensuring good operation performance. To this respect, we define the notion of fragmented objects:con-current objects composed of a list of fragments (or blocks) that allow operations to manipulate each of their fragments individually. As the fragments belong to the same object, it is not enough that each fragment is linearizable to have useful consistency guarantees in the composed object. Hence, we capture the consistency semantic of the whole object with the notion of fragmented linearizability. Then, considering that a variance of linearizability, coverability, is more suited for versioned objects like files, we provide an implementation of a distributed file system, called COBFS, that utilizes coverable fragmented objects (i.e., files).In COBFS, each file is a linked-list of coverable block objects. Preliminary emulation of COBFS demonstrates the potential of our approach in boosting the concurrency of strongly consistent large objects.
△ Less
Submitted 7 March, 2021; v1 submitted 25 February, 2021;
originally announced February 2021.
-
Hybrid Angle Control and Almost Global Stability of Grid-Forming Power Converters
Authors:
Ali Tayyebi,
Adolfo Anta,
Florian Dörfler
Abstract:
This paper introduces a new grid-forming control for power converters, termed hybrid angle control (HAC) that ensures the almost global closed-loop stability. HAC combines the recently proposed matching control with a novel nonlinear angle feedback reminiscent of (though not identical to) classic droop and dispatchable virtual oscillator controls. The synthesis of HAC is inspired by the complement…
▽ More
This paper introduces a new grid-forming control for power converters, termed hybrid angle control (HAC) that ensures the almost global closed-loop stability. HAC combines the recently proposed matching control with a novel nonlinear angle feedback reminiscent of (though not identical to) classic droop and dispatchable virtual oscillator controls. The synthesis of HAC is inspired by the complementary benefits of the dc-based matching and ac-based grid-forming controls as well as ideas from direct angle control and nonlinear dam** assignment. The proposed HAC is applied to a high-fidelity nonlinear converter model that is connected to an infinite bus or a center-of-inertia dynamic grid models via a dynamic inductive line. We provide insightful parametric conditions for the existence, uniqueness, and global stability of the closed-loop equilibria. Unlike related stability certificates, our parametric conditions do not demand strong physical dam**, on the contrary they can be met by appropriate choice of control parameters. Moreover, we consider the safety constraints of power converters and synthesize a new current-limiting control that is compatible with HAC. Last, we present a practical implementation of HAC and uncover its intrinsic droop behavior, derive a feedforward ac voltage and power control, and illustrate the behavior of the closed-loop system with publicly available numerical examples.
△ Less
Submitted 17 August, 2020;
originally announced August 2020.
-
CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics
Authors:
Oluwasegun Ojo,
Augusto García-Agundez,
Benjamin Girault,
Harold Hernández,
Elisa Cabana,
Amanda García-García,
Payman Arabshahi,
Carlos Baquero,
Paolo Casari,
Ednaldo José Ferreira,
Davide Frey,
Chryssis Georgiou,
Mathieu Goessens,
Anna Ishchenko,
Ernesto Jiménez,
Oleksiy Kebkal,
Rosa Lillo,
Raquel Menezes,
Nicolas Nicolaou,
Antonio Ortega,
Paul Patras,
Julian C Roberts,
Efstathios Stavrakis,
Yuichi Tanaka,
Antonio Fernández Anta
Abstract:
The world is suffering from a pandemic called COVID-19, caused by the SARS-CoV-2 virus. National governments have problems evaluating the reach of the epidemic, due to having limited resources and tests at their disposal. This problem is especially acute in low and middle-income countries (LMICs). Hence, any simple, cheap and flexible means of evaluating the incidence and evolution of the epidemic…
▽ More
The world is suffering from a pandemic called COVID-19, caused by the SARS-CoV-2 virus. National governments have problems evaluating the reach of the epidemic, due to having limited resources and tests at their disposal. This problem is especially acute in low and middle-income countries (LMICs). Hence, any simple, cheap and flexible means of evaluating the incidence and evolution of the epidemic in a given country with a reasonable level of accuracy is useful. In this paper, we propose a technique based on (anonymous) surveys in which participants report on the health status of their contacts. This indirect reporting technique, known in the literature as network scale-up method, preserves the privacy of the participants and their contacts, and collects information from a larger fraction of the population (as compared to individual surveys). This technique has been deployed in the CoronaSurveys project, which has been collecting reports for the COVID-19 pandemic for more than two months. Results obtained by CoronaSurveys show the power and flexibility of the approach, suggesting that it could be an inexpensive and powerful tool for LMICs.
△ Less
Submitted 26 June, 2020; v1 submitted 24 May, 2020;
originally announced May 2020.
-
Efficient Modelling of Ion Structure and Dynamics in Inorganic Metal Halide Perovskites
Authors:
Salvador Rodriguez-Gomez Balestra,
Jose Manuel Vicent-Luna,
Sofia Calero,
Shuxia Tao,
Juan A. Anta
Abstract:
Metal halide perovskites (MHPs) are nowadays one of the most studied semiconductors due to their exceptional performance as active layers in solar cells. Although MHPs are excellent solid-state semiconductors, they are also ionic compounds, where ion migration plays a decisive role in their formation, their photovoltaic performance and their long-term stability. Given the above-mentioned complexit…
▽ More
Metal halide perovskites (MHPs) are nowadays one of the most studied semiconductors due to their exceptional performance as active layers in solar cells. Although MHPs are excellent solid-state semiconductors, they are also ionic compounds, where ion migration plays a decisive role in their formation, their photovoltaic performance and their long-term stability. Given the above-mentioned complexity, molecular dynamics simulations based on classical force fields are especially suited to study MHP properties, such as lattice dynamics and ion migration. In particular, the possibility to model mixed compositions is important since they are the most relevant to optimize the optical band gap and the stability. With this intention, we employ DFT calculations and a genetic algorithm to develop a fully transferable classical force field valid for the benchmark inorganic perovskite compositional set CsPb(Br_xI_(1-x))_3 (x = 0,1/3,2/3,1). The resulting force field reproduces correctly, with a common set of parameters valid for all compositions, the experimental lattice parameter as a function of bromide/iodide ratio, the ion-ion distances and the XRD spectra of the pure and mixed structures. The simulated thermal conductivities and ion migration activation energies of the pure compounds are also in good agreement with experimental trends. Our molecular dynamics simulations make it possible to predict the compositional dependence of the ionic diffusion coefficient on bromide/iodide ratio and vacancy concentration. For vacancy concentrations of around 9 10^21 cm^-3, we obtained ionic diffusion coefficients at ambient temperature of 10^-11 and 10^-13 cm2/s for CsPbBr3 and CsPbI3, respectively. Interestingly, in comparison with the pure compounds, we predict a significantly lower activation energy for vacancy migration and faster diffusion for the mixed perovskites.
△ Less
Submitted 20 March, 2020;
originally announced March 2020.
-
Deducing the key physical properties of a perovskite solar cell from its impedance response: insights from drift-diffusion modelling
Authors:
Antonio Riquelme,
Laurence J. Bennett,
Nicola E. Courtier,
Matthew J. Wolf,
Lidia Contreras-Bernal,
Alison Walker,
Giles Richardson,
Juan A. Anta
Abstract:
Interpreting the impedance response of perovskite solar cells (PSC) is significantly more challenging than for most other photovoltaics. This is for a variety of reasons, of which the most significant are the mixed ionic-electronic conduction properties of metal halide perovskites and the difficulty in fabricating stable, and reproducible, devices. Experimental studies, conducted on a variety of P…
▽ More
Interpreting the impedance response of perovskite solar cells (PSC) is significantly more challenging than for most other photovoltaics. This is for a variety of reasons, of which the most significant are the mixed ionic-electronic conduction properties of metal halide perovskites and the difficulty in fabricating stable, and reproducible, devices. Experimental studies, conducted on a variety of PSCs, produce a variety of impedance spectra shapes. However, they all possess common features, the most noteworthy of which is that they have at least two signals, at high and low frequency, with different characteristic responses to temperature, illumination and electrical bias. It is shown, by a combination of experiment and drift-diffusion modelling of the ion and charge carrier transport and recombination within the cell, that these common features are well reproduced by the simulation. In addition, we show that the high frequency response contains all the key information relating to the steady-state performance of a PSC, i.e. it is a signature of the recombination mechanisms and provides a measure of charge collection efficiency. Moreover, steady-state performance is significantly affected by the distribution of mobile ionic charge within the perovskite layer. Comparison between the electrical properties of different devices should therefore be made using high frequency impedance measurements performed in the steady-state voltage regime in which the cell is expected to operate.
△ Less
Submitted 16 March, 2020;
originally announced March 2020.
-
Frequency Stability of Synchronous Machines and Grid-Forming Power Converters
Authors:
Ali Tayyebi,
Dominic Groß,
Adolfo Anta,
Friederich Kupzog,
Florian Dörfler
Abstract:
An inevitable consequence of the global power system transition towards nearly 100% renewable-based generation is the loss of conventional bulk generation by synchronous machines, their inertia, and accompanying frequency and voltage control mechanisms. This gradual transformation of the power system to a low-inertia system leads to critical challenges in maintaining system stability. Novel contro…
▽ More
An inevitable consequence of the global power system transition towards nearly 100% renewable-based generation is the loss of conventional bulk generation by synchronous machines, their inertia, and accompanying frequency and voltage control mechanisms. This gradual transformation of the power system to a low-inertia system leads to critical challenges in maintaining system stability. Novel control techniques for converters, so-called grid-forming strategies, are expected to address these challenges and replicate functionalities that so far have been provided by synchronous machines. This article presents a low-inertia case study that includes synchronous machines and converters controlled under various grid-forming techniques. In this work 1) the positive impact of the grid-forming converters on the frequency stability of synchronous machines is highlighted, 2) a qualitative analysis which provides insights into the frequency stability of the system is presented, 3) we explore the behavior of the grid-forming controls when imposing the converter dc and ac current limitations, 4) the importance of the dc dynamics in grid-forming control design as well as the critical need for an effective ac current limitation scheme are reported, and lastly 5) we analyze how and when the interaction between the fast grid-forming converter and the slow synchronous machine dynamics can contribute to the system instability
△ Less
Submitted 8 March, 2020;
originally announced March 2020.
-
Appending Atomically in Byzantine Distributed Ledgers
Authors:
Vicent Cholvi,
Antonio Fernandez Anta,
Chryssis Georgiou,
Nicolas Nicolaou,
Michel Raynal
Abstract:
A Distributed Ledger Object (DLO) is a concurrent object that maintains a totally ordered sequence of records, and supports two basic operations: append, which appends a record at the end of the sequence, and get, which returns the sequence of records. In this work we provide a proper formalization of a Byzantine-tolerant Distributed Ledger Object (BDLO), which is a DLO in a distributed system in…
▽ More
A Distributed Ledger Object (DLO) is a concurrent object that maintains a totally ordered sequence of records, and supports two basic operations: append, which appends a record at the end of the sequence, and get, which returns the sequence of records. In this work we provide a proper formalization of a Byzantine-tolerant Distributed Ledger Object (BDLO), which is a DLO in a distributed system in which processes may deviate arbitrarily from their indented behavior, i.e. they may be Byzantine. Our formal definition is accompanied by algorithms to implement BDLOs by utilizing an underlying Byzantine Atomic Broadcast service.
We then utilize the BDLO implementations to solve the Atomic Appends problem against Byzantine processes. The Atomic Appends problem emerges when several clients have records to append, the record of each client has to be appended to a different BDLO, and it must be guaranteed that either all records are appended or none. We present distributed algorithms implementing solutions for the Atomic Appends problem when the clients (which are involved in the appends) and the servers (which maintain the BDLOs) may be Byzantine.
△ Less
Submitted 26 February, 2020;
originally announced February 2020.
-
Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks
Authors:
Tobias Meuser,
Oluwasegun Taiwo Ojo,
Daniel Bischoff,
Antonio Fernández Anta,
Ioannis Stavrakakis,
Ralf Steinmetz
Abstract:
To support location-based services, vehicles must share their location with a server to receive relevant data, compromising their (location) privacy. To alleviate this privacy compromise, the vehicle's location can be obfuscated by adding artificial noise. Under limited available bandwidth, and since the area including the vehicle's location increases with the noise, the server will provide fewer…
▽ More
To support location-based services, vehicles must share their location with a server to receive relevant data, compromising their (location) privacy. To alleviate this privacy compromise, the vehicle's location can be obfuscated by adding artificial noise. Under limited available bandwidth, and since the area including the vehicle's location increases with the noise, the server will provide fewer data relevant to the vehicle's true location, reducing the effectiveness of a location-based service. To alleviate this problem, we propose that data relevant to a vehicle is also provided through direct, ad hoc communication by neighboring vehicles. Through such Vehicle-to-Vehicle (V2V) cooperation, the impact of location obfuscation is mitigated. Since vehicles subscribe to data of (location-dependent) impact values, neighboring vehicles will subscribe to largely overlap** sets of data, reducing the benefit of V2V cooperation. To increase such benefit, we develop and study a non-cooperative game determining the data that a vehicle should subscribe to, aiming at maximizing its utilization while considering the participating (neighboring) vehicles. Our analysis and results show that the proposed V2V cooperation and derived strategy lead to significant performance increase compared to non-cooperative approaches and largely alleviates the impact of privacy on location-based services.
△ Less
Submitted 20 January, 2020;
originally announced January 2020.
-
Detecting and Classifying Outliers in Big Functional Data
Authors:
Oluwasegun Taiwo Ojo,
Antonio Fernández Anta,
Rosa E. Lillo,
Carlo Sguera
Abstract:
We propose two new outlier detection methods, for identifying and classifying different types of outliers in (big) functional data sets. The proposed methods are based on an existing method called Massive Unsupervised Outlier Detection (MUOD). MUOD detects and classifies outliers by computing for each curve, three indices, all based on the concept of linear regression and correlation, which measur…
▽ More
We propose two new outlier detection methods, for identifying and classifying different types of outliers in (big) functional data sets. The proposed methods are based on an existing method called Massive Unsupervised Outlier Detection (MUOD). MUOD detects and classifies outliers by computing for each curve, three indices, all based on the concept of linear regression and correlation, which measure outlyingness in terms of shape, magnitude and amplitude, relative to the other curves in the data. 'Semifast-MUOD', the first method, uses a sample of the observations in computing the indices, while 'Fast-MUOD', the second method, uses the point-wise or $L_1$ median in computing the indices. The classical boxplot is used to separate the indices of the outliers from those of the typical observations. Performance evaluation of the proposed methods using simulated data show significant improvements compared to MUOD, both in outlier detection and computational time. We show that Fast-MUOD is especially well suited to handling big and dense functional datasets with very small computational time compared to other methods. Further comparisons with some recent outlier detection methods for functional data also show superior or comparable outlier detection accuracy of the proposed methods. We apply the proposed methods on weather, population growth, and video data.
△ Less
Submitted 14 October, 2021; v1 submitted 16 December, 2019;
originally announced December 2019.
-
Beyond low-inertia systems: Massive integration of grid-forming power converters in transmission grids
Authors:
Alessandro Crivellaro,
Ali Tayyebi,
Catalin Gavriluta,
Dominic Groß,
Adolfo Anta,
Friederich Kupzog,
Florian Dörfler
Abstract:
As renewable sources increasingly replace existing conventional generation, the dynamics of the grid drastically changes, posing new challenges for transmission system operations, but also arising new opportunities as converter-based generation is highly controllable in faster timescales. This paper investigates grid stability under the massive integration of grid-forming converters. We utilize de…
▽ More
As renewable sources increasingly replace existing conventional generation, the dynamics of the grid drastically changes, posing new challenges for transmission system operations, but also arising new opportunities as converter-based generation is highly controllable in faster timescales. This paper investigates grid stability under the massive integration of grid-forming converters. We utilize detailed converter and synchronous machine models and describe frequency behavior under different penetration levels. First, we show that the transition from 0% to 100% can be achieved from a frequency stability point of view. This is achieved by re-tuning power system stabilizers at high penetration values. Second, we explore the evolution of the nadir and RoCoF for each generator as a function of the amount of inverter-based generation in the grid. This work sheds some light on two major challenges in low and no-inertia systems: defining novel performance metrics that better characterize grid behaviour, and adapting present paradigms in PSS design.
△ Less
Submitted 7 November, 2019;
originally announced November 2019.
-
System Stability Under Adversarial Injection of Dependent Tasks
Authors:
Vicent Cholvi,
Juan Echagüe,
Antonio Fernández Anta,
Christopher Thraves Caro
Abstract:
In this work, we consider a computational model of a distributed system formed by a set of servers in which jobs, that are continuously arriving, have to be executed. Every job is formed by a set of dependent tasks (i.~e., each task may have to wait for others to be completed before it can be started), each of which has to be executed in one of the servers. The arrival of jobs and their properties…
▽ More
In this work, we consider a computational model of a distributed system formed by a set of servers in which jobs, that are continuously arriving, have to be executed. Every job is formed by a set of dependent tasks (i.~e., each task may have to wait for others to be completed before it can be started), each of which has to be executed in one of the servers. The arrival of jobs and their properties is assumed to be controlled by a bounded adversary, whose only restriction is that it cannot overload any server. This model is a non-trivial generalization of the Adversarial Queuing Theory model of Borodin et al., and, like that model, focuses on the stability of the system: whether the number of jobs pending to be completed is bounded at all times. We show multiple results of stability and instability for this adversarial model under different combinations of the scheduling policy used at the servers, the arrival rate, and the dependence between tasks in the jobs.
△ Less
Submitted 4 October, 2019;
originally announced October 2019.
-
Comparison of Bounds for Optimal PMU Placement for State Estimation in Distribution Grids
Authors:
Miguel Picallo,
Adolfo Anta,
Bart De Schutter
Abstract:
The lack of measurements in distribution grids poses a severe challenge for their monitoring: since there may not be enough sensors to achieve numerical observability, load forecasts (pseudo-measurements) are typically used, and thus an accurate state estimation is not guaranteed. However, an estimation is required to control distribution grids given the increasing amount of distributed generation…
▽ More
The lack of measurements in distribution grids poses a severe challenge for their monitoring: since there may not be enough sensors to achieve numerical observability, load forecasts (pseudo-measurements) are typically used, and thus an accurate state estimation is not guaranteed. However, an estimation is required to control distribution grids given the increasing amount of distributed generation. Therefore, we consider the problem of optimal sensor placement to improve the state estimation accuracy in large-scale, 3-phase coupled, unbalanced distribution grids. This is a combinatorial optimization problem whose optimal solution is unpractical to obtain for large networks. We explore the properties of different metrics in the context of optimal experimental design, like convexity and modularity, to propose and compare several tight lower and upper bounds on the performance of the optimal solution. Moreover, we show how to use these bounds to choose near-optimal solutions. We test the method on two IEEE benchmark test feeders, the 123-bus and the 8500-node feeders, to show the effectiveness of the approach.
△ Less
Submitted 7 August, 2019;
originally announced August 2019.
-
Stochastic Optimal Power Flow in Distribution Grids under Uncertainty from State Estimation
Authors:
Miguel Picallo,
Adolfo Anta,
Bart De Schutter
Abstract:
The increasing amount of controllable generation and consumption in distribution grids poses a severe challenge in kee** voltage values within admissible ranges. Existing approaches have considered different optimal power flow formulations to regulate distributed generation and other controllable elements. Nevertheless, distribution grids are characterized by an insufficient number of sensors, a…
▽ More
The increasing amount of controllable generation and consumption in distribution grids poses a severe challenge in kee** voltage values within admissible ranges. Existing approaches have considered different optimal power flow formulations to regulate distributed generation and other controllable elements. Nevertheless, distribution grids are characterized by an insufficient number of sensors, and state estimation algorithms are required to monitor the grid status. We consider in this paper the combined problem of optimal power flow under state estimation, where the estimation uncertainty results into stochastic constraints for the voltage magnitude levels instead of deterministic ones. To solve the given problem efficiently and to bypass the lack of load measurements, we use a linear approximation of the power flow equations. Moreover, we derive a transformation of the stochastic constraints to make them tractable without being too conservative. A case study shows the success of our approach at kee** voltage within limits, and also shows how ignoring the uncertainty in the estimation can lead to voltage level violations.
△ Less
Submitted 24 July, 2019;
originally announced July 2019.
-
A Novel Hyperparameter-free Approach to Decision Tree Construction that Avoids Overfitting by Design
Authors:
Rafael Garcia Leiva,
Antonio Fernandez Anta,
Vincenzo Mancuso,
Paolo Casari
Abstract:
Decision trees are an extremely popular machine learning technique. Unfortunately, overfitting in decision trees still remains an open issue that sometimes prevents achieving good performance. In this work, we present a novel approach for the construction of decision trees that avoids the overfitting by design, without losing accuracy. A distinctive feature of our algorithm is that it requires nei…
▽ More
Decision trees are an extremely popular machine learning technique. Unfortunately, overfitting in decision trees still remains an open issue that sometimes prevents achieving good performance. In this work, we present a novel approach for the construction of decision trees that avoids the overfitting by design, without losing accuracy. A distinctive feature of our algorithm is that it requires neither the optimization of any hyperparameters, nor the use of regularization techniques, thus significantly reducing the decision tree training time. Moreover, our algorithm produces much smaller and shallower trees than traditional algorithms, facilitating the interpretability of the resulting models.
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
From Dye Sensitized to Perovskite Solar Cells, The Missing Link
Authors:
So-Min Yoo,
Seog Joon Yoon,
Juan A. Anta,
Hyo Joong Lee,
Pablo P. Boix,
Iván Mora-Seró
Abstract:
Fundamental working mechanisms of perovskite solar cells remain an elusive topic of research. Impedance Spectroscopy (IS) application to perovskite-based devices generates uncommon features and misleading outputs, mainly due to the lack of a stablished model for the interpretation of the results. In this work we control the perovskite precursor concentration to fabricate a series of perovskite-bas…
▽ More
Fundamental working mechanisms of perovskite solar cells remain an elusive topic of research. Impedance Spectroscopy (IS) application to perovskite-based devices generates uncommon features and misleading outputs, mainly due to the lack of a stablished model for the interpretation of the results. In this work we control the perovskite precursor concentration to fabricate a series of perovskite-based solar cells with different amounts of perovskite absorber. Low concentration devices present the well-known dye sensitized solar cell (DSSCs) impedance pattern. As the amount of perovskite is increased, the characteristic impedance spectra of thin-film perovskite solar cells (PSCs) arises. This transition is characterized by a change in the working principles, determined by an evolution of the dominant capacitance: from the intermediate frequency chemical capacitance of TiO2 in devices with isolated perovskite domains, to a large low-frequency capacitance signal which divides the spectra in two sections, yet with no direct influence in final device performance. This study allows to link experimentally, in terms of impedance behavior, PSCs with the rest of solar cell devices via DSSCs. We observe that it is not possible to assign a single physical origin to the different resistances determined in the impedance spectra except for the series resistance. In contrast, resistive element present contributions from different physical processes, observing a transport-recombination coupling. Based on this analysis we provide an equivalent circuit model to evaluate the impedance pattern of PSCs in terms of the processes directly affecting the final performance (i.e. considering transport-related and recombination-related losses), a crucial tool for further development of perovskite photovoltaics.
△ Less
Submitted 22 June, 2019; v1 submitted 28 May, 2019;
originally announced May 2019.
-
Interactions of Grid-Forming Power Converters and Synchronous Machines
Authors:
Ali Tayyebi,
Dominic Groß,
Adolfo Anta,
Friederich Kupzog,
Florian Dörfler
Abstract:
An inevitable consequence of the global power system transition towards nearly 100% renewable-based generation is the loss of conventional bulk generation by synchronous machines, their inertia, and accompanying frequency and voltage control mechanisms. This gradual transformation of the power system to a low-inertia system leads to critical challenges in maintaining system stability. Novel contro…
▽ More
An inevitable consequence of the global power system transition towards nearly 100% renewable-based generation is the loss of conventional bulk generation by synchronous machines, their inertia, and accompanying frequency and voltage control mechanisms. This gradual transformation of the power system to a low-inertia system leads to critical challenges in maintaining system stability. Novel control techniques for converters, so-called grid-forming strategies, are expected to address these challenges and replicate functionalities that so far have been provided by synchronous machines. We present a low-inertia high-fidelity case study that includes synchronous machines and models of grid-forming converters. We study interactions between synchronous machines and converters and analyze the response of various grid-forming control approaches to contingencies, i.e., large changes in load and the loss of a synchronous machine. Our case study highlights the positive impact of the grid-forming converters on frequency stability and analyze the potential limitations of each control technique when interacting with synchronous machines. Our studies also analyze how and when the interaction between the fast grid-forming converter, the dc source and ac current limitations, and the slow synchronous machine dynamics contributes to system instability. Lastly, we introduce an effective solution to address the instability issues due to the GFCs ac and dc current limitation.
△ Less
Submitted 8 October, 2019; v1 submitted 27 February, 2019;
originally announced February 2019.
-
Water vapour pressure as determining control parameter to fabricate high efficiency perovskite solar cells at ambient conditions
Authors:
Lidia Contreras-Bernal,
Juan Jesus Gallardo,
Javier Navas,
Jesus Idigoras,
Juan A. Anta
Abstract:
Although perovskite solar cells have demonstrated impressive efficiencies in research labs (above 23%), there is a need of experimental procedures that allow their fabrication at ambient conditions, which would decrease substantially manufacturing costs. However, under ambient conditions, a delicate control of the moisture level in the atmosphere has to be enforced to achieve efficient and highly…
▽ More
Although perovskite solar cells have demonstrated impressive efficiencies in research labs (above 23%), there is a need of experimental procedures that allow their fabrication at ambient conditions, which would decrease substantially manufacturing costs. However, under ambient conditions, a delicate control of the moisture level in the atmosphere has to be enforced to achieve efficient and highly stable devices. In this work, we show that it is the absolute content of water measured in the form of partial water vapour pressure (WVP) the only determining control parameter that needs to be considered during preparation. Following this perspective, MAPbI3 perovskite films were deposited under different WVP by changing the relative humidity (RH) and the lab temperature. We found that efficient and reproducible devices can be obtained at given values of WVP. Furthermore, it is demonstrated that small temperature changes, at the same value of the RH, result in huge changes in performance, due to the non-linear dependence of the WVP on temperature. We have extended the procedure to accomplish high-efficient FA0.83MA0.17PbI3 devices at ambient conditions by adjusting DMSO proportion in precursor solution as a function of WVP only. As an example of the relevance of this paramater, a WVP value of around of 1.6 kPa appears to be an upper limit for safe fabrication of high efficiency devices at ambient conditions, regardless the RH and lab temperature.
△ Less
Submitted 12 February, 2019;
originally announced February 2019.
-
Atomic Appends: Selling Cars and Coordinating Armies with Multiple Distributed Ledgers
Authors:
Antonio Fernandez Anta,
Chryssis Georgiou,
Nicolas Nicolaou
Abstract:
The various applications using Distributed Ledger Technologies (DLT) or blockchains, have led to the introduction of a new `marketplace' where multiple types of digital assets may be exchanged. As each blockchain is designed to support specific types of assets and transactions, and no blockchain will prevail, the need to perform interblockchain transactions is already pressing.
In this work we e…
▽ More
The various applications using Distributed Ledger Technologies (DLT) or blockchains, have led to the introduction of a new `marketplace' where multiple types of digital assets may be exchanged. As each blockchain is designed to support specific types of assets and transactions, and no blockchain will prevail, the need to perform interblockchain transactions is already pressing.
In this work we examine the fundamental problem of interoperable and interconnected blockchains. In particular, we begin by introducing the Multi-Distributed Ledger Objects (MDLO), which is the result of aggregating multiple Distributed Ledger Objects -- DLO (a DLO is a formalization of the blockchain) and that supports append and get operations of records (e.g., transactions) in them from multiple clients concurrently. Next, we define the AtomicAppends problem, which emerges when the exchange of digital assets between multiple clients may involve appending records in more than one DLO. Specifically, AtomicAppend requires that either all records will be appended on the involved DLOs or none. We examine the solvability of this problem assuming rational and risk-averse clients that may fail by crashing, and under different client utility and append models, timing models, and client failure scenarios. We show that for some cases the existence of an intermediary is necessary for the problem solution. We propose the implementation of such intermediary over a specialized blockchain, we term Smart DLO (SDLO), and we show how this can be used to solve the AtomicAppends problem even in an asynchronous, client competitive environment, where all the clients may crash.
△ Less
Submitted 20 December, 2018;
originally announced December 2018.
-
Efficient convex optimization for optimal PMU placement in large distribution grids
Authors:
Miguel Picallo,
Adolfo Anta,
Bart De Schutter
Abstract:
The small amount of measurements in distribution grids makes their monitoring more difficult. Topological observability may not be possible, and thus, pseudo-measurements are needed to perform state estimation, which is required to control elements such as distributed generation or transformers at distribution grids. Therefore, we consider the problem of optimal sensor placement to improve the sta…
▽ More
The small amount of measurements in distribution grids makes their monitoring more difficult. Topological observability may not be possible, and thus, pseudo-measurements are needed to perform state estimation, which is required to control elements such as distributed generation or transformers at distribution grids. Therefore, we consider the problem of optimal sensor placement to improve the state estimation accuracy in large-scale, 3-phase coupled, unbalanced distribution grids. This is an NP-hard optimization problem whose optimal solution is unpractical to obtain for large networks. Therefore, we develop a computationally efficient convex optimization algorithm to compute a lower bound on the possible value of the optimal solution, and thus check the gap between the bound and heuristic solutions. We test the method on a large test feeder, the standard IEEE 8500-node, to show the effectiveness of the approach.
△ Less
Submitted 23 July, 2019; v1 submitted 29 October, 2018;
originally announced October 2018.
-
Formalizing and Implementing Distributed Ledger Objects
Authors:
Antonio Fernández Anta,
Chryssis Georgiou,
Kishori Konwar,
Nicolas Nicolaou
Abstract:
Despite the hype about blockchains and distributed ledgers, no formal abstraction of these objects has been proposed. To face this issue, in this paper we provide a proper formulation of a distributed ledger object. In brief, we define a ledger object as a sequence of records, and we provide the operations and the properties that such an object should support. Implementation of a ledger object on…
▽ More
Despite the hype about blockchains and distributed ledgers, no formal abstraction of these objects has been proposed. To face this issue, in this paper we provide a proper formulation of a distributed ledger object. In brief, we define a ledger object as a sequence of records, and we provide the operations and the properties that such an object should support. Implementation of a ledger object on top of multiple (possibly geographically dispersed) computing devices gives rise to the distributed ledger object. In contrast to the centralized object, distribution allows operations to be applied concurrently on the ledger, introducing challenges on the consistency of the ledger in each participant. We provide the definitions of three well known consistency guarantees in terms of the operations supported by the ledger object: (1) atomic consistency (linearizability), (2) sequential consistency, and (3) eventual consistency. We then provide implementations of distributed ledgers on asynchronous message passing crash-prone systems using an Atomic Broadcast service, and show that they provide eventual, sequential or atomic consistency semantics. We conclude with a variation of the ledger - the validated ledger - which requires that each record in the ledger satisfies a particular validation rule.
△ Less
Submitted 4 May, 2018; v1 submitted 21 February, 2018;
originally announced February 2018.
-
A Two-Step Distribution System State Estimator with Grid Constraints and Mixed Measurements
Authors:
Miguel Picallo Cruz,
Adolfo Anta,
Ara Panosyan,
Bart De Schutter
Abstract:
In this work we study the problem of State Estimation(SE) in large-scale, 3-phase coupled, unbalanced distribution systems. More specifically, we address the problem of including mixed real-time measurements, synchronized and unsynchronized, from phasor measurement units and smart meters, into existing solutions. We propose a computationally efficient two-step method to update a prior solution usi…
▽ More
In this work we study the problem of State Estimation(SE) in large-scale, 3-phase coupled, unbalanced distribution systems. More specifically, we address the problem of including mixed real-time measurements, synchronized and unsynchronized, from phasor measurement units and smart meters, into existing solutions. We propose a computationally efficient two-step method to update a prior solution using the measurements, while taking into account physical constraint caused by buses with no loads. We test the method on a benchmark test feeder to illustrate the effectiveness of the approach.
△ Less
Submitted 15 May, 2018; v1 submitted 31 March, 2017;
originally announced March 2017.
-
Superintelligence cannot be contained: Lessons from Computability Theory
Authors:
Manuel Alfonseca,
Manuel Cebrian,
Antonio Fernandez Anta,
Lorenzo Coviello,
Andres Abeliuk,
Iyad Rahwan
Abstract:
Superintelligence is a hypothetical agent that possesses intelligence far surpassing that of the brightest and most gifted human minds. In light of recent advances in machine intelligence, a number of scientists, philosophers and technologists have revived the discussion about the potential catastrophic risks entailed by such an entity. In this article, we trace the origins and development of the…
▽ More
Superintelligence is a hypothetical agent that possesses intelligence far surpassing that of the brightest and most gifted human minds. In light of recent advances in machine intelligence, a number of scientists, philosophers and technologists have revived the discussion about the potential catastrophic risks entailed by such an entity. In this article, we trace the origins and development of the neo-fear of superintelligence, and some of the major proposals for its containment. We argue that such containment is, in principle, impossible, due to fundamental limits inherent to computing itself. Assuming that a superintelligence will contain a program that includes all the programs that can be executed by a universal Turing machine on input potentially as complex as the state of the world, strict containment requires simulations of such a program, something theoretically (and practically) infeasible.
△ Less
Submitted 4 July, 2016;
originally announced July 2016.
-
Online Distributed Scheduling on a Fault-prone Parallel System
Authors:
Elli Zavou,
Antonio Fernández Anta
Abstract:
We consider a parallel system of $m$ identical machines prone to unpredictable crashes and restarts, trying to cope with the continuous arrival of tasks to be executed. Tasks have different computational requirements (i.e., processing time or size). The flow of tasks, their size, and the crash and restart of the machines are assumed to be controlled by an adversary. Then, we focus on the study of…
▽ More
We consider a parallel system of $m$ identical machines prone to unpredictable crashes and restarts, trying to cope with the continuous arrival of tasks to be executed. Tasks have different computational requirements (i.e., processing time or size). The flow of tasks, their size, and the crash and restart of the machines are assumed to be controlled by an adversary. Then, we focus on the study of online distributed algorithms for the efficient scheduling of the tasks. We use competitive analysis, considering as efficiency metric the completed-load, i.e., the aggregated size of the completed tasks. We first present optimal completed-load competitiveness algorithms when the number of different task sizes that can be injected by the adversary is bounded. (It is known that, if it is not bounded, competitiveness is not achievable.) We first consider only two different task sizes, and then proceed to $k$ different ones, showing in both cases that the optimal completed-load competitiveness can be achieved. Then, we consider the possibility of having some form of resource augmentation, allowing the scheduling algorithm to run with a speedup $s \geq 1$. In this case, we show that the competitiveness of all work-conserving scheduling algorithms can be increased by using a large enough speedup.
△ Less
Submitted 18 March, 2016;
originally announced March 2016.
-
Internet Computing: Using Reputation to Select Workers from a Pool
Authors:
Evgenia Christoforou,
Antonio Fernández Anta,
Chryssis Georgiou,
Miguel A. Mosteiro
Abstract:
The assignment and execution of tasks over the Internet is an inexpensive solution in contrast with supercomputers. We consider an Internet-based Master-Worker task computing approach, such as SETI@home. A master process sends tasks, across the Internet, to worker processors. Workers execute, and report back a result. Unfortunately, the disadvantage of this approach is the unreliable nature of the…
▽ More
The assignment and execution of tasks over the Internet is an inexpensive solution in contrast with supercomputers. We consider an Internet-based Master-Worker task computing approach, such as SETI@home. A master process sends tasks, across the Internet, to worker processors. Workers execute, and report back a result. Unfortunately, the disadvantage of this approach is the unreliable nature of the worker processes. Through different studies, workers have been categorized as either malicious (always report an incorrect result), altruistic (always report a correct result), or rational (report whatever result maximizes their benefit). We develop a reputation-based mechanism that guarantees that, eventually, the master will always be receiving the correct task result. We model the behavior of the rational workers through reinforcement learning, and we present three different reputation types to choose, for each computational round, the most reputable from a pool of workers. As workers are not always available, we enhance our reputation scheme to select the most responsive workers. We prove sufficient conditions for eventual correctness under the different reputation types. Our analysis is complemented by simulations exploring various scenarios. Our simulation results expose interesting trade-offs among the different reputation types, workers availability, and cost.
△ Less
Submitted 30 March, 2016; v1 submitted 14 March, 2016;
originally announced March 2016.
-
CoVer-ability: Consistent Versioning for Concurrent Objects
Authors:
Nicolas Nicolaou,
Antonio Fernández Anta,
Chryssis Georgiou
Abstract:
An object type characterizes the domain space and the operations that can be invoked on an object of that type. In this paper we introduce a new property for concurrent objects, we call coverability, that aims to provide precise guarantees on the consistent evolution of an object. This new property is suitable for a variety of distributed objects including concurrent file objects that demand opera…
▽ More
An object type characterizes the domain space and the operations that can be invoked on an object of that type. In this paper we introduce a new property for concurrent objects, we call coverability, that aims to provide precise guarantees on the consistent evolution of an object. This new property is suitable for a variety of distributed objects including concurrent file objects that demand operations to manipulate the latest version of the object. We propose two levels of coverability: (i) strong coverability and (ii) weak coverability. Strong coverability requires that only a single operation can modify the latest version of the object, i.e. "covers" the latest version with a new version, imposing a total order on object modifications. Weak coverability relaxes the strong requirements of strong coverability and allows multiple operations to modify the same version of an object, where each modification leads to a different version. Weak coverability preserves consistent evolution of the object, by demanding any subsequent operation to only modify one of the newly introduced versions. Coverability combined with atomic guarantees yield to coverable atomic read/write registers. We also show that strongly coverable atomic registers are equivalent in power to consensus. Thus, we focus on weakly coverable registers, and we demonstrate their importance by showing that they cannot be implemented using similar types of registers, like ranked-registers. Furthermore we show that weakly coverable registers may be used to implement basic (weak) read-modify-write and file objects. Finally, we implement weakly coverable registers by modifying an existing MWMR atomic register implementation.
△ Less
Submitted 11 March, 2016; v1 submitted 27 January, 2016;
originally announced January 2016.
-
Multi-round Master-Worker Computing: a Repeated Game Approach
Authors:
Antonio Fernández Anta,
Chryssis Georgiou,
Miguel A. Mosteiro,
Daniel Pareja
Abstract:
We consider a computing system where a master processor assigns tasks for execution to worker processors through the Internet. We model the workers decision of whether to comply (compute the task) or not (return a bogus result to save the computation cost) as a mixed extension of a strategic game among workers. That is, we assume that workers are rational in a game-theoretic sense, and that they r…
▽ More
We consider a computing system where a master processor assigns tasks for execution to worker processors through the Internet. We model the workers decision of whether to comply (compute the task) or not (return a bogus result to save the computation cost) as a mixed extension of a strategic game among workers. That is, we assume that workers are rational in a game-theoretic sense, and that they randomize their strategic choice. Workers are assigned multiple tasks in subsequent rounds. We model the system as an infinitely repeated game of the mixed extension of the strategic game. In each round, the master decides stochastically whether to accept the answer of the majority or verify the answers received, at some cost. Incentives and/or penalties are applied to workers accordingly. Under the above framework, we study the conditions in which the master can reliably obtain tasks results, exploiting that the repeated games model captures the effect of long-term interaction. That is, workers take into account that their behavior in one computation will have an effect on the behavior of other workers in the future. Indeed, should a worker be found to deviate from some agreed strategic choice, the remaining workers would change their own strategy to penalize the deviator. Hence, being rational, workers do not deviate. We identify analytically the parameter conditions to induce a desired worker behavior, and we evaluate experi- mentally the mechanisms derived from such conditions. We also compare the performance of our mechanisms with a previously known multi-round mechanism based on reinforcement learning.
△ Less
Submitted 24 August, 2015;
originally announced August 2015.