Rick VoÃwinkel stellt numerische und algebraische Ansätze vor, um lineare und nichtlineare Systeme auf konstruktive Weise zu untersuchen sowie systematisch Regler zu entwerfen. Den Ausgangspunkt stellt dabei Lyapunov's direkte Methode dar. Lyapunov-Methoden sind im nichtlinearen Fall nicht systematisch, da sie lediglich hinreichende Bedingungen liefern. Dieser Konservatismus wird mit Ansätzen der Quadratsummenzerlegung und Quantorenelimination minimiert. Konkret werden asymptotische Stabilität und (inkrementelle) Eingangs-Zustands-Stabilität, sowie (ISS)-Regelungs-Lyapunov-Funktionen betrachtet. Weiterhin wird für lineare Systeme dargestellt, wie mittels Parameterraumverfahren alle Parameter bestimmt werden können, die unterschiedliche Güteanforderungen realisieren.
