Denis V. Efimov

Interval State Estimation for a Class of Nonlinear Systems

The goal of this technical note is to design interval observers for a class of nonlinear continuous-time systems. The first part of this work shows that it is usually possible to design an interval observer for linear systems by means of linear time-invariant changes of coordinates even if the system is not cooperative. This result is extended to a class of nonlinear systems using partial exact linearisations. The proposed observers guarantee to enclose the set of system states that is consistent with the model, the disturbances and the measurement noise. Moreover, it is only assumed that the measurement noise and the disturbances are bounded without any additional information such as stationarity, uncorrelation or type of distribution. The proposed observer is illustrated through numerical simulations.

Finite-time and fixed-time stabilization

Theorems on Implicit Lyapunov Functions (ILF) for finite-time and fixed-time stability analysis of nonlinear systems are presented. Based on these results, new nonlinear control laws are designed for robust stabilization of a chain of integrators. High order sliding mode (HOSM) algorithms are obtained as particular cases. Some aspects of digital implementations of the presented algorithms are studied, it is shown that they possess a chattering reduction ability. Theoretical results are supported by numerical simulations.

Brief paperFinite-time and fixed-time stabilization: Implicit Lyapunov function approach☆

Theorems on Implicit Lyapunov Functions (ILF) for finite-time and fixed-time stability analysis of nonlinear systems are presented. Based on these results, new nonlinear control laws are designed for robust stabilization of a chain of integrators. High order sliding mode (HOSM) algorithms are obtained as particular cases. Some aspects of digital implementations of the presented algorithms are studied, it is shown that they possess a chattering reduction ability. Theoretical results are supported by numerical simulations.

Interval state observer for nonlinear time varying systems

This paper is devoted to the design of interval observers for Linear Time Varying (LTV) systems and a class of nonlinear time-varying systems in the output canonical form. An interval observer design is feasible if it is possible to calculate the observer gains making the estimation error dynamics cooperative and stable. It is shown that under some mild conditions the cooperativity of an LTV system can be ensured by a static linear transformation of coordinates. The efficiency of the proposed approach is demonstrated through numerical simulations.

Interval estimation for LPV systems applying high order sliding mode techniques

In this paper, the problem of design of interval observers for Linear Parameter-Varying (LPV) systems, containing non-detectable or non-strongly-observable parts, is addressed. Firstly, a High Order Sliding Mode (HOSM) method is applied to the strongly observable subsystem, obtained by an appropriate change of coordinates, to estimate the state and its derivative. Secondly, this information is used to decrease the level of uncertainty in the rest of the system, which leads to improvement of accuracy of the set-membership estimates generated by an interval observer. Moreover, it is shown that HOSM techniques allows us to relax the applicability conditions of standard interval observer design methods. The efficiency of the proposed approach is demonstrated through simulation examples.

Control of Nonlinear and LPV Systems: Interval Observer-Based Framework

The problem of output stabilization of a class of nonlinear systems subject to parametric and signal uncertainties is studied. First, an interval observer is designed estimating the set of admissible values for the state. Next, it is proposed to design a control algorithm for the interval observer providing convergence of interval variables to zero, that implies a similar convergence of the state for the original nonlinear system. An application of the proposed technique shows that a robust stabilization can be performed for linear time-varying and linear-parameter-varying (LPV) systems without assumption that the vector of scheduling parameters is available for measurements. Efficiency of the proposed approach is demonstrated through two examples.

Input to state stability and allied system properties

The main results obtained in the field of input-state stable systems and systems with other similar characteristics that were published over the last two decades were reviewed.

Brief paper: Actuator fault detection and compensation under feedback control

The problem of unknown input estimation and compensation is studied for actuated nonlinear systems with noisy measurements. The proposed solution is based on high-order sliding-mode differentiation and discrete-time optimization technique. Accuracy of the proposed hybrid estimation scheme is evaluated and stability conditions of the compensating mechanism are established. It is shown that the fault detection delay as well as the smallest detectable fault magnitude can be estimated. Efficiency of the proposed approach is demonstrated through oscillatory failure detection and compensation in aircraft surface servo loops.

Interval observers for continuous-time LPV systems with L 1 / L 2 performance

An approach to interval observer design for Linear Parameter-Varying (LPV) systems is proposed. It is assumed that the vector of scheduling parameters in LPV models is not available for measurement. Two different interval observers are constructed for nonnegative systems and for a generic case. Stability conditions are expressed in terms of matrix inequalities, which can be solved with respect to the observer gains using standard numerical solvers. Applying L 1 / L 2 framework the robustness and estimation accuracy with respect to model uncertainty are analyzed. The efficiency of interval estimation for LPV models is demonstrated through numerical experiments for a microfluidic system and an academic example.

On homogeneity and its application in sliding mode control

The paper is reviewing the tools to handle high-order sliding mode design and robustness. The main ingredient is homogeneity which can be checked using an algebraic test and which helps us in obtaining one of the most desired properties in sliding mode control that is finite-time stability. This paper stresses some recently obtained results about homogeneity for differential inclusions and robustness with respect to perturbations in the context of input-to-state stability. Lastly within this framework, most of the popular high-order sliding mode control schemas are analysed.