Proving LQG controller global optimality

Description: Coming soon..