Semiquantitative simulation is a novel approach for the analysis of uncertain dynamic systems that performs a comprehensive simulation study based on automated reasoning methods (for example with the SQSIM algorithm). Semiquantitative simulation of complex models is, however, hindered by the limited automated reasoning capabilities of the currently available semiquantitative simulation techniqu...

The recently developed technique for computation of piecewise quadratic Lyapunov functions is specialized to Lyapunov functions that are piecewise linear. This establishes a unified framework for computation of quadratic, piecewise quadratic, piecewise linear and polytopic Lyapunov functions. The search for a piecewise linear Lyapunov function is formulated as a linear programming problem, and ...

A generic parameterization of Lyapunov function candidates is suggested for a quite general class of non-autonomous smooth nonlinear systems. It is shown that conditions for the existence of a Lyapunov function that guarantees uniform exponential stability can be formulated as a set of linear matrix inequalities. Hence, computation of the Lyapunov function involves the solution of a convex opti...

Given a weakly uniformly globally asymptotically stable closed (not necessarily compact) set A for a differential inclusion that is defined on Rn, is locally Lipschitz on Rn\A, and satisfies other basic conditions, we construct a weak Lyapunov function that is locally Lipschitz on Rn. Using this result, we show that uniform global asymptotic controllability to a closed (not necessarily compact)...

We show that existence of a non-coercive Lyapunov function is sufficient for uniform global asymptotic stability (UGAS) of infinite-dimensional systems with external disturbances provided an additional mild assumption is fulfilled. For UGAS infinite-dimensional systems with external disturbances we derive a novel ’integral’ construction of non-coercive Lipschitz continuous Lyapunov functions. F...

This paper presents necessary and sufficient conditions for the existence of a Lyapunov function in the Lur’e form that guarantees the absolute stability of a Lur’e control system with multiple nonlinearities. It simplifies the existence problem to one of solving a set of linear matrix inequalities (LMIs). If these inequalities are feasible, the free parameters in the Lyapunov function, such as...

In this paper we will extend the input-to-state stability (ISS) framework introduced by Sontag to continuous-time discontinuous dynamical systems adopting Filippov’s solution concept and using non-smooth ISS Lyapunov functions. The main motivation for investigating non-smooth ISS Lyapunov functions is the recent focus on “multiple Lyapunov functions” for which feasible computational schemes are...

Mathematical control theory provides the theoretical foundations that undergird many modern technologies, including aeronautics, biotechnology, communications networks, manufacturing, and models of climate change. During the past fifteen years, there have been numerous exciting developments at the interface of control engineering and mathematical control theory. Many of these advances were base...

The goal of this paper is to provide a Lyapunov statement and proof of the recent nonlinear small-gain theorem for interconnected input/state-stable (ISS) systems. An ISS-Lyapunov function for the overall system is obtained from the corresponding Lyapunov functions for both the subsystems. Copyright @ 1996 Elsevier Science Ltd.