Proving Asymptotic Stability with LaSalle's Invariance Principle: On the Automatic Computation of Invariant Sets Using Quantifier Elimination
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Englisch |
---|---|
Titel | 7th International Conference on Control, Decision and Information Technologies, CoDIT 2020 |
Publikationsstatus | Veröffentlicht - 2020 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 85098273336 |
---|