H ∞ sliding mode observer design for a class of nonlinear discrete time-delay systems: A delay-fractioning approach

Copyright @ 2012 John Wiley & SonsIn this paper, the H ∞  sliding mode observer (SMO) design problem is investigated for a class of nonlinear discrete time-delay systems. The nonlinear descriptions quantify the maximum possible derivations from a linear model, and the system states are allowed to be immeasurable. Attention is focused on the design of a discrete-time SMO such that the asymptotic stability as well as the H ∞  performance requirement of the error dynamics can be guaranteed in the presence of nonlinearities, time delay and external disturbances. Firstly, a discrete-time discontinuous switched term is proposed to make sure that the reaching condition holds. Then, by constructing a new Lyapunov–Krasovskii functional based on the idea of ‘delay fractioning’ and by introducing some appropriate free-weighting matrices, a sufficient condition is established to guarantee the desired performance of the error dynamics in the specified sliding mode surface by solving a minimization problem. Finally, an illustrative example is given to show the effectiveness of the designed SMO design scheme

Stability results for constrained dynamical systems

Differential-Algebraic Equations (DAE) provide an appropriate framework to model and analyse dynamic systems with constraints. This framework facilitates modelling of the system behaviour through natural physical variables of the system, while preserving the topological constraints of the system. The main purpose of this dissertation is to investigate stability properties of two important classes of DAEs. We consider some special cases of Linear Time Invariant (LTI) DAEs with control inputs and outputs, and also a special class of Linear switched DAEs. In the first part of the thesis, we consider LTI systems, where we focus on two properties: passivity and a generalization of passivity and small gain theorems called mixed property. These properties play an important role in the control design of large-scale interconnected systems. An important bottleneck for a design based on the aforementioned properties is their verification. Hence we intend to develop easily verifiable conditions to check passivity and mixedness of Single Input Single Output (SISO) and Multiple Input Multiple Output (MIMO) DAEs. For linear switched DAEs, we focus on the Lyapunov stability and this problem forms the basis for the second part of the thesis. In this part, we try to find conditions under which there exists a common Lyapunov function for all modes of the switched system, thus guaranteeing exponential stability of the switched system. These results are primarily developed for continuous-time systems. However, simulation and control design of a dynamic system requires a discrete-time representation of the system that we are interested in. Thus, it is critical to establish whether discrete-time systems, inherit fundamental properties of the continuous-time systems from which they are derived. Hence, the third part of our thesis is dedicated to the problems of preserving passivity, mixedness and Lyapunov stability under discretization. In this part, we examine several existing discretization methods and find conditions under which they preserve the stability properties discussed in the thesis

Stability results for constrained dynamical systems

Differential-Algebraic Equations (DAE) provide an appropriate framework to model and analyse dynamic systems with constraints. This framework facilitates modelling of the system behaviour through natural physical variables of the system, while preserving the topological constraints of the system. The main purpose of this dissertation is to investigate stability properties of two important classes of DAEs. We consider some special cases of Linear Time Invariant (LTI) DAEs with control inputs and outputs, and also a special class of Linear switched DAEs. In the first part of the thesis, we consider LTI systems, where we focus on two properties: passivity and a generalization of passivity and small gain theorems called mixed property. These properties play an important role in the control design of large-scale interconnected systems. An important bottleneck for a design based on the aforementioned properties is their verification. Hence we intend to develop easily verifiable conditions to check passivity and mixedness of Single Input Single Output (SISO) and Multiple Input Multiple Output (MIMO) DAEs. For linear switched DAEs, we focus on the Lyapunov stability and this problem forms the basis for the second part of the thesis. In this part, we try to find conditions under which there exists a common Lyapunov function for all modes of the switched system, thus guaranteeing exponential stability of the switched system. These results are primarily developed for continuous-time systems. However, simulation and control design of a dynamic system requires a discrete-time representation of the system that we are interested in. Thus, it is critical to establish whether discrete-time systems, inherit fundamental properties of the continuous-time systems from which they are derived. Hence, the third part of our thesis is dedicated to the problems of preserving passivity, mixedness and Lyapunov stability under discretization. In this part, we examine several existing discretization methods and find conditions under which they preserve the stability properties discussed in the thesis

Continuous-Time Switched H∞ Proportional-Integral observer: Application for sideslip and road bank angles estimation

International audience— In this work, a Continuous-Time Switched H ∞ Proportional-Integral (CTSH ∞ PI) observer is presented. The estimation method is based on a proportional-integral observer introduced by [13], [11], [12]. The estimation method is used to estimate simultaneously the state variables and unknown inputs of switched systems. A design method is established using a common Lyapunov function and H ∞ norm. Its stability and global convergence conditions are proved and expressed in term of LMIs. All conditions are established under given switching signals. The estimation method is applied in vehicle dynamics to estimate simultaneously the vehicle sideslip angle and road bank angle. Moreover, the switching signal is deduced from measured premise variables. Simulation tests with experimental data are included to demonstrate the advantage of this method

Simple yet stable bearing-only navigation

This article describes a simple monocular navigation system for a mobile robot based on the map-and-replay technique. The presented method is robust and easy to implement and does not require sensor calibration or structured environment, and its computational complexity is independent of the environment size. The method can navigate a robot while sensing only one landmark at a time, making it more robust than other monocular approaches. The aforementioned properties of the method allow even low-cost robots to effectively act in large outdoor and indoor environments with natural landmarks only. The basic idea is to utilize a monocular vision to correct only the robot's heading, leaving distance measurements to the odometry. The heading correction itself can suppress the odometric error and prevent the overall position error from diverging. The influence of a map-based heading estimation and odometric errors on the overall position uncertainty is examined. A claim is stated that for closed polygonal trajectories, the position error of this type of navigation does not diverge. The claim is defended mathematically and experimentally. The method has been experimentally tested in a set of indoor and outdoor experiments, during which the average position errors have been lower than 0.3 m for paths more than 1 km long

A smooth model for periodically switched descriptor systems

Switched descriptor systems characterized by a repetitive finite sequence of modes can exhibit state discontinuities at the switching time instants. The amplitudes of these discontinuities depend on the consistency projectors of the modes. A switched ordinary differential equations model whose continuous state evolution approximates the state of the original system is proposed. Sufficient conditions based on linear matrix inequalities on the modes projectors ensure that the approximation error is of linear order of the switching period. The theoretical findings are applied to a switched capacitor circuit and numerical results illustrate the practical usefulness of the proposed model

Analysis, estimation and control for perturbed and singular systems and for systems subject to discrete events.

Investigators: Alan S. Willsky, George Verghese.Annual technical report for Grant AFOSR-88-0032.Sponsored by the AFOSR. AFOSR-88-003

Simple Tracking Output Feedback H ∞ Control for Switched Linear Systems: Lateral Vehicle Control Application

International audienceIn this paper, the problem of the switched H ∞ tracking output feedback control problem is studied. The control design problem is addressed in the context of discrete-time switched linear systems. Then, the design of continuous-time case becomes trivial. Linear Matrix Inequality (LMI) and Linear Matrix Equality (LME) representations are used to express all sufficient conditions to solve the control problem. Some transformations leading to sufficient conditions for the control problem are also used. All conditions are established for any switching using a switched Lyapunov function and a common Lyapunov function. The effectiveness of the proposed control approach is shown through a steering vehicle control implementation. Interesting simulation results are obtained using real data acquired by an instrumented car