Dynamic disturbance decoupling for nonlinear discrete-time systems
The aim of this paper is to prove that a control affine system on a manifold is equivalent by diffeomorphism to a linear system on a Lie group or a homogeneous space if and only if the vector fields of the system are complete and generate a finite dimensional Lie algebra. A vector field on a connected Lie group is linear if its flow is a one parameter group of automorphisms. An affine vector field is obtained by adding a left invariant one. Its projection on a homogeneous space, whenever it exists,...
In recent years there has been growing interest in the descriptive analysis of complex systems, permeating many aspects of daily life, obtaining considerable advances in the description of their structural and dynamical properties. However, much less effort has been devoted to studying the controllability of the dynamics taking place on them. Concretely, for complex systems it is of interest to study the exact controllability; this measure is defined as the minimum set of controls that are needed...
In this paper, we revisit the structural concept of properness. We distinguish between the properness of the whole system, here called internal properness, and the properness of the “observable part” of the system. We give geometric characterizations for this last properness concept, namely external properness.
This paper is concerned with the flexibility in the closed loop pole location when solving the optimal control problem (also called the optimal disturbance attenuation problem) by proper measurement feedback. It is shown that there exists a precise and unique set of poles which is present in the closed loop system obtained by any measurement feedback solution of the optimal control problem. These “ optimal fixed poles” are characterized in geometric as well as structural terms. A procedure...
We study the problem of flatness of two-input driftless control systems. Although a characterization of flat systems of that class is known, the problems of describing all flat outputs and of calculating them is open and we solve it in the paper. We show that all x-flat outputs are parameterized by an arbitrary function of three canonically defined variables. We also construct a system of 1st order PDE’s whose solutions give all x-flat outputs of two-input driftless systems. We illustrate our results...
We study the problem of flatness of two-input driftless control systems. Although a characterization of flat systems of that class is known, the problems of describing all flat outputs and of calculating them is open and we solve it in the paper. We show that all x-flat outputs are parameterized by an arbitrary function of three canonically defined variables. We also construct a system of 1st order PDE’s whose solutions give all x-flat outputs of...
We study the problem of flatness of two-input driftless control systems. Although a characterization of flat systems of that class is known, the problems of describing all flat outputs and of calculating them is open and we solve it in the paper. We show that all x-flat outputs are parameterized by an arbitrary function of three canonically defined variables. We also construct a system of 1st order PDE’s whose solutions give all x-flat outputs of...
This paper studies Monge parameterization, or differential flatness, of control-affine systems with four states and two controls. Some of them are known to be flat, and this implies admitting a Monge parameterization. Focusing on systems outside this class, we describe the only possible structure of such a parameterization for these systems, and give a lower bound on the order of this parameterization, if it exists. This lower-bound is good enough to recover the known results about “(x,u)-flatness”...
In this paper, we investigate the geometric structures of the stable time-varying and the stable static output feedback systems. Firstly, we give a parametrization of stabilizing time-varying output feedback gains subject to certain constraints, that is, the subset of stabilizing time-varying output feedback gains is diffeomorphic to the Cartesian product of the set of time-varying positive definite matrices and the set of time-varying skew symmetric matrices satisfying certain algebraic conditions....
In this work, a feedforward dynamic controller is devised in order to achieve H2-optimal rejection of signals known with finite preview, in discrete-time systems. The feedforward approach requires plant stability and, more generally, robustness with respect to parameter uncertainties. On standard assumptions, those properties can be guaranteed by output dynamic feedback, while dynamic feedforward is specifically aimed at taking advantage of the available preview of the signals to be rejected, in...
This paper is concerned with the construction of local observers for nonlinear systems without inputs, satisfying an observability rank condition. The aim of this study is, first, to define an homogeneous approximation that keeps the observability property unchanged at the origin. This approximation is further used in the synthesis of a local observer which is proven to be locally convergent for Lyapunov-stable systems. We compare the performance of the homogeneous approximation observer with the...
Haar's Lemma (1918) deals with the algebraic characterization of the inclusion of polyhedral sets. This Lemma has been involved many times in automatic control of linear dynamical systems via positive invariance of polyhedrons. More recently, it has been used to characterize stochastic comparison w.r.t. linear/integral ordering of Markov (reward) chains. In this paper we develop a state space oriented approach to the control of Discrete Event Systems (DES) based on the remark that most of control...
In this paper the classical detection filter design problem is considered as an input reconstruction problem. Input reconstruction is viewed as a dynamic inversion problem. This approach is based on the existence of the left inverse and arrives at detector architectures whose outputs are the fault signals while the inputs are the measured system inputs and outputs and possibly their time derivatives. The paper gives a brief summary of the properties and existence of the inverse for linear and nonlinear...