We develop tools for investigation of input-to-state stability (ISS) of infinite-dimensional control systems. We show that for certain classes of admissible inputs the existence of an ISS-Lyapunov function implies the inputto-state stability of a system. Then for the case of the systems described by abstract equations in Banach spaces we develop two methods of construction of local and global I...

We consider a class of fully stochastic and fully distributed algorithms, that we prove to learn equilibria in games. Indeed, we consider a family of stochastic distributed dynamics that we prove to converge weakly (in the sense of weak convergence for probabilistic processes) towards their mean-field limit, i.e an ordinary differential equation (ODE) in the general case. We focus then on a cla...

We consider the class of closed generic fluid networks (GFN) models. This class contains for example fluid networks under general work-conserving and priority disciplines. Within this abstract framework a Lyapunov method for stability of GFN models was proposed by Ye and Chen. They proved that stability of a GFN model is equivalent to the property that for every path of the model a Lyapunov lik...

‎The purpose of this paper is to solve two types of Lyapunov equations and quadratic matrix equations by using the spectral representation‎. ‎We focus on solving Lyapunov equations $AX+XA^*=C$ and $AX+XA^{T}=-bb^{T}$ for $A‎, ‎X in mathbb{C}^{n times n}$ and $b in mathbb{C} ^{n times s}$ with $s < n$‎, ‎which $X$ is unknown matrix‎. ‎Also‎, ‎we suggest the new method for solving quadratic matri...

This paper develops a novel method to deal with the stability problem of sampled-data systems. The multiple Lyapunov function method used in switched systems is extended to sampled-data systems and a multiple Lyapunov functional method is developed for nonlinear sampled-data systems. An application is presented where two different Lyapunov functionals are constructed in order to determine the s...

In previous works, the authors introduced a framework for software analysis, which is based on optimization of Lyapunov invariants. These invariants prove critical software properties such as absence of overflow and termination in finite time. In this paper, graph models of software are introduced and the software analysis framework is further developed and extended on graph models. A distribut...

The method of Lyapunov functions plays a central role in the study of the controllability and stabilizability of control systems. For nonlinear systems, it turns out to be essential to consider nonsmooth Lyapunov functions, even if the underlying control dynamics are themselves smooth. We synthesize in this article a number of recent developments bearing upon the regularity properties of Lyapun...

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...

Closed physical systems eventually come to rest, the reason being that due to friction of some kind they continuously lose energy. The mathematical extension of this principle is the concept of a Lyapunov function. A Lyapunov function for a dynamical system, of which the dynamics are modelled by an ordinary differential equation (ODE), is a function that is decreasing along any trajectory of th...

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...