Observations of microglitches in HartRAO radio pulsars

A detailed observation of microglitch phenomenon in relatively slow radio pulsars is presented. Our analyses for these small amplitude jumps in pulse rotation frequency ($\nu$) and/or spin down rate ($\dot{\nu}$) combine the traditional manual detection method (which hinges on careful visual inspections of the residuals of pulse phase residuals) and a new, and perhaps more objective, automated search technique (which exploits the power of the computer, rather than the eyes, for resolving discrete events in pulsar spin parameters). The results of the analyses of a sample of 26 radio pulsars reveal that: (i) only 20 pulsars exhibit significant fluctuations in their arrival times to be considered suitable for meaningful microglitch analyses; (ii) a phenomenal 299 microglitch events were identified in $\nu$ and/or $\dot{\nu}$: 266 of these events were found to be simultaneously significant in $\nu$ and $\dot{\nu}$, while 19 and 14 were noticeable only in $\nu$ and $\dot{\nu}$, respectively; (iii) irrespective of sign, the microglitches have fractional sizes which cover about 3 orders of magnitude in $\nu$ and $\dot{\nu}$ ($10^{-11} < |\Delta{\nu}/\nu| < 2.0\times10^{-8}$ and $5.0\times10^{-5} < |\Delta{\dot{\nu}}/\dot{\nu}| < 2.0\times10^{-2}$) with median values as $0.78\times10^{-9}$ and $0.36\times10^{-3}$, respectively.Comment: 12 pages, 3 figures, 2 Tables. Accepted for publication in Monthly Notices of the Royal Astronomical Society Main Journa

Exploiting Evolution for an Adaptive Drift-Robust Classifier in Chemical Sensing

Gas chemical sensors are strongly affected by drift, i.e., changes in sensors' response with time, that may turn statistical models commonly used for classification completely useless after a period of time. This paper presents a new classifier that embeds an adaptive stage able to reduce drift effects. The proposed system exploits a state-of-the-art evolutionary strategy to iteratively tweak the coefficients of a linear transformation able to transparently transform raw measures in order to mitigate the negative effects of the drift. The system operates continuously. The optimal correction strategy is learnt without a-priori models or other hypothesis on the behavior of physical-chemical sensors. Experimental results demonstrate the efficacy of the approach on a real problem

The Thermal Properties of Solar Flares Over Three Solar Cycles Using GOES X-ray Observations

Solar flare X-ray emission results from rapidly increasing temperatures and emission measures in flaring active region loops. To date, observations from the X-Ray Sensor (XRS) onboard the Geostationary Operational Environmental Satellite (GOES) have been used to derive these properties, but have been limited by a number of factors, including the lack of a consistent background subtraction method capable of being automatically applied to large numbers of flares. In this paper, we describe an automated temperature and emission measure-based background subtraction method (TEBBS), which builds on the methods of Bornmann (1990). Our algorithm ensures that the derived temperature is always greater than the instrumental limit and the pre-flare background temperature, and that the temperature and emission measure are increasing during the flare rise phase. Additionally, TEBBS utilizes the improved estimates of GOES temperatures and emission measures from White et al. (2005). TEBBS was successfully applied to over 50,000 solar flares occurring over nearly three solar cycles (1980-2007), and used to create an extensive catalog of the solar flare thermal properties. We confirm that the peak emission measure and total radiative losses scale with background subtracted GOES X-ray flux as power-laws, while the peak temperature scales logarithmically. As expected, the peak emission measure shows an increasing trend with peak temperature, although the total radiative losses do not. While these results are comparable to previous studies, we find that flares of a given GOES class have lower peak temperatures and higher peak emission measures than previously reported. The resulting TEBBS database of thermal flare plasma properties is publicly available on Solar Monitor (www.solarmonitor.org/TEBBS/) and will be available on Heliophysics Integrated Observatory (www.helio-vo.eu)

Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach

Stochastic switched systems are a relevant class of stochastic hybrid systems with probabilistic evolution over a continuous domain and control-dependent discrete dynamics over a finite set of modes. In the past few years several different techniques have been developed to assist in the stability analysis of stochastic switched systems. However, more complex and challenging objectives related to the verification of and the controller synthesis for logic specifications have not been formally investigated for this class of systems as of yet. With logic specifications we mean properties expressed as formulae in linear temporal logic or as automata on infinite strings. This paper addresses these complex objectives by constructively deriving approximately equivalent (bisimilar) symbolic models of stochastic switched systems. More precisely, this paper provides two different symbolic abstraction techniques: one requires state space discretization, but the other one does not require any space discretization which can be potentially more efficient than the first one when dealing with higher dimensional stochastic switched systems. Both techniques provide finite symbolic models that are approximately bisimilar to stochastic switched systems under some stability assumptions on the concrete model. This allows formally synthesizing controllers (switching signals) that are valid for the concrete system over the finite symbolic model, by means of mature automata-theoretic techniques in the literature. The effectiveness of the results are illustrated by synthesizing switching signals enforcing logic specifications for two case studies including temperature control of a six-room building.Comment: 25 pages, 4 figures. arXiv admin note: text overlap with arXiv:1302.386

Global optimal control of perturbed systems

We propose a new numerical method for the computation of the optimal value function of perturbed control systems and associated globally stabilizing optimal feedback controllers. The method is based on a set oriented discretization of state space in combination with a new algorithm for the computation of shortest paths in weighted directed hypergraphs. Using the concept of a multivalued game, we prove convergence of the scheme as the discretization parameter goes to zero