Systems theoretic methods in decoding

In this paper we show how ideas based on system theoretic modeling of linear behaviors may be used for decoding of linear codes. In particular we show how Sudan's bivariate interpolation approach to list decoding of RS codes allows a system theoretic interpretation

On the necessity of identifying the true parameter in adaptive LQ control

In adaptive control problems one may drop the requirement of identifying the true system in order to simplify the problem of control. It will be shown that in the adaptive LQ control problem this does not at all lead to an easier problem

Correction and simplification to "The order of a stabilizing regulator is sufficient a priori information for adaptive stabilization

This note corrects a mistake in a paper by Mårtensson (1986). The main conclusion there (as reflected in the title) remains unchanged, only the construction of the `universal controller¿ has to be carried out slightly differently

Reed-Solomon list decoding from a system-theoretic perspective

In this paper, the Sudan-Guruswami approach to list decoding of Reed-Solomon (RS) codes is cast in a system-theoretic framework. With the data, a set of trajectories or time series is associated which is then modeled as a so-called behavior. In this way, a connection is made with the behavioral approach to system theory. It is shown how a polynomial representation of the modeling behavior gives rise to the bivariate interpolating polynomials of the Sudan-Guruswami approach. The concept of "weighted row reduced" is introduced and used to achieve minimality. Two decoding methods are derived and a parametrization of all bivariate interpolating polynomials is given

Familial influences on the full range of variability in attention and activity levels during adolescence: A longitudinal twin study

AbstractTo investigate familial influences on the full range of variability in attention and activity across adolescence, we collected maternal ratings of 339 twin pairs at ages 12, 14, and 16, and estimated the transmitted and new familial influences on attention and activity as measured by the Strengths and Weaknesses of Attention-Deficit/Hyperactivity Disorder Symptoms and Normal Behavior Scale. Familial influences were substantial for both traits across adolescence: genetic influences accounted for 54%–73% (attention) and 31%–73% (activity) of the total variance, and shared environmental influences accounted for 0%–22% of the attention variance and 13%–57% of the activity variance. The longitudinal stability of individual differences in attention and activity was largely accounted for by familial influences transmitted from previous ages. Innovations over adolescence were also partially attributable to familial influences. Studying the full range of variability in attention and activity may facilitate our understanding of attention-deficit/hyperactivity disorder's etiology and intervention.</jats:p

Low frequency measurements of synchrotron absorbing HII regions and modeling of observed synchrotron emissivity

Cosmic rays (CRs) and magnetic fields are dynamically important components in the Galaxy, and their energy densities are comparable to that of the turbulent interstellar gas. The interaction of CRs and Galactic magnetic fields produces synchrotron radiation clearly visible in the radio regime. Detailed measurements of synchrotron radiation averaged over the line-of-sight (LOS), so-called synchrotron emissivities, can be used as a tracer of the CR density and Galactic magnetic field (GMF) strength. Our aim is to model the synchrotron emissivity in the Milky Way using a 3 dimensional dataset instead of LOS-integrated intensity maps on the sky. Using absorbed HII regions we can measure the synchrotron emissivity over a part of the LOS through the Galaxy, changing from a 2 dimensional to a 3 dimensional view. Performing these measurements on a large scale is one of the new applications of the window opened by current low frequency arrays. Using various simple axisymmetric emissivity models and a number of GMF-based emissivity models we can simulate the synchrotron emissivities and compare them to the observed values in the catalog. We present a catalog of low-frequency absorption measurements of HII regions, their distances and electron temperatures, compiled from literature. These data show that the axisymmetric emissivity models are not complex enough, but the GMF-based emissivity models deliver a reasonable fit. These models suggest that the fit can be improved by either an enhanced synchrotron emissivity in the outer reaches of the Milky Way, or an emissivity drop near the Galactic center. State-of-the-art GMF models plus a constant CR density model cannot explain low-frequency absorption measurements, but the fits improved with slight (ad-hoc) adaptations. It is clear that more detailed models are needed, but the current results are very promising.Comment: 14 pages, 9 figures, accepted for publication in A&

Re-verification of a Lip Synchronization Protocol using Robust Reachability

The timed automata formalism is an important model for specifying and analysing real-time systems. Robustness is the correctness of the model in the presence of small drifts on clocks or imprecision in testing guards. A symbolic algorithm for the analysis of the robustness of timed automata has been implemented. In this paper, we re-analyse an industrial case lip synchronization protocol using the new robust reachability algorithm. This lip synchronization protocol is an interesting case because timing aspects are crucial for the correctness of the protocol. Several versions of the model are considered: with an ideal video stream, with anchored jitter, and with non-anchored jitter

The canonical controller and its regularity

This paper deals with properties of canonical controllers. We first specify the behavior that they implement. It follows that a canonical controller implements the desired controlled behavior if and only if the desired behavior is implementable. We subsequently investigate the regularity of the controlled behavior. We prove that a canonical controller is regular if and only if every controller is regular. In other words, canonical controllers are maximally irregular

Fabrice Polderman in Parijs

Polderman, prof. Ghent university, studied in Paris in 1910-1912 - his own sayings can be proven righ