Hybrid Systems: Analysis and Control