Vitalsource Technologies, Inc. Theory Of Hybrid Systems: Deterministic And Stochastic