Design of Observers for Hybrid Systems

A methodology for the design of dynamical observers for hybrid plants is proposed. The hybrid observer consists of two parts: a location observer and a continuous observer. The former identifies the current location of the hybrid plant, while the latter produces an estimate of the evolution of the continuous state of the hybrid plant. A synthesis procedure is offered when a set of properties on the hybrid plant is satisfied. The synthesized hybrid observer identifies the current location of the plant after a finite number of steps and converges exponentially to the continuous state.

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

[2]  Yong Liu.  Switching observer design for uncertain nonlinear systems , 1997, IEEE Trans. Autom. Control..

[3]  C. Loan.  The Sensitivity of the Matrix Exponential , 1977 .

[4]  Andrea Balluchi,et al.  A hybrid observer for the driveline dynamics , 2001, 2001 European Control Conference (ECC).

[5]  C. Pinello,et al.  Automotive engine control and hybrid systems: challenges and opportunities , 2000, Proceedings of the IEEE.

[6]  A. Willsky,et al.  Failure detection and identification , 1989 .

[7]  A. Michel,et al.  Stability theory for hybrid dynamical systems , 1998, IEEE Trans. Autom. Control..

[8]  Qing Zhang,et al.  Hybrid filtering for linear systems with non-Gaussian disturbances , 2000, IEEE Trans. Autom. Control..

[9]  C. A. Desoer,et al.  Nonlinear Systems Analysis , 1978 .

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

[11]  Paul M. Frank,et al.  Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy: A survey and some new results , 1990, Autom..

[12]  P. Ramadge.  Observability of discrete event systems , 1986, 1986 25th IEEE Conference on Decision and Control.

[13]  D. Luenberger.  An introduction to observers , 1971 .

[14]  A. Willsky,et al.  Observability of discrete event dynamic systems , 1990 .

[15]  R. Greiner,et al.  Dynamical logic observers for finite automata , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[16]  Panos J. Antsaklis,et al.  Stability and stabilizability of discrete event dynamic systems , 1991, JACM.

[17]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[18]  K. Ito,et al.  On State Estimation in Switching Environments , 1970 .