Abstract
This paper presents two contributions developed in the framework of evolvDSO Project to support TSO-DSO cooperation. The Interval Constrained Interval Power Flow (ICPF) tool estimates the flexibility range at primary substations by aggregating the distribution network flexibility. The Sequential Optimal Power Flow (SOPF) tool defines a set of control actions that keep the active and reactive power flow within pre-agreed limits at primary substations level, by integrating different types of flexibility levers. Several study test cases were simulated using data of four real distribution networks from France and Portugal, with different demand/generation profiles and several degrees of flexibility.

Abstract
A clamp-on optical current sensor prototype for metering and protection applications in high power systems was developed and characterized. The system is based on the Faraday effect in a low birefringence, high Verdet constant, 8cm long SF57 Schott glass prism. It was incorporated in a nylon casing suitable for clamp-on applications in the power line. The sensor operation was tested at 630nm, 830nm, and 1550nm to access its applicability in remote interrogation via fiber links. Optimal operation at 830nm is reported with a linear response up to 65.28kA, with 0.1 or 0.2 accuracy class considering a nominal currents of 1.2 and 0.3 kA (root mean square), respectively. Twelve calibrations procedures performed over six days showed an estimated maximum error of 11m A. Preliminary measurements were made from 40 to 400Hz. The sensor was exposed to transient signals less than 10 mu s that demonstrated its use in protection applications.

Abstract
In the concurrency theory, various semantic equivalences on transition systems are based on traces decorated with some additional observations, generally referred to as decorated traces. Using the generalized powerset construction, recently introduced by a subset of the authors (Silva et al. 2010 FSTTCS. LIPIcs 8 272-283), we give a coalgebraic presentation of decorated trace semantics. The latter include ready, failure, (complete) trace, possible futures, ready trace and failure trace semantics for labelled transition systems, and ready, (maximal) failure and (maximal) trace semantics for generative probabilistic systems. This yields a uniform notion of minimal representatives for the various decorated trace equivalences, in terms of final Moore automata. As a consequence, proofs of decorated trace equivalence can be given by coinduction, using different types of (Moore-) bisimulation (up-to context).

Abstract
Attribute Grammars are a powerfull, well-known formalism to implement and reason about programs which, by design, are conveniently modular. In this work we focus on a state of the art Zipper-based embedding of Attribute Grammars and further improve its performance through controlling attribute (re)evaluation by using memoization techniques. We present the results of our optimization by comparing their impact in various implementations of different, well-studied Attribute Grammars.

Abstract
Many stochastic search algorithms require relearning if the task changes slightly to adapt the solution to the new situation or the new context. Therefore in this research, we investigate the contextual stochastic search algorithms that can learn from multiple tasks simultaneously. Here, we want to find good parameter vectors for multiple related tasks, where each task is described by a continuous context vector. Hence, the objective function might change slightly for each parameter vector evaluation.

Abstract
This article presents the impacts of different storage technologies, their size as well as their location on the economic dispatch of a distribution system. The participation of the storage in distribution systems is evaluated over a period of 24 hours using a radial reconfiguration of the network. In order to meet this objective, a stochastic mixed integer linear problem (SMILP) is proposed, where the expected cost during the operation period is minimized. The model considers uncertainties in wind generation, load which is represented through a typical demand profile, conventional generation and storage systems. Results from a case study is presented for a distribution network with 28 buses, comprehensively describing the impacts of the location and the size of the storage system on the distribution network, as well as on the expected operation costs of the system.