From detectability of abstract linear systems to exponential output-to-state stability and back
Year: 2026
Type: preprint
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.
Source: arXiv (Cornell University)
Institutions: University of Passau, University of Bayreuth
Language: English
Subfield: Control and Systems Engineering
Field: Engineering
Domain: Physical Sciences
Open Access status: green
Funder: Deutsche Forschungsgemeinschaft
OpenAlex ID: W7214774774