Hybrid Systems: Computation And Control