In this study, we extend traditional (single-target) hybrid systems to multi-target hybrid systems with a focus on the multi-maneuvering-target tracking system. This system consists of a continuous state, a discrete and switchable state, and a dis-crete, time-constant, and unique state. By defining a new generalized labeled multi-Bernoulli density, we prove that it is closed under the Chapman-Kolmogorov prediction and Bayes update for multi-target hybrid systems. In other words, we provide the exact derivation of a solution to this system, i.e., the multi-model generalized labeled multi-Bernoulli filter, which has been de-veloped without strict proof.