On the existence and uniqueness of solution trajectories to hybrid dynamical systems

In this paper, we study the fundamental system-theoretic property of wellposedness for several classes of hybrid dynamical systems. Hybrid systems are characterized by the presence and interaction of continu-ous dynamics and discrete actions. Many different description formats have been proposed in recent years for such systems; some proposed forms are quite direct, others lead to rather indirect descriptions. The more indirect a description form is, the harder it becomes to show that solutions are well-defined. This paper intends to provide a survey on the available results on existence and uniqueness of solutions for given initial conditions in the context of various description formats for hybrid systems.