From detectability of abstract linear systems to exponential output-to-state stability and back
Abstract
We study exponential output-to-state stability (eOSS) of linear infinite-dimensional systems in Banach spaces with bounded output operators. It is shown that eOSS is equivalent to the existence of a coercive eOSS Lyapunov function in implication form. Also exponential detectability guarantees the existence of a coercive eOSS Lyapunov function in dissipation form and therefore eOSS. Counterexamples demonstrate that the converse implications fail in general: exponential zero-detectability does not imply eOSS, eOSS does not imply the existence of an eOSS Lyapunov function in dissipation form, which, in turn, does not imply exponential detectability. If the unstable subspace is finite-dimensional, zero-detectability implies exponential detectability and yields equivalent characterizations of eOSS. The results are illustrated with a parabolic equation.
Related
- Well-posedness and exponential stability for abstract evolution equations with delay in the nonlinear source: frictional and viscoelastic cases
- On exponential stability of generalized linear functional differential equations
- A weighted semigroup approach to exponential stability in linear parabolic equations
- Exponential Stability of the Linear Semigroup and the Global Attractor for a Coupled Suspension Bridge System with Past History
- Exponential stability of port-Hamiltonian systems with unstructured, measurable Hamiltonian densities
BibTeX
@misc{chen2026from,
title = {{From detectability of abstract linear systems to exponential output-to-state stability and back}},
author = {Qiaoling Chen and Andrii Mironchenko and Fabian Wirth},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.35735},
eprint = {2609.35735},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.35735},
}
RIS
TY - UNPB
TI - From detectability of abstract linear systems to exponential output-to-state stability and back
AU - Qiaoling Chen
AU - Andrii Mironchenko
AU - Fabian Wirth
PY - 2026
DA - 2026/09/28
PB - arXiv
DO - 10.48550/arxiv.2609.35735
UR - https://arxiv.org/abs/2609.35735
AB - We study exponential output-to-state stability (eOSS) of linear infinite-dimensional systems in Banach spaces with bounded output operators. It is shown that eOSS is equivalent to the existence of a coercive eOSS Lyapunov function in implication form. Also exponential detectability guarantees the existence of a coercive eOSS Lyapunov function in dissipation form and therefore eOSS. Counterexamples demonstrate that the converse implications fail in general: exponential zero-detectability does not imply eOSS, eOSS does not imply the existence of an eOSS Lyapunov function in dissipation form, which, in turn, does not imply exponential detectability. If the unstable subspace is finite-dimensional, zero-detectability implies exponential detectability and yields equivalent characterizations of eOSS. The results are illustrated with a parabolic equation.
ER -