Text this: Safety Analysis of Helicopter Models using Hybrid Systems with Geometric Programming

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