A Frequency-Domain Version of Willems' Fundamental Lemma

Willems' fundamental lemma has recently received an impressive amount of attention in the (data-driven) control community. In this paper, we formulate a frequency-domain equivalent of this lemma. In doing so, we bridge the gap between recent developments in data-driven analysis and control and the extensive knowledge on non-parametric frequency-domain identification that has accumulated, particularly in industry, through decades of working with classical (frequency-domain) control and identification techniques. Our formulation also allows for the combination of multiple data sets in the sense that, in the data, multiple input directions may be excited at the same frequency. We also illustrate the usefulness of our results by demonstrating how they can be applied to perform frequency-domain-data-driven simulation

Linear Control of Time-Domain Constrained Systems

Abstract-Recent results on the control of linear systems subject to time-domain constraints could only handle the case of closed-loop poles that are situated on the real axis. As most closed-loop systems in practice contain also complex poles, there is a strong need for a general framework encompassing all cases. In this paper such a framework is presented based on sumsof-squares techniques and we show indeed that time-domain constraints on closed-loop signals of linear systems can be incorporated as linear matrix inequalities, even when complex conjugate poles are assigned. The effectiveness of this complete design method is evaluated by means of a simulation example

Formal Modeling and Analysis of the MAL-Associated Biological Regulatory Network: Insight into Cerebral Malaria

The discrete modeling formalism of René Thomas is a well known approach for the modeling and analysis of Biological Regulatory Networks (BRNs). This formalism uses a set of parameters which reflect the dynamics of the BRN under study. These parameters are initially unknown but may be deduced from the appropriately chosen observed dynamics of a BRN. The discrete model can be further enriched by using the model checking tool HyTech along with delay parameters. This paves the way to accurately analyse a BRN and to make predictions about critical trajectories which lead to a normal or diseased response. In this paper, we apply the formal discrete and hybrid (discrete and continuous) modeling approaches to characterize behavior of the BRN associated with MyD88-adapter-like (MAL) – a key protein involved with innate immune response to infections. In order to demonstrate the practical effectiveness of our current work, different trajectories and corresponding conditions that may lead to the development of cerebral malaria (CM) are identified. Our results suggest that the system converges towards hyperinflammation if Bruton's tyrosine kinase (BTK) remains constitutively active along with pre-existing high cytokine levels which may play an important role in CM pathogenesis

A Potential Role for Shed Soluble Major Histocompatibility Class I Molecules as Modulators of Neurite Outgrowth

The neurobiological activities of classical major histocompatibility class I (MHCI) molecules are just beginning to be explored. To further examine MHCI's actions during the formation of neuronal connections, we cultured embryonic mouse retina explants a short distance from wildtype thalamic explants, or thalami from transgenic mice (termed “NSE-Db”) whose neurons express higher levels of MHCI. While retina neurites extended to form connections with wildtype thalami, we were surprised to find that retina neurite outgrowth was very stunted in regions proximal to NSE-Db thalamic explants, suggesting that a diffusible factor from these thalami inhibited retina neurite outgrowth. It has been long known that MHCI-expressing cells release soluble forms of MHCI (sMHCI) due to the shedding of intact MHCI molecules, as well as the alternative exon splicing of its heavy chain or the action proteases which cleave off it's transmembrane anchor. We show that the diffusible inhibitory factor from the NSE-Db thalami is sMHCI. We also show that COS cells programmed to express murine MHCI release sMHCI that inhibits neurite outgrowth from nearby neurons in vitro. The neuroinhibitory effect of sMHCI could be blocked by lowering cAMP levels, suggesting that the neuronal MHCI receptor's signaling mechanism involves a cyclic nucleotide-dependent pathway. Our results suggest that MHCI may not only have neurobiological activity in its membrane-bound form, it may also influence local neurons as a soluble molecule. We discuss the involvement of complement proteins in generating sMHCI and new theoretical models of MHCI's biological activities in the nervous system

Sparse Representation of Brain Aging: Extracting Covariance Patterns from Structural MRI

An enhanced understanding of how normal aging alters brain structure is urgently needed for the early diagnosis and treatment of age-related mental diseases. Structural magnetic resonance imaging (MRI) is a reliable technique used to detect age-related changes in the human brain. Currently, multivariate pattern analysis (MVPA) enables the exploration of subtle and distributed changes of data obtained from structural MRI images. In this study, a new MVPA approach based on sparse representation has been employed to investigate the anatomical covariance patterns of normal aging. Two groups of participants (group 1∶290 participants; group 2∶56 participants) were evaluated in this study. These two groups were scanned with two 1.5 T MRI machines. In the first group, we obtained the discriminative patterns using a t-test filter and sparse representation step. We were able to distinguish the young from old cohort with a very high accuracy using only a few voxels of the discriminative patterns (group 1∶98.4%; group 2∶96.4%). The experimental results showed that the selected voxels may be categorized into two components according to the two steps in the proposed method. The first component focuses on the precentral and postcentral gyri, and the caudate nucleus, which play an important role in sensorimotor tasks. The strongest volume reduction with age was observed in these clusters. The second component is mainly distributed over the cerebellum, thalamus, and right inferior frontal gyrus. These regions are not only critical nodes of the sensorimotor circuitry but also the cognitive circuitry although their volume shows a relative resilience against aging. Considering the voxels selection procedure, we suggest that the aging of the sensorimotor and cognitive brain regions identified in this study has a covarying relationship with each other

MMWR. Recommendations and reports : Morbidity and mortality weekly report. Recommendations and reports / Centers for Disease Control

The Food and Drug Administration (FDA) has recommended that all donated blood be screened for antibodies to human immunodeficiency virus type 2 (HIV-2) beginning no later than June 1, 1992. This article provides CDC recommendations for the DIAGNOSIS of HIV-1 and HIV-2 infections in persons being tested in settings other than blood centers and CDC/FDA guidelines for serologic testing with combination HIV-1/HIV-2 screening enzyme immunoassays (EIAs). Epidemiologic data indicate that the prevalence of HIV-2 infections in persons in the United States is extremely low. Therefore, CDC does not recommend routine testing for HIV-2 in settings other than blood centers. However, when HIV testing is indicated, tests for antibodies to both HIV-1 and HIV-2 should be obtained if epidemiologic risk factors for HIV-2 infection are present, if clinical evidence exists for HIV disease in the absence of a positive test for antibodies to HIV-1, or if HIV-1 Western blot results exhibit the unusual indeterminate pattern of gag plus pol bands in the absence of env bands. The following procedures are recommended if testing for both HIV-1 and HIV-2 is performed by means of a combination HIV-1/HIV-2 EIA. A repeatedly reactive specimen by HIV-1/HIV-2 EIA should be tested by HIV-1 Western blot (or another licensed HIV-1 supplemental test). A positive result by HIV-1 Western blot confirms the presence of antibodies to HIV, and testing for HIV-2 is recommended only if HIV-2 risk factors are present. If the HIV-1 Western blot result is negative or indeterminate, an HIV-2 EIA should be performed. If the HIV-2 EIA is positive, an HIV-2 supplemental test should be performed.1994SupersededDiagnosisInfectious Disease7908403635

Further results on "Robust MPC using Linear Matrix Inequalities"

This paper presents a novel method for designing the terminal cost and the auxiliary control law (ACL) for robust MPC of uncertain linear systems, such that ISS is a priori guaranteed for the closed-loop system. The method is based on the solution of a set of LMIs. An explicit relation is established between the proposed method and H_infty control design. This relation shows that the LMI-based optimal solution of the H_infty synthesis problem solves the terminal cost and ACL problem in inf-sup MPC, for a particular choice of the stage cost. This result, which was somehow missing in the MPC literature, is of general interest as it connects well known linear control problems to robust MPC design