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

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publication7th International Conference on Control, Decision and Information Technologies, CoDIT 2020
Publication statusPublished - 2020
Peer-reviewedYes

External IDs

Scopus 85098273336