The Multistage Stacked Boost Architecture (MSBA) is a non-isolated step-up converter topology intended for renewable energy generation systems or distribution networks. In previous papers the functionality and intended applications for this topology have b ...
We present a formalism, algorithms and tools to synthesise reactive systems that behave efficiently, i.e., which achieve an optimal trade-off between a given cost and reward model. Synthesis aims to automatically generate a program from a specification. Mo ...
The diffusion of protons and hydroxide ions along water wires provides an efficient mechanism for charge transport that is exploited by biological membrane channels and shows promise for technological applications such as fuel cells. However, what is lacki ...
Pumped-storage (PS) systems are used to store electric energy as potential energy for release during peak demand. We investigate the impacts of a planned 1000 MW PS scheme connecting Lago Bianco with Lago di Poschiavo (Switzerland) on temperature and parti ...
