Analysis And Design Of Hybrid Systems