On Invertibility of Switched Linear Systems

We address a new problem - the invertibility problem for continuous-time switched linear systems, which is the problem of recovering the switching signal and the input uniquely given an output and an initial state. In the context of hybrid systems, this corresponds to recovering the discrete state and the input from partial measurements of the continuous state. In solving the invertibility problem, we introduce the concept of singular pairs for two systems. We give a necessary and sufficient condition for a switched system to be invertible, which says that the subsystems should be invertible and there should be no singular pairs. When all the subsystems are invertible, we present an algorithm for finding switching signals and inputs that generate a given output in a finite interval when there is a finite number of such switching signals and inputs

[1]  Daniel Liberzon,et al.  Lie-Algebraic Stability Criteria for Switched Systems , 2001, SIAM J. Control. Optim..

[2]  R. Brockett,et al.  The reproducibility of multivariable systems , 1964 .

[3]  Andrew Brennan,et al.  Necessary and Sufficient Conditions , 2018, Logic in Wonderland.

[4]  M. Branicky.  Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[5]  William A. Wolovich,et al.  Bumpless switching controllers , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[6]  P. Moylan.  Stable inversion of linear systems , 1977 .

[7]  A. S. Morse,et al.  Output Controllability and System Synthesis , 1971 .

[8]  Nasir Uddin Ahmed.  Observability and Identification , 2006 .

[9]  J. Massey,et al.  Invertibility of linear time-invariant dynamical systems , 1969 .

[10]  A. Morse,et al.  Stability of switched systems with average dwell-time , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[11]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

[12]  C.N. Hadjicostis,et al.  Designing Stable Inverters and State Observers for Switched Linear Systems with Unknown Inputs , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

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

[14]  Sahjendra N. Singh.  A modified algorithm for invertibility in nonlinear systems , 1981 .

[15]  Shuzhi Sam Ge,et al.  Controllability and reachability criteria for switched linear systems , 2002, Autom..

[16]  Manfred Morari,et al.  A clustering technique for the identification of piecewise affine systems , 2001, Autom..

[17]  A. Morse.  Supervisory control of families of linear set-point controllers Part I. Exact matching , 1996, IEEE Trans. Autom. Control..

[18]  Jessy W. Grizzle,et al.  Rank invariants of nonlinear systems , 1989 .

[19]  Richard M. Murray,et al.  Consensus problems in networks of agents with switching topology and time-delays , 2004, IEEE Transactions on Automatic Control.

[20]  L. Silverman.  Inversion of multivariable linear systems , 1969 .

[21]  E. De Santis,et al.  On observability and detectability of continuous-time linear switching systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[22]  S. Shankar Sastry,et al.  Observability of Linear Hybrid Systems , 2003, HSCC.

[23]  L. Silverman,et al.  Input-output structure of linear systems with application to the decoupling problem , 1971 .

[24]  João Pedro Hespanha,et al.  Root-mean-square gains of switched linear systems , 2003, IEEE Trans. Autom. Control..

[25]  Yi Ma,et al.  Identification of hybrid linear time-invariant systems via subspace embedding and segmentation (SES) , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[26]  J. L. Mancilla-Aguilar,et al.  A converse Lyapunov theorem for nonlinear switched systems , 2000 .

[27]  A. Morse,et al.  Status of noninteracting control , 1971 .