Observability of Switched Linear Systems

This work deals with finite time observability of switched linear systems (SLS) when they are represented by a family of nonautonomous linear systems (LS) and an interpreted Petri net (IPN). Based on this SLS representation, new detection of the commutation time and LS distinguishability characterizations in SLS extended to the non autonomous case are presented. Using these results, the novel concept of distinguishability between LS sequences is presented and characterized. This concept together with the IPN input-output information is used to determine the IPN marking sequence. From the knowledge of this sequence, the conditions for the computation of the continuous state are presented. Also necessary and sufficient conditions for the observability in infinitesimal time are provided.

[1]  Angelo Alessandri,et al.  Design of Luenberger Observers for a Class of Hybrid Linear Systems , 2001, HSCC.

[2]  M. Sain,et al.  Research on system zeros: a survey , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[3]  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).

[4]  Antonio Ramírez-Treviño,et al.  Geometrical characterization of observability in Interpreted Petri Nets , 2005, Kybernetika.

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

[6]  Jan H. van Schuppen,et al.  Observability of Piecewise-Affine Hybrid Systems , 2004, HSCC.

[7]  Chi-Tsong Chen,et al.  Linear System Theory and Design , 1995 .

[8]  Alberto Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 2000, IEEE Trans. Autom. Control..

[9]  E. De Santis,et al.  Design of Luenberger-Like Observers for Detectable Switching Systems , 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

[10]  Claudine Chaouiya,et al.  Petri net modelling of biological networks , 2007, Briefings Bioinform..

[11]  Ashish Tiwari,et al.  Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks , 2004, HSCC.

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

[13]  Magnus Egerstedt,et al.  On Existential Observability and Reachability in a Class of Discrete-Time Switched Linear Systems , 2005 .

[14]  Antonio Ramírez-Treviño,et al.  Joint state-mode observer design for switched linear systems , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[15]  N. Karcanias,et al.  Poles and zeros of linear multivariable systems : a survey of the algebraic, geometric and complex-variable theory , 1976 .

[16]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

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

[18]  A. Haddad,et al.  On the Controllability and Observability of Hybrid Systems , 1988, 1988 American Control Conference.

[19]  J. Pearson.  Linear multivariable control, a geometric approach , 1977 .

[20]  Antonio Ramírez-Treviño,et al.  Observability of discrete event systems modeled by interpreted Petri nets , 2003, IEEE Trans. Robotics Autom..

[21]  Magnus Egerstedt,et al.  Observability of Switched Linear Systems , 2004, HSCC.

[22]  M. Egerstedt,et al.  On observability and reachability in a class of discrete-time switched linear systems , 2005, Proceedings of the 2005, American Control Conference, 2005..