Supervisory Control for Real-Time Systems Based on Conflict-Tolerant Controllers

This paper addresses the problem of detecting and resolving conflicts due to timing constraints imposed by features in real-time and hybrid systems. We consider systems composed of a base system with multiple features or controllers, each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a modular manner based on the notion of conflict-tolerant features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority-based scheme forcomposing such features. This guarantees the maximal use of each feature. We provide a formal framework for specifying such features, and a compositional technique for verifying systems developed in this framework.

A novel fractional sampling offset estimation in an OFDM system

The Orthogonal Frequency Division Multiplexing (OFDM) is a form of Multi-Carrier Modulation where the data stream is transmitted over a number of carriers which are orthogonal to each other i.e. the carrier spacing is selected such that each carrier is located at the zeroes of all other carriers in the spectral domain. This paper proposes a new novel sampling offset estimation algorithm for an OFDM system in order to receive the OFDM data symbols error-free over the noisy channel at the receiver and to achieve fine timing synchronization between the transmitter and the receiver. The performance of this algorithm has been studied in AWGN, ADSL and SUI channels successfully.

Orbital evolution studies of two HMXB pulsars

High mass X-ray binary (HMXB) pulsars are of two types, persistent and transient. 4U1538-52 is a persistent HMXB whose orbit was previously measured to be circular but the RXTE observations revealed an eccentric orbit. We observed this system with RXTE-PCA in August 2003 and our timing analysis supports the eccentric orbit of the system. However, we do not find any evidence for orbital evolution. Rotational and tidal interactions between the stars of a closed binary system result in apsidal motion which can be measured in systems with eccentric orbit. 4U0115+63 is a Be-transient HMXB whose eccentric orbit was well-determined during its 1978 outburst. We report preliminary results from analysis of data obtained during the 1999 outburst of this source with the RXTE-PCA.

Orbital evolution and orbital phase resolved spectroscopy of the HMXB pulsar 4U 1538-52 with RXTE-PCA and BeppoSAX

We report here results from detailed timing and spectral studies of the high mass X-ray binary pulsar 4U 1538-52 over several binary periods using observations made with the Rossi X-ray Timing Explorer (RXTE) and BeppoSAX satellites. Pulse timing analysis with the 2003 RXTE data over two binary orbits confirms an eccentric orbit of the system. Combining the orbitial parameters determined from this observation with the earlier measurements we did not find any evidence of orbital decay in this X-ray binary. We have carried out orbital phase resolved spectroscopy to measure changes in the spectral parameters with orbital phase, particularly the absorption column density and the iron line flux. The RXTE-PCA spectra in the 3-20 keV energy range were fitted with a power law and a high energy cut-off along with a Gaussian line at similar to 6.4 keV, whereas the BeppoSAX spectra needed only a power law and Gaussian emission line at similar to 6.4keV in the restricted energy range of 0.3-10.0 keV. An absorption along the line of sight was included for both the RXTE and BeppoSAX data. The variation of the free spectral parameters over the binary orbit was investigated and we found that the variation of the column density of absorbing material in the line of sight with orbital phase is in reasonable agreement with a simple model of a spherically symmetric stellar wind from the companion star.

Orbital evolution studies of two HMXB pulsars

High mass X-ray binary (H M X B) pulsars are of two types, persistent and transient. 4U 1538-52 is a persistent HMXB whose orbit was previously measured to be circular but the RXTE observations revealed an eccentric orbit. We observed this system with RXTE-PCA in August 2003 and our timing analysis supports the eccentric orbit of the system. However, we do not find any evidence for orbital evolution. Rotational and tidal interactions between the stars of a closed binary system result in apsidal motion which can be measured in systems with eccentric orbit. 4U0115+63 is a Be-transient HMXB whose eccentric orbit was well-determined during its 1978 outburst. We report preliminary results from analysis of data obtained during the 1999 outburst of this source with the RXTE-PCA.