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

Jamming versus Glass Transitions

Recent ideas based on the properties of assemblies of frictionless particles in mechanical equilibrium provide a perspective of amorphous systems different from that offered by the traditional approach originating in liquid theory. The relation, if any, between these two points of view, and the relevance of the former to the glass phase, has been difficult to ascertain. In this paper we introduce a model for which both theories apply strictly: it exhibits on the one hand an ideal glass transition and on the other `jamming' features (fragility, soft modes) virtually identical to that of real systems. This allows us to disentangle the different contents and domains of applicability of the two physical phenomena.Comment: 4 pages, 6 figures Modified content, new figur

Chapitre 3 • Acoustic logging

Approaches that are typically applied in deep exploration geophysics, combining different seismic and logging methods, can be technically adapted for certain geotechnical or hydrogeological surveys or some site characterizations in the framework of seismic hazard studies. Currently it is entirely feasible to implement this type of geophysical surveying if the situation requires. After reviewing the current state of knowledge regarding borehole measurements of subsurface shear velocities applied to the geotechnical field, this book illustrates the feasibility of carrying out vertical seismic profiles (VSPs) and logs in this field. This approach also illustrates the value of combining velocity measurements of formations provided by borehole seismic tools (VSP) and acoustic (sonic) tools. An innovative example of the application of borehole seismic and logging methods is then presented in the case study of a relatively near-surface (from 20 to 130 m) karst carbonate aquifer. It shows how a multi-scale description of the reservoir can be carried out by integrating the information provided by different 3D-THR surface seismic methods, full waveform acoustic logging, VSP with hydrophones, borehole optical televiewer and flow measurements. In this book the authors provide readers with guidelines to carry out these operations, in terms of acquisitions as well as processing and interpretation. Thus, users will be able to draw inspiration to continue transferring petroleum techniques and other innovative methods for use in near-surface studies

Chapitre 2 • Well seismic surveying

Approaches that are typically applied in deep exploration geophysics, combining different seismic and logging methods, can be technically adapted for certain geotechnical or hydrogeological surveys or some site characterizations in the framework of seismic hazard studies. Currently it is entirely feasible to implement this type of geophysical surveying if the situation requires. After reviewing the current state of knowledge regarding borehole measurements of subsurface shear velocities applied to the geotechnical field, this book illustrates the feasibility of carrying out vertical seismic profiles (VSPs) and logs in this field. This approach also illustrates the value of combining velocity measurements of formations provided by borehole seismic tools (VSP) and acoustic (sonic) tools. An innovative example of the application of borehole seismic and logging methods is then presented in the case study of a relatively near-surface (from 20 to 130 m) karst carbonate aquifer. It shows how a multi-scale description of the reservoir can be carried out by integrating the information provided by different 3D-THR surface seismic methods, full waveform acoustic logging, VSP with hydrophones, borehole optical televiewer and flow measurements. In this book the authors provide readers with guidelines to carry out these operations, in terms of acquisitions as well as processing and interpretation. Thus, users will be able to draw inspiration to continue transferring petroleum techniques and other innovative methods for use in near-surface studies

Effect of Tillage Machinery Traffic on Soil Properties, Corn Root Development and Plant Growth

Rosana G. Moreira, Editor-in-Chief; Texas A&M UniversityThis is a paper from International Commission of Agricultural Engineering (CIGR, Commission Internationale du Genie Rural) E-Journal Volume 8 (2006): Effect of Tillage Machinery Traffic on Soil Properties, Corn Root Development and Plant Growth. Manuscript PM 06 026. Vol. VIII. December, 2006

Detecting the completeness of a Finsler manifold via potential theory for its infinity Laplacian

In this paper, we study some potential theoretic aspects of the eikonal and infinity Laplace operator on a Finsler manifold $M$. Our main result shows that the forward completeness of $M$ can be detected in terms of Liouville properties and maximum principles at infinity for subsolutions of suitable inequalities, including $\Delta^N_\infty u \ge g(u)$. Also, an $\infty$-capacity criterion and a viscosity version of Ekeland principle are proved to be equivalent to the forward completeness of $M$. Part of the proof hinges on a new boundary-to-interior Lipschitz estimate for solutions of $\Delta^N_\infty u = g(u)$ on relatively compact sets, that implies a uniform Lipschitz estimate for certain entire, bounded solutions without requiring the completeness of $M$

The critical behavior of 3D Ising glass models: universality and scaling corrections

We perform high-statistics Monte Carlo simulations of three three-dimensional Ising spin-glass models: the +-J Ising model for two values of the disorder parameter p, p=1/2 and p=0.7, and the bond-diluted +-J model for bond-occupation probability p_b = 0.45. A finite-size scaling analysis of the quartic cumulants at the critical point shows conclusively that these models belong to the same universality class and allows us to estimate the scaling-correction exponent omega related to the leading irrelevant operator, omega=1.0(1). We also determine the critical exponents nu and eta. Taking into account the scaling corrections, we obtain nu=2.53(8) and eta=-0.384(9).Comment: 9 pages, published versio