Abstract
A general framework for hybrid dynamical systems is proposed for the modeling of certain classes of dynamical systems consisting of mixed continuous-time/logical dynamics and autonomous discontinuities. Separating different dynamics into two subsystems connected through interfaces, our proposed hybrid model offers generality and also high level of compatibility with existing approaches. The main theoretical result in the paper concerns the well-posedness property (existence and uniqueness of solutions) of the system. We derive a sufficient condition of the well-posedness property which proves that nondeterminism and livelock phenomenon do not exist in the system dynamics.
