On the observer design in discrete-time

The paper deals with the equivalence, under coordinates change and output transformation, of a discrete-time nonlinear system to observer canonical forms. Necessary and sufficient conditions for local equivalence to these forms are given.     

On input-output linearization of discrete-time nonlinear systems

We consider a nonlinear discrete-time system of the form Σ: x(t+1)=f(x(t), u(t)), y(t) =h(x(t)), where x ε R^N, u ε R^m, y ε R^q and f and h are analytic. Necessary and sufficient conditions for local input-output linearizability are given. We show that these conditions are also sufficient for a formal solution to the global input-output linearization problem. Finally, we show that zeros at infinity of ε can be obtained by the structure algorithm for locally input-output linearizable systems.     

Algebraic conditions for state equivalence to a discrete-time nonlinear observer canonical form

Algebraic necessary and sufficient conditions for a single output discrete-time system to be state equivalent to a (generalized) nonlinear observer canonical form with (or without) output transformation are derived. Our algebraic conditions are easier to verify for researchers unaccustomed to differential geometry. In addition, our proofs are constructive and contain the state and output transformations for (generalized) nonlinear observer canonical forms.     

Observer design for autonomous discrete-time nonlinear systems

We obtain a necessary and sufficient condition for a discrete-time nonlinear system to be locally state equivalent to the nonlinear observer form. The result looks similar to the continuous counterpart except for the fact that Ad-operation is utilized instead of ad-operation.     

Remarks on nonlinear adaptive observer design

A solution to the problem of state estimation for systems with unknown parameters is to use some on-line adaptation of the observer parameters. On the basis of various existing results for such adaptive observer designs, a unifying “adaptive observer form” is proposed in this paper. This form indeed emphasizes properties allowing some asymptotic state estimation in spite of unknown parameters, as well as additional properties which further allow parameter estimation. As an example, it is shown how an adaptive observer can be designed for a class of state affine systems.     

On approximate linearization of nonlinear control systems

A method for the approximate linearization of nonlinear control systems based on the ‘state-space exact linearization’ method is presented. An explicit procedure, both for the single-input and for the multiple-input case, is given, which is straightforward to implement.     

Discrete-time nonlinear observer design using functional equations

The present research work proposes a new approach to the discrete-time nonlinear observer design problem. Based on the early ideas that influenced the development of the linear Luenberger observer, the proposed approach develops a nonlinear analogue. The formulation of the discrete-time nonlinear observer design problem is realized via a system of first-order linear nonhomogeneous functional equations, and a rather general set of necessary and sufficient conditions for solvability is derived using results from functional equations theory. The solution to the above system of functional equations can be proven to be locally analytic and this enables the development of a series solution method, that is easily programmable with the aid of a symbolic software package.     

Global state and feedback equivalence of nonlinear systems

The problem of finding global state space transformations and global feedback of the form u(t)= α(x) + ν(t) to transform a given nonlinear system to a controllable linear system on Rⁿ or on an open subset of Rⁿ, is considered here. We give a complete set of differential geometric conditions which are equivalent to the existence of a solution to the above problem.     

The extended Luenberger observer for nonlinear systems

For nonlinear single-input single-output systems , the relationships for a state transformation into the nonlinear observer canonical form are developed. It is possible to dimension a nonlinear observer by an eigenvalue assignment without solving the nonlinear partial differential equations for the transformation, if the transformed nonlinearities are linearized about the reconstructed state. With reference to the extended Kalman filter algorithm, this nonlinear observer design is called the extended Luenberger observer.     

Relaxed observer design of discrete-time nonlinear systems via a novel ranking-based switching mechanism

In this paper, the problem of relaxed observer design of discrete-time nonlinear systems is studied by developing a novel ranking-based switching mechanism. To do this, the useful ranking information of the normalized fuzzy weighting functions is utilized in order to give a denser subdivision of the normalized fuzzy weighting function space and therefore essentially yields the proposed ranking-based switching mechanism. Based on the obtained switching mechanism, a family of switching observers can be developed for the purpose of guaranteeing the estimation error system to be asymptotically stable with less conservatism than the existing results available in the references. Finally, two numerical examples are presented to illustrate the advantages of the proposed method.     

A new procedure for time-varying linearization up to output injection

New necessary and sufficient conditions for time-varying linearization up to output injection (TVLOI) are presented. They yield a straightforward TVLOI procedure.     

Dynamic observer error linearization

In this paper, a new framework of observer error linearization problem is proposed. The main idea of our approach is twofold. The one is to introduce an auxiliary dynamics whose input is the system output, and the other is to transform the augmented system into an observable linear system with an injection term which contains the system output as well as the state of the auxiliary dynamics. It is a natural extension of the recently developed dynamic observer error linearization where the injection term contains only newly defined output. It is also shown that whenever an n dimensional system is immersible into an n+d dimensional linear system up to an output injection, then it can be also dynamically observer error linearizable in our sense with a d dimensional auxiliary dynamics. Moreover, we show that the converse is not true by providing a counterexample, which implies that our approach is applicable to a strictly wider class of systems than that of the system immersion method.     

Canonical observer forms for multi-output systems up to coordinate and output transformations in discrete time

In the present paper the problem of equivalence under coordinate changes and output transformations to observer canonical forms is addressed in discrete time for multi-output systems. Necessary and sufficient conditions are given for local equivalence to this form which yields a straightforward observer design with linear error dynamics.     

Nonsmooth stabilizability and feedback linearization of discrete-time nonlinear systems

We consider the problem of stabilizing a discrete-time nonlinear system using a feedback which is not necessarily smooth. A sufficient condition for global dynamical stabilizability of single-input triangular systems is given. We obtain conditions expressed in terms of distributions for the nonsmooth feedback triangularization and linearization of discrete-time systems. Relations between stabilization and linearization of discrete-time systems are given.     

A discrete-time observer design for spacecraft attitude determination using an orthogonality-preserving algorithm

This paper studies a nonlinear discrete-time partial state observer design problem for rigid spacecraft systems, particularly for spacecraft attitude estimation. The construction is inspired by an orthogonality-preserving numerical algorithm, and it yields a semiglobal practical asymptotic observer. We show that the separation principle holds, and hence stabilization using output feedback is possible. An example is provided to illustrate the usefulness of our results in a sampled-data implementation of an attitude control for a rigid spacecraft using output feedback and to illustrate the advantages of the proposed observer design, especially compared to a sample and hold version of a similar type observer designed in continuous-time.     

Input-output linearization of nonlinear systems using multivariable Legendre polynomials

This contribution presents a new approach for the numeric computation of the input-output linearizing feedback law, which is obtained exactly in an analytical form. By using a state space embedding technique the nonlinear system to be controlled is described by a higher order system with solely polynomial nonlinearities. Consequently, the nonlinearities of this system can be represented by multivariable Legendre polynomials, so that the derivation of the input-output linearizing feedback controller can be accomplished using the operational matrices of multiplication and of differentiation for Legendre polynomials.     

Feedback linearization of discrete-time systems

We give necessary and sufficient conditions for a nonlinear discrete-time system to be locally linearizable by a change of state coordinates and a feedback. The conditions are expressed in terms of controllability distributions associated to the system.     

Circle-criterion approach to discrete-time nonlinear observer design

This paper addresses the design of discrete-time nonlinear observers through the circle criterion. The new design method is mainly devoted to either globally Lipschitz systems or bounded-state systems whose nonlinearities can be decomposed into a linear combination of positive-slope nonlinearities. The observer design is not restricted to systems with positive-slope nonlinearities, but it encompasses systems with non-positive-slope nonlinearities too. Stability conditions of the observation error are given in terms of numerically tractable linear matrix inequalities. Illustrative examples are presented in order to highlight the main features and advantages of the new proposed technique over some classical designs.     

Control strategy for state and input observer design

In this note, an alternative to classical methods for observer design is discussed, based on a dual control approach: it is indeed highlighted how an observer (at least approximate) can be obtained for a system by designing a control law for an auxiliary copy of this system, so that it tracks the system output. An important ingredient in this approach is the use of high-gain in the control design. The strategy is illustrated by various examples, including the case of unknown input reconstruction.     

Invariant codistributions and the feedforward form for discrete-time nonlinear systems

The goal of this paper is two-fold. First, given an arbitrary n-dimensional discrete-time nonlinear dynamical system, necessary and sufficient conditions for the existence of a one-dimensional invariant codistribution are obtained. Second, it is shown that the previous conditions can be used iteratively to obtain a nested sequence of n invariant codistributions with the properties that each codistribution contains the previous one and the last one coincides with the cotangent bundle of the state manifold. As a byproduct, necessary and sufficient conditions are obtained for a discrete-time nonlinear dynamical system to be equivalent to the so-called feedforward form.