发送短信 : Analysis and design of classes of hybrid control systems /