Showing 1–26 of 26 results for author: Dashkovskiy, S

Integral gains for non-autonomous Wazewski systems

Authors: Ivan Atamas, Sergey Dashkovskiy, Vitalii Slynko

Abstract: In this work we consider linear non-autonomous systems of Wazewski type on Hilbert spaces and provide a new approach to study their stability properties by means of a decomposition into subsystems and conditions implied on the interconnection properties. These conditions are of the small-gain type but the appoach is based on a conceptually new notion which we call integral gain. This notion is int… ▽ More In this work we consider linear non-autonomous systems of Wazewski type on Hilbert spaces and provide a new approach to study their stability properties by means of a decomposition into subsystems and conditions implied on the interconnection properties. These conditions are of the small-gain type but the appoach is based on a conceptually new notion which we call integral gain. This notion is introduced for the first time in this paper. We compare our approach with known results from the literature and demonstrate advantages of our results. △ Less

Submitted 12 March, 2025; originally announced March 2025.

Characterization of input-to-output stability for infinite-dimensional systems

Authors: Patrick Bachmann, Sergey Dashkovskiy, Andrii Mironchenko

Abstract: We prove a superposition theorem for input-to-output stability (IOS) of a broad class of nonlinear infinite-dimensional systems with outputs including both continuous-time and discrete-time systems. It contains, as a special case, the superposition theorem for input-to-state stability (ISS) of infinite-dimensional systems and the IOS superposition theorem for systems of ordinary differential equat… ▽ More We prove a superposition theorem for input-to-output stability (IOS) of a broad class of nonlinear infinite-dimensional systems with outputs including both continuous-time and discrete-time systems. It contains, as a special case, the superposition theorem for input-to-state stability (ISS) of infinite-dimensional systems and the IOS superposition theorem for systems of ordinary differential equations known from the literature. To achieve this result, we introduce and examine several novel stability and attractivity concepts for infinite-dimensional systems with outputs: We prove criteria for the uniform limit property for systems with outputs, several of which are new already for systems with full-state output, we provide superposition theorems for systems which satisfy both the output Lagrange stability (OL) and IOS, give a sufficient condition for OL and characterize ISS in terms of IOS and input/output-to-state stability. Finally, by means of counterexamples, we illustrate the challenges appearing on the way of extension of the superposition theorems from the literature to infinite-dimensional systems with outputs. △ Less

Submitted 19 May, 2025; v1 submitted 8 October, 2024; originally announced October 2024.

Asymptotic stability conditions for linear coupled impulsive systems with time-invariant subsystems

Authors: Vitalii Slynko, Sergey Dashkovskiy, Ivan Atamas

Abstract: This article proposes an approach to construct a Lyapunov function for a linear coupled impulsive system consisting of two time-invariant subsystems. In contrast to various variants of small-gain stability conditions for coupled systems, the asymptotic stability property of independent subsystems is not assumed. To analyze the asymptotic stability of a coupled system, the direct Lyapunov method is… ▽ More This article proposes an approach to construct a Lyapunov function for a linear coupled impulsive system consisting of two time-invariant subsystems. In contrast to various variants of small-gain stability conditions for coupled systems, the asymptotic stability property of independent subsystems is not assumed. To analyze the asymptotic stability of a coupled system, the direct Lyapunov method is used in combination with the discretization method. The periodic case and the case when the Floquet theory is not applicable are considered separately. The main results are illustrated with examples. △ Less

Submitted 10 August, 2023; originally announced August 2023.

Comparison theorem for infinite-dimensional linear impulsive systems

Authors: Vladyslav Bivziuk, Sergey Dashkovskiy, Vitalii Slynko

Abstract: We consider a linear impulsive system in an infinite-dimensional Banach space. It is assumed that the moments of impulsive action satisfy the averaged dwell-time condition and the linear operator on the right side of the differential equation generates an analytic semigroup in the state space. Using commutator identities, we prove a comparison theorem that reduces the problem of asymptotic stabili… ▽ More We consider a linear impulsive system in an infinite-dimensional Banach space. It is assumed that the moments of impulsive action satisfy the averaged dwell-time condition and the linear operator on the right side of the differential equation generates an analytic semigroup in the state space. Using commutator identities, we prove a comparison theorem that reduces the problem of asymptotic stability of the original system to the study of a simpler system with constant dwell-times. An illustrative example of a linear impulsive system of parabolic type in which the continuous and discrete dynamics are both unstable is given. △ Less

Submitted 10 August, 2023; originally announced August 2023.

Roughness of dichotomy for the interconnected system of operator-differential equations

Authors: O. Iskra, S. Dashkovskiy, A. Pokutniy, V. Slynko, Yu. Zahorulko

Abstract: The paper is devoted to obtaining conditions for the roughness of dichotomy in the Banach spaces. Deep analysis of the well known papers was considered. The main results also works for the case of unbounded operators. The paper is devoted to obtaining conditions for the roughness of dichotomy in the Banach spaces. Deep analysis of the well known papers was considered. The main results also works for the case of unbounded operators. △ Less

Submitted 3 September, 2023; v1 submitted 24 March, 2023; originally announced April 2023.

Dwell-time stability conditions for infinite dimensional impulsive systems

Authors: Sergey Dashkovskiy, Vitalii Slynko

Abstract: We consider nonlinear impulsive systems on Banach spaces subjected to disturbances and look for dwell-time conditions guaranteeing the the ISS property. In contrary to many existing results our conditions cover the case where both continuous and discrete dynamics can be unstable simultaneously. Lyapunov type methods are use for this purpose. The effectiveness of our approach is illustrated on a ra… ▽ More We consider nonlinear impulsive systems on Banach spaces subjected to disturbances and look for dwell-time conditions guaranteeing the the ISS property. In contrary to many existing results our conditions cover the case where both continuous and discrete dynamics can be unstable simultaneously. Lyapunov type methods are use for this purpose. The effectiveness of our approach is illustrated on a rather nontrivial example, which is feedback connection of an ODE and a PDE systems. △ Less

Submitted 21 June, 2021; originally announced June 2021.

Well-posedness and robust stability of a nonlinear ODE-PDE system

Authors: S. Dashkovskiy, O. Kapustyan, V. Slynko

Abstract: This work studies stability and robustness of a nonlinear system given as an interconnection of an ODE and a parabolic PDE subjected to external disturbances entering through the boundary conditions of the parabolic equation. To this end we develop an approach for a construction of a suitable coercive Lyapunov function as one of the main results. Based on this Lyapunov function we establish the we… ▽ More This work studies stability and robustness of a nonlinear system given as an interconnection of an ODE and a parabolic PDE subjected to external disturbances entering through the boundary conditions of the parabolic equation. To this end we develop an approach for a construction of a suitable coercive Lyapunov function as one of the main results. Based on this Lyapunov function we establish the well-posedness of the considered system and establish conditions that guarantee the ISS property. ISS estimates are derived explicitly for the particular case of globally Lipschitz nonlinearities. △ Less

Submitted 4 November, 2022; v1 submitted 29 March, 2021; originally announced March 2021.

Comments: 45 pages

Robustness properties of a large-amplitude, high-frequency extremum seeking control scheme

Authors: Raik Suttner, Sergey Dashkovskiy

Abstract: We analyze stability and robustness properties of an extremum seeking scheme that employs oscillatory dither signals with sufficiently large amplitudes and frequencies. Our study takes both input and output disturbances into account. We consider general $L_\infty$-disturbances, which may resonate with the oscillatory dither signals. A suitable change of coordinates followed by an averaging procedu… ▽ More We analyze stability and robustness properties of an extremum seeking scheme that employs oscillatory dither signals with sufficiently large amplitudes and frequencies. Our study takes both input and output disturbances into account. We consider general $L_\infty$-disturbances, which may resonate with the oscillatory dither signals. A suitable change of coordinates followed by an averaging procedure reveals that the closed-loop system approximates the behavior of an averaged system. This leads to the effect that stability and robustness properties carry over from the averaged system to the closed-loop system. In particular, we show that, if the averaged system is input-to-state stable (ISS), then the closed-loop system has ISS-like properties. △ Less

Submitted 5 February, 2021; v1 submitted 30 September, 2020; originally announced September 2020.

Relative Stability in the Sup-norm and Input-to-state Stability in the Spatial Sup-norm for Parabolic PDEs

Authors: Jun Zheng, Guchuan Zhu, Sergey Dashkovskiy

Abstract: In this paper, we introduce the notion of relative $\mathcal{K}$-equi-stability (RKES) to characterize the uniformly continuous dependence of (weak) solutions on external disturbances for nonlinear parabolic PDE systems. Based on the RKES, we prove the input-to-state stability (ISS) in the spatial sup-norm for a class of nonlinear parabolic PDEs with either Dirichlet or Robin boundary disturbances… ▽ More In this paper, we introduce the notion of relative $\mathcal{K}$-equi-stability (RKES) to characterize the uniformly continuous dependence of (weak) solutions on external disturbances for nonlinear parabolic PDE systems. Based on the RKES, we prove the input-to-state stability (ISS) in the spatial sup-norm for a class of nonlinear parabolic PDEs with either Dirichlet or Robin boundary disturbances. Two examples, concerned respectively with a super-linear parabolic PDE with Robin boundary condition and a $1$-D parabolic PDE with a destabilizing term, are provided to illustrate the obtained ISS results. Besides, as an application of the notion of RKES, we conduct stability analysis for a class of parabolic PDEs in cascade coupled over the domain or on the boundary of the domain, in the spatial and time sup-norm, and in the spatial sup-norm, respectively. The technique of De Giorgi iteration is extensively used in the proof of the results presented in this paper. △ Less

Submitted 1 February, 2021; v1 submitted 5 August, 2020; originally announced August 2020.

Comments: This is a reduced version of our manuscript written in the summer of 2019, which presents the application of the De Giorgi iteration in the analysis of ISS in $L^\infty$-norm for nonlinear parabolic PDEs with Robin or mixed boundary disturbances

A local input-to-state stability result w.r.t. attractors of nonlinear reaction-diffusion equations

Authors: Sergey Dashkovskiy, Oleksiy V. Kapustyan, Jochen Schmid

Abstract: We establish the local input-to-state stability of a large class of disturbed nonlinear reaction-diffusion equations w.r.t. the global attractor of the respective undisturbed system. We establish the local input-to-state stability of a large class of disturbed nonlinear reaction-diffusion equations w.r.t. the global attractor of the respective undisturbed system. △ Less

Submitted 16 September, 2019; originally announced September 2019.

Comments: 16 pages

Asymptotic gain results for attractors of semilinear systems

Authors: Jochen Schmid, Oleksiy V. Kapustyan, Sergey Dashkovskiy

Abstract: We establish asymptotic gain along with input-to-state practical stability results for disturbed semilinear systems w.r.t. the global attractor of the respective undisturbed system. We apply our results to a large class of nonlinear reaction-diffusion equations comprising disturbed Chaffee--Infante equations, for example. We establish asymptotic gain along with input-to-state practical stability results for disturbed semilinear systems w.r.t. the global attractor of the respective undisturbed system. We apply our results to a large class of nonlinear reaction-diffusion equations comprising disturbed Chaffee--Infante equations, for example. △ Less

Submitted 20 October, 2020; v1 submitted 13 September, 2019; originally announced September 2019.

Comments: 29 pages. Added detailed explanations why we have to work with set-valued semiprocesses (end of Section 2.1 and beginning of Section 3)

Almost ISS property for feedback connected systems

Authors: Petro Feketa, Humberto Stein Shiromoto, Sergey Dashkovskiy

Abstract: Small-gain conditions used in analysis of feedback interconnections are contraction conditions which imply certain stability properties. Such conditions are applied to a finite or infinite interval. In this paper we consider the case, when a small-gain condition is applied to several disjunct intervals and use the density propagation condition in the gaps between these intervals to derive global s… ▽ More Small-gain conditions used in analysis of feedback interconnections are contraction conditions which imply certain stability properties. Such conditions are applied to a finite or infinite interval. In this paper we consider the case, when a small-gain condition is applied to several disjunct intervals and use the density propagation condition in the gaps between these intervals to derive global stability properties for an interconnection. This extends and improves recent results from [1]. △ Less

Submitted 7 October, 2016; originally announced October 2016.

Example Demonstrating the Application of Small-gain and Density Propagation Conditions for Interconnections

Authors: Humberto Stein Shiromoto, Petro Feketa, Sergey Dashkovskiy

Abstract: This work provides an example that motivates and illustrates theoretical results related to a combination of small-gain and density propagation conditions. Namely, in case the small-gain fails to hold at certain points or intervals the density propagation condition can be applied to assure global stability properties. We repeat the theoretical results here and demonstrate how they can be applied i… ▽ More This work provides an example that motivates and illustrates theoretical results related to a combination of small-gain and density propagation conditions. Namely, in case the small-gain fails to hold at certain points or intervals the density propagation condition can be applied to assure global stability properties. We repeat the theoretical results here and demonstrate how they can be applied in the proposed example. △ Less

Submitted 7 June, 2016; originally announced June 2016.

Input-to-state Stability of Impulsive Systems with Different Jump Maps

Authors: Sergey Dashkovskiy, Petro Feketa

Abstract: The paper introduces sufficient conditions for input-to-state stability (ISS) of a class of impulsive systems with jump maps that depend on time. Such systems can naturally represent an interconnection of several impulsive systems with different impulse time sequences. Using a concept of ISS-Lyapunov function for subsystems a small-gain type theorem equipped with a new dwell-time condition to veri… ▽ More The paper introduces sufficient conditions for input-to-state stability (ISS) of a class of impulsive systems with jump maps that depend on time. Such systems can naturally represent an interconnection of several impulsive systems with different impulse time sequences. Using a concept of ISS-Lyapunov function for subsystems a small-gain type theorem equipped with a new dwell-time condition to verify ISS of an interconnection has been proven. △ Less

Submitted 27 May, 2016; originally announced May 2016.

Comments: 6 pages, 1 figure

MSC Class: 34A37; 93D25; 93D30

A combination of small-gain and density propagation inequalities for stability analysis of networked systems

Authors: Humberto Stein Shiromoto, Petro Feketa, Sergey Dashkovskiy

Abstract: In this paper, the problem of stability analysis of a large-scale interconnection of nonlinear systems for which the small-gain condition does not hold globally is considered. A combination of the small-gain and density propagation inequalities is employed to prove almost input-to-state stability of the network. In this paper, the problem of stability analysis of a large-scale interconnection of nonlinear systems for which the small-gain condition does not hold globally is considered. A combination of the small-gain and density propagation inequalities is employed to prove almost input-to-state stability of the network. △ Less

Submitted 27 November, 2016; v1 submitted 24 August, 2015; originally announced August 2015.

Comments: This paper has been withdrawn by the authors due the fact that the main results Proposition 4.1 and Theorem 4.8 are not correct. Anonymous reviewers notice, that In the former the set B\A is not necessarily nonempty while, in the latter, the formulation and proof are unclear

MSC Class: 93A15; 34D20; 47H07

Prolongation and stability of Zeno solutions to hybrid dynamical systems

Authors: Sergey Dashkovskiy, Petro Feketa

Abstract: The paper proposes a framework for the construction of solutions to a hybrid dynamical system that exhibit Zeno behavior. A new approach that enables solution to be prolonged after reaching its Zeno time is developed. It allows for a comprehensive stability analysis and asymptotic behavior characterization of such solutions. The results are applicable to a wide class of hybrid systems and match wi… ▽ More The paper proposes a framework for the construction of solutions to a hybrid dynamical system that exhibit Zeno behavior. A new approach that enables solution to be prolonged after reaching its Zeno time is developed. It allows for a comprehensive stability analysis and asymptotic behavior characterization of such solutions. The results are applicable to a wide class of hybrid systems and match with practical experience of simulation of real-world phenomena. Moreover they are potentially useful for applications to interconnections of hybrid systems. △ Less

Submitted 29 September, 2016; v1 submitted 6 July, 2015; originally announced July 2015.

MSC Class: 34K34; 93C30

Input-to-state stability of nonlinear impulsive systems

Authors: Sergey Dashkovskiy, Andrii Mironchenko

Abstract: 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 c… ▽ More 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. △ Less

Submitted 21 December, 2012; originally announced December 2012.

MSC Class: 34A37; 37C75; 93D30; 93C10; 93C25

Reduction of the small gain condition for large-scale interconnections

Authors: S. Dashkovskiy, M. Kosmykov

Abstract: The small gain condition is sufficient for input-to-state stability (ISS) of interconnected systems. However, verification of the small gain condition requires large amount of computations in the case of a large size of the system. To facilitate this procedure we aggregate the subsystems and the gains between the subsystems that belong to certain interconnection patterns (motifs) using three heuri… ▽ More The small gain condition is sufficient for input-to-state stability (ISS) of interconnected systems. However, verification of the small gain condition requires large amount of computations in the case of a large size of the system. To facilitate this procedure we aggregate the subsystems and the gains between the subsystems that belong to certain interconnection patterns (motifs) using three heuristic rules. These rules are based on three motifs: sequentially connected nodes, nodes connected in parallel and almost disconnected subgraphs. Aggregation of these motifs keeps the main structure of the mutual influences between the subsystems in the network. Furthermore, fulfillment of the reduced small gain condition implies ISS of the large network. Thus such reduction allows to decrease the number of computations needed to verify the small gain condition. Finally, an ISS-Lyapunov function for the large network can be constructed using the reduced small gain condition. Applications of these rules is illustrated on an example. △ Less

Submitted 28 June, 2012; originally announced June 2012.

Comments: 25 pages, 10 figures

Dwell-time conditions for robust stability of impulsive systems

Authors: Sergey Dashkovskiy, Andrii Mironchenko

Abstract: 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. 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. △ Less

Submitted 21 December, 2012; v1 submitted 15 February, 2012; originally announced February 2012.

Comments: 8 pages; In Proceedings of 20th International Symposium on Mathematical Theory of Systems and Networks, Melbourne, Australia, Jul. 09-13, 2012, 2012

MSC Class: 34A37; 93D30; 93C10

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

Authors: Sergey Dashkovskiy, Andrii Mironchenko

Abstract: 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-Lya… ▽ More 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. △ Less

Submitted 1 September, 2012; v1 submitted 15 February, 2012; originally announced February 2012.

Comments: 33 pages

Input-to-state stability of interconnected hybrid systems

Authors: Sergey Dashkovskiy, Michael Kosmykov

Abstract: We consider the interconnections of arbitrary topology of a finite number of ISS hybrid systems and study whether the ISS property is maintained for the overall system. We show that if the small gain condition is satisfied, then the whole network is ISS and show how a non-smooth ISS-Lyapunov function can be explicitly constructed in this case. We consider the interconnections of arbitrary topology of a finite number of ISS hybrid systems and study whether the ISS property is maintained for the overall system. We show that if the small gain condition is satisfied, then the whole network is ISS and show how a non-smooth ISS-Lyapunov function can be explicitly constructed in this case. △ Less

Submitted 26 February, 2012; v1 submitted 26 December, 2010; originally announced December 2010.

Comments: 7 pages, 0 figure

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

Authors: Sergey Dashkovskiy, Michael Kosmykov, Andrii Mironchenko, Lars Naujok

Abstract: 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 impul… ▽ More 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. △ Less

Submitted 22 February, 2012; v1 submitted 12 November, 2010; originally announced November 2010.

Input-to-state stabilization of the perturbed systems in the generalized triangular form

Authors: Sergey Dashkovskiy, Svyatoslav S. Pavlichkov

Abstract: We consider nonlinear control systems of the so-called generalized triangular form (GTF) with time-varying and periodic dynamics which linearly depends on some external disturbances. Our purpose is to construct a feedback controller which provides the global input-to-state stability of the corresponding closed-loop w.r.t. the disturbances. To do this, we combine the method proposed in the earlier… ▽ More We consider nonlinear control systems of the so-called generalized triangular form (GTF) with time-varying and periodic dynamics which linearly depends on some external disturbances. Our purpose is to construct a feedback controller which provides the global input-to-state stability of the corresponding closed-loop w.r.t. the disturbances. To do this, we combine the method proposed in the earlier work \cite{pavlichkov_ge_2009} devoted the the global asymptotic stabilization of the GTF systems without disturbances with the ISS theory for time-varying systems proposed in \cite{wang}. Following this pattern we construct a feedback which provides the properties of uniform global stability and asymptotic gain w.r.t the disturbances. Then we obtain the semi-uniform ISS of the closed-loop system. △ Less

Submitted 27 August, 2010; originally announced August 2010.

Comments: 19 pages

A small gain condition for interconnections of ISS systems with mixed ISS characterizations

Authors: Sergey Dashkovskiy, Michael Kosmykov, Fabian Wirth

Abstract: We consider interconnected nonlinear systems with external inputs, where each of the subsystems is assumed to be input-to-state stable (ISS). Sufficient conditions of small gain type are provided guaranteeing that the interconnection is ISS with respect to the external input. To this end we extend recently obtained small gain theorems to a more general type of interconnections. The small gain theo… ▽ More We consider interconnected nonlinear systems with external inputs, where each of the subsystems is assumed to be input-to-state stable (ISS). Sufficient conditions of small gain type are provided guaranteeing that the interconnection is ISS with respect to the external input. To this end we extend recently obtained small gain theorems to a more general type of interconnections. The small gain theorem provided here is applicable to situations where the ISS conditions are formulated differently for each subsystem and are either given in the maximization or the summation sense. Furthermore it is shown that the conditions are compatible in the sense that it is always possible to transform sum formulations to maximum formulations without destroying a given small gain condition. An example shows the advantages of our results in comparison with the known ones. △ Less

Submitted 11 June, 2010; originally announced June 2010.

Small gain theorems for large scale systems and construction of ISS Lyapunov functions

Authors: Sergey N. Dashkovskiy, Björn S. Rüffer, Fabian R. Wirth

Abstract: We consider interconnections of n nonlinear subsystems in the input-to-state stability (ISS) framework. For each subsystem an ISS Lyapunov function is given that treats the other subsystems as independent inputs. A gain matrix is used to encode the mutual dependencies of the systems in the network. Under a small gain assumption on the monotone operator induced by the gain matrix, a locally Lipsc… ▽ More We consider interconnections of n nonlinear subsystems in the input-to-state stability (ISS) framework. For each subsystem an ISS Lyapunov function is given that treats the other subsystems as independent inputs. A gain matrix is used to encode the mutual dependencies of the systems in the network. Under a small gain assumption on the monotone operator induced by the gain matrix, a locally Lipschitz continuous ISS Lyapunov function is obtained constructively for the entire network by appropriately scaling the individual Lyapunov functions for the subsystems. The results are obtained in a general formulation of ISS, the cases of summation, maximization and separation with respect to external gains are obtained as corollaries. △ Less

Submitted 3 November, 2009; v1 submitted 13 January, 2009; originally announced January 2009.

Comments: provisionally accepted by SIAM Journal on Control and Optimization

MSC Class: 93A15; 34D20; 47H07

Journal ref: SIAM J. Control Optim. 48 (6):4089-4118, 2010

An ISS Small-Gain Theorem for General Networks

Authors: Sergey Dashkovskiy, Björn S. Rüffer, Fabian R. Wirth

Abstract: We provide a generalized version of the nonlinear small-gain theorem for the case of more than two coupled input-to-state stable (ISS) systems. For this result the interconnection gains are described in a nonlinear gain matrix and the small-gain condition requires bounds on the image of this gain matrix. The condition may be interpreted as a nonlinear generalization of the requirement that the s… ▽ More We provide a generalized version of the nonlinear small-gain theorem for the case of more than two coupled input-to-state stable (ISS) systems. For this result the interconnection gains are described in a nonlinear gain matrix and the small-gain condition requires bounds on the image of this gain matrix. The condition may be interpreted as a nonlinear generalization of the requirement that the spectral radius of the gain matrix is less than one. We give some interpretations of the condition in special cases covering two subsystems, linear gains, linear systems and an associated artificial dynamical system. △ Less

Submitted 21 June, 2005; originally announced June 2005.

Comments: 26 pages, 3 figures, submitted to Mathematics of Control, Signals, and Systems (MCSS)

MSC Class: 93C10 (Primary); 34D05; 90B10; 93D09; 93D30 (Secondary)

Journal ref: Math. Control Signals Syst. (2007) 19:93-122