Abstract
Most distributed photovoltaic systems (DPVSs) are normally located behind the meter and are thus invisible to utilities and retailers. The accurate information of the DPVS capacity is very helpful in many aspects. Unfortunately, the capacity information obtained by the existing methods is usually inaccurate due to various reasons, e.g., the existence of unauthorized installations. A two-stage DPVS capacity estimation approach based on support vector machine with customer net load curve features is proposed in this paper. First, several features describing the discrepancy of net load curves between customers with DPVSs and those without are extracted based on the weather status driven characteristic of DPVS output power. A one-class support vector classification (SVC) based DPVS detection (DPVSD) model with the input features extracted above is then established to determine whether a customer has a DPVS or not. Second, a bootstrap-support vector regression (SVR) based DPVS capacity estimation (DPVSCE) model with the input features describing the difference of daily total PV power generation between DPVSs with different capacities is proposed to further estimate the specific capacity of the detected DPVS. A case study using a realistic dataset consisting of 183 residential customers in Austin (TX, U.S.A.) verifies the effectiveness of the proposed approach.

Abstract
The large scale integration of Distributed Energy Resources (DER) at the Low Voltage (LV) distribution network offers new opportunities for the improvement of power quality and network reliability. Currently, the occurrence of large disturbances at the transmission network causing severe voltage sags at the distribution level could lead to the disconnection of a large share of DER units connected to the LV network, causing a more severe disturbance. In this paper, Low-Voltage-Ride Through (LVRT) requirements and current support strategies are proposed to mitigate the impact of severe voltage sag at the distribution level for DER units connected to LV network. The impact of adopting the proposed LVRT strategies will be analyzed through simulation and experimentally. A developed in house ESS prototype incorporating the developed LVRT strategies is also presented, and its capacity to comply with the proposed LVRT requirements is demonstrated using an experimental Power Hardware-in-the-Loop (PHIL) setup.

Abstract
Heart failure (HF) affects at least 26 million people worldwide and is considered a global pandemic. Almost 1 out of 4 hospitalised patients are re-hospitalised for HF within the 30-day post-discharge period. This can be avoided if changes to the hemodynamics of the HF patient's body are early detected. Bioimpedance Spectroscopy (BIS) is a method that allows the measurement and analysis of multi-frequency body complex impedance and can be used to detect changes to the HF patient's hemodynamics. This paper presents the calibration and validation process of a low-cost portable BIS system, as well as, the study of the best Cole parameter estimation methods. The BIS system was calibrated using a three reference circuit method and a Resistance-Capacitance-Inductance (RCL) meter as calibration system. After calibration, BIS impedance measurements of validation circuits presented an average phase error of 0.76 degrees and an average magnitude relative error of 0.6 % when compared with standard values. Regarding Cole parameters estimation, using the Impedance model and the Non-Linear Least Squares method for curve fitting, the relative errors were below 4 % when compared with the expected values.

Abstract
The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying di erent instances of partial iteration whilst keeping in touch with the established theory of total iteration and preserving its merits. In this paper we use these notions and the corresponding stock of results to examine di erent types of iteration for hybrid computations. As a starting point we use an available notion of hybrid monad restricted to the category of sets, and modify it in order to obtain a suitable notion of guarded iteration with guardedness interpreted as progressiveness in time – we motivate this modification by our intention to capture Zeno behaviour in an arguably general and feasible way. We illustrate our results with a simple programming language for hybrid computations and interpret it over the developed semantic foundations. © Sergey Goncharov, Julian Jakob, and Renato Neves.

Abstract
Matching two regions represented in bathymetric data that have some form of geographical overlapping is an important and challenging aspect in underwater mapping. It is important because of the possible error in estimating the geographical location of each point underwater. It is challenging due to the size of the acquired bathymetric data points. The matching could also play a vital role in the registration of underwater images and/or maps fusion, if both bathymetric and intensity scans are considered. Compared to the exhaustive search that requires polynomial time, O(n(2)), an efficient bathymetric matching algorithm is proposed in this work that finds several match points in linear time, requiring thus O(n) computations. The paper thus presents a new algorithm that allows to compile the bathymetric data of the common areas of two submarine areas that have been sampled in underwater missions.

Abstract
LoRa and its upper layers definition LoRaWAN is one of the most promising LPWAN technologies for implementing the Internet of Things (IoT). Although being a popular technology, several works in the literature have revealed various weaknesses regarding the security of LoRaWAN v1.0 (the official 1st draft). By using all these recommendations from the academia and industry, the LoRa-Alliance has worked on the v1.0 to develop an enhanced version and provide more secure and trustable architecture. The result of these efforts ended-up with LoRaWAN v1.1, which was released on Oct 11, 2017. This manuscript aims at demystifying the security aspects and provide a comprehensive Security Risk Analysis related to latest version of LoRaWAN. Besides, it provides several remedies to the recognized vulnerabilities. To the best of authors’ knowledge, this work is one of its first kind by providing a detailed security analysis related to latest version of LoRaWAN. According to our analysis, end-device physical capture, rogue gateway and replay attacks are found to be threating for safety operation of the network. Eventually, v1.1 of LoRaWAN is found to be less vulnerable to attacks compared to v1.0, yet possesses several security implications that need to be addressed and fixed for the upcoming releases.