Preliminary results on interconnected hybrid systems

We present a new framework for describing multi-agent systems with hybrid individual dynamics where the interaction between agents occurs at both the continuous and discrete levels. We formally define these multi-agent systems as interconnected hybrid systems and then recast fundamental hybrid concepts such as a hybrid metric, hybrid execution, and reachability in this new interconnected hybrid systems framework. We then prove a necessary condition for the existence of the interconnected hybrid executions. This work extends results in [10], [16].