It is very difficult to check the observability of nonlinear systems. Even for local observability,
the observability rank condition provides only a sufficient condition. Much more difficult is the …

LaSalle's invariance principle is a commonly used extension of Lyapunov's second method
to study asymptotic stability of nonlinear systems. If the system can be written in polynomial …

In this contribution we investigate local and global observability of multi-variable polynomial
systems. Nonlinear observability is based on the concept of indistinguishability, for which we …

In this study, we propose constructive ways to determine input‐to‐state stability (ISS) as well
as incremental ISS (δ ISS) of nonpolynomial dynamical systems. The developed procedures …

This paper deals with systematic approaches for the analysis of stability properties and
controller design for nonlinear dynamical systems. Numerical methods based on sum-of …

Lyapunov's second method is the most commonly used stability test for nonlinear systems.
While Lyapunov's approach requires that the time-derivative of an energy-like function is …

This contribution deals with the static output feedback problem of linear time-invariant
systems. This is still an area of active research, in contrast to the observer-based state …

Contrary to state feedback control, the design of static output feedback is quite challenging
even for linear time-invariant state-space systems. In this paper we consider the eigenvalue …

Lyapunov functions are a widely used tool to evaluate stability properties of nonlinear
dynamical systems' equilibria. In this paper quantifier elimination is used to construct …

Controllability and observability are important system properties in control theory. For
nonlinear state space systems it is difficult to check whether these properties are fulfilled or …