Nonlinear Compressive Particle Filtering

Many systems for which compressive sensing is used today are dynamical. The common approach is to neglect the dynamics and see the problem as a sequence of independent problems. This approach has two disadvantages. Firstly, the temporal dependency in the state could be used to improve the accuracy of the state estimates. Secondly, having an estimate for the state and its support could be used to reduce the computational load of the subsequent step. In the linear Gaussian setting, compressive sensing was recently combined with the Kalman filter to mitigate above disadvantages. In the nonlinear dynamical case, compressive sensing can not be used and, if the state dimension is high, the particle filter would perform poorly. In this paper we combine one of the most novel developments in compressive sensing, nonlinear compressive sensing, with the particle filter. We show that the marriage of the two is essential and that neither the particle filter or nonlinear compressive sensing alone gives a satisfying solution.Comment: Accepted to CDC 201

A Bank of Reconfigurable LQG Controllers for Linear Systems Subjected to Failures

An approach for controller reconfiguration is presented. The starting point in the analysis is a sufficiently accurate continuous linear time-invariant (LTI) model of the nominal system. Based on a bank of reconfigurable LQG controllers, each designed for a particular combination of total faults, the reconfiguration consists of two operation modes. In the first mode a switching is invoked towards one of the pre-designed LQG controllers on the basis of the information about only the combination of total faults that is in effect. In the second mode, which is activated in cases of partial and component faults, a dynamic correction procedure is initiated which tries to reconfigure the currently active controller in such a way, that the failed closed-loop system remains stable and its performance is as close as possible to the performance of the closed-loop system with only total faults present in the system. In cases of partial faults the second mode is practically an extension of the modified pseudo-inverse method. In cases of component faults the second mode is based on an LMI optimization problem. The approach is illustrated using a model of a real-life space robot manipulator, in which total, partial and component faults are simulate

Gene flow estimation with microsatellites in a Malagasy seed orchard of Eucalyptus grandis

International audienceEucalyptus grandis has a mixed-mating repro- ductive system. Malagasy Eucalyptus seed orchards were established 15 years ago with two aims both based on panmixia: open-pollinated seed production and genetic improvement. The panmixia hypothesis has never been confirmed in the seed orchard. From a seedling seed- orchard stand comprising 349 trees and using data obtained with six selected microsatellite markers, pater- nity analysis was performed for 724 offspring collected on 30 adult trees. Paternity assignment, based on exclu- sion procedures and likelihood-ratio method, was achieved with high accuracy; the exclusion probability value was 0.997. The outcrossing rate was very high (96.7%). More than 50% of potential male trees (199 out of 349) in the seed orchard contributed to pollination for 440 offspring of 30 progenies (8.6% of the basic population). The pollination rate from outside the seed orchard was high (39.2%), but might be due to the small size of this seed orchard. This study showed that "panmixia-like pollination" can be assume

Inhibition of Trophoblast-Induced Spiral Artery Remodeling Reduces Placental Perfusion in Rat Pregnancy.

Rats harboring the human angiotensinogen and human renin genes develop preeclamptic features in pregnancy. The preeclamptic rats exhibit a deeper trophoblast invasion associated with a reduced resistance index by uterine Doppler. Doxycycline inhibits matrix metalloproteinase activity. We tested the hypothesis that matrix metalloproteinase inhibition reduces trophoblast invasion with subsequent changes in placental perfusion. Preeclamptic and pregnant control Sprague-Dawley rats were treated with doxycycline (30 mg/kg of body weight orally) from gestational day 12 until day 18. Placental perfusion was assessed using a micromarker contrast agent. The animals were euthanized on day 18 of pregnancy; biometric data were acquired, and trophoblast invasion was analyzed. Doxycycline resulted in intrauterine growth retardation and lighter placentas in both groups. Maternal body weight was not affected. As shown earlier, preeclamptic rats exhibited a deeper endovascular trophoblast invasion. However, doxycycline treatment reduced trophoblast invasion in the preeclamptic rats. The physiological spiral artery remodeling, as assessed by the deposition of fibrinoid and α-actin in the spiral artery contour, was significantly reduced by doxycycline. The vascularity index, as assessed by perfusion measurement of the placenta, was reduced after doxycycline treatment in preeclamptic rats. Thus, matrix metalloproteinase inhibition with doxycycline leads to reduced trophoblast invasion and associated reduced placental perfusion. These studies are the first to show that reducing trophoblast-induced vascular remodeling decreases subsequent placental perfusion. Our model allows the study of dysregulated trophoblast invasion and vascular remodeling in vivo to gain important insights into preeclampsia-related mechanisms

Probabilistic abstract interpretation: From trace semantics to DTMC’s and linear regression

In order to perform probabilistic program analysis we need to consider probabilistic languages or languages with a probabilistic semantics, as well as a corresponding framework for the analysis which is able to accommodate probabilistic properties and properties of probabilistic computations. To this purpose we investigate the relationship between three different types of probabilistic semantics for a core imperative language, namely Kozen’s Fixpoint Semantics, our Linear Operator Semantics and probabilistic versions of Maximal Trace Semantics. We also discuss the relationship between Probabilistic Abstract Interpretation (PAI) and statistical or linear regression analysis. While classical Abstract Interpretation, based on Galois connection, allows only for worst-case analyses, the use of the Moore-Penrose pseudo inverse in PAI opens the possibility of exploiting statistical and noisy observations in order to analyse and identify various system properties

Prevalence and mechanisms of resistance to carbapenems in Enterobacteriaceae

Objectives: To determine the point prevalence of carbapenem-non-susceptible Enterobacteriaceae (CNSE) and carbapenemase-producing Enterobacteriaceae (CPE) isolates among hospitalized patients in Belgium. Methods: Twenty-four hospital-based laboratories prospectively collected 200 non-duplicated Enterobacteriaceae isolates from clinical specimens of hospitalized patients over a 2 month period. All isolates were screened locally for decreased susceptibility to carbapenem drugs using a disc diffusion method according to CLSI interpretative criteria. CNSE strains were referred centrally for confirmation of carbapenemase by phenotypic and molecular testing. Results: From February to April 2012, 158 of the 4564 screened Enterobacteriaceae isolates were categorized as non-susceptible to carbapenems, resulting in a point prevalence of CNSE of 3.5% (95% CI: 2.9%–4.2%; range per centre: 0.5%–8.5%). Of the 125 referred CNSE isolates, 11 Klebsiella pneumoniae isolates [OXA-48 (n=7), KPC type (n=3) and NDM type (n=1)], 1 OXA-48-positive Escherichia coli isolate and 1 KPC-positive Klebsiella oxytoca isolate were detected in eight hospitals. None of the 72 carbapenem-non-susceptible Enterobacter spp. isolates were confirmed as CPE. The minimal estimated point prevalence of CPE isolates was 0.28% (13/ 4564; 95% CI: 0.13%–0.44%) overall (range per centre: 0%–1.5%). Conclusions: Despite the overall low prevalence of CNSE found in this study, the detection of CPE isolates in one-third of the participating centres raises concerns and highly suggests the spread and establishment of CPE in Belgian hospitals

Symbolic analysis of analog circuits containing voltage mirrors

7 páginas, 7 figuras, 2 tablas, 4 imágenes.-- Open Access: This article is distributed under the terms of the Creative Commons Attribution Noncommercial License.The pathological elements voltage mirror (VM) and current mirror (CM) have shown advantages in analog behavioral modeling and circuit synthesis, where many nullor-mirror equivalences have been explored to design and to transform voltage-mode circuits to current-mode ones and viceversa. However, both the VM and CM have not equivalents to perform automatic symbolic circuit analysis. In this manner, we introduce nullor-equivalents for these pathological elements allowing to include parasitics and to perform only symbolic nodal analysis. The nullor-equivalent of the CM is extended to provide multiple-outpus (MO-CM). Finally, two active filters containing VMs, CMs and MO-CMs are analysed to show the usefulness of the models.This work is supported by: UC-MEXUS and CONACyT under grants CN-09-310 and 48396-Y; by Promep-Mexico under grant UATLX-PTC-088; by Consejeria de Innovacion, Ciencia y Empresa, Junta de Andalucia-Spain TIC-2532; and by the JAE-Doc program of CSIC co-funded by FSE, Spain.Peer reviewe