A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software

Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of control software. Available algorithms and tools (e.g., QKS) may require weeks or even months of computation to synthesize control software for large-size systems. This motivates search for parallel algorithms for control software synthesis. In this paper, we present a Map-Reduce style parallel algorithm for control software synthesis when the controlled system (plant) is modeled as discrete time linear hybrid system. Furthermore we present an MPI-based implementation PQKS of our algorithm. To the best of our knowledge, this is the first parallel approach for control software synthesis. We experimentally show effectiveness of PQKS on two classical control synthesis problems: the inverted pendulum and the multi-input buck DC/DC converter. Experiments show that PQKS efficiency is above 65%. As an example, PQKS requires about 16 hours to complete the synthesis of control software for the pendulum on a cluster with 60 processors, instead of the 25 days needed by the sequential algorithm in QKS.Comment: To be submitted to TACAS 2013. arXiv admin note: substantial text overlap with arXiv:1207.4474, arXiv:1207.409

Spatial effects on species persistence and implications for biodiversity

Natural ecosystems are characterized by striking diversity of form and functions and yet exhibit deep symmetries emerging across scales of space, time and organizational complexity. Species-area relationships and species-abundance distributions are examples of emerging patterns irrespective of the details of the underlying ecosystem functions. Here we present empirical and theoretical evidence for a new macroecological pattern related to the distributions of local species persistence times, defined as the timespans between local colonizations and extinctions in a given geographic region. Empirical distributions pertaining to two different taxa, breeding birds and herbaceous plants, analyzed in a new framework that accounts for the finiteness of the observational period, exhibit power-law scaling limited by a cut-off determined by the rate of emergence of new species. In spite of the differences between taxa and spatial scales of analysis, the scaling exponents are statistically indistinguishable from each other and significantly different from those predicted by existing models. We theoretically investigate how the scaling features depend on the structure of the spatial interaction network and show that the empirical scaling exponents are reproduced once a two-dimensional isotropic texture is used, regardless of the details of the ecological interactions. The framework developed here also allows to link the cut-off timescale with the spatial scale of analysis, and the persistence-time distribution to the species-area relationship. We conclude that the inherent coherence obtained between spatial and temporal macroecological patterns points at a seemingly general feature of the dynamical evolution of ecosystems.Comment: 5 pages, 5 figures. Supplementary materials avaliable on http://www.pnas.org/content/108/11/434

Epitaxial InN/InGaN quantum dots on Si: Cl- anion selectivity and pseudocapacitor behavior

Epitaxial InN quantum dots (QDs) on In-rich InGaN, applied as an electrochemical electrode, activate Cl−-anion-selective surface attachment, bringing forth faradaic/pseudocapacitor-like behavior. In contrast to traditional pseudocapacitance, here, no chemical reaction of the electrode material occurs. The anion attachment is explained by the unique combination of the surface and quantum properties of the InN QDs. A high areal capacitance is obtained for this planar electrode together with rapid and reversible charge/discharge cycles. With the growth on cheap Si substrates, the InN/InGaN QD electrochemical electrode has great potential, opening up new application fields for III–nitride semiconductors

Influence of Maternal Obesity on Insulin Sensitivity and Secretion in Offspring

OBJECTIVE—The purpose of this study was to clarify the effects of maternal obesity on insulin sensitivity and secretion in offspring

Rainfall mediations in the spreading of epidemic cholera

Following the empirical evidence of a clear correlation between rainfall events and cholera resurgence that was observed in particular during the recent outbreak in Haiti, a spatially explicit model of epidemic cholera is re-examined. Specifically, we test a multivariate Poisson rainfall generator, with parameters varying in space and time, as a driver of enhanced disease transmission. The relevance of the issue relates to the key insight that predictive mathematical models may provide into the course of an ongoing cholera epidemic aiding emergency management (say, in allocating life-saving supplies or health care staff) or in evaluating alternative management strategies. Our model consists of a set of dynamical equations (SIRB-like i.e. subdivided into the compartments of Susceptible, Infected and Recovered individuals, and including a balance of Bacterial concentrations in the water reservoir) describing a connected network of human communities where the infection results from the exposure to excess concentrations of pathogens in the water. These, in turn, are driven by rainfall washout of open-air defecation sites or cesspool overflows, hydrologic transport through waterways and by mobility of susceptible and infected individuals. We perform an a posteriori analysis (from the beginning of the epidemic in October 2010 until December 2011) to test the model reliability in predicting cholera cases and in testing control measures, involving vaccination and sanitation campaigns, for the ongoing epidemic. Even though predicting reliably the timing of the epidemic resurgence proves difficult due to rainfall inter-annual variability, we find that the model can reasonably quantify the total number of reported infection cases in the selected time-span. We then run a multi-seasonal prediction of the course of the epidemic until December 2015, to investigate conditions for further resurgences and endemicity of cholera in the region with a view to policies which may bring to the eradication of the disease in Haiti. The projections, although strongly depending on still uncertain epidemiological processes, show an endemic, seasonal pattern establishing in the region, which can be better forestalled by an improvement of the sanitation system only, rather than by vaccination alone. We thus conclude that hydrologic drivers and water resources management prove central to prediction, emergency management and long-term control of epidemic cholera

Chromosomal-level assembly of the Asian Seabass genome using long sequence reads and multi-layered scaffolding

We report here the ~670 Mb genome assembly of the Asian seabass (Lates calcarifer), a tropical marine teleost. We used long-read sequencing augmented by transcriptomics, optical and genetic mapping along with shared synteny from closely related fish species to derive a chromosome-level assembly with a contig N50 size over 1 Mb and scaffold N50 size over 25 Mb that span ~90% of the genome. The population structure of L. calcarifer species complex was analyzed by re-sequencing 61 individuals representing various regions across the species' native range. SNP analyses identified high levels of genetic diversity and confirmed earlier indications of a population stratification comprising three clades with signs of admixture apparent in the South-East Asian population. The quality of the Asian seabass genome assembly far exceeds that of any other fish species, and will serve as a new standard for fish genomics

Measurement of the Bottom-Strange Meson Mixing Phase in the Full CDF Data Set

We report a measurement of the bottom-strange meson mixing phase \beta_s using the time evolution of B0_s -> J/\psi (->\mu+\mu-) \phi (-> K+ K-) decays in which the quark-flavor content of the bottom-strange meson is identified at production. This measurement uses the full data set of proton-antiproton collisions at sqrt(s)= 1.96 TeV collected by the Collider Detector experiment at the Fermilab Tevatron, corresponding to 9.6 fb-1 of integrated luminosity. We report confidence regions in the two-dimensional space of \beta_s and the B0_s decay-width difference \Delta\Gamma_s, and measure \beta_s in [-\pi/2, -1.51] U [-0.06, 0.30] U [1.26, \pi/2] at the 68% confidence level, in agreement with the standard model expectation. Assuming the standard model value of \beta_s, we also determine \Delta\Gamma_s = 0.068 +- 0.026 (stat) +- 0.009 (syst) ps-1 and the mean B0_s lifetime, \tau_s = 1.528 +- 0.019 (stat) +- 0.009 (syst) ps, which are consistent and competitive with determinations by other experiments.Comment: 8 pages, 2 figures, Phys. Rev. Lett 109, 171802 (2012