Reduced-order controllers for the H∞ control problem with unstable invariant zeros

This paper addresses the existence and design methods of reduced-order controllers for the H_∞ control problem with unstable invariant zeros in the state-space realization of the transfer function matrix from the control input to the controlled error or from the exogenous input to the observation output, where the realization is induced from a stabilizable and detectable realization of the generalized plant. This paper presents a new controller degree bound for the H_∞ control problem in terms of the minimal rank of the system matrix pencils of these two transfer function matrices in the unstable region. When the unstable invariant zero exists, this paper shows that reduced-order controllers with orders strictly less than that of the generalized plant exist if the H_∞ control problem is solvable. Moreover, this paper shows that the computational problem of finding the controllers with the new degree bound is convex by providing two linear matrix inequality-based design methods (algorithms) for constructing the reduced-order controllers. The results developed in this paper are valid both for the continuous- and discrete-time H_∞ control problems.     

Drift-free attitude estimation for accelerated rigid bodies

In this paper we study the attitude estimation problem for an accelerated rigid body using gyros and accelerometers. The application in mind is that of a walking robot and particular attention is paid to the large and abrupt changes in accelerations that can be expected in such an environment. We propose a state estimation algorithm that fuses data from rate gyros and accelerometers to give long-term drift free attitude estimates. The algorithm does not use any local parameterization of the rigid body kinematics and can thus be used for a rigid body performing any kind of rotations. The algorithm is a combination of two non-standard, but in a sense linear, Kalman filters between which a trigger based switching takes place. The kinematics representation used makes it possible to construct a linear algorithm that can be shown to give convergent estimates for this nonlinear problem. The state estimator is evaluated in simulations demonstrating how the estimates are long-term stable even in the presence of gyro drift.     

Detection filter design for LPV systems—a geometric approach

This paper investigates fault detection and isolation of linear parameter-varying (LPV) systems by using parameter-varying (C,A)-invariant subspace and parameter-varying unobservability subspaces. The so called “detection filter” approach, formulated as the fundamental problem of residual generation (FPRG) for linear time-invariant (LTI) systems, is extended for a class of LPV systems. The question of stability is addressed in the terms of Lyapunov quadratic stability by using linear matrix inequalities. The results are applied to the model of a generic small commercial aircraft.     

On the ill-conditioning of subspace identification with inputs

There is experimental evidence that the performance of standard subspace algorithms from the literature (e.g. the N4SID method) may be surprisingly poor in certain experimental conditions. This happens typically when the past signals (past inputs and outputs) and future input spaces are nearly parallel. In this paper we argue that the poor behavior may be attributed to a form of ill-conditioning of the underlying multiple regression problem, which may occur for nearly parallel regressors. An elementary error analysis of the subspace identification problem, shows that there are two main possible causes of ill-conditioning. The first has to do with near collinearity of the state and future input subspaces. The second has to do with the dynamical structure of the input signal and may roughly be attributed to “lack of excitation”. Stochastic realization theory constitutes a natural setting for analyzing subspace identification methods. In this setting, we undertake a comparative study of three widely used subspace methods (N4SID, Robust N4SID and PO-MOESP). The last two methods are proven to be essentially equivalent and the relative accuracy, regarding the estimation of the (A,C) parameters, is shown to be the same.     

A practical implementation of stochastic programming: an application to the evaluation of option contracts in supply chains

Stochastic programming is a powerful analytical method in order to solve sequential decision-making problems under uncertainty. We describe an approach to build such stochastic linear programming models. We show that algebraic modeling languages make it possible for non-specialist users to formulate complex problems and have solved them by powerful commercial solvers. We illustrate our point in the case of option contracts in supply chain management and propose a numerical analysis of performance. We propose easy-to-implement discretization procedures of the stochastic process in order to limit the size of the event tree in a multi-period environment.     

Improved robust H2 and H∞ filtering for uncertain discrete-time systems

This paper is concerned with the robust H₂ and H_∞ filtering problems for linear discrete-time systems with polytopic parameter uncertainty. We aim to derive a less-conservative design than existing linear matrix inequality (LMI) based sufficient conditions. It is shown that a more efficient evaluation of robust H₂ or H_∞ performance can be obtained by a matrix inequality condition which contains additional free parameters as compared to existing characterizations. When applying this new matrix inequality condition to the robust filter design, these parameters provide extra degrees of freedom in optimizing the guaranteed H₂ or H_∞ performance and lead to a less-conservative design.     

An analysis of the parametrization by data driven local coordinates for multivariable linear systems

In this paper, we study a novel parametrization for state-space systems, namely data driven local coordinates (DDLC) which have recently been introduced and applied. Even though DDLC has meanwhile become the default parametrization used in the system identification toolbox of the software package MATLAB, an analysis of properties of DDLC, which are relevant to identification, has not been performed up to now. In this paper, we provide insights into the geometry and topology of the DDLC construction and show a number of results which are important for actual identification such as maximum likelihood-type estimation.     

Positive-realness analysis of sampled-data systems and its applications

In this paper, we first study strong positive-realness of sampled-data systems and introduce a measure called positive-realness gap index. We show that this index can be computed efficiently with a bisection method, and provide state space formulas for its computation. The importance of this index lies in that it is useful for robust stability analysis of sampled-data systems. An iterative procedure for computing an exact robust stability margin is given and illustrated through a numerical example.     

Ellipsoidal parameter or state estimation under model uncertainty

Ellipsoidal outer-bounding of the set of all feasible state vectors under model uncertainty is a natural extension of state estimation for deterministic models with unknown-but-bounded state perturbations and measurement noise. The technique described in this paper applies to linear discrete-time dynamic systems; it can also be applied to weakly non-linear systems if non-linearity is replaced by uncertainty. Many difficulties arise because of the non-convexity of feasible sets. Combined quadratic constraints on model uncertainty and additive disturbances are considered in order to simplify the analysis. Analytical optimal or suboptimal solutions of the basic problems involved in parameter or state estimation are presented, which are counterparts in this context of uncertain models to classical approximations of the sum and intersection of ellipsoids. The results obtained for combined quadratic constraints are extended to other types of model uncertainty.     

Decentralized overlapping control of a formation of unmanned aerial vehicles

Decentralized overlapping feedback laws are designed for a formation of unmanned aerial vehicles. The dynamic model of the formation with an information structure constraint in which each vehicle, except the leader, only detects the vehicle directly in front of it, is treated as an interconnected system with overlapping subsystems. Using the mathematical framework of the inclusion principle, the interconnected system is expanded into a higher dimensional space in which the subsystems appear to be disjoint. Then, at each subsystem, a static state feedback controller is designed to robustly stabilize the perturbed nominal dynamics of the subsystem. The design procedure is based on the application of convex optimization tools involving linear matrix inequalities. As a final step, the decentralized controllers are contracted back to the original interconnected system for implementation.