On the Hautus test for exponentially stable C0-groups

Birgit Jacob, Heiko J. Zwart

    Research output: Contribution to journalArticleAcademicpeer-review

    11 Citations (Scopus)
    125 Downloads (Pure)


    For finite-dimensional systems the Hautus test is a well-known and easy checkable condition for observability. Russell and Weiss [SIAM J. Control Optim, 32 (1994), pp. 1--32] suggested an infinite-dimensional version of the Hautus test, which is necessary for exact observability and sufficient for approximate observability of exponentially stable systems. In this paper it is shown that this Hautus test is sufficient for exact observability of certain exponentially stable systems generated by a $C_0$-group, and it is proved that the Hautus test is in general not sufficient for approximate observability of strongly stable systems even if the system is modeled by a contraction semigroup and the observation operator is bounded.
    Original languageEnglish
    Pages (from-to)1275-1288
    Number of pages14
    JournalSIAM journal on control and optimization
    Issue number3
    Publication statusPublished - Apr 2009


    • Infinite-dimensional systems
    • Exact observability
    • Unbounded observation operator
    • Hautus test


    Dive into the research topics of 'On the Hautus test for exponentially stable C0-groups'. Together they form a unique fingerprint.

    Cite this