Hybrid Systems - Computation And Control by