-
A scalable algorithm for identifying multiple sensor faults using disentangled RNNs
Authors:
David Haldimann,
Marco Guerriero,
Yannick Maret,
Nunzio Bonavita,
Gregorio Ciarlo,
Marta Sabbadin
Abstract:
The problem of detecting and identifying sensor faults is critical for efficient, safe, regulatory-compliant and sustainable operations of modern systems. Their increasing complexity brings new challenges for the Sensor Fault Detection and Isolation (SFD-SFI) tasks. One of the key enablers for any SFD-SFI methods employed in modern complex sensor systems, is the so-called analytical redundancy, wh…
▽ More
The problem of detecting and identifying sensor faults is critical for efficient, safe, regulatory-compliant and sustainable operations of modern systems. Their increasing complexity brings new challenges for the Sensor Fault Detection and Isolation (SFD-SFI) tasks. One of the key enablers for any SFD-SFI methods employed in modern complex sensor systems, is the so-called analytical redundancy, which is nothing but building an analytical model of the sensors observations (either derived from first principles or identified from historical data in a data-driven fashion). In a nutshell, SFD amounts to generate and to monitor residuals by comparing the sensor measurements with the model predictions with the idea that the faulty sensors will result in large residuals (i.e. the defective sensors generate measurement that are inconsistent with their expected behavior represented by the model). In this paper we introduce a disentangled Recurrent Neural Network (RNN) with the objective to cope with the \textit{smearing-out} effect, i.e. the propagation of a sensor fault to the non-faulty sensors resulting in large misleading residuals. Moreover, the introduction of a probabilistic model for the residual generation allows us to develop a novel procedure for the identification of the faulty sensors. The computational complexity of the proposed algorithm is linear in the number of sensors as opposed to the combinatorial nature of the SFI problem. Finally, we empirically verify the performances of the proposed SFD-SFI architecture using a real data set collected at a petrochemical plant.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
A geometrical look at MOSPA Estimation using Transportation Theory
Authors:
Gabriel M. Lipsa,
Marco Guerriero
Abstract:
It was shown in [6] that the Wasserstein distance is equivalent to the Mean Optimal Sub-Pattern Assignment (MOSPA) measure for empirical probability density functions. A more recent paper [7], extends on it by drawing new connections between the MOSPA concept, which is getting a foothold in the multi-target tracking community, and the Wasserstein distance, a metric widely used in theoretical stati…
▽ More
It was shown in [6] that the Wasserstein distance is equivalent to the Mean Optimal Sub-Pattern Assignment (MOSPA) measure for empirical probability density functions. A more recent paper [7], extends on it by drawing new connections between the MOSPA concept, which is getting a foothold in the multi-target tracking community, and the Wasserstein distance, a metric widely used in theoretical statistics. However, the comparison between the two concepts has been overlooked. In this letter we prove that the equivalence of Wasserstein distance with the MOSPA measure holds for general types of probability density function. This non trivial result allows us to leverage one recent finding in the computational geometry literature to show that the Minimum MOPSA (MMOSPA) estimates are the centroids of additive weighted Voronoi regions with a specific choice of the weights.
△ Less
Submitted 12 August, 2016;
originally announced August 2016.
-
Complementary approaches to understanding the plant circadian clock
Authors:
Ozgur E. Akman,
Maria Luisa Guerriero,
Laurence Loewe,
Carl Troein
Abstract:
Circadian clocks are oscillatory genetic networks that help organisms adapt to the 24-hour day/night cycle. The clock of the green alga Ostreococcus tauri is the simplest plant clock discovered so far. Its many advantages as an experimental system facilitate the testing of computational predictions.
We present a model of the Ostreococcus clock in the stochastic process algebra Bio-PEPA and exp…
▽ More
Circadian clocks are oscillatory genetic networks that help organisms adapt to the 24-hour day/night cycle. The clock of the green alga Ostreococcus tauri is the simplest plant clock discovered so far. Its many advantages as an experimental system facilitate the testing of computational predictions.
We present a model of the Ostreococcus clock in the stochastic process algebra Bio-PEPA and exploit its map** to different analysis techniques, such as ordinary differential equations, stochastic simulation algorithms and model-checking. The small number of molecules reported for this system tests the limits of the continuous approximation underlying differential equations. We investigate the difference between continuous-deterministic and discrete-stochastic approaches. Stochastic simulation and model-checking allow us to formulate new hypotheses on the system behaviour, such as the presence of self-sustained oscillations in single cells under constant light conditions.
We investigate how to model the timing of dawn and dusk in the context of model-checking, which we use to compute how the probability distributions of key biochemical species change over time. These show that the relative variation in expression level is smallest at the time of peak expression, making peak time an optimal experimental phase marker. Building on these analyses, we use approaches from evolutionary systems biology to investigate how changes in the rate of mRNA degradation impacts the phase of a key protein likely to affect fitness. We explore how robust this circadian clock is towards such potential mutational changes in its underlying biochemistry. Our work shows that multiple approaches lead to a more complete understanding of the clock.
△ Less
Submitted 24 February, 2010;
originally announced February 2010.
-
Investigating modularity in the analysis of process algebra models of biochemical systems
Authors:
Federica Ciocchetta,
Maria Luisa Guerriero,
Jane Hillston
Abstract:
Compositionality is a key feature of process algebras which is often cited as one of their advantages as a modelling technique. It is certainly true that in biochemical systems, as in many other systems, model construction is made easier in a formalism which allows the problem to be tackled compositionally. In this paper we consider the extent to which the compositional structure which is inhere…
▽ More
Compositionality is a key feature of process algebras which is often cited as one of their advantages as a modelling technique. It is certainly true that in biochemical systems, as in many other systems, model construction is made easier in a formalism which allows the problem to be tackled compositionally. In this paper we consider the extent to which the compositional structure which is inherent in process algebra models of biochemical systems can be exploited during model solution. In essence this means using the compositional structure to guide decomposed solution and analysis.
Unfortunately the dynamic behaviour of biochemical systems exhibits strong interdependencies between the components of the model making decomposed solution a difficult task. Nevertheless we believe that if such decomposition based on process algebras could be established it would demonstrate substantial benefits for systems biology modelling. In this paper we present our preliminary investigations based on a case study of the pheromone pathway in yeast, modelling in the stochastic process algebra Bio-PEPA.
△ Less
Submitted 22 February, 2010;
originally announced February 2010.
-
A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA
Authors:
Federica Ciocchetta,
Adam Duguid,
Maria Luisa Guerriero
Abstract:
The vast majority of biochemical systems involve the exchange of information between different compartments, either in the form of transportation or via the intervention of membrane proteins which are able to transmit stimuli between bordering compartments. The correct quantitative handling of compartments is, therefore, extremely important when modelling real biochemical systems. The Bio-PEPA p…
▽ More
The vast majority of biochemical systems involve the exchange of information between different compartments, either in the form of transportation or via the intervention of membrane proteins which are able to transmit stimuli between bordering compartments. The correct quantitative handling of compartments is, therefore, extremely important when modelling real biochemical systems. The Bio-PEPA process algebra is equipped with the capability of explicitly defining quantitative information such as compartment volumes and membrane surface areas. Furthermore, the recent development of the Bio-PEPA Eclipse Plug-in allows us to perform a correct stochastic simulation of multi-compartmental models.
Here we present a Bio-PEPA compartmental model of the cAMP/PKA/MAPK pathway. We analyse the system using the Bio-PEPA Eclipse Plug-in and we show the correctness of our model by comparison with an existing ODE model. Furthermore, we perform computational experiments in order to investigate certain properties of the pathway. Specifically, we focus on the system response to the inhibition and strengthening of feedback loops and to the variation in the activity of key pathway reactions and we observe how these modifications affect the behaviour of the pathway. These experiments are useful to understand the control and regulatory mechanisms of the system.
△ Less
Submitted 25 November, 2009;
originally announced November 2009.
-
Science with the new generation high energy gamma- ray experiments
Authors:
M. Alvarez,
D. D'Armiento,
G. Agnetta,
A. Alberdi,
A. Antonelli,
A. Argan,
P. Assis,
E. A. Baltz,
C. Bambi,
G. Barbiellini,
H. Bartko,
M. Basset,
D. Bastieri,
P. Belli,
G. Benford,
L. Bergstrom,
R. Bernabei,
G. Bertone,
A. Biland,
B. Biondo,
F. Bocchino,
E. Branchini,
M. Brigida,
T. Bringmann,
P. Brogueira
, et al. (175 additional authors not shown)
Abstract:
This Conference is the fifth of a series of Workshops on High Energy Gamma- ray Experiments, following the Conferences held in Perugia 2003, Bari 2004, Cividale del Friuli 2005, Elba Island 2006. This year the focus was on the use of gamma-ray to study the Dark Matter component of the Universe, the origin and propagation of Cosmic Rays, Extra Large Spatial Dimensions and Tests of Lorentz Invaria…
▽ More
This Conference is the fifth of a series of Workshops on High Energy Gamma- ray Experiments, following the Conferences held in Perugia 2003, Bari 2004, Cividale del Friuli 2005, Elba Island 2006. This year the focus was on the use of gamma-ray to study the Dark Matter component of the Universe, the origin and propagation of Cosmic Rays, Extra Large Spatial Dimensions and Tests of Lorentz Invariance.
△ Less
Submitted 4 December, 2007;
originally announced December 2007.
-
GAW - An Imaging Atmospheric Cherenkov Telescope with Large Field of View
Authors:
G. Cusumano,
G. Agnetta,
A. Alberdi,
M. Alvarez,
P. Assis,
B. Biondo,
F. Bocchino,
P. Brogueira,
J. A. Caballero,
M. Carvajal,
A. J. Castro-Tirado,
O. Catalano,
F. Celi,
C. Delgado,
G. Di Cocco,
A. Dominguez,
J. M. Espino Navas,
M. C. Espirito Santo,
M. I. Gallardo,
J. E. Garcia,
S. Giarrusso,
M. Gomez,
J. L. Gomez,
P. Goncalves,
M. Guerriero
, et al. (25 additional authors not shown)
Abstract:
GAW, acronym for Gamma Air Watch, is a Research and Development experiment in the TeV range, whose main goal is to explore the feasibility of large field of view Imaging Atmospheric Cherenkov Telescopes. GAW is an array of three relatively small telescopes (2.13 m diameter) which differs from the existing and presently planned projects in two main features: the adoption of a refractive optics sy…
▽ More
GAW, acronym for Gamma Air Watch, is a Research and Development experiment in the TeV range, whose main goal is to explore the feasibility of large field of view Imaging Atmospheric Cherenkov Telescopes. GAW is an array of three relatively small telescopes (2.13 m diameter) which differs from the existing and presently planned projects in two main features: the adoption of a refractive optics system as light collector and the use of single photoelectron counting as detector working mode. The optics system allows to achieve a large field of view (24x24 squared degrees) suitable for surveys of large sky regions. The single photoelectron counting mode in comparison with the charge integration mode improves the sensitivity by permitting also the reconstruction of events with a small number of collected Cherenkov photons. GAW, which is a collaboration effort of Research Institutes in Italy, Portugal and Spain, will be erected in the Calar Alto Observatory (Sierra de Los Filabres - Andalucia, Spain), at 2150 m a.s.l.). The first telescope will be settled within Autumn 2007. This paper shows the main characteristics of the experiment and its expected performance.
△ Less
Submitted 31 July, 2007;
originally announced July 2007.