Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications

We address the problem of diagnosing and repairing specifications for hybrid systems formalized in signal temporal logic (STL). Our focus is on the setting of automatic synthesis of controllers in a model predictive control (MPC) framework. We build on recent approaches that reduce the controller synthesis problem to solving one or more mixed integer linear programs (MILPs), where infeasibility of a MILP usually indicates unrealizability of the controller synthesis problem. Given an infeasible STL synthesis problem, we present algorithms that provide feedback on the reasons for unrealizability, and suggestions for making it realizable. Our algorithms are sound and complete, i.e., they provide a correct diagnosis, and always terminate with a non-trivial specification that is feasible using the chosen synthesis method, when such a solution exists. We demonstrate the effectiveness of our approach on the synthesis of controllers for various cyber-physical systems, including an autonomous driving application and an aircraft electric power system

A study of gas contaminants and interaction with materials in RPC closed loop systems

Resistive Plate Counters (RPC) detectors at the Large Hadron Collider (LHC) experiments use gas recirculation systems to cope with large gas mixture volumes and costs. In this paper a long-term systematic study about gas purifiers, gas contaminants and detector performance is discussed. The study aims at measuring the lifetime of purifiers with unused and used cartridge material along with contaminants release in the gas system. During the data-taking the response of several RPC double-gap detectors was monitored in order to characterize the correlation between dark currents, filter status and gas contaminants

The CMS RPC gas gain monitoring system: an overview and preliminary results

The status of the CMS RPC Gas Gain Monitoring (GGM) system developed at the Frascati Laboratory of INFN (Istituto Nazionale di Fisica Nucleare) is reported on. The GGM system is a cosmic ray telescope based on small RPC detectors operated with the same gas mixture used by the CMS RPC system. The GGM gain and efficiency are continuously monitored on-line, thus providing a fast and accurate determination of any shift in working point conditions. The construction details and the first result of GGM commissioning are described.Comment: 8 pages, 9 figures, uses lnfprepCMS.sty, presented by L. Benussi at RPC07, Mumbai, INDIA 200

Gas Analysis and Monitoring Systems for the RPC Detector of CMS at LHC

The Resistive Plate Chambers (RPC) detector of the CMS experiment at the LHC proton collider (CERN, Switzerland) will employ an online gas analysis and monitoring system of the freon-based gas mixture used. We give an overview of the CMS RPC gas system, describe the project parameters and first results on gas-chromatograph analysis. Finally, we report on preliminary results for a set of monitor RPC.Comment: 9 pages, 8 figures. Presented by Stefano Bianco (Laboratori Nazionali di Frascati dell'INFN) at the IEEE NSS, San Diego (USA), October 200

Construction and Performance of Large-Area Triple-GEM Prototypes for Future Upgrades of the CMS Forward Muon System

At present, part of the forward RPC muon system of the CMS detector at the CERN LHC remains uninstrumented in the high-\eta region. An international collaboration is investigating the possibility of covering the 1.6 < |\eta| < 2.4 region of the muon endcaps with large-area triple-GEM detectors. Given their good spatial resolution, high rate capability, and radiation hardness, these micro-pattern gas detectors are an appealing option for simultaneously enhancing muon tracking and triggering capabilities in a future upgrade of the CMS detector. A general overview of this feasibility study will be presented. The design and construction of small (10\times10 cm2) and full-size trapezoidal (1\times0.5 m2) triple-GEM prototypes will be described. During detector assembly, different techniques for stretching the GEM foils were tested. Results from measurements with x-rays and from test beam campaigns at the CERN SPS will be shown for the small and large prototypes. Preliminary simulation studies on the expected muon reconstruction and trigger performances of this proposed upgraded muon system will be reported.Comment: 7 pages, 25 figures, submitted for publication in conference record of the 2011 IEEE Nuclear Science Symposium, Valencia, Spai

Performance of a Large-Area GEM Detector Prototype for the Upgrade of the CMS Muon Endcap System

Gas Electron Multiplier (GEM) technology is being considered for the forward muon upgrade of the CMS experiment in Phase 2 of the CERN LHC. Its first implementation is planned for the GE1/1 system in the $1.5 < \mid\eta\mid < 2.2$ region of the muon endcap mainly to control muon level-1 trigger rates after the second long LHC shutdown. A GE1/1 triple-GEM detector is read out by 3,072 radial strips with 455 $\mu$rad pitch arranged in eight $\eta$-sectors. We assembled a full-size GE1/1 prototype of 1m length at Florida Tech and tested it in 20-120 GeV hadron beams at Fermilab using Ar/CO$_{2}$ 70:30 and the RD51 scalable readout system. Four small GEM detectors with 2-D readout and an average measured azimuthal resolution of 36 $\mu$rad provided precise reference tracks. Construction of this largest GEM detector built to-date is described. Strip cluster parameters, detection efficiency, and spatial resolution are studied with position and high voltage scans. The plateau detection efficiency is [97.1 $\pm$ 0.2 (stat)]\%. The azimuthal resolution is found to be [123.5 $\pm$ 1.6 (stat)] $\mu$rad when operating in the center of the efficiency plateau and using full pulse height information. The resolution can be slightly improved by $\sim$ 10 $\mu$rad when correcting for the bias due to discrete readout strips. The CMS upgrade design calls for readout electronics with binary hit output. When strip clusters are formed correspondingly without charge-weighting and with fixed hit thresholds, a position resolution of [136.8 $\pm$ 2.5 stat] $\mu$rad is measured, consistent with the expected resolution of strip-pitch/$\sqrt{12}$ = 131.3 $\mu$rad. Other $\eta$-sectors of the detector show similar response and performance.Comment: 8 pages, 32 figures, submitted to Proc. 2014 IEEE Nucl. Sci. Symposium, Seattle, WA, reference adde

Identification of subgroups of early breast cancer patients at high risk of nonadherence to adjuvant hormone therapy: results of an italian survey.

The aim of this study was the identification of subgroups of patients at higher risk of nonadherence to adjuvant hormone therapy for breast cancer. Using recursive partitioning and amalgamation (RECPAM) analysis, the highest risk was observed in the group of unmarried, employed women, or housewives. This result might be functional in designing tailored intervention studies aimed at improvement of adherence. Background: Adherence to adjuvant endocrine therapy (HT) is suboptimal among breast cancer patients. A high rate of nonadherence might explain differences in survival between clinical trial and clinical practice. Tailored interventions aimed at improving adherence can only be implemented if subgroups of patients at higher risk of poor adherence are identified. Because no data are available for Italy, we undertook a large survey on adherence among women taking adjuvant HT for breast cancer. Patients and Methods: Patients were recruited from 10 cancer clinics in central Italy. All patients taking HT for at least 1 year were invited, during one of their follow-up visit, to fill a confidential questionnaire. The association of sociodemographic and clinical characteristics of participants with adherence was assessed using logistic regression. The RECPAM method was used to evaluate interactions among variables and to identify subgroups of patients at different risk of nonadherence. Results: A total of 939 patients joined the study and 18.6% of them were classified as nonadherers. Among possible predictors, only age, working status, and switching from tamoxifen to an aromatase inhibitor were predictive of nonadherence in multivariate analysis. RECPAM analysis led to the identification of 4 classes of patients with a different likelihood of nonadherence to therapy, the lowest being observed in retired women with a low level of education, the highest in the group of unmarried, employed women, or housewives. Conclusion: The identification of these subgroups of “real life” patients with a high prevalence of nonadherers might be functional in designing intervention studies aimed at improving adherenc

Development and performance of Triple-GEM detectors for the upgrade of the muon system of the CMS experiment

The CMS Collaboration is evaluating GEM detectors for the upgrade of the muon system. This contribution will focus on the R&D performed on chambers design features and will discuss the performance of the upgraded detector

A novel application of Fiber Bragg Grating (FBG) sensors in MPGD

We present a novel application of Fiber Bragg Grating (FBG) sensors in the construction and characterisation of Micro Pattern Gaseous Detector (MPGD), with particular attention to the realisation of the largest triple (Gas electron Multiplier) GEM chambers so far operated, the GE1/1 chambers of the CMS experiment at LHC. The GE1/1 CMS project consists of 144 GEM chambers of about 0.5 m2 active area each, employing three GEM foils per chamber, to be installed in the forward region of the CMS endcap during the long shutdown of LHC in 2108-2019. The large active area of each GE1/1 chamber consists of GEM foils that are mechanically stretched in order to secure their flatness and the consequent uniform performance of the GE1/1 chamber across its whole active surface. So far FBGs have been used in high energy physics mainly as high precision positioning and re-positioning sensors and as low cost, easy to mount, low space consuming temperature sensors. FBGs are also commonly used for very precise strain measurements in material studies. In this work we present a novel use of FBGs as flatness and mechanical tensioning sensors applied to the wide GEM foils of the GE1/1 chambers. A network of FBG sensors have been used to determine the optimal mechanical tension applied and to characterise the mechanical tension that should be applied to the foils. We discuss the results of the test done on a full-sized GE1/1 final prototype, the studies done to fully characterise the GEM material, how this information was used to define a standard assembly procedure and possible future developments.Comment: 4 pages, 4 figures, presented by Luigi Benussi at MPGD 2015 (Trieste, Italy). arXiv admin note: text overlap with arXiv:1512.0848