Blowing up affine hybrid systems

In this paper we construct the "blow up" of an affine hybrid system H, i.e., a new affine hybrid system Bl(H) in which H is embedded, that does not exhibit Zeno behavior. We show the existence of a bijection /spl Upsi/ between periodic orbits and equilibrium points of H and Bl(H) that preserves stability; we refer to this property as /spl Pscr/-stability equivalence.

[1]  S. Sastry.  Nonlinear Systems: Analysis, Stability, and Control , 1999 .

[2]  Karl Henrik Johansson,et al.  Towards a Geometric Theory of Hybrid Systems , 2000, HSCC.

[3]  Daniel Liberzon,et al.  Benchmark Problems in Stability and Design of Switched Systems , 1999 .

[4]  S. Sastry,et al.  Zeno hybrid systems , 2001 .

[5]  Feng Lin,et al.  Analysis of Zeno behaviors in hybrid systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[6]  Robin Hartshorne,et al.  Algebraic geometry , 1977, Graduate texts in mathematics.

[7]  George J. Pappas,et al.  Hybrid Systems: Computation and Control: 7th International Workshop, Hscc 2004, Philadelphia, Pa, Usa, March 2004: Proceedings (Lecture Notes in Computer Science, 2993) , 2004 .

[8]  M. Branicky.  Stability of hybrid systems: state of the art , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[9]  Bengt Lennartson,et al.  Stability of limit cycles in hybrid systems using discrete-time Lyapunov techniques , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[10]  S. Shankar Sastry,et al.  Affine Hybrid Systems , 2004, HSCC.

[11]  S. Sastry,et al.  Simulation of Zeno hybrid automata , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[12]  A. Michel,et al.  Stability analysis for a class of nonlinear switched systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).