1,006 research outputs found
Interrupt Timed Automata: verification and expressiveness
We introduce the class of Interrupt Timed Automata (ITA), a subclass of
hybrid automata well suited to the description of timed multi-task systems with
interruptions in a single processor environment. While the reachability problem
is undecidable for hybrid automata we show that it is decidable for ITA. More
precisely we prove that the untimed language of an ITA is regular, by building
a finite automaton as a generalized class graph. We then establish that the
reachability problem for ITA is in NEXPTIME and in PTIME when the number of
clocks is fixed. To prove the first result, we define a subclass ITA- of ITA,
and show that (1) any ITA can be reduced to a language-equivalent automaton in
ITA- and (2) the reachability problem in this subclass is in NEXPTIME (without
any class graph). In the next step, we investigate the verification of real
time properties over ITA. We prove that model checking SCL, a fragment of a
timed linear time logic, is undecidable. On the other hand, we give model
checking procedures for two fragments of timed branching time logic. We also
compare the expressive power of classical timed automata and ITA and prove that
the corresponding families of accepted languages are incomparable. The result
also holds for languages accepted by controlled real-time automata (CRTA), that
extend timed automata. We finally combine ITA with CRTA, in a model which
encompasses both classes and show that the reachability problem is still
decidable. Additionally we show that the languages of ITA are neither closed
under complementation nor under intersection
Laser frequency stabilization using folded cavity and mirror reflectivity tuning
International audienceA new method of laser frequency stabilization using polarization property of an optical cavity is proposed. In a standard Fabry–Perot cavity, the coating layers thickness of cavity mirrors is calculated to obtain the same phase shift for sand p-wave but a slight detuning from the nominal thickness can produce sand p-wave phase detuning. As a result, each wave accumulates a different round-trip phase shift and resonates at a different frequency. Using this polarization property, an error signal is generated by a simple setup consisting of a quarter wave-plate rotated at 45°, a polarizing beam splitter and two photodiodes. This method exhibits similar error signal as the Pound–Drever–Hall technique but without need for any frequency modulation. Lock theory and experimental results are presented in this paper.
Sensitivity Studies for Third-Generation Gravitational Wave Observatories
Advanced gravitational wave detectors, currently under construction, are
expected to directly observe gravitational wave signals of astrophysical
origin. The Einstein Telescope, a third-generation gravitational wave detector,
has been proposed in order to fully open up the emerging field of gravitational
wave astronomy. In this article we describe sensitivity models for the Einstein
Telescope and investigate potential limits imposed by fundamental noise
sources. A special focus is set on evaluating the frequency band below 10Hz
where a complex mixture of seismic, gravity gradient, suspension thermal and
radiation pressure noise dominates. We develop the most accurate sensitivity
model, referred to as ET-D, for a third-generation detector so far, including
the most relevant fundamental noise contributions.Comment: 13 pages, 7 picture
Scientific Potential of Einstein Telescope
Einstein gravitational-wave Telescope (ET) is a design study funded by the
European Commission to explore the technological challenges of and scientific
benefits from building a third generation gravitational wave detector. The
three-year study, which concluded earlier this year, has formulated the
conceptual design of an observatory that can support the implementation of new
technology for the next two to three decades. The goal of this talk is to
introduce the audience to the overall aims and objectives of the project and to
enumerate ET's potential to influence our understanding of fundamental physics,
astrophysics and cosmology.Comment: Conforms to conference proceedings, several author names correcte
Scientific Objectives of Einstein Telescope
The advanced interferometer network will herald a new era in observational
astronomy. There is a very strong science case to go beyond the advanced
detector network and build detectors that operate in a frequency range from 1
Hz-10 kHz, with sensitivity a factor ten better in amplitude. Such detectors
will be able to probe a range of topics in nuclear physics, astronomy,
cosmology and fundamental physics, providing insights into many unsolved
problems in these areas.Comment: 18 pages, 4 figures, Plenary talk given at Amaldi Meeting, July 201
Calibration and sensitivity of the Virgo detector during its second science run
The Virgo detector is a kilometer-length interferometer for gravitational
wave detection located near Pisa (Italy). During its second science run (VSR2)
in 2009, six months of data were accumulated with a sensitivity close to its
design. In this paper, the methods used to determine the parameters for
sensitivity estimation and gravitational wave reconstruction are described. The
main quantities to be calibrated are the frequency response of the mirror
actuation and the sensing of the output power. Focus is also put on their
absolute timing. The monitoring of the calibration data as well as the
parameter estimation with independent techniques are discussed to provide an
estimation of the calibration uncertainties. Finally, the estimation of the
Virgo sensitivity in the frequency-domain is described and typical
sensitivities measured during VSR2 are shown.Comment: 30 pages, 23 figures, 1 table. Published in Classical and Quantum
Gravity (CQG), Corrigendum include
Characterization of the LIGO detectors during their sixth science run
31 pages, 13 figures - See paper for full list of authorsInternational audienceIn 2009-2010, the Laser Interferometer Gravitational-wave Observatory (LIGO) operated together with international partners Virgo and GEO600 as a network to search for gravitational waves of astrophysical origin. The sensitiv- ity of these detectors was limited by a combination of noise sources inherent to the instrumental design and its environment, often localized in time or frequency, that couple into the gravitational-wave readout. Here we review the performance of the LIGO instruments during this epoch, the work done to characterize the de- tectors and their data, and the effect that transient and continuous noise artefacts have on the sensitivity of LIGO to a variety of astrophysical sources
Search for Gravitational Wave Bursts from Six Magnetars
Soft gamma repeaters (SGRs) and anomalous X-ray pulsars (AXPs) are thought to be magnetars: neutron stars powered by extreme magnetic fields. These rare objects are characterized by repeated and sometimes spectacular gamma-ray bursts. The burst mechanism might involve crustal fractures and excitation of non-radial modes which would emit gravitational waves (GWs). We present the results of a search for GW bursts from six galactic magnetars that is sensitive to neutron star f-modes, thought to be the most efficient GW emitting oscillatory modes in compact stars. One of them, SGR 0501+4516, is likely similar to 1 kpc from Earth, an order of magnitude closer than magnetars targeted in previous GW searches. A second, AXP 1E 1547.0-5408, gave a burst with an estimated isotropic energy >10(44) erg which is comparable to the giant flares. We find no evidence of GWs associated with a sample of 1279 electromagnetic triggers from six magnetars occurring between 2006 November and 2009 June, in GW data from the LIGO, Virgo, and GEO600 detectors. Our lowest model-dependent GW emission energy upper limits for band-and time-limited white noise bursts in the detector sensitive band, and for f-mode ringdowns (at 1090 Hz), are 3.0 x 10(44)d(1)(2) erg and 1.4 x 10(47)d(1)(2) erg, respectively, where d(1) = d(0501)/1 kpc and d(0501) is the distance to SGR 0501+4516. These limits on GW emission from f-modes are an order of magnitude lower than any previous, and approach the range of electromagnetic energies seen in SGR giant flares for the first time.United States National Science FoundationScience and Technology Facilities Council of the United KingdomMax-Planck-SocietyState of Niedersachsen/GermanyItalian Istituto Nazionale di Fisica NucleareFrench Centre National de la Recherche ScientifiqueAustralian Research CouncilCouncil of Scientific and Industrial Research of IndiaIstituto Nazionale di Fisica Nucleare of ItalySpanish Ministerio de Educacion y CienciaConselleria d'Economia Hisenda i Innovacio of the Govern de les Illes BalearsFoundation for Fundamental Research on Matter supported by the Netherlands Organisation for Scientific ResearchPolish Ministry of Science and Higher EducationFoundation for Polish ScienceRoyal SocietyScottish Funding CouncilScottish Universities Physics AllianceNational Aeronautics and Space Administration NNH07ZDA001-GLASTCarnegie TrustLeverhulme TrustDavid and Lucile Packard FoundationResearch CorporationAlfred P. Sloan FoundationRussian Space AgencyRFBR 09-02-00166aIPN JPL Y503559 (Odyssey), NASA NNG06GH00G, NASA NNX07AM42G, NASA NNX08AC89G (INTEGRAL), NASA NNG06GI896, NASA NNX07AJ65G, NASA NNX08AN23G (Swift), NASA NNX07AR71G (MESSENGER), NASA NNX06AI36G, NASA NNX08AB84G, NASA NNX08AZ85G (Suzaku), NASA NNX09AU03G (Fermi)Astronom
Virgo calibration and reconstruction of the gravitational wave strain during VSR1
Virgo is a kilometer-length interferometer for gravitational waves detection
located near Pisa. Its first science run, VSR1, occured from May to October
2007. The aims of the calibration are to measure the detector sensitivity and
to reconstruct the time series of the gravitational wave strain h(t). The
absolute length calibration is based on an original non-linear reconstruction
of the differential arm length variations in free swinging Michelson
configurations. It uses the laser wavelength as length standard. This method is
used to calibrate the frequency dependent response of the Virgo mirror
actuators and derive the detector in-loop response and sensitivity within ~5%.
The principle of the strain reconstruction is highlighted and the h(t)
systematic errors are estimated. A photon calibrator is used to check the sign
of h(t). The reconstructed h(t) during VSR1 is valid from 10 Hz up to 10 kHz
with systematic errors estimated to 6% in amplitude. The phase error is
estimated to be 70 mrad below 1.9 kHz and 6 micro-seconds above.Comment: 8 pages, 8 figures, proceedings of Amaldi 8 conference, to be
published in Journal of Physics Conference Series (JPCS). Second release:
correct typo
Sensitivity to Gravitational Waves from Compact Binary Coalescences Achieved during LIGO's Fifth and Virgo's First Science Run
We summarize the sensitivity achieved by the LIGO and Virgo gravitational
wave detectors for compact binary coalescence (CBC) searches during LIGO's
fifth science run and Virgo's first science run. We present noise spectral
density curves for each of the four detectors that operated during these
science runs which are representative of the typical performance achieved by
the detectors for CBC searches. These spectra are intended for release to the
public as a summary of detector performance for CBC searches during these
science runs.Comment: 12 pages, 5 figure
- …