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

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