Title: Analytical techniques for non-linear control systems