Lösung regelungstechnischer Problemstellungen mittels Quantorenelimination

Research output: Contribution to journal › Research article › Contributed › peer-review

Contributors

Details

Original languageGerman
Pages (from-to)714-726
JournalAt-Automatisierungstechnik
Volume67
Issue number9
Publication statusPublished - 2019
Peer-reviewedYes

External IDs

Scopus 85073878637

Keywords

Keywords

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