發送短信 : Safety Analysis of Helicopter Models using Hybrid Systems with Geometric Programming

  _  _     _____      _____   __   __   __   _   
 | \| ||  |  ___||   / ___//  \ \\/ // | || | || 
 |  ' ||  | ||__     \___ \\   \ ` //  | '--' || 
 | .  ||  | ||__     /    //    | ||   | .--. || 
 |_|\_||  |_____||  /____//     |_||   |_|| |_|| 
 `-` -`   `-----`  `-----`      `-`'   `-`  `-`