most citedCoercive quadratic converse ISS Lyapunov theorems for linear analytic systems

3 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing math.OCShow all

9 papers · 1 filter

math.OC20263 cited

Coercive quadratic converse ISS Lyapunov theorems for linear analytic systems

Andrii Mironchenko, Felix Schwenninger

We derive converse Lyapunov theorems for input-to-state stability (ISS) of linear infinite-dimensional analytic systems. While we show that ISS in general does not imply the existe…

math.OC2026

Input-to-state stability in integral norms for linear infinite-dimensional systems

Sahiba Arora, Andrii Mironchenko

We study integral-to-integral input-to-state stability for infinite-dimensional linear systems with inputs and trajectories in -spaces. We start by developing the correspondin…

math.OC2026

A superposition approach for the ISS Lyapunov-Krasovskii theorem with pointwise dissipation

Andrii Mironchenko, Fabian Wirth, Antoine Chaillet +1

We show that the existence of a Lyapunov-Krasovskii functional (LKF) with pointwise dissipation (i.e. dissipation in terms of the current solution norm) suffices for input-to-state…

math.OC2026

Lyapunov characterization of boundedness of reachability sets for infinite-dimensional systems

Patrick Bachmann, Andrii Mironchenko

We prove a converse Lyapunov theorem for boundedness of reachability sets for a general class of control systems whose flow is Lipschitz continuous on compact intervals with respec…

math.OC2025

Lyapunov methods for input-to-state stability of time-varying evolution equations

Rahma Heni, Andrii Mironchenko, Fabian Wirth +2

We prove that (local) input-to-state stability ((L)ISS) and integral input-to-state stability (iISS) of time-varying infinite-dimensional systems in abstract spaces follows from th…

math.OC2025

Characterization of input-to-output stability for infinite-dimensional systems

Patrick Bachmann, Sergey Dashkovskiy, Andrii Mironchenko

We prove a superposition theorem for input-to-output stability (IOS) of a broad class of nonlinear infinite-dimensional systems with outputs including both continuous-time and disc…