added the controllability and observability checks