Algebraic observer for a class of switched systems with Zeno phenomenon

International audienceFor a large class of switched systems with zeno phenomenon, classical observer cannot be applied directly since the terms leading to zeno phenomenon are not derivable. However in this paper, by assuming that these terms are integrable in the less restrictive way, we can define a new output, with which algebraic observer can then be adopted to estimate the states of the studied switched systems with zeno phenomenon. For simplicity, the main idea is explained via normal forms, while it can also be extended to generic switched systems

Observability Normal Forms for a class of switched systems with zeno phenomena

International audienceThis paper deals with necessary and sufficient conditions to transform a class of switched systems to a particular form dedicated to observer design with and without zeno phenomena. Meanwhile, sufficient observability conditions for switched system with or without zeno phenomena are given. In the last section, some observer structures are proposed upon two academical examples

Observability forms for switched systems with Zeno phenomenon or high switching frequency

International audienceThis paper deals with the observability of a class of switched systems with Zeno phenomenon or high switching frequency. Particularly, three observability forms are proposed and the observability for each form with knowledge of filtered switching signal is analyzed. Meanwhile, sufficient and necessary conditions for the existence of a diffeomorphism to transform a class of switched systems into one of such forms are presented. Examples and simulations are given at the end to highlight the theoretical results

Robust Observer Design for Hybrid Dynamical Systems with Linear Maps and Approximately Known Jump Times

This paper proposes a general framework for the state estimation of plants given by hybrid systems with linear flow and jump maps, in the favorable case where their jump events can be detected (almost) instantaneously. A candidate observer consists of a copy of the plant's hybrid dynamics with continuous-time and/or discrete-time correction terms multiplied by two constant gains, and with jumps triggered by those of the plant. Assuming that the time between successive jumps is known to belong to a given closed set allows us to formulate an augmented system with a timer which keeps track of the time elapsed between successive jumps and facilitates the analysis. Then, since the jumps of the plant and of the observer are synchronized, the error system has time-invariant linear flow and jump maps, and a Lyapunov analysis leads to sufficient conditions for the design of the observer gains for uniform asymptotic stability in three different settings: continuous and discrete updates, only discrete updates, and only continuous updates. These conditions take the form of matrix inequalities, which we solve in examples including cases where the time between successive jumps is unbounded or tends to zero (Zeno behavior), and cases where either both the continuous and discrete dynamics, only one of them, or neither of them are detectable. Finally, we study the robustness of this approach when the jumps of the observer are delayed with respect to those of the plant. We show that if the plant's trajectories are bounded and the time between successive jumps is lower-bounded away from zero, the estimation error is bounded, and arbitrarily small outside the delay intervals between the plant's and the observer's jumps

Discussion about sliding mode algorithms, Zeno phenomena and observability

International audienceThis chapter is devoted to a discussion about the relations between first and high order slidingmode algorithms and both types of Zeno (Chattering and Genuinely) behaviors of switched dynamical systems. Firstly, the Henstock-Kurzweil integral is recalled in order to set up the problem of switched systems with Zeno phenomena, which enables to include Filippov solution and take into account some singularities. Then, observer designs based on the well-known super twisting algorithm are proposed. For this kind of problems, the importance of finite time convergence of the observation error is studied, and some simulations are given to highlight the discussion. Lastly, the two tanks example is given in order to point out the differences between both Zeno phenomena types, to show that there is life after Zeno and that a higher order sliding mode observer can be efficient before, during and after both Zeno phenomena types

Nondeterministic hybrid dynamical systems

This thesis is concerned with the analysis, control and identification of hybrid dynamical systems. The main focus is on a particular class of hybrid systems consisting of linear subsystems. The discrete dynamic, i.e., the change between subsystems, is unknown or nondeterministic and cannot be influenced, i.e. controlled, directly. However changes in the discrete dynamic can be detected immediately, such that the current dynamic (subsystem) is known. In order to motivate the study of hybrid systems and show the merits of hybrid control theory, an example is given. It is shown that real world systems like Anti Locking Brakes (ABS) are naturally modelled by such a class of linear hybrids systems. It is shown that purely continuous feedback is not suitable since it cannot achieve maximum braking performance. A hybrid control strategy, which overcomes this problem, is presented. For this class of linear hybrid system with unknown discrete dynamic, a framework for robust control is established. The analysis methodology developed gives a robustness radius such that the stability under parameter variations can be analysed. The controller synthesis procedure is illustrated in a practical example where the control for an active suspension of a car is designed. Optimal control for this class of hybrid system is introduced. It is shows how a control law is obtained which minimises a quadratic performance index. The synthesis procedure is stated in terms of a convex optimisation problem using linear matrix inequalities (LMI). The solution of the LMI not only returns the controller but also the performance bound. Since the proposed controller structures require knowledge of the continuous state, an observer design is proposed. It is shown that the estimation error converges quadratically while minimising the covariance of the estimation error. This is similar to the Kalman filter for discrete or continuous time systems. Further, we show that the synthesis of the observer can be cast into an LMI, which conveniently solves the synthesis problem