Robust discerning controls for the operating modes of linear switched systems subject to bounded unknown inputs

A linear switched system with bounded unknown inputs is considered in this paper. The study of the controlled distinguishability (or discernibility) property of the operating modes of the system is addressed. This property ensures the existence of a control input that generates different output signals of the modes regardless of the initial state vector and the unknown inputs. Such control inputs are called discerning controls. The robustness problem of the discerning controls with respect to the unknown inputs is analyzed, namely: under which conditions does a discerning control of the unknown-input-free modes remains a discerning control for the perturbed modes? To solve this problem, the existence of a quantifier measuring the size of the unknown inputs that discerning controls of the unknown-input-free modes have to be robust to in order to remain discerning controls for the perturbed modes is shown. In addition to this robustness result, an algorithm is proposed to design discerning controls for perturbed modes. Finally, from this input design procedure it is proven that when bounded unknown inputs are considered, there is an equivalence between controlled distinguishability of the unknown-input-free modes and that of the perturbed modes.

[1]  Giorgio Battistelli,et al.  Active mode observability of switching linear systems , 2007, Autom..

[2]  Hyungbo Shim,et al.  Observability for Switched Linear Systems: Characterization and Observer Design , 2013, IEEE Transactions on Automatic Control.

[3]  Carlos Silvestre,et al.  On the distinguishability of discrete linear time-invariant dynamic systems , 2011, IEEE Conference on Decision and Control and European Control Conference.

[4]  Hongwei Lou,et al.  The distinguishability of linear control systems , 2009 .

[5]  Koffi Mawussé Djidula Motchon Caractérisation de la discernabilité des systèmes dynamiques linéaires et non-linéaires affines en la commande , 2016 .

[6]  Jamal Daafouz,et al.  Model-Based Modes Detection and Discernibility for Switched Affine Discrete-Time Systems , 2015, IEEE Transactions on Automatic Control.

[7]  Hongwei Lou Necessary and sufficient conditions for distinguishability of linear control systems , 2011, ArXiv.

[8]  Jean-Philippe Cassar,et al.  Conditions for strict distinguishability of single-output nonlinear control-affine systems , 2017, Syst. Control. Lett..

[9]  R. Vidal,et al.  Observability and identifiability of jump linear systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[10]  George J. Pappas,et al.  Observability of Switched Linear Systems in Continuous Time , 2005, HSCC.

[11]  Giorgio Battistelli,et al.  Mode-observability degree in discrete-time switching linear systems , 2014, Syst. Control. Lett..

[12]  Denis V. Efimov,et al.  Continuous and discrete state estimation for switched LPV systems using parameter identification , 2015, Autom..

[13]  Daniel Boley On Kalman's procedure for the computation of the controllable/observable canonical form , 1980, 1980 19th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[14]  R. Kálmán Mathematical description of linear dynamical systems , 1963 .

[15]  Maria Domenica Di Benedetto,et al.  Observability and diagnosability of finite state systems: A unifying framework , 2017, Autom..

[16]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[17]  Jean-Philippe Cassar,et al.  On the Input-Output Distinguishability of Single Output Continuous Linear Time-Invariant Systems , 2016, IEEE Transactions on Automatic Control.

[18]  José Ragot,et al.  Switching systems: active mode recognition, identification of the switching law , 2007 .

[19]  Antonio Ramírez-Treviño,et al.  On the Observability of Continuous-Time Switched Linear Systems Under Partially Unknown Inputs , 2012, IEEE Transactions on Automatic Control.

[20]  J. Jahn Introduction to the Theory of Nonlinear Optimization , 1994 .

[21]  René Vidal,et al.  Recursive identification of switched ARX systems , 2008, Autom..