Poincar'e-Bendixson Theorem for Hybrid Systems

The Poincar'e-Bendixson theorem plays an important role in the study of the qualitative behavior of dynamical systems on the plane; it describes the structure of limit sets in such systems. We prove a version of the Poincar'e-Bendixson Theorem for two dimensional hybrid dynamical systems and describe a method for computing the derivative of the Poincar'e return map, a useful object for the stability analysis of hybrid systems. We also prove a Poincar'e-Bendixson Theorem for a class of one dimensional hybrid dynamical systems.