Vortrag von Dr. Ferenc A. Bartha zum Thema: Rigorous computations for dynamical systems
Veranstaltungsort
Alpen-Adria-Universität Klagenfurt
I.1.04
Veranstalter
Institut für Mathematik
Beschreibung
First, we discuss the basics of rigorous computations, namely, interval arithmetic and automatic differentiation. Then, we go through some applications of these for various dynamical systems: difference equations, ordinary differential equations, hybrid systems, and delay differential equations. We show how qualitative properties of maps may be found using graph representations (finite resolution dynamics), how rigorous time integration of ODEs / DDEs is possible, finally, we will analyze hybrid equations (ODEs coupled with discrete jumps) and show that even some Zeno systems (infinite number of discrete jumps in finite time) may be bounded using these techniques.
Vortragende(r)
Ferenc A. Bartha (Univ. Szeged, Ungarn)
Kontakt
Abel Garab (abel [dot] garab [at] aau [dot] at)
Ähnliche Veranstaltungen
