Eintrag in der Universitätsbibliographie der TU Chemnitz
Devadze, Grigory* ; Streif, Stefan*
Formal proofs for Lyapunov stability theorems in exact real arithmetic
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Regelungstechnik und Systemdynamik | |
| Dokumentart: | Konferenzbeitrag, referiert | |
| ISBN/ISSN: | Electronic ISBN: 978-3-907144-08-4 ; USB ISBN: 978-3-907144-09-1 ; Print on Demand(PoD) ISBN: 978-1-6654-6531-1 | |
| DOI: | doi:10.23919/ecc57647.2023.10178391 | |
| Quelle: | European Control Conference (ECC) 2023, 13.06.-16.06.2023, Bucharest, Romania. - IEEE, 2023 | |
| Freie Schlagwörter (Englisch): | Discrete-time systems , Uncertainty , Backstepping , Control design , Europe , Control theory , Dynamical systems |
