14h00–15h00 — Salle du conseil (L2S)
Puzzles of converse Lyapunov theory for infinite-dimensional systems
Andrii Mironchenko (Univ. Passau, Germany)
Abstract. We start with a short recap of converse Lyapunov results for the asymptotic stability of nonlinear infinite-dimensional systems. Next, we present a Lyapunov view on the classic criteria for exponential stability of linear infinite-dimensional systems due to Datko, Pazy, and Littman. We build the bridge between the linear and nonlinear Lyapunov results by introducing non-coercive Lyapunov functions and show that for many system classes existence of a non-coercive Lyapunov function is sufficient to ensure the asymptotic stability of a dynamical system. Finally, we consider the infinite-dimensional systems with inputs (boundary control systems) and show how coercive and non-coercive Lyapunov functions can be used to analyze the input-to-state stability of such systems. We close the talk with some open problems in the Lyapunov theory for systems with inputs.
Biography. Andrii Mironchenko was born in 1986 in Odesa, Ukraine. He received the M.Sc. degree in applied mathematics from the Odesa I.I. Mechnikov National University, Odesa, Ukraine, in 2008, the Ph.D. degree in mathematics from the University of Bremen, Bremen, Germany in 2012, and the habilitation degree from the University of Passau, Germany, in 2023. He has held a research position with the University of Würzburg, Würzburg, Germany, and was a Postdoctoral Fellow of Japan Society for Promotion of Science (JSPS) with the Kyushu Institute of Technology, Fukuoka Prefecture, Japan (2013–2014). Since 2014, he is with the Faculty of Mathematics and Computer Science, University of Passau, Passau, Germany.
Dr. Mironchenko is the author of the monograph “Input-to-state stability” (Springer, 2023) and (co)author of more than 60 peer-reviewed papers in journals and conference proceedings in control theory and applied mathematics. A. Mironchenko is a co-founder and co-organizer of the Workshop series “Stability and Control of Infinite-Dimensional Systems” (SCINDIS). He is a Senior Member of IEEE.
His research interests include stability theory, nonlinear systems theory, distributed parameter systems, hybrid systems, and applications of control theory to biological systems and distributed control.
15h00–16h00 — Salle du conseil (L2S)
Port-Hamiltonian systems with a moving interface
Fabian Wirth (Univ. Passau, Germany)
Abstract. Joint work with Alexander Kilian, Bernhard Maschke, Andrii Mironchenko.
We consider two systems of two conservation laws that are defined on complementary spatial intervals and coupled by an interface as a single port-Hamiltonian system. In case of a fixed interface position, we characterize the boundary and interface conditions for which the associated port-Hamiltonian operator generates a contraction semigroup. Furthermore, we present sufficient conditions for the exponential stability of the generated strongly stable semigroup. The results are illustrated by the example of two transmission lines coupled by a resistor. Some of the problems of extending the results to the case of moving interfaces are discussed.
Biography. Fabian Wirth received his PhD from the Institute of Dynamical Systems at the University of Bremen in 1995. He has since held positions in Bremen, at the Centre Automatique et Systèmes of Ecole des Mines, the Hamilton Institute at NUI Maynooth, Ireland, the University of Würzburg and IBM Research Ireland. He now holds the chair for Dynamical Systems at the University of Passau in Germany. His current interests include stability theory, switched systems and large scale networks with applications to networked systems and distributed control.
