Eintrag in der Universitätsbibliographie der TU Chemnitz
Devadze, Grigory ; Flessing, Lars ; Streif, Stefan*
Extraction of a computer-certified ODE solver
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Regelungstechnik und Systemdynamik | |
| Dokumentart: | Konferenzbeitrag, referiert | |
| ISBN/ISSN: | Electronic ISBN:978-9-4638-4236-5 ; Print on Demand(PoD) ISBN:978-1-6654-7945-5 | |
| DOI: | doi:10.23919/ecc54610.2021.9655219 | |
| Quelle: | 2021 European Control Conference (ECC), 29 June-2 July 2021 , Delft, Netherlands. - IEEE, 2021 | |
| Freie Schlagwörter (Englisch): | Asymptotic stability , Software algorithms , Ordinary differential equations , Reliability engineering , Software , Stability analysis ,Trajectory |
