The mysterious eruption of V838 Mon

V838 Mon is marking one of the most mysterious stellar outbursts on record. The spectral energy distribution of the progenitor resembles an under-luminous F main sequence star (at V=15.6 mag), that erupted into a cool supergiant following a complex and multi-maxima lightcurve (peaking at V=6.7 mag). The outburst spectrum show BaII, LiI and lines of several s-elements, with wide P-Cyg profiles and a moderate and retracing emission in the Balmer lines. A light-echo discovered expanding around the object helped to constrain the distance (d=790+/-30 pc), providing M_V=+4.45 in quiescence and M_V=-4.35 at optical maximum (somewhat dependent on the still uncertain E(B-V)=0.5 reddening). The general outburst trend is toward lower temperatures and larger luminosities, and continuing so at the time of writing. The object properties conflict with a classification within already existing categories: the progenitor was not on a post-AGB track and thus the similarities with the born-again AGB stars FG Sge, V605 Aql and Sakurai's object are limited to the cool giant spectrum at maximum; the cool spectrum, the moderate wind velocity (500 km/sec and progressively reducing) and the monotonic decreasing of the low ionization condition argues against a classical nova scenario. The closest similarity is with a star that erupted into an M-type supergiant discovered in M31 by Rich et al. (1989), that became however much brighter by peaking at M_V=-9.95, and with V4332 Sgr that too erupted into an M-type giant (Martini et al. 1999) and that attained a lower luminosity, closer to that of V838 Mon. M31-RedVar, V4332 Sgr and V838 Mon could be manifestations of the same and new class of astronomical objects.Comment: A&A, in pres

First optical validation of a Schwarzschild Couder telescope: the ASTRI SST-2M Cherenkov telescope

The Cherenkov Telescope Array (CTA) represents the most advanced facility designed for Cherenkov Astronomy. ASTRI SST-2M has been developed as a demonstrator for the Small Size Telescope in the context of the upcoming CTA. Its main innovation consists in the optical layout which implements the Schwarzschild-Couder configuration and is fully validated for the first time. The ASTRI SST-2M optical system represents the first qualified example for two mirrors telescope for Cherenkov Astronomy. This configuration permits to (i) maintain a high optical quality across a large FoV (ii) de-magnify the plate scale, (iii) exploit new technological solutions for focal plane sensors. The goal of the paper is to present the optical qualification of the ASTRI SST-2M telescope. The qualification has been obtained measuring the PSF sizes generated in the focal plane at various distance from the optical axis. These values have been compared with the performances expected by design. After an introduction on the Gamma Astronomy from the ground, the optical design and how it has been implemented for ASTRI SST-2M is discussed. Moreover the description of the setup used to qualify the telescope over the full field of view is shown. We report the results of the first--light optical qualification. The required specification of a flat PSF of $\sim 10$ arcmin in a large field of view ~10 deg has been demonstrated. These results validate the design specifications, opening a new scenario for Cherenkov Gamma ray Astronomy and, in particular, for the detection of high energy (5 - 300 TeV) gamma rays and wide-field observations with CTA.Comment: 6 pages, 5 figure

Polarimetric survey of asteroids with the Asiago telescope

We present the first results of an asteroid photo--polarimetry program started at Asiago--Cima Ekar Observatory. The aim of our survey is to estimate diversity in polarimetric properties of asteroids belonging to different taxonomic and dynamical classes. The data were obtained with the polarization analyser placed inside the Faint Object Spectrographic Camera (AFOSC) of the 1.8m telescope. This instrument allows simultaneous measurements of the two first Stokes parameters without any lambda/2 retarding plate. Our survey began in 2002, and up to now we have obtained data on a sample of 36 asteroids; most of them are being investigated with the polarimetric technique for the first time. Combining our data with those already available in literature, we present an estimate of the inversion angle for 7 asteroids in this paper. Furthermore, we present the polarimetric measurements of the rare asteroid classes belonging to the A and D types and a detailed VRI observations at extremely small phase angles of the low albedo asteroid 1021 Flammari

Verification and Control of Partially Observable Probabilistic Real-Time Systems

We propose automated techniques for the verification and control of probabilistic real-time systems that are only partially observable. To formally model such systems, we define an extension of probabilistic timed automata in which local states are partially visible to an observer or controller. We give a probabilistic temporal logic that can express a range of quantitative properties of these models, relating to the probability of an event's occurrence or the expected value of a reward measure. We then propose techniques to either verify that such a property holds or to synthesise a controller for the model which makes it true. Our approach is based on an integer discretisation of the model's dense-time behaviour and a grid-based abstraction of the uncountable belief space induced by partial observability. The latter is necessarily approximate since the underlying problem is undecidable, however we show how both lower and upper bounds on numerical results can be generated. We illustrate the effectiveness of the approach by implementing it in the PRISM model checker and applying it to several case studies, from the domains of computer security and task scheduling