Zuverlässige numerische Analyse linearer Regelungssysteme