Proving Asymptotic Stability with LaSalle's Invariance Principle: On the Automatic Computation of Invariant Sets Using Quantifier Elimination

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Details

OriginalspracheEnglisch
Titel7th International Conference on Control, Decision and Information Technologies, CoDIT 2020
PublikationsstatusVeröffentlicht - 2020
Peer-Review-StatusJa

Externe IDs

Scopus 85098273336