Permissive Controller Synthesis for Probabilistic Systems

We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its environment, and probability is used to capture uncertainty arising due to, for example, unreliable sensors or faulty system components. Our aim is to generate robust controllers that are resilient to unexpected system changes at runtime, and flexible enough to be adapted if additional constraints need to be imposed. We develop a permissive controller synthesis framework, which generates multi-strategies for the controller, offering a choice of control actions to take at each time step. We formalise the notion of permissivity using penalties, which are incurred each time a possible control action is disallowed by a multi-strategy. Permissive controller synthesis aims to generate a multi-strategy that minimises these penalties, whilst guaranteeing the satisfaction of a specified system property. We establish several key results about the optimality of multi-strategies and the complexity of synthesising them. Then, we develop methods to perform permissive controller synthesis using mixed integer linear programming and illustrate their effectiveness on a selection of case studies

Correction of the definition of mass-flow parameter in dynamic inflow modelling

No abstract available

Pair Interaction Potentials of Colloids by Extrapolation of Confocal Microscopy Measurements of Collective Structure

A method for measuring the pair interaction potential between colloidal particles by extrapolation measurement of collective structure to infinite dilution is presented and explored using simulation and experiment. The method is particularly well suited to systems in which the colloid is fluorescent and refractive index matched with the solvent. The method involves characterizing the potential of mean force between colloidal particles in suspension by measurement of the radial distribution function using 3D direct visualization. The potentials of mean force are extrapolated to infinite dilution to yield an estimate of the pair interaction potential, $U(r)$. We use Monte Carlo (MC) simulation to test and establish our methodology as well as to explore the effects of polydispersity on the accuracy. We use poly-12-hydroxystearic acid-stabilized poly(methyl methacrylate) (PHSA-PMMA) particles dispersed in the solvent dioctyl phthalate (DOP) to test the method and assess its accuracy for three different repulsive systems for which the range has been manipulated by addition of electrolyte.Comment: 35 pages, 14 figure

Novel dynamical effects and glassy response in strongly correlated electronic system

We find an unconventional nucleation of low temperature paramagnetic metal (PMM) phase with monoclinic structure from the matrix of high-temperature antiferromagnetic insulator (AFI) phase with tetragonal structure in strongly correlated electronic system $BaCo_{0.9}Ni_{0.1}S_{1.97}$. Such unconventional nucleation leads to a decease in resistivity by several orders with relaxation at a fixed temperature without external perturbation. The novel dynamical process could arise from the competition of strain fields, Coulomb interactions, magnetic correlations and disorders. Such competition may frustrate the nucleation, giving rise to a slow, nonexponential relaxation and "physical aging" behavior.Comment: 5 pages, 4 figure

Large-scale compression of genomic sequence databases with the Burrows-Wheeler transform

Motivation The Burrows-Wheeler transform (BWT) is the foundation of many algorithms for compression and indexing of text data, but the cost of computing the BWT of very large string collections has prevented these techniques from being widely applied to the large sets of sequences often encountered as the outcome of DNA sequencing experiments. In previous work, we presented a novel algorithm that allows the BWT of human genome scale data to be computed on very moderate hardware, thus enabling us to investigate the BWT as a tool for the compression of such datasets. Results We first used simulated reads to explore the relationship between the level of compression and the error rate, the length of the reads and the level of sampling of the underlying genome and compare choices of second-stage compression algorithm. We demonstrate that compression may be greatly improved by a particular reordering of the sequences in the collection and give a novel `implicit sorting' strategy that enables these benefits to be realised without the overhead of sorting the reads. With these techniques, a 45x coverage of real human genome sequence data compresses losslessly to under 0.5 bits per base, allowing the 135.3Gbp of sequence to fit into only 8.2Gbytes of space (trimming a small proportion of low-quality bases from the reads improves the compression still further). This is more than 4 times smaller than the size achieved by a standard BWT-based compressor (bzip2) on the untrimmed reads, but an important further advantage of our approach is that it facilitates the building of compressed full text indexes such as the FM-index on large-scale DNA sequence collections.Comment: Version here is as submitted to Bioinformatics and is same as the previously archived version. This submission registers the fact that the advanced access version is now available at http://bioinformatics.oxfordjournals.org/content/early/2012/05/02/bioinformatics.bts173.abstract . Bioinformatics should be considered as the original place of publication of this article, please cite accordingl

Vacuum-UV spectroscopy of interstellar ice analogs. II. Absorption cross-sections of nonpolar ice molecules

Dust grains in cold circumstellar regions and dark-cloud interiors at 10-20 K are covered by ice mantles. A nonthermal desorption mechanism is invoked to explain the presence of gas-phase molecules in these environments, such as the photodesorption induced by irradiation of ice due to secondary ultraviolet photons. To quantify the effects of ice photoprocessing, an estimate of the photon absorption in ice mantles is required. In a recent work, we reported the vacuum-ultraviolet (VUV) absorption cross sections of nonpolar molecules in the solid phase. The aim was to estimate the VUV-absorption cross sections of nonpolar molecular ice components, including CH4, CO2, N2, and O2. The column densities of the ice samples deposited at 8 K were measured in situ by infrared spectroscopy in transmittance. VUV spectra of the ice samples were collected in the 120-160 nm (10.33-7.74 eV) range using a commercial microwave-discharged hydrogen flow lamp. We found that, as expected, solid N2 has the lowest VUV-absorption cross section, which about three orders of magnitude lower than that of other species such as O2, which is also homonuclear. Methane (CH4) ice presents a high absorption near Ly-alpha (121.6 nm) and does not absorb below 148 nm. Estimating the ice absorption cross sections is essential for models of ice photoprocessing and allows estimating the ice photodesorption rates as the number of photodesorbed molecules per absorbed photon in the ice.Comment: 9 pages, 6 figures, 7 table

Inducing ferromagnetism and Kondo effect in platinum by paramagnetic ionic gating

Electrically controllable magnetism, which requires the field-effect manipulation of both charge and spin degrees of freedom, has attracted growing interests since the emergence of spintronics. In this work, we report the reversible electrical switching of ferromagnetic (FM) states in platinum (Pt) thin films by introducing paramagnetic ionic liquid (PIL) as the gating media. The paramagnetic ionic gating controls the movement of ions with magnetic moments, which induces itinerant ferromagnetism on the surface of Pt films with large coercivity and perpendicular anisotropy mimicking the ideal two-dimensional Ising-type FM state. The electrical transport of the induced FM state shows Kondo effect at low temperature suggesting spatially separated coexistence of Kondo scattering beneath the FM interface. The tunable FM state indicates that paramagnetic ionic gating could serve as a versatile method to induce rich transport phenomena combining field effect and magnetism at PIL-gated interfaces.Comment: 17 pages, 4 figure