Computational methods in systems theory Controllability and observability mathematics