Wednesday , April 24 2024

Algebraic State Estimation for a
Class of Switched Linear Systems

Yang TIAN1, Chengcheng SONG1, Wilfrid PERRUQUETTI2
1 Sino-French Joint Laboratory of Automation and Signal Processing, Automation School of Nanjing University of Science and Technology (NUST)
Nanjing, 210094, China tianyang@njust.edu.cn
2 LAGIS (CNRS, UMR 8219), Ecole Centrale de Lille (ECL),
Villeneuve d’Ascq, 59650, France & Equipe Projet Non-A,
INRIA Lille-Nord Europe
wilfrid.perruquetti@ec-lille.fr

Abstract: In this paper, an algebraic state estimation method for a class of switched linear systems is derived. This approach is based on algebraic tools and distribution theory. Firstly, the unknown switching instant and the active mode are identified on-line, and then the process of state estimation is given by an explicit algebraic formula, rather than by an auxiliary dynamic system, which can be implemented formally and estimated very fast in computer. Numerical example and Simulations illustrate the efficiency of the proposed techniques.

Keywords: Algebraic approach, State estimation, Switching instants identification, Switched linear systems.

>>Full text
CITE THIS PAPER AS:
Yang TIAN, Chengcheng SONG, Wilfrid PERRUQUETTI, Algebraic State Estimation for a Class of Switched Linear Systems, Studies in Informatics and Control, ISSN 1220-1766, vol. 23 (2), pp. 207-214, 2014. https://doi.org/10.24846/v23i2y201409

  1. Introduction

Hybrid dynamical systems (HDS), in which continuous dynamics and discrete events coexist and interact between each other, can be used to model a large number of practical systems. Switched systems as higher–level abstractions of HDS, obtained by neglecting the details of the discrete behaviour. A family of dynamical linear subsystems and a switching law, which orchestrates the switching between them, can compose a switched linear system (see [1] for surveys).

In the recent years, there has been an increasing interest in the control problems of switched linear systems due to their significance from both a theoretical and practical point of view. Important results for switched systems have been achieved for problems of stability analysis [2], stabilization [3-5], tracking design [6] or controllability [7, 8].

Observability and state estimation is a very challenging problem for such systems since both the active mode and the continuous state have to be estimated during a finite time interval. The notion of state estimation for switched systems was firstly introduced in [9]. Observability notions for some classes of hybrid systems such as switched linear systems has been discussed and characterized in recent works such as [1,10,11].The problem is to recover from available measurements the state of the system and/or the switching signal, and eventually the switching time. Different observation and identification methods have been performed during the last years [12-20]: state estimation for nonlinear switched system using Petri Net [12], for linear switched systems with unknown inputs [13], or an original and effective sampled and delayed output observer design which is based on hybrid switching systems [16] etc. Usually, the hybrid observer consists of two parts: an index estimator of the current active sub-model and a continuous observer that estimates asymptotically in most cases, the continuous state of the hybrid system.

The aim of this paper is to estimate the switching instants, active mode and the continuous state of a class of switched linear systems with the knowledge of the first active mode. The possibility to have finite time estimate for this kind of systems is clearly important. The approach considered here takes root in recent works developed in [21] for parameter identification of linear time-invariant systems. This method is based on algebraic tools (differential algebra, module theory and operational calculus) and results in finite time estimates given by explicit algebraic formula that can be implemented in a straightforward manner using standard tools from computational mathematics. Those results have been extended to the problems of closed-loop parametric estimation for continuous-time linear systems in [22], state estimation of linear systems in [23] or with time-varying parameters in [24], fault diagnosis in [25], nonlinear systems with unknown inputs in [26] or nonlinear feedback control in [27], switched systems estimation with Zeno phenomenon in [28]. This approach was also applied in [29] for the estimation of the index corresponding to the current active subsystem, and the state variable of this subsystem. Based on the result in [30, 31], finite time identification of the switching instants and the active mode are firstly studied, and the switching time estimation is given by an explicit formula, as a function of the integral of the output, in order to attenuate the influence of measurement noises. Then, combining our results of state estimation for linear time invariant systems by algebraic approach [23], we give the main approach of current active mode estimation and the continuous state estimation in real time.

This paper is organized as follows: Section 2 gives the problem statement and the mathematical formulation. The main result is derived in Section 3 & Section 4. First, the switching instant identification of one commutation between two modes is analyzed. Then, the result is extended to the case of commutations among an arbitrary number of modes. In Section 4, with the estimated switching instants sequence and the algebraic state estimator for each mode ([23]), the state estimation of the autonomous switched linear systems is achieved. In section 5, simulation results that illustrate the proposed approach are provided.  Finally, the last section is devoted to main conclusions and future works.

REFERENCES

  1. VIDAL, R., A. CHIUSO, S. SOATTO, S. SASTRY, Observability of Linear Hybrid Systems. Lect. Notes in Comp. Sc. (Hybrid Systems Computation and Control). vol. 2623, 2003, pp. 526-539.
  2. AGRACHEV, A. A., D. LIBERZON, Lie-algebraic Stability Criteria for Switched Systems, SIAM J. Ctrl Opt., vol. 40, 2001, pp. 253-269.
  3. SOGA, T., N. OTSUKA, Stabilizability Conditions for Switched Linear Systems with Constant Input via Switched Observer, Studies in Informatics and Control, vol. 22, no. 1, 2013, pp. 7-14.
  4. ZHAI G., H. LIN, P.J. ANTASAKLIS, Quadratic Stabilizability of Switched Linear Systems with Polytopic Uncertainties. Intl. Journal of Control, vol. 76, no. 7, 2003, pp. 747-753.
  5. WICKS, M., P. PELETIES, R. DECARLO, Switched Controller Synthesis for the Quadratic Stabilisation of a Pair of Unstable Linear Systems. European J. of Control, vol.4, no. 2, 1998, pp.140-147.
  6. BOURDAIS, R., M. FLIESS, C. JOIN et al. Towards a Model-free Output Tracking of Switched Nonlinear Systems. 7th IFAC Symp. on Nonlinear Control Systems, 2007.
  7. SUN, Z, S. S. GE, Analysis and Synthesis of Switched Linear Control Systems. Automatica, vol.41, no.2, 2005, pp.181-195.
  8. XIE G, D. ZHENG, L. WANG, Controllability of Switched Linear Systems. IEEE Trans. on Aut. Ctrl, vol. 47, no.8, 2002, 1401-1405.
  9. ACKERSON, G. A., K. S. FU, On State Estimation in Switching Environments. IEEE Trans. on Aut. Ctrl. 15(1), 1970, pp. 10-17.
  10. BABAALI, M., G. J. PAPPAS, Observability of Switched Linear Systems in Continuous time. Hybrid Syst.: Comp. and Control. Springer Berlin Heidelberg, 2005, pp. 103-117.
  11. De SANTIS, E., M. D. DI BENEDETTO, G. POLA, On Observability and Detectability of Continuous-time Linear Switching Systems. 42nd IEEE Conf. Dec. & Ctrl, 2003.
  12. ARICHI, F., M. DJEMAI, B. CHERKI et al. State Estimation for a Class of Nonlinear Switched Systems using Petri Net. 2nd Intl. Symp. IEEE Envir. Friendly Energies & App. (EFEA), 2012, pp. 38-43.
  13. RIOS, H., J. DAVILA, F. LEONID et al. State Estimation for Linear Switched Systems with Unstable Invariant Zeros and Unknown Inputs. 51st IEEE Conf. on Decision and Control, USA, 2012.
  14. WANG, H. P., C. VASSEUR, V. KONCAR, A. CHAMROO, N. CHRISTOV, Design and Implementation of Robust Hybrid Control of Vision based Underactuated Mechanical Nonminimum Phase Systems, Studies in Informatics and Control, vol.19, no.1, 2010, pp. 35-44.
  15. LI, S. Z., H. P. WANG, Y. TIAN, N. CHRISTOV, A. AITOUCHE, NNPID based Stator Voltage Oriented Vector Control for DFIG, Studies in Informatics and Control, vol. 23, no.1, 2014, pp. 5-12.
  16. WANG, H. P., C. VASSEUR, N. CHRISTOV, V. KONCAR, Vision Servoing of Robot Systems Using Piecewise Continuous Controllers and Observers, Mech. Syst. and Sign. Proc., vol.33, 2012, pp. 132-141.
  17. WANG, H. P., N. CHRISTOV, Event-Triggered Observer based Control of Networked Visual Servoing Control Systems, Control Engineering and Applied Informatics, vol.16, no.1, 2014, pp. 22-30.
  18. ALESSANDRI, A., P. COLETTA, Design of Luenberger Observers for a Class of Hybrid Linear Systems. Hybrid Systems: Comp. & Ctrl, Springer Verlag. vol. 2034, 2001, pp. 7-18.
  19. BALLUCHI, A., L. BENVENUTI, M. D. D. BENEDETTO, A. L. SANGIOVANNI-VINCENTELLI, Design of Observers for Hybrid Systems. Lect. Notes in Computer Science, Springer Verlag, 2002, pp. 77-89.
  20. BOUBAKER, S., M. DJEMAI, N. MANAMANNI et al. Active Modes and Switching Instants Identification for Linear Switched Systems based on Discrete Particle Swarm Optimization. App. Soft Comp. vol.14, 2014, pp. 482-488.
  21. FLIESS, M., H. SIRA-RAMIREZ, An Algebraic Framework for Linear Identification. ESAIM Ctrl. Optim. Calc. Variat., vol. 9, 2003, pp. 151-168.
  22. FLIESS, M., H. SIRA-RAMIREZ, Closed-loop Parametric Identification for Continuous-time Linear Systems via New Algebraic Techniques. Cont.-Time Model Ident. from Sampled Data. Springer, 2008.
  23. TIAN, Y., T. FLOQUET, W. PERRUQUETTI, Fast State Estimation in Linear Time-invariant Systems: An Algebraic Approach. 16th Medit. Conf. Contr. Automat., Corsica, France, 2008.
  24. TIAN, Y., T. FLOQUET, W. PERRUQUETTI, Fast State Estimation in Linear Time-varying Systems: An Algebraic Approach, 47th IEEE Conf. on Dec. & Ctrl, Mexico, 2008.
  25. FLIESS M., C. JOIN, H. SIRA-RAMIREZ, Robust Residual Generation for Linear Fault Diagnosis: An Algebraic Setting with Examples. Intl. J. of Control, vol.77, no.14, 2004, pp. 1223-1242.
  26. BARBOT, J. P., M. FLIESS, T. FLOQUET, An Algebraic Framework for the Design of Nonlinear Observers with Unknown Inputs. 46th IEEE Conf. on Decision and Control, New Orleans, 2007.
  27. MBOUP, M., C. JOIN, M. FLIESS, A Revised Look at Numerical Differentiation with an Application to Nonlinear Feedback Control. 15th IEEE Medit. Conf. on Ctrl and Auto., 2007.
  28. ZHENG G., L. YU, D. BOUTAT et al. Algebraic Observer for a Class of Switched Systems with Zeno Phenomenon. 48th IEEE Conf. on Dec. and Control, 2009.
  29. FLIESS M., C. JOIN, W. PERRUQUETTI, Real-time Estimation for Switched Linear Systems. 47th IEEE Conf. on Dec. and Control, 2008.
  30. MINCARELLI, D., T. FLOQUET, L. BELKOURA, Active Mode and Switching Time Estimation for Switched Linear Systems. 50th IEEE Conf. on Dec. and Control and ECC, Orlando, 2011.
  31. TIAN, Y., T. FLOQUET, L. BELKOURA et al., Algebraic Switching Time Identification for a Class of Linear Hybrid Systems. J. of. Nonlinear Analysis: Hybrid systems, vol. 5, 2011, pp. 233-241.
  32. SCHWARTZ, L., Theorie des distributions. 2nd Ed. Hermann, 1966.