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

 _    _      ___     _    _     _____             
| |  | ||   / _ \\  | |  | ||  |  ___||     ___   
| |/\| ||  / //\ \\ | |/\| ||  | ||__      /   || 
|  /\  || |  ___  |||  /\  ||  | ||__     | [] || 
|_// \_|| |_||  |_|||_// \_||  |_____||    \__ || 
`-`   `-` `-`   `-` `-`   `-`  `-----`      -|_|| 
                                             `-`