A new algorithm to design minimal multi-functional observers for linear systems

Designing minimum possible order (minimal) observers for Multi-Input Multi-Output (MIMO) linear systems have always been an interesting subject. In this paper, a new methodology to design minimal multi-functional observers for Linear Time-Invariant (LTI) systems is proposed. The approach is applicable, and it also helps in regulating the convergence rate of the observed functions. It is assumed that the system is functional observable or functional detectable, which is less conservative than assuming the observability or detectability of the system. To satisfy the minimality of the observer, a recursive algorithm is provided that increases the order of the observer by appending the minimum required auxiliary functions to the desired functions that are going to be estimated. The algorithm increases the number of functions such that the necessary and sufficient conditions for the existence of a functional observer are satisfied. Moreover, a new methodology to solve the observer design interconnected equations is elaborated. Our new algorithm has advantages with regard to the other available methods in designing minimal order functional observers. Specifically, it is compared with the most common schemes, which are transformation based. Using numerical examples it is shown that under special circumstances, the conventional methods have some drawbacks. The problem partly lies in the lack of sufficient numerical degrees of freedom proposed by the conventional methods. It is shown that our proposed algorithm can resolve this issue. A recursive algorithm is also proposed to summarize the observer design procedure. Several numerical examples and simulation results illustrate the efficacy, superiority and different aspects of the theoretical findings

An energy-based state observer for dynamical subsystems with inaccessible state variables

This work presents an energy-based state estimation formalism for a class of dynamical systems with inaccessible/ unknown outputs, and systems at which sensor utilization is impractical, or when measurements can not be taken. The power-conserving physical interconnections among most of the dynamical subsystems allow for power exchange through their power ports. Power exchange is conceptually considered as information exchange among the dynamical subsystems and further utilized to develop a natural feedback-like information from a class of dynamical systems with inaccessible/unknown outputs. This information is used in the design of an energybased state observer. Convergence stability of the estimation error for the proposed state observer is proved for systems with linear dynamics. Furthermore, robustness of the convergence stability is analyzed over a range of parameter deviation and model uncertainties. Experiments are conducted on a dynamical system with a single input and multiple inaccessible outputs (Fig. 1) to demonstrate the validity of the proposed energybased state estimation formalism

An Energy-Based State Observer for Dynamical Subsystems with Inaccessible State Variables

This work presents an energy-based state estimation formalism for a class of dynamical systems with inaccessible/ unknown outputs, and systems at which sensor utilization is impractical, or when measurements can not be taken. The power-conserving physical interconnections among most of the dynamical subsystems allow for power exchange through their power ports. Power exchange is conceptually considered as information exchange among the dynamical subsystems and further utilized to develop a natural feedback-like information from a class of dynamical systems with inaccessible/unknown outputs. This information is used in the design of an energybased state observer. Convergence stability of the estimation error for the proposed state observer is proved for systems with linear dynamics. Furthermore, robustness of the convergence stability is analyzed over a range of parameter deviation and model uncertainties. Experiments are conducted on a dynamical system with a single input and multiple inaccessible outputs (Fig. 1) to demonstrate the validity of the proposed energybased state estimation formalism

The structure of robust observers

Conventional observers for linear time-invariant systems are shown to be structurally inadequate from a sensitivity standpoint. It is proved that if a linear dynamic system is to provide observer action despite arbitrary small perturbations in a specified subset of its parameters, it must: (1) be a closed loop system, be driven by the observer error, (2) possess redundancy, the observer must be generating, implicitly or explicitly, at least one linear combination of states that is already contained in the measurements, and (3) contain a perturbation-free model of the portion of the system observable from the external input to the observer. The procedure for design of robust observers possessing the above structural features is established and discussed

High-gain nonlinear observer for simple genetic regulation process

High-gain nonlinear observers occur in the nonlinear automatic control theory and are in standard usage in chemical engineering processes. We apply such a type of analysis in the context of a very simple one-gene regulation circuit. In general, an observer combines an analytical differential-equation-based model with partial measurement of the system in order to estimate the non-measured state variables. We use one of the simplest observers, that of Gauthier et al., which is a copy of the original system plus a correction term which is easy to calculate. For the illustration of this procedure, we employ a biological model, recently adapted from Goodwin's old book by De Jong, in which one plays with the dynamics of the concentrations of the messenger RNA coding for a given protein, the protein itself, and a single metabolite. Using the observer instead of the metabolite, it is possible to rebuild the non-measured concentrations of the mRNA and the proteinComment: 9 pages, one figur

A semidefinite relaxation procedure for fault-tolerant observer design

A fault-tolerant observer design methodology is proposed. The aim is to guarantee a minimum level of closed-loop performance under all possible sensor fault combinations while optimizing performance under the nominal, fault-free condition. A novel approach is proposed to tackle the combinatorial nature of the problem, which is computationally intractable even for a moderate number of sensors, by recasting the problem as a robust performance problem, where the uncertainty set is composed of all combinations of a set of binary variables. A procedure based on an elimination lemma and an extension of a semidefinite relaxation procedure for binary variables is then used to derive sufficient conditions (necessary and sufficient in the case of one binary variable) for the solution of the problem which significantly reduces the number of matrix inequalities needed to solve the problem. The procedure is illustrated by considering a fault-tolerant observer switching scheme in which the observer outputs track the actual sensor fault condition. A numerical example from an electric power application is presented to illustrate the effectiveness of the design

Controling interactions in motion control systems

Design of motion control systems should take into account (a) unconstrained motion performed without interaction with environment or other systems, (b) constrained motion performed by certain functional interaction with environment or other system. Control in both cases can be formulated in terms of maintaining desired system configuration what makes essentially the same structure for common tasks: trajectory tracking, interaction force control, compliance control etc. It will be shown that the same design approach can be used for systems that maintain some functional relations like parallel robots

On the existence and design of functional observers for linear systems

Darouach [1] recently derived necessary and sufficient conditions for the existence and stability of functional observers with an order, p, equals to the dimension m of the vectors to be estimated. In general, these conditions are difficult to satisfy and when they are not, the only available option is to increase the order of the functional observers. This note presents new conditions for the existence of a general pth-order functional observer. Systematic procedures for the synthesis of reduced-order functional observers are given. A numerical example is given to illustrate the design procedures.<br /

Context-aware Authorization in Highly Dynamic Environments

Highly dynamic computing environments, like ubiquitous and pervasive computing environments, require frequent adaptation of applications. Context is a key to adapt suiting user needs. On the other hand, standard access control trusts users once they have authenticated, despite the fact that they may reach unauthorized contexts. We analyse how taking into account dynamic information like context in the authorization subsystem can improve security, and how this new access control applies to interaction patterns, like messaging or eventing. We experiment and validate our approach using context as an authorization factor for eventing in Web service for device (like UPnP or DPWS), in smart home security