Vitalsource Technologies, Inc. Qualitative Theory Of Hybrid Dynamical Systems