Searcharxiv⌕ Search

arXiv subjects

Andrii Mironchenko

Publications and source records attributed to Andrii Mironchenko.

48 records · Page 3Linked to original sources
arXiv2017

Characterizations of input-to-state stability for infinite-dimensional systems

We prove characterizations of input-to-state stability (ISS) for a large class of infinite-dimensional control systems, including some classes of evolution equations over Banach spaces, time-delay systems, ordinary differential equations (ODE), switched systems. These characterizations generalize well-known criteria of ISS, proved by Sontag and Wang for ODE systems. For the special case of differential equations in Banach spaces we prove even broader criteria for ISS and apply these results to show that (under some mild restrictions) the existence of a non-coercive ISS Lyapunov functions implies ISS. We introduce the new notion of strong ISS which is equivalent to ISS in the ODE case, but which is strictly weaker than ISS in the infinite-dimensional setting and prove several criteria for the sISS property. At the same time, we show by means of counterexamples, that many characterizations, which are valid in the ODE case, are not true for general infinite-dimensional systems.

math.OC↗
arXiv2017

Lyapunov characterization of input-to-state stability for semilinear control systems over Banach spaces

We prove that input-to-state stability (ISS) of nonlinear systems over Banach spaces is equivalent to existence of a coercive Lipschitz continuous ISS Lyapunov function for this system. For linear infinite-dimensional systems, we show that ISS is equivalent to existence of a non-coercive ISS Lyapunov function and provide two simpler constructions of coercive and non-coercive ISS Lyapunov functions for input-to-state stable linear systems.

math.OC↗
arXiv2017

Uniform weak attractivity and criteria for practical global asymptotic stability

A subset $A$ of the state space is called uniformly globally weakly attractive if for any neighborhood $S$ of $A$ and any bounded subset $B$ there is a uniform finite time $τ$ so that any trajectory starting in $B$ intersects $S$ within the time not larger than $τ$. We show that practical uniform global asymptotic stability (pUGAS) is equivalent to the existence of a bounded uniformly globally weakly attractive set. This result is valid for a wide class of distributed parameter systems, including time-delay systems, switched systems, many classes of PDEs and evolution differential equations in Banach spaces. We apply our results to show that existence of a non-coercive Lyapunov function ensures pUGAS for this class of systems. For ordinary differential equations with uniformly bounded disturbances, the concept of uniform weak attractivity is equivalent to the well-known notion of weak attractivity. It is however essentially stronger than weak attractivity for infinite-dimensional systems, even for linear ones.

math.OC↗
arXiv2017

Monotonicity Methods for Input-to-State Stability of Nonlinear Parabolic PDEs with Boundary Disturbances

We introduce a monotonicity-based method for studying input-to-state stability (ISS) of nonlinear parabolic equations with boundary inputs. We first show that a monotone control system is ISS if and only if it is ISS w.r.t. constant inputs. Then we show by means of classical maximum principles that nonlinear parabolic equations with boundary disturbances are monotone control systems. With these two facts, we establish that ISS of the original nonlinear parabolic PDE with constant \textit{boundary disturbances} is equivalent to ISS of a closely related nonlinear parabolic PDE with constant \textit{distributed disturbances} and zero boundary condition. The last problem is conceptually much simpler and can be handled by means of various recently developed techniques. As an application of our results, we show that the PDE backstepping controller which stabilizes linear reaction-diffusion equations from the boundary is robust with respect to additive actuator disturbances.

math.OC↗
arXiv2017

Non-coercive Lyapunov functions for infinite-dimensional systems

We show that the existence of a non-coercive Lyapunov function is sufficient for uniform global asymptotic stability (UGAS) of infinite-dimensional systems with external disturbances provided the speed of decay is measured in terms of the norm of the state and an additional mild assumption is satisfied. For evolution equations in Banach spaces with Lipschitz continuous nonlinearities these additional assumptions become especially simple. The results encompass some recent results on linear switched systems on Banach spaces. Finally, we derive new non-coercive converse Lyapunov theorems and give some examples showing the necessity of our assumptions.

math.DS↗
arXiv2014

Construction of Lyapunov functions for interconnected parabolic systems: an iISS approach

This paper is devoted to two issues. One is to provide Lyapunov-based tools to establish integral input-to-state stability (iISS) and input-to-state stability (ISS) for some classes of nonlinear parabolic equations. The other is to provide a stability criterion for interconnections of iISS parabolic systems. The results addressing the former problem allow us to overcome obstacles arising in tackling the latter one. The results for the latter problem are a small-gain condition and a formula of Lyapunov functions which can be constructed for interconnections whenever the small-gain condition holds. It is demonstrated that for interconnections of partial differential equations, the choice of a right state and input spaces is crucial, in particular for iISS subsystems which are not ISS. As illustrative examples, stability of two highly nonlinear reaction-diffusion systems is established by the the proposed small-gain criterion.

math.DS↗
arXiv2013

Optimal allocation patterns and optimal seed mass of a perennial plant

We present a novel optimal allocation model for perennial plants, in which assimilates are not allocated directly to vegetative or reproductive parts but instead go first to a storage compartment from where they are then optimally redistributed. We do not restrict considerations purely to periods favourable for photosynthesis, as it was done in published models of perennial species, but analyse the whole life period of a perennial plant. As a result, we obtain the general scheme of perennial plant development, for which annual and monocarpic strategies are special cases. We not only re-derive predictions from several previous optimal allocation models, but also obtain more information about plants' strategies during transitions between favourable and unfavourable seasons. One of the model's predictions is that a plant can begin to re-establish vegetative tissues from storage, some time before the beginning of favourable conditions, which in turn allows for better production potential when conditions become better. By means of numerical examples we show that annual plants with single or multiple reproduction periods, monocarps, evergreen perennials and polycarpic perennials can be studied successfully with the help of our unified model. Finally, we build a bridge between optimal allocation models and models describing trade-offs between size and the number of seeds: a modelled plant can control the distribution of not only allocated carbohydrates but also seed size. We provide sufficient conditions for the optimality of producing the smallest and largest seeds possible.

q-bio.PE↗
arXiv2012

Dwell-time conditions for robust stability of impulsive systems

We prove that impulsive systems, which possess an ISS Lyapunov function, are ISS for impulse time sequences, which satisfy the fixed dwell-time condition. If the ISS Lyapunov function is the exponential one, we provide stronger result, which guarantees uniform ISS of the whole system over sequences of impulse times, which satisfy the generalized average dwell-time condition.

math.OC↗
arXiv2012

Input-to-state stability of nonlinear impulsive systems

We prove that impulsive systems, which possess an ISS Lyapunov function, are ISS for time sequences satisfying the fixed dwell-time condition. If an ISS Lyapunov function is the exponential one, we provide a stronger result, which guarantees uniform ISS of the whole system over sequences satisfying the generalized average dwell-time condition. Then we prove two small-gain theorems that provide a construction of an ISS Lyapunov function for an interconnection of impulsive systems, if the ISS-Lyapunov functions for subsystems are known. The construction of local ISS Lyapunov functions via linearization method is provided. Relations between small-gain and dwell-time conditions as well as between different types of dwell-time conditions are also investigated. Although our results are novel already in the context of finite-dimensional systems, we prove them for systems based on differential equations in Banach spaces that makes obtained results considerably more general.

math.DS↗
arXiv2012

Input-to-state stability of infinite-dimensional control systems

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 input-to-state stability of a system. Then for the case of systems described by abstract equations in Banach spaces we develop two methods of construction of local and global ISS-Lyapunov functions. We prove a linearization principle that allows a construction of a local ISS-Lyapunov function for a system which linear approximation is ISS. In order to study interconnections of nonlinear infinite-dimensional systems, we generalize the small-gain theorem to the case of infinite-dimensional systems and provide a way to construct an ISS-Lyapunov function for an entire interconnection, if ISS-Lyapunov functions for subsystems are known and the small-gain condition is satisfied. We illustrate the theory on examples of linear and semilinear reaction-diffusion equations.

math.OC↗
arXiv2012

Stability of interconnected impulsive systems with and without time-delays using Lyapunov methods

In this paper we consider input-to-state stability (ISS) of impulsive control systems with and without time-delays. We prove that if the time-delay system possesses an exponential Lyapunov-Razumikhin function or an exponential Lyapunov-Krasovskii functional, then the system is uniformly ISS provided that the average dwell-time condition is satisfied. Then, we consider large-scale networks of impulsive systems with and without time-delays and we prove that the whole network is uniformly ISS under a small-gain and a dwell-time condition. Moreover, these theorems provide us with tools to construct a Lyapunov function (for time-delay systems - a Lyapunov-Krasovskii functional or a Lyapunov-Razumikhin function) and the corresponding gains of the whole system, using the Lyapunov functions of the subsystems and the internal gains, which are linear and satisfy the small-gain condition. We illustrate the application of the main results on examples.

math.DS↗