Hybrid Systems Theory