The Complete Proof Theory of Hybrid Systems (CMU-CS-11-144)