Intervallarithmetische Untersuchung der Beobachtbarkeit und Zustandsschätzung nichtlinearer Systeme

Basierend auf Methoden der Intervallarithmetik stellt Thomas Paradowski einen neuartigen Algorithmus zur Bestimmung der Beobachtbarkeit nichtlinearer zeitkontinuierlicher Systeme vor. Mittels des verwendeten Potenzreihenkalkühls werden die erforderlichen Lie-Ableitungen automatisch berechnet. Dadurch ist es möglich, nicht nur lokale Aussagen über die Beobachtbarkeit zu treffen, sondern auch globale Aussagen. Für die Fälle, in denen das nichtlineare System nicht vollständig global beobachtbar auf