Lösung regelungstechnischer Problemstellungen mittels Quantorenelimination

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheDeutsch
Seiten (von - bis)714-726
FachzeitschriftAt-Automatisierungstechnik
Jahrgang67
Ausgabenummer9
PublikationsstatusVeröffentlicht - 2019
Peer-Review-StatusJa

Externe IDs

Scopus 85073878637

Schlagworte

Schlagwörter

  • Quantorenelimination, Entscheidungsprobleme, Ausgangsrückführung, Lyaponov-Methoden, Beobachtbarkeit