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

Exploratory Comparison of Expert and Novice Pair Programmers

We conducted quasi-experiment comparing novice pair programmers to expert pair programmers. The expert pairs wrote tests with a higher instruction, line, and method coverage than the novice pairs and changed the given program skeleton to a larger extent. However, the expert pairs were also slower than the novice pairs. The pairs within both groups switched keyboard and mouse possession frequently. Furthermore, most pairs did not share the input devices equally but rather had one partner who is more active than the other

Size Doesn't Matter: Towards a More Inclusive Philosophy of Biology

notes: As the primary author, O’Malley drafted the paper, and gathered and analysed data (scientific papers and talks). Conceptual analysis was conducted by both authors.publication-status: Publishedtypes: ArticlePhilosophers of biology, along with everyone else, generally perceive life to fall into two broad categories, the microbes and macrobes, and then pay most of their attention to the latter. ‘Macrobe’ is the word we propose for larger life forms, and we use it as part of an argument for microbial equality. We suggest that taking more notice of microbes – the dominant life form on the planet, both now and throughout evolutionary history – will transform some of the philosophy of biology’s standard ideas on ontology, evolution, taxonomy and biodiversity. We set out a number of recent developments in microbiology – including biofilm formation, chemotaxis, quorum sensing and gene transfer – that highlight microbial capacities for cooperation and communication and break down conventional thinking that microbes are solely or primarily single-celled organisms. These insights also bring new perspectives to the levels of selection debate, as well as to discussions of the evolution and nature of multicellularity, and to neo-Darwinian understandings of evolutionary mechanisms. We show how these revisions lead to further complications for microbial classification and the philosophies of systematics and biodiversity. Incorporating microbial insights into the philosophy of biology will challenge many of its assumptions, but also give greater scope and depth to its investigations

Measurement of the View the tt production cross-section using eμ events with b-tagged jets in pp collisions at √s = 13 TeV with the ATLAS detector

This paper describes a measurement of the inclusive top quark pair production cross-section (σtt¯) with a data sample of 3.2 fb−1 of proton–proton collisions at a centre-of-mass energy of √s = 13 TeV, collected in 2015 by the ATLAS detector at the LHC. This measurement uses events with an opposite-charge electron–muon pair in the final state. Jets containing b-quarks are tagged using an algorithm based on track impact parameters and reconstructed secondary vertices. The numbers of events with exactly one and exactly two b-tagged jets are counted and used to determine simultaneously σtt¯ and the efficiency to reconstruct and b-tag a jet from a top quark decay, thereby minimising the associated systematic uncertainties. The cross-section is measured to be: σtt¯ = 818 ± 8 (stat) ± 27 (syst) ± 19 (lumi) ± 12 (beam) pb, where the four uncertainties arise from data statistics, experimental and theoretical systematic effects, the integrated luminosity and the LHC beam energy, giving a total relative uncertainty of 4.4%. The result is consistent with theoretical QCD calculations at next-to-next-to-leading order. A fiducial measurement corresponding to the experimental acceptance of the leptons is also presented

The performance of the jet trigger for the ATLAS detector during 2011 data taking

The performance of the jet trigger for the ATLAS detector at the LHC during the 2011 data taking period is described. During 2011 the LHC provided proton–proton collisions with a centre-of-mass energy of 7 TeV and heavy ion collisions with a 2.76 TeV per nucleon–nucleon collision energy. The ATLAS trigger is a three level system designed to reduce the rate of events from the 40 MHz nominal maximum bunch crossing rate to the approximate 400 Hz which can be written to offline storage. The ATLAS jet trigger is the primary means for the online selection of events containing jets. Events are accepted by the trigger if they contain one or more jets above some transverse energy threshold. During 2011 data taking the jet trigger was fully efficient for jets with transverse energy above 25 GeV for triggers seeded randomly at Level 1. For triggers which require a jet to be identified at each of the three trigger levels, full efficiency is reached for offline jets with transverse energy above 60 GeV. Jets reconstructed in the final trigger level and corresponding to offline jets with transverse energy greater than 60 GeV, are reconstructed with a resolution in transverse energy with respect to offline jets, of better than 4 % in the central region and better than 2.5 % in the forward direction

Search for dark matter produced in association with a hadronically decaying vector boson in pp collisions at sqrt (s) = 13 TeV with the ATLAS detector

A search is presented for dark matter produced in association with a hadronically decaying W or Z boson using 3.2 fb−1 of pp collisions at View the MathML sources=13 TeV recorded by the ATLAS detector at the Large Hadron Collider. Events with a hadronic jet compatible with a W or Z boson and with large missing transverse momentum are analysed. The data are consistent with the Standard Model predictions and are interpreted in terms of both an effective field theory and a simplified model containing dark matter

Measurement of the cross section for isolated-photon plus jet production in pp collisions at √s=13 TeV using the ATLAS detector

The dynamics of isolated-photon production in association with a jet in proton–proton collisions at a centre-of-mass energy of 13 TeV are studied with the ATLAS detector at the LHC using a dataset with an integrated luminosity of 3.2 fb−1. Photons are required to have transverse energies above 125 GeV. Jets are identified using the anti- algorithm with radius parameter and required to have transverse momenta above 100 GeV. Measurements of isolated-photon plus jet cross sections are presented as functions of the leading-photon transverse energy, the leading-jet transverse momentum, the azimuthal angular separation between the photon and the jet, the photon–jet invariant mass and the scattering angle in the photon–jet centre-of-mass system. Tree-level plus parton-shower predictions from Sherpa and Pythia as well as next-to-leading-order QCD predictions from Jetphox and Sherpa are compared to the measurements

Search for resonances in the mass distribution of jet pairs with one or two jets identified as b-jets in proton–proton collisions at √s=13TeV with the ATLAS detector

Searches for high-mass resonances in the dijet invariant mass spectrum with one or two jets identi-fied as b-jets are performed using an integrated luminosity of 3.2fb−1of proton–proton collisions with a centre-of-mass energy of √s=13TeVrecorded by the ATLAS detector at the Large Hadron Collider. Noevidence of anomalous phenomena is observed in the data, which are used to exclude, at 95%credibility level, excited b∗quarks with masses from 1.1TeVto 2.1TeVand leptophobic Z bosons with masses from 1.1TeVto 1.5TeV. Contributions of a Gaussian signal shape with effective cross sections ranging from approximately 0.4 to 0.001pb are also excluded in the mass range 1.5–5.0TeV

Measurement of the double-differential high-mass Drell-Yan cross section in pp collisions at √s = 8 TeV with the ATLAS detector

This paper presents a measurement of the double-differential cross section for the Drell-Yan Z/γ∗ → ℓ+ℓ− and photon-induced γγ → ℓ+ℓ− processes where ℓ is an electron or muon. The measurement is performed for invariant masses of the lepton pairs, mℓℓ, between 116 GeV and 1500 GeV using a sample of 20.3 fb−1 of pp collisions data at centre-of-mass energy of √s = 8 TeV collected by the ATLAS detector at the LHC in 2012. The data are presented double differentially in invariant mass and absolute dilepton rapidity as well as in invariant mass and absolute pseudorapidity separation of the lepton pair. The single-differential cross section as a function of mℓℓ is also reported. The electron and muon channel measurements are combined and a total experimental precision of better than 1% is achieved at low mℓℓ. A comparison to next-to-next-to-leading order perturbative QCD predictions using several recent parton distribution functions and including next-to-leading order electroweak effects indicates the potential of the data to constrain parton distribution functions. In particular, a large impact of the data on the photon PDF is demonstrated

Charged-particle distributions in √s=13 TeV pp interactions measured with the ATLAS detector at the LHC

Charged-particle distributions are measured in proton–proton collisions at a centre-of-mass energy of 13 TeV, using a data sample of nearly 9 million events, corresponding to an integrated luminosity of 170 μb−1170 μb−1, recorded by the ATLAS detector during a special Large Hadron Collider fill. The charged-particle multiplicity, its dependence on transverse momentum and pseudorapidity and the dependence of the mean transverse momentum on the charged-particle multiplicity are presented. The measurements are performed with charged particles with transverse momentum greater than 500 MeV and absolute pseudorapidity less than 2.5, in events with at least one charged particle satisfying these kinematic requirements. Additional measurements in a reduced phase space with absolute pseudorapidity less than 0.8 are also presented, in order to compare with other experiments. The results are corrected for detector effects, presented as particle-level distributions and are compared to the predictions of various Monte Carlo event generators