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

Rolling of Modulated Tachyon with Gauge Flux and Emergent Fundamental String

We investigate real-time tachyon dynamics of unstable D-brane carrying fundamental string charge. We construct the boundary state relevant for rolling of modulated tachyon with gauge fields excited on the world-volume, and study spatial distribution of the fundamental string charge and current as the D-brane decays. We find that, in contrast to homogeneous tachyon rolling, spatial modulation of the tachyon field triggers density wave of strings when electric field is turned on, and of string anti-string pairs when magnetic field is turned on. We show that the energy density and the fundamental string charge density are locked together, and evolve into a localized delta-function array (instead of evolving into a string fluid) until a critical time set by initial condition of rolling tachyon. When the gauge fields approach the critical limit, the fundamental strings produced become BPS-like. We also study the dynamics via effective field theory, and find agreement.Comment: 28 pages, Latex, 7 .eps figures v2: stability discussion update

Star cluster formation and star formation: the role of environment and star-formation efficiencies

“The original publication is available at www.springerlink.com”. Copyright Springer. DOI: 10.1007/s10509-009-0088-5By analyzing global starburst properties in various kinds of starburst and post-starburst galaxies and relating them to the properties of the star cluster populations they form, I explore the conditions for the formation of massive, compact, long-lived star clusters. The aim is to determine whether the relative amount of star formation that goes into star cluster formation as opposed to field star formation, and into the formation of massive long-lived clusters in particular, is universal or scales with star-formation rate, burst strength, star-formation efficiency, galaxy or gas mass, and whether or not there are special conditions or some threshold for the formation of star clusters that merit to be called globular clusters a few billion years later.Peer reviewe

In Situ Observations of the Deformation Behavior and Fracture Mechanisms of Ti-45Al-2Nb-2Mn+0.8 vol pct TiB₂

The deformation and fracture mechanisms of a nearly lamellar Ti-45Al-2Nb-2Mn (at. pct) + 0.8 vol pct TiB₂ intermetallic, processed into an actual low-pressure turbine blade, were examined by means of in situ tensile and tensile-creep experiments performed inside a scanning electron microscope (SEM). Low elongation-to-failure and brittle fracture were observed at room temperature, while the larger elongations-to-failure at high temperature facilitated the observation of the onset and propagation of damage. It was found that the dominant damage mechanisms at high temperature depended on the applied stress level. Interlamellar cracking was observed only above 390 MPa, which suggests that there is a threshold below which this mechanism is inhibited. Failure during creep tests at 250 MPa was controlled by intercolony cracking. The in situ observations demonstrated that the colony boundaries are damage nucleation and propagation sites during tensile creep, and they seem to be the weakest link in the microstructure for the tertiary creep stage. Therefore, it is proposed that interlamellar areas are critical zones for fracture at higher stresses, whereas lower stress, high-temperature creep conditions lead to intercolony cracking and fracture.The authors are grateful to Industria de Turbo Propulsores, S.A. for supplying the intermetallic blades. Funding from the Spanish Ministry of Science and Innovation through projects MAT2009-14547-C02-01 and MAT2009-14547-C02-02 is acknowledged. The Madrid Regional Government supported this project partially through the ESTRUMAT grant P2009/MAT-1585. C.J.B. acknowledges the support from Grant SAB2009-0045 from the Spanish Ministry of Education for his sabbatical stage in Madrid.Publicad

Effect of stress level on the high temperature deformation and fracture mechanisms of Ti-45Al-2Nb-2Mn-0.8 vol. pct TiB²: an 'In Situ' experimental study

The effect of the applied stress on the deformation and crack nucleation and propagation mechanisms of a gamma-TiAl intermetallic alloy (Ti-45Al-2Nb-2Mn (at. pct)-0.8 vol. pct TiB2) was examined by means of in situ tensile (constant strain rate) and tensile-creep (constant load) experiments performed at 973 K (700 °C) using a scanning electron microscope. Colony boundary cracking developed during the secondary stage in creep tests at 300 and 400 MPa and during the tertiary stage of the creep tests performed at higher stresses. Colony boundary cracking was also observed in the constant strain rate tensile test. Interlamellar ledges were only found during the tensile-creep tests at high stresses (sigma > 400 MPa) and during the constant strain rate tensile test. Quantitative measurements of the nature of the crack propagation path along secondary cracks and along the primary crack indicated that colony boundaries were preferential sites for crack propagation under all the conditions investigated. The frequency of interlamellar cracking increased with stress, but this fracture mechanism was always of secondary importance. Translamellar cracking was only observed along the primary crack.Funding from the Spanish Ministry of Science and Innovation through projects (MAT2009-14547-C02-01 and MAT2009-14547-C02-02) is acknowledged. The Madrid Regional Government partially supported this project through the ESTRUMAT grant (P2009/MAT-1585). CJB acknowledges the support from the Spanish Ministry of Education for his sabbatical stay in Madrid (SAB2009-0045).Publicad

S-matrix elements and off-shell tachyon action with non-abelian gauge symmetry

We propose that there is a unique expansion for the string theory S-matrix elements of tachyons that corresponds to non-abelian tachyon action. For those S-matrix elements which, in their expansion, there are the Feynman amplitudes resulting from the non-abelian kinetic term, we give a prescription on how to find the expansion. The gauge invariant action is an $\alpha'$ expanded action, and the tachyon mass $m$ which appears as coefficient of many different couplings, is arbitrary. We then analyze in details the S-matrix element of four tachyons and the S-matrix element of two tachyons and two gauge fields, in both bosonic and superstring theories, in favor of this proposal. In the superstring theory, the leading terms of the non-abelian gauge invariant couplings are in agreement with the symmetrised trace of the direct non-abelian generalization of the tachyonic Born-Infeld action in which the tachyon potential is consistent with $V(T)=e^{\pi\alpha' m^2T^2}$. In the bosonic theory, on the other hand, the leading terms are those appear in superstring case as well as some other gauge invariant couplings which spoils the symmetrised trace prescription. These latter terms are zero in the abelian case.Comment: Latex, 27 pages, no figures,v4:change the introduction section, add some notes to clarify the idea, add reference

Electronic localization at mesoscopic length scales: different definitions of localization and contact effects in a heuristic DNA model

In this work we investigate the electronic transport along model DNA molecules using an effective tight-binding approach that includes the backbone on site energies. The localization length and participation number are examined as a function of system size, energy dependence, and the contact coupling between the leads and the DNA molecule. On one hand, the transition from an diffusive regime to a localized regime for short systems is identified, suggesting the necessity of a further length scale revealing the system borders sensibility. On the other hand, we show that the lenght localization and participation number, do not depended of system size and contact coupling in the thermodynamic limit. Finally we discuss possible length dependent origins for the large discrepancies among experimental results for the electronic transport in DNA sample