79 research outputs found
Marcinkiewicz-Zygmund inequalities
We study a generalization of the classical Marcinkiewicz-Zygmund inequalities. We relate this problem to the sampling sequences in the Paley-Wiener space and by using this analogy we give sharp necessary and sufficient computable conditions for a family of points to satisfy the Marcinkiewicz-Zygmund inequalities
The GF Mathematical Grammar Library: from OpenMath to natural languages
Postprint (published version
Water demand estimation and outlier detection from smart meter data using classification and Big Data methods
Automatic Meter Reading (AMR) systems are being deployed in many cities to obtain insight into the status and the behavior of District Metering Area (DMA) with more granularity. Until now, the water consumption readings of the population were taken one per month or one each two-months.
In contrast, AMR systems provide hourly readings for households and more frequent readings for big consumers. On the one hand, this paper aims at predicting water demand and detect suspicious behaviors – e.g. a leak, a smart meter break down or even a fraud – by extracting water consumption patterns. On the other hand, the main contribution of this paper, a software framework, based on Big Data techniques, is presented to tackle the barriers of traditional data storage and data analysis since the volume of AMR data collected by Water Utilities is enormous and it is continuously growing because this technology is expanding .Peer ReviewedPostprint (author’s final draft
Leak Detection, Isolation and Estimation in Pressurized Water Pipe Networks using LPV Models and Zonotopes
In this paper, a leak detection, isolation and estimation methodology in pressurized water pipe networks is proposed. The methodology is based on computing residuals which are obtained comparing measured pressures (heads) in selected points of the network with their estimated values by means of a Linear Parameter Varying (LPV) model and zonotopes. The structure of the LPV model is obtained from the non-linear mathematical model of the network. The proposed detection method takes into account modelling uncertainty using zonotopes. The isolation and estimation task employs an algorithm based on the residual fault sensitivity analysis. Finally, a typical water pipe network is employed to validate the proposed methodology. This network is simulated using EPANET software. Parameters of LPV model and their uncertainty bounded by zonotopes are estimated from data coming from this simulator. A leak scenario allows to assess the effectiveness of the proposed approach.Preprin
Detection of replay attacks in cyber-physical systems using a frequency-based signature
This paper proposes a frequency-based approach for the detection of replay attacks affecting cyber-physical systems (CPS). In particular, the method employs a sinusoidal signal with a time-varying frequency (authentication signal) into the closed-loop system and checks whether the time profile of the frequency components in the output signal are compatible with the authentication signal or not. In order to carry out this target, the couplings between inputs and outputs are eliminated using a dynamic decoupling technique based on vector fitting. In this way, a signature introduced on a specific input channel will affect only the output that is selected to be associated with that input, which is a property that can be exploited to determine which channels are being affected. A bank of band-pass filters is used to generate signals whose energies can be compared to reconstruct an estimation of the time-varying frequency profile. By matching the known frequency profile with its estimation, the detector can provide the information about whether a replay attack is being carried out or not. The design of the signal generator and the detector are thoroughly discussed, and an example based on a quadruple-tank process is used to show the application and effectiveness of the proposed method.Peer ReviewedPostprint (author's final draft
- …