$H^\infty$-control Controllability and observability mathematics