A common disturbance decoupled observer for linear systems with unknown inputs

This paper presents a solution to the problem of designing a common linear functional observer that can observe a partial set of the state vector of two linear systems with unknown inputs. A new structure of a decoupled linear functional observer is proposed for systems subject unknown disturbances, using only the available output information. Existence conditions as well as a design procedure are given for constructing the proposed observer. A numerical example is given to illustrate the effectiveness of the new observer structure.

Existence conditions for functional observability from an eigenspace perspective

Two theorems on conditions for nonexistence and for existence, of built functional observers, from an eigenspace perspective are presented and proved. One more theorem on Functional Observability in terms of constructed products of matrices A,C and L0 is also presented. This theorem provides an easy way to check Functional Observability before proceeding with the design of functional observers. The existence and the nonexistence theorems are used to unify previously reported theorems on Functional Observability by showing their equivalence. The connection between the concept of Functional Observability and the well known concept of State Observability is also presented.

Design of distributed functional observers for interconnected time-delay systems

This paper considers the design of reduced-order distributed functional observers for interconnected linear systems with the presence of time delays in the interconnections. Unlike observers which consider only the ideal non-delayed output information transfer, the proposed observer is capable of dealing with delayed output information from geographically separated subsystems. It is shown that by accepting measurement data from other subsystems, the conditions under which an observer exists can be made less conservative. Existence conditions, systematic and a straightforward procedure for the synthesis of the observers are given along with numerical examples illustrating the effectiveness and simplicity of the design algorithm.

ε-bounded state estimation for time-delay systems with bounded disturbances

A new problem on ε-bounded functional state estimation for time-delay systems with unknown bounded disturbances is studied in this paper. In the presence of unknown bounded disturbances, the common assumption regarding the observers matching condition is no longer required. In this regard, instead of achieving asymptotic convergence for the observer error, the error is now required to converge exponentially within a ball with a small radius ε > 0. This means that the estimate converges exponentially within an ε-bound of the true value. A general observer that utilises multiple-delayed output and input information is proposed. Sufficient conditions for the existence of the proposed observer are first given. We then employ an extended Lyapunov-Krasovskii functional which combines the delay-decomposition technique with a triple-integral term to study the ε-convergence problem of the observer error system. Moreover, the obtained results are shown to be more effective than the existing results for the cases with no disturbances and/or no time delay. Three numerical examples are given to illustrate the obtained results.

Functional observer design with application to pre-compensated multi-variable systems

Partial state estimation of dynamical systems provides significant advantages in practical applications. Likewise, pre-compensator design for multi variable systems invokes considerable increase in the order of the original system. Hence, applying functional observer to pre-compensated systems can result in lower computational costs and more practicability in some applications such as fault diagnosis and output feedback control of these systems. In this note, functional observer design is investigated for pre-compensated systems. A lower order pre-compensator is designed based on a H2 norm optimization that is designed as the solution of a set of linear matrix inequalities (LMIs). Next, a minimum order functional observer is designed for the pre-compensated system. An LTI model of an irreversible chemical reactor is used to demonstrate our design algorithm, and to highlight the benefits of the proposed schemes.

Hysteresis between coral reef calcification and the seawater aragonite saturation state

Some predictions of how ocean acidification (OA) will affect coral reefs assume a linear functional relationship between the ambient seawater aragonite saturation state (Omega a) and net ecosystem calcification (NEC). We quantified NEC in a healthy coral reef lagoon in the Great Barrier Reef during different times of the day. Our observations revealed a diel hysteresis pattern in the NEC versus Omega a relationship, with peak NEC rates occurring before the Omega a peak and relatively steady nighttime NEC in spite of variable Omega a. Net ecosystem production had stronger correlations with NEC than light, temperature, nutrients, pH, and Omega a. The observed hysteresis may represent an overlooked challenge for predicting the effects of OA on coral reefs. If widespread, the hysteresis could prevent the use of a linear extrapolation to determine critical Omega a threshold levels required to shift coral reefs from a net calcifying to a net dissolving state.

An LMI-based functional estimation scheme of large-scale time-delay systems with strong interconnections

In this paper, the problem of distributed functional state observer design for a class of large-scale interconnected systems in the presence of heterogeneous time-varying delays in the interconnections and the local state vectors is considered. The resulting observer scheme is suitable for strongly coupled subsystems with multiple time-varying delays, and is shown to give better results for systems with very strong interconnections while only some mild existence conditions are imposed. A set of existence conditions are derived along with a computationally simple observer constructive procedure. Based on the Lyapunov-Krasovskii functional method (LKF) in the framework of linear matrix inequalities (LMIs), delay-dependent conditions are derived to obtain the observer parameters ensuring the exponential convergence of the observer error dynamics. The effectiveness of the obtained results is illustrated and tested through a numerical example of a three-area interconnected system.

A common functional observer scheme for three systems with unknown inputs

This paper presents a novel common functional observer scheme for three systems with unknown inputs. The scheme uses three observers in cascade with two logic switches. The existence conditions of the scheme are investigated and presented in terms of the original system matrices. Significantly, the conditions allow the observers to be designed independently of each other which greatly simplify the design process, and also serve as a basis of comparison for future development of common functional observer schemes. A numerical example is given to illustrate the effectiveness of the proposed scheme.

An analytical approach to the study of a class of bi-state social interaction processes

Sufficient conditions for obtaining an equivalent linear model to classes of non-linear, bi-state, social interaction processes are derived. These parametric constraints, when satisfied, permit analytical determination of the dynamics of the non-linear process of social interaction.

Biomimetic engineered muscle with capacity for vascular integration and functional maturation in vivo.

Tissue-engineered skeletal muscle can serve as a physiological model of natural muscle and a potential therapeutic vehicle for rapid repair of severe muscle loss and injury. Here, we describe a platform for engineering and testing highly functional biomimetic muscle tissues with a resident satellite cell niche and capacity for robust myogenesis and self-regeneration in vitro. Using a mouse dorsal window implantation model and transduction with fluorescent intracellular calcium indicator, GCaMP3, we nondestructively monitored, in real time, vascular integration and the functional state of engineered muscle in vivo. During a 2-wk period, implanted engineered muscle exhibited a steady ingrowth of blood-perfused microvasculature along with an increase in amplitude of calcium transients and force of contraction. We also demonstrated superior structural organization, vascularization, and contractile function of fully differentiated vs. undifferentiated engineered muscle implants. The described in vitro and in vivo models of biomimetic engineered muscle represent enabling technology for novel studies of skeletal muscle function and regeneration.

Anatomo-functional magnetic resonance imaging of the spinal cord and its application to the characterization of spinal lesions in cats

Les lésions de la moelle épinière ont un impact significatif sur la qualité de la vie car elles peuvent induire des déficits moteurs (paralysie) et sensoriels. Ces déficits évoluent dans le temps à mesure que le système nerveux central se réorganise, en impliquant des mécanismes physiologiques et neurochimiques encore mal connus. L'ampleur de ces déficits ainsi que le processus de réhabilitation dépendent fortement des voies anatomiques qui ont été altérées dans la moelle épinière. Il est donc crucial de pouvoir attester l'intégrité de la matière blanche après une lésion spinale et évaluer quantitativement l'état fonctionnel des neurones spinaux. Un grand intérêt de l'imagerie par résonance magnétique (IRM) est qu'elle permet d'imager de façon non invasive les propriétés fonctionnelles et anatomiques du système nerveux central. Le premier objectif de ce projet de thèse a été de développer l'IRM de diffusion afin d'évaluer l'intégrité des axones de la matière blanche après une lésion médullaire. Le deuxième objectif a été d'évaluer dans quelle mesure l'IRM fonctionnelle permet de mesurer l'activité des neurones de la moelle épinière. Bien que largement appliquées au cerveau, l'IRM de diffusion et l'IRM fonctionnelle de la moelle épinière sont plus problématiques. Les difficultés associées à l'IRM de la moelle épinière relèvent de sa fine géométrie (environ 1 cm de diamètre chez l'humain), de la présence de mouvements d'origine physiologique (cardiaques et respiratoires) et de la présence d'artefacts de susceptibilité magnétique induits par les inhomogénéités de champ, notamment au niveau des disques intervertébraux et des poumons. L'objectif principal de cette thèse a donc été de développer des méthodes permettant de contourner ces difficultés. Ce développement a notamment reposé sur l'optimisation des paramètres d'acquisition d'images anatomiques, d'images pondérées en diffusion et de données fonctionnelles chez le chat et chez l'humain sur un IRM à 3 Tesla. En outre, diverses stratégies ont été étudiées afin de corriger les distorsions d'images induites par les artefacts de susceptibilité magnétique, et une étude a été menée sur la sensibilité et la spécificité de l'IRM fonctionnelle de la moelle épinière. Les résultats de ces études démontrent la faisabilité d'acquérir des images pondérées en diffusion de haute qualité, et d'évaluer l'intégrité de voies spinales spécifiques après lésion complète et partielle. De plus, l'activité des neurones spinaux a pu être détectée par IRM fonctionnelle chez des chats anesthésiés. Bien qu'encourageants, ces résultats mettent en lumière la nécessité de développer davantage ces nouvelles techniques. L'existence d'un outil de neuroimagerie fiable et robuste, capable de confirmer les paramètres cliniques, permettrait d'améliorer le diagnostic et le pronostic chez les patients atteints de lésions médullaires. Un des enjeux majeurs serait de suivre et de valider l'effet de diverses stratégies thérapeutiques. De telles outils représentent un espoir immense pour nombre de personnes souffrant de traumatismes et de maladies neurodégénératives telles que les lésions de la moelle épinière, les tumeurs spinales, la sclérose en plaques et la sclérose latérale amyotrophique.

Certified Rapid Solution of Parametrized Linear Elliptic Equations: Application to Parameter Estimation

We present a technique for the rapid and reliable evaluation of linear-functional output of elliptic partial differential equations with affine parameter dependence. The essential components are (i) rapidly uniformly convergent reduced-basis approximations — Galerkin projection onto a space WN spanned by solutions of the governing partial differential equation at N (optimally) selected points in parameter space; (ii) a posteriori error estimation — relaxations of the residual equation that provide inexpensive yet sharp and rigorous bounds for the error in the outputs; and (iii) offline/online computational procedures — stratagems that exploit affine parameter dependence to de-couple the generation and projection stages of the approximation process. The operation count for the online stage — in which, given a new parameter value, we calculate the output and associated error bound — depends only on N (typically small) and the parametric complexity of the problem. The method is thus ideally suited to the many-query and real-time contexts. In this paper, based on the technique we develop a robust inverse computational method for very fast solution of inverse problems characterized by parametrized partial differential equations. The essential ideas are in three-fold: first, we apply the technique to the forward problem for the rapid certified evaluation of PDE input-output relations and associated rigorous error bounds; second, we incorporate the reduced-basis approximation and error bounds into the inverse problem formulation; and third, rather than regularize the goodness-of-fit objective, we may instead identify all (or almost all, in the probabilistic sense) system configurations consistent with the available experimental data — well-posedness is reflected in a bounded "possibility region" that furthermore shrinks as the experimental error is decreased.

On the dominance of roots of characteristic equations for neutral functional differential equations

We present a sufficient condition for a zero of a function that arises typically as the characteristic equation of a linear functional differential equations of neutral type, to be simple and dominant. This knowledge is useful in order to derive the asymptotic behaviour of solutions of such equations. A simple characteristic equation, arisen from the study of delay equations with small delay, is analyzed in greater detail. (C) 2009 Elsevier Inc. All rights reserved.

An observer design procedure for a class of nonlinear time-delay systems

This paper considers a class of uncertain, nonlinear differential state delayed control systems and presents a reduced-order observer design procedure to asymptotically estimate any vector state functionals. The method proposed involves decomposition of the delayed portion of the system into two parts: a matched and mismatched part. Provided that the rank of the mismatched part is less than the number of the outputs, a reduced-order linear functional observer, with any prescribed stability margin, can be constructed by using a simple procedure. A numerical example is given to illustrate the new design procedure and its features.

Design of a common observer for two linear systems with unknown inputs

This paper considers the design of a common linear functional observer for two linear time-invariant systems with unknown inputs. A structure for a common observer which only uses the available output information is proposed. Here, for the proposed structure, we show that the simultaneous functional observation problem of two plants is reduced to a problem of designing two observers: the first is a full-order unknown input observer of one of the two systems; the second observer is a common unknown input observer of a system comprises two-connected systems. In general, the existence conditions for the second observer are very difficult to satisfy. This paper thus concludes that it is indeed very difficult to find a common observer for two linear systems with unknown inputs.