-
Auerbach bases, projection constants, and the joint spectral radius of principal submatrices
Authors:
Jeremias Epperlein,
Fabian Wirth
Abstract:
It is shown that compact sets of complex matrices can always be brought, via similarity transformation, into a form where all matrix entries are bounded in absolute value by the joint spectral radius (JSR). The key tool for this is that every extremal norm of a matrix set admits an Auerbach basis; any such basis gives rise to a desired coordinate system. An immediate implication is that all diagon…
▽ More
It is shown that compact sets of complex matrices can always be brought, via similarity transformation, into a form where all matrix entries are bounded in absolute value by the joint spectral radius (JSR). The key tool for this is that every extremal norm of a matrix set admits an Auerbach basis; any such basis gives rise to a desired coordinate system. An immediate implication is that all diagonal entries - equivalently, all one-dimensional principal submatrices - are uniformly bounded above by the JSR. It is shown that the corresponding bounding property does not hold for higher dimensional principal submatrices. More precisely, we construct finite matrix sets for which, across the entire similarity orbit, the JSRs of all higher-dimensional principal submatrices exceed that of the original set. This shows that the bounding result does not extend to submatrices of dimension greater than one. The constructions rely on tools from the geometry of finite-dimensional Banach spaces, with projection constants of norms playing a key role. Additional bounds of the JSR of principal submatrices are obtained using John's ellipsoidal approximation and known estimates for projection constants.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
Forward completeness implies bounded reachable sets for time-delay systems on the state space of essentially bounded measurable functions
Authors:
Lucas Brivadis,
Antoine Chaillet,
Andrii Mironchenko,
Fabian Wirth
Abstract:
We consider time-delay systems with a finite number of delays in the state space $L^\infty\times\mathbb{R}^n$. In this framework, we show that forward completeness implies the bounded reachability sets property, while this implication was recently shown by J.L. Mancilla-Aguilar and H. Haimovich to fail in the state space of continuous functions. As a consequence, we show that global asymptotic sta…
▽ More
We consider time-delay systems with a finite number of delays in the state space $L^\infty\times\mathbb{R}^n$. In this framework, we show that forward completeness implies the bounded reachability sets property, while this implication was recently shown by J.L. Mancilla-Aguilar and H. Haimovich to fail in the state space of continuous functions. As a consequence, we show that global asymptotic stability is always uniform in the state space $L^\infty\times\mathbb{R}^n$.
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
The joint spectral radius is pointwise Hölder continuous
Authors:
Jeremias Epperlein,
Fabian Wirth
Abstract:
We show that the joint spectral radius is pointwise Hölder continuous. In addition, the joint spectral radius is locally Hölder continuous for $\varepsilon$-inflations. In the two-dimensional case, local Hölder continuity holds on the matrix sets with positive joint spectral radius.
We show that the joint spectral radius is pointwise Hölder continuous. In addition, the joint spectral radius is locally Hölder continuous for $\varepsilon$-inflations. In the two-dimensional case, local Hölder continuity holds on the matrix sets with positive joint spectral radius.
△ Less
Submitted 25 February, 2025; v1 submitted 30 November, 2023;
originally announced November 2023.
-
A case study of port-Hamiltonian systems with a moving interface
Authors:
Alexander Kilian,
Bernhard Maschke,
Andrii Mironchenko,
Fabian Wirth
Abstract:
We model two systems of two conservation laws defined on complementary spatial intervals and coupled by a moving interface as a single non-autonomous port-Hamiltonian system, and provide sufficient conditions for its Kato-stability. An example shows that these conditions are quite restrictive. The more general question under which conditions an evolution family is generated remains open.
We model two systems of two conservation laws defined on complementary spatial intervals and coupled by a moving interface as a single non-autonomous port-Hamiltonian system, and provide sufficient conditions for its Kato-stability. An example shows that these conditions are quite restrictive. The more general question under which conditions an evolution family is generated remains open.
△ Less
Submitted 12 May, 2023; v1 submitted 7 February, 2023;
originally announced February 2023.
-
Infinite-dimensional port-Hamiltonian systems with a stationary interface
Authors:
Alexander Kilian,
Bernhard Maschke,
Andrii Mironchenko,
Fabian Wirth
Abstract:
We consider two systems of two conservation laws that are defined on complementary, one-dimensional spatial intervals and coupled by an interface as a single port-Hamiltonian system. In case of a fixed interface position, we characterize the boundary and interface conditions for which the associated port-Hamiltonian operator generates a contraction semigroup. Furthermore, we present sufficient con…
▽ More
We consider two systems of two conservation laws that are defined on complementary, one-dimensional spatial intervals and coupled by an interface as a single port-Hamiltonian system. In case of a fixed interface position, we characterize the boundary and interface conditions for which the associated port-Hamiltonian operator generates a contraction semigroup. Furthermore, we present sufficient conditions for the exponential stability of the generated $C_0$-semigroup. The results are illustrated by the example of two acoustic waveguides coupled by a membrane interface.
△ Less
Submitted 20 January, 2025; v1 submitted 21 January, 2023;
originally announced January 2023.
-
On Unique Ergodicity Of Coupled AIMD Flows
Authors:
Pietro Ferraro,
Jia Yuan Yu,
Ramen Ghosh,
Syed Eqbal Alam,
Jakub Marecek,
Fabian Wirth,
Robert Shorten
Abstract:
The AIMD algorithm, which underpins the Transmission Control Protocol (TCP) for transporting data packets in communication networks, is perhaps the most successful control algorithm ever deployed. Recently, its use has been extended beyond communication networks, and successful applications of the AIMD algorithm have been reported in transportation, energy, and mathematical biology. A very recent…
▽ More
The AIMD algorithm, which underpins the Transmission Control Protocol (TCP) for transporting data packets in communication networks, is perhaps the most successful control algorithm ever deployed. Recently, its use has been extended beyond communication networks, and successful applications of the AIMD algorithm have been reported in transportation, energy, and mathematical biology. A very recent development in the use of AIMD is its application in solving large-scale optimization and distributed control problems without the need for inter-agent communication. In this context, an interesting problem arises when multiple AIMD networks that are coupled in some sense (usually through a nonlinearity). The purpose of this note is to prove that such systems in certain settings inherit the ergodic properties of individual AIMD networks. This result has important consequences for the convergence of the aforementioned optimization algorithms. The arguments in the paper also correct conceptual and technical errors in [1].
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
Predictability and Fairness in Load Aggregation and Operations of Virtual Power Plants
Authors:
Jakub Marecek,
Michal Roubalik,
Ramen Ghosh,
Robert N. Shorten,
Fabian R. Wirth
Abstract:
In power systems, one wishes to regulate the aggregate demand of an ensemble of distributed energy resources (DERs), such as controllable loads and battery energy storage systems. We suggest a notion of predictability and fairness, which suggests that the long-term averages of prices or incentives offered should be independent of the initial states of the operators of the DER, the aggregator, and…
▽ More
In power systems, one wishes to regulate the aggregate demand of an ensemble of distributed energy resources (DERs), such as controllable loads and battery energy storage systems. We suggest a notion of predictability and fairness, which suggests that the long-term averages of prices or incentives offered should be independent of the initial states of the operators of the DER, the aggregator, and the power grid. We show that this notion cannot be guaranteed with many traditional controllers used by the load aggregator, including the usual proportional-integral (PI) controller. We show that even considering the non-linearity of the alternating-current model, this notion of predictability and fairness can be guaranteed for incrementally input-to-state stable (iISS) controllers, under mild assumptions.
△ Less
Submitted 6 October, 2021;
originally announced October 2021.
-
On Game Theory Using Stochastic Tail Orders
Authors:
Stefan Rass,
Sandra König,
Stefan Schauer,
Vincent Bürgin,
Jeremias Epperlein,
Fabian Wirth
Abstract:
We consider a family of distributions on which natural tail orders can be constructed upon a representation of a distribution by a (single) hyper-real number. Past research revealed that the ordering can herein strongly depend on the particular model of the hyperreals, specifically the underlying ultrafilter. Hence, our distribution family is constructed to order invariantly of an ultrafilter. Mor…
▽ More
We consider a family of distributions on which natural tail orders can be constructed upon a representation of a distribution by a (single) hyper-real number. Past research revealed that the ordering can herein strongly depend on the particular model of the hyperreals, specifically the underlying ultrafilter. Hence, our distribution family is constructed to order invariantly of an ultrafilter. Moreover, we prove that it lies dense in the set of all distributions with the (same) compact support, w.r.t. the supremum norm. Overall, this work resents a correction to [10, 12], in response to recent findings of [2].
△ Less
Submitted 19 April, 2022; v1 submitted 2 August, 2021;
originally announced August 2021.
-
Multi-resource allocation for federated settings: A non-homogeneous Markov chain model
Authors:
Syed Eqbal Alam,
Fabian Wirth,
Jia Yuan Yu
Abstract:
In a federated setting, agents coordinate with a central agent or a server to solve an optimization problem in which agents do not share their information with each other. Wirth and his co-authors, in a recent paper, describe how the basic additive-increase multiplicative-decrease (AIMD) algorithm can be modified in a straightforward manner to solve a class of optimization problems for federated s…
▽ More
In a federated setting, agents coordinate with a central agent or a server to solve an optimization problem in which agents do not share their information with each other. Wirth and his co-authors, in a recent paper, describe how the basic additive-increase multiplicative-decrease (AIMD) algorithm can be modified in a straightforward manner to solve a class of optimization problems for federated settings for a single shared resource with no inter-agent communication. The AIMD algorithm is one of the most successful distributed resource allocation algorithms currently deployed in practice. It is best known as the backbone of the Internet and is also widely explored in other application areas. We extend the single-resource algorithm to multiple heterogeneous shared resources that emerge in smart cities, sharing economy, and many other applications. Our main results show the convergence of the average allocations to the optimal values. We model the system as a non-homogeneous Markov chain with place-dependent probabilities. Furthermore, simulation results are presented to demonstrate the efficacy of the algorithms and to highlight the main features of our analysis.
△ Less
Submitted 24 May, 2021; v1 submitted 26 April, 2021;
originally announced April 2021.
-
Remarks on the tail order on moment sequences
Authors:
Vincent Bürgin,
Jeremias Epperlein,
Fabian Wirth
Abstract:
We consider positively supported Borel measures for which all moments exist. On the set of compactly supported measures in this class a partial order is defined via eventual dominance of the moment sequences. Special classes are identified on which the order is total, but it is shown that already for the set of distributions with compactly supported smooth densities the order is not total. In part…
▽ More
We consider positively supported Borel measures for which all moments exist. On the set of compactly supported measures in this class a partial order is defined via eventual dominance of the moment sequences. Special classes are identified on which the order is total, but it is shown that already for the set of distributions with compactly supported smooth densities the order is not total. In particular we construct a pair of measures with smooth density for which infinitely many moments agree and another one for which the moments alternate infinitely often. This disproves some recently published claims to the contrary. Some consequences for games with distributional payoffs are discussed.
△ Less
Submitted 21 March, 2022; v1 submitted 21 April, 2021;
originally announced April 2021.
-
A relaxed small-gain theorem for infinite networks
Authors:
Navid Noroozi,
Andrii Mironchenko,
Fabian R. Wirth
Abstract:
Motivated by the scalability problem in large networks, we study stability of a network of infinitely many finite-dimensional subsystems. We develop a so-called relaxed small-gain theorem for input-to-state stability (ISS) with respect to a closed set and show that every exponentially input-to-state stable system necessarily satisfies the proposed small-gain condition. Following our bottom-up appr…
▽ More
Motivated by the scalability problem in large networks, we study stability of a network of infinitely many finite-dimensional subsystems. We develop a so-called relaxed small-gain theorem for input-to-state stability (ISS) with respect to a closed set and show that every exponentially input-to-state stable system necessarily satisfies the proposed small-gain condition. Following our bottom-up approach, we study the well-posedness of the interconnection based on the behavior of the individual subsystems. Finally, we over-approximate large-but-finite networks by infinite networks and show that all the stability properties and the performance indices obtained for the infinite system can be transferred to the original finite one if each subsystem of the infinite network is individually ISS. Interestingly, the size of the truncated network does not need to be known. The effectiveness of our small-gain theorem is verified by application to an urban traffic network.
△ Less
Submitted 21 November, 2020;
originally announced November 2020.
-
Matrix measures, stability and contraction theory for dynamical systems on time scales
Authors:
Giovanni Russo,
Fabian Wirth
Abstract:
This paper is concerned with the study of the stability of dynamical systems evolving on time scales. We first {formalize the notion of matrix measures on time scales, prove some of their key properties and make use of this notion to study both linear and nonlinear dynamical systems on time scales.} Specifically, we start with considering linear time-varying systems and, for these, we prove a time…
▽ More
This paper is concerned with the study of the stability of dynamical systems evolving on time scales. We first {formalize the notion of matrix measures on time scales, prove some of their key properties and make use of this notion to study both linear and nonlinear dynamical systems on time scales.} Specifically, we start with considering linear time-varying systems and, for these, we prove a time scale analogous of an upper bound due to Coppel. We make use of this upper bound to give stability and input-to-state stability conditions for linear time-varying systems. {Then, we consider nonlinear time-varying dynamical systems on time scales and} establish a sufficient condition for the convergence of the solutions. Finally, after linking our results to the existence of a Lyapunov function, we make use of our approach to study certain epidemic dynamics and complex networks. For the former, we give a sufficient condition on the parameters of a SIQR model on time scales ensuring that its solutions converge to the disease-free solution. For the latter, we first give a sufficient condition for pinning controllability of complex time scale networks and then use this condition to study certain collective opinion dynamics. The theoretical results are complemented with simulations.
△ Less
Submitted 19 May, 2021; v1 submitted 17 July, 2020;
originally announced July 2020.
-
The Convergence of Finite-Averaging of AIMD for Distributed Heterogeneous Resource Allocations
Authors:
Syed Eqbal Alam,
Fabian Wirth,
Jia Yuan Yu,
Robert Shorten
Abstract:
In several social choice problems, agents collectively make decisions over the allocation of multiple divisible and heterogeneous resources with capacity constraints to maximize utilitarian social welfare. The agents are constrained through computational or communication resources or privacy considerations. In this paper, we analyze the convergence of a recently proposed distributed solution that…
▽ More
In several social choice problems, agents collectively make decisions over the allocation of multiple divisible and heterogeneous resources with capacity constraints to maximize utilitarian social welfare. The agents are constrained through computational or communication resources or privacy considerations. In this paper, we analyze the convergence of a recently proposed distributed solution that allocates such resources to agents with minimal communication. It is based on the randomized additive-increase and multiplicative-decrease (AIMD) algorithm. The agents are not required to exchange information with each other, but little with a central agent that keeps track of the aggregate resource allocated at a time. We formulate the time-averaged allocations over finite window size and model the system as a Markov chain with place-dependent probabilities. Furthermore, we show that the time-averaged allocations vector converges to a unique invariant measure, and also, the ergodic property holds.
△ Less
Submitted 24 January, 2020; v1 submitted 18 January, 2020;
originally announced January 2020.
-
Noncoercive Lyapunov functions for input-to-state stability of infinite-dimensional systems
Authors:
B. Jacob,
A. Mironchenko,
J. R. Partington,
F. Wirth
Abstract:
We consider an abstract class of infinite-dimensional dynamical systems with inputs. For this class, the significance of noncoercive Lyapunov functions is analyzed. It is shown that the existence of such Lyapunov functions implies norm-to-integral input-to-state stability. This property in turn is equivalent to input-to-state stability, if the system satisfies certain mild regularity assumptions.…
▽ More
We consider an abstract class of infinite-dimensional dynamical systems with inputs. For this class, the significance of noncoercive Lyapunov functions is analyzed. It is shown that the existence of such Lyapunov functions implies norm-to-integral input-to-state stability. This property in turn is equivalent to input-to-state stability, if the system satisfies certain mild regularity assumptions. For a particular class of linear systems with unbounded admissible input operators, explicit constructions of noncoercive Lyapunov functions are provided. The theory is applied to a heat equation with Dirichlet boundary conditions.
△ Less
Submitted 17 November, 2022; v1 submitted 4 November, 2019;
originally announced November 2019.
-
Control of discrete-time nonlinear systems via finite-step control Lyapunov functions
Authors:
Navid Noroozi,
Roman Geiselhart,
Lars Grüne,
Fabian R. Wirth
Abstract:
In this work, we establish different control design approaches for discrete-time systems, which build upon the notion of finite-step control Lyapunov functions (fs-CLFs). The design approaches are formulated as optimization problems and solved in a model predictive control (MPC) fashion. In particular, we establish contractive multi-step MPC with and without reoptimization and compare it to classi…
▽ More
In this work, we establish different control design approaches for discrete-time systems, which build upon the notion of finite-step control Lyapunov functions (fs-CLFs). The design approaches are formulated as optimization problems and solved in a model predictive control (MPC) fashion. In particular, we establish contractive multi-step MPC with and without reoptimization and compare it to classic MPC. The idea behind these approaches is to use the fs-CLF as running cost. These new design approaches are particularly relevant in situations where information exchange between plant and controller cannot be ensured at all time instants. An example shows the different behavior of the proposed controller design approaches.
△ Less
Submitted 26 August, 2019;
originally announced August 2019.
-
Local stabilization of an unstable parabolic equation via saturated controls
Authors:
Andrii Mironchenko,
Christophe Prieur,
Fabian Wirth
Abstract:
We derive a saturated feedback control, which locally stabilizes a linear reaction-diffusion equation. In contrast to most other works on this topic, we do not assume the Lyapunov stability of the uncontrolled system and consider general unstable systems. Using Lyapunov methods, we provide estimates for the region of attraction for the closed-loop system, given in terms of linear and bilinear matr…
▽ More
We derive a saturated feedback control, which locally stabilizes a linear reaction-diffusion equation. In contrast to most other works on this topic, we do not assume the Lyapunov stability of the uncontrolled system and consider general unstable systems. Using Lyapunov methods, we provide estimates for the region of attraction for the closed-loop system, given in terms of linear and bilinear matrix inequalities. We show that our results can be used with distributed as well as scalar boundary control, and with different types of saturations. The efficiency of the proposed method is demonstrated by means of numerical simulations.
△ Less
Submitted 5 July, 2020; v1 submitted 26 July, 2019;
originally announced July 2019.
-
Derandomized Distributed Multi-resource Allocation with Little Communication Overhead
Authors:
Syed Eqbal Alam,
Robert Shorten,
Fabian Wirth,
Jia Yuan Yu
Abstract:
We study a class of distributed optimization problems for multiple shared resource allocation in Internet-connected devices. We propose a derandomized version of an existing stochastic additive-increase and multiplicative-decrease (AIMD) algorithm. The proposed solution uses one bit feedback signal for each resource between the system and the Internet-connected devices and does not require inter-d…
▽ More
We study a class of distributed optimization problems for multiple shared resource allocation in Internet-connected devices. We propose a derandomized version of an existing stochastic additive-increase and multiplicative-decrease (AIMD) algorithm. The proposed solution uses one bit feedback signal for each resource between the system and the Internet-connected devices and does not require inter-device communication. Additionally, the Internet-connected devices do not compromise their privacy and the solution does not dependent on the number of participating devices. In the system, each Internet-connected device has private cost functions which are strictly convex, twice continuously differentiable and increasing. We show empirically that the long-term average allocations of multiple shared resources converge to optimal allocations and the system achieves minimum social cost. Furthermore, we show that the proposed derandomized AIMD algorithm converges faster than the stochastic AIMD algorithm and both the approaches provide approximately same solutions.
△ Less
Submitted 21 December, 2018;
originally announced December 2018.
-
Distributed Algorithms for Internet-of-Things-enabled Prosumer Markets: A Control Theoretic Perspective
Authors:
Syed Eqbal Alam,
Robert Shorten,
Fabian Wirth,
Jia Yuan Yu
Abstract:
Internet-of-Things (IoT) enables the development of sharing economy applications. In many sharing economy scenarios, agents both produce as well as consume a resource; we call them prosumers. A community of prosumers agrees to sell excess resource to another community in a prosumer market. In this chapter, we propose a control theoretic approach to regulate the number of prosumers in a prosumer co…
▽ More
Internet-of-Things (IoT) enables the development of sharing economy applications. In many sharing economy scenarios, agents both produce as well as consume a resource; we call them prosumers. A community of prosumers agrees to sell excess resource to another community in a prosumer market. In this chapter, we propose a control theoretic approach to regulate the number of prosumers in a prosumer community, where each prosumer has a cost function that is coupled through its time-averaged production and consumption of the resource. Furthermore, each prosumer runs its distributed algorithm and takes only binary decisions in a probabilistic way, whether to produce one unit of the resource or not and to consume one unit of the resource or not. In the proposed approach, prosumers do not explicitly exchange information with each other due to privacy reasons, but little exchange of information is required for feedback signals, broadcast by a central agency. In the proposed approach, prosumers achieve the optimal values asymptotically. Furthermore, the proposed approach is suitable to implement in an IoT context with minimal demands on infrastructure. We describe two use cases; community-based car sharing and collaborative energy storage for prosumer markets. We also present simulation results to check the efficacy of the algorithms.
△ Less
Submitted 25 March, 2019; v1 submitted 18 December, 2018;
originally announced December 2018.
-
Communication-efficient Distributed Multi-resource Allocation
Authors:
Syed Eqbal Alam,
Robert Shorten,
Fabian Wirth,
Jia Yuan Yu
Abstract:
In several smart city applications, multiple resources must be allocated among competing agents that are coupled through such shared resources and are constrained --- either through limitations of communication infrastructure or privacy considerations. We propose a distributed algorithm to solve such distributed multi-resource allocation problems with no direct inter-agent communication. We do so…
▽ More
In several smart city applications, multiple resources must be allocated among competing agents that are coupled through such shared resources and are constrained --- either through limitations of communication infrastructure or privacy considerations. We propose a distributed algorithm to solve such distributed multi-resource allocation problems with no direct inter-agent communication. We do so by extending a recently introduced additive-increase multiplicative-decrease (AIMD) algorithm, which only uses very little communication between the system and agents. Namely, a control unit broadcasts a one-bit signal to agents whenever one of the allocated resources exceeds capacity. Agents then respond to this signal in a probabilistic manner. In the proposed algorithm, each agent makes decision of its resource demand locally and an agent is unaware of the resource allocation of other agents. In empirical results, we observe that the average allocations converge over time to optimal allocations.
△ Less
Submitted 27 July, 2018;
originally announced July 2018.
-
On the Ergodic Control of Ensembles
Authors:
Andre R. Fioravanti,
Jakub Marecek,
Robert N. Shorten,
Matheus Souza,
Fabian R. Wirth
Abstract:
Across smart-grid and smart-city application domains, there are many problems where an ensemble of agents is to be controlled such that both the aggregate behaviour and individual-level perception of the system's performance are acceptable. In many applications, traditional PI control is used to regulate aggregate ensemble performance. Our principal contribution in this note is to demonstrate that…
▽ More
Across smart-grid and smart-city application domains, there are many problems where an ensemble of agents is to be controlled such that both the aggregate behaviour and individual-level perception of the system's performance are acceptable. In many applications, traditional PI control is used to regulate aggregate ensemble performance. Our principal contribution in this note is to demonstrate that PI control may not be always suitable for this purpose, and in some situations may lead to a loss of ergodicity for closed-loop systems. Building on this observation, a theoretical framework is proposed to both analyse and design control systems for the regulation of large scale ensembles of agents with a probabilistic intent. Examples are given to illustrate our results.
△ Less
Submitted 23 June, 2019; v1 submitted 9 July, 2018;
originally announced July 2018.
-
Existence of non-coercive Lyapunov functions is equivalent to integral uniform global asymptotic stability
Authors:
Andrii Mironchenko,
Fabian Wirth
Abstract:
In this paper, a class of abstract dynamical systems is considered which encompasses a wide range of nonlinear finite- and infinite-dimensional systems. We show that the existence of a non-coercive Lyapunov function without any further requirements on the flow of the forward complete system ensures an integral version of uniform global asymptotic stability. We prove that also the converse statemen…
▽ More
In this paper, a class of abstract dynamical systems is considered which encompasses a wide range of nonlinear finite- and infinite-dimensional systems. We show that the existence of a non-coercive Lyapunov function without any further requirements on the flow of the forward complete system ensures an integral version of uniform global asymptotic stability. We prove that also the converse statement holds without any further requirements on regularity of the system.
Furthermore, we give a characterization of uniform global asymptotic stability in terms of the integral stability properties and analyze which stability properties can be ensured by the existence of a non-coercive Lyapunov function, provided either the flow has a kind of uniform continuity near the equilibrium or the system is robustly forward complete.
△ Less
Submitted 15 June, 2018; v1 submitted 7 June, 2018;
originally announced June 2018.
-
On the Control of Agents Coupled through Shared Unit-demand Resources
Authors:
Syed Eqbal Alam,
Robert Shorten,
Fabian Wirth,
Jia Yuan Yu
Abstract:
We consider a control problem involving several agents coupled through multiple unit-demand resources. Such resources are indivisible, and each agent's consumption is modeled as a Bernoulli random variable. Controlling the number of such agents in a probabilistic manner, subject to capacity constraints, is ubiquitous in smart cities. For instance, such agents can be humans in a feedback loop---who…
▽ More
We consider a control problem involving several agents coupled through multiple unit-demand resources. Such resources are indivisible, and each agent's consumption is modeled as a Bernoulli random variable. Controlling the number of such agents in a probabilistic manner, subject to capacity constraints, is ubiquitous in smart cities. For instance, such agents can be humans in a feedback loop---who respond to a price signal, or automated decision-support systems that strive toward system-level goals. In this paper, we consider both single feedback loop corresponding to a single resource and multiple coupled feedback loops corresponding to multiple resources consumed by the same population of agents. For example, when a network of devices allocates resources to deliver several services, these services are coupled through capacity constraints on the resources. We propose a new algorithm with fundamental guarantees of convergence and optimality, as well as present an example illustrating its performance.
△ Less
Submitted 29 April, 2019; v1 submitted 27 March, 2018;
originally announced March 2018.
-
Distributed Multi-resource Allocation with Little Communication Overhead
Authors:
Syed Eqbal Alam,
Robert Shorten,
Fabian Wirth,
Jia Yuan Yu
Abstract:
We propose a distributed algorithm to solve a special distributed multi-resource allocation problem with no direct inter-agent communication. We do so by extending a recently introduced additive-increase multiplicative-decrease (AIMD) algorithm, which only uses very little communication between the system and agents. Namely, a control unit broadcasts a one-bit signal to agents whenever one of the…
▽ More
We propose a distributed algorithm to solve a special distributed multi-resource allocation problem with no direct inter-agent communication. We do so by extending a recently introduced additive-increase multiplicative-decrease (AIMD) algorithm, which only uses very little communication between the system and agents. Namely, a control unit broadcasts a one-bit signal to agents whenever one of the allocated resources exceeds capacity. Agents then respond to this signal in a probabilistic manner. In the proposed algorithm, each agent is unaware of the resource allocation of other agents. We also propose a version of the AIMD algorithm for multiple binary resources (e.g., parking spaces). Binary resources are indivisible unit-demand resources, and each agent either allocated one unit of the resource or none. In empirical results, we observe that in both cases, the average allocations converge over time to optimal allocations.
△ Less
Submitted 6 November, 2017;
originally announced November 2017.
-
Lyapunov characterization of input-to-state stability for semilinear control systems over Banach spaces
Authors:
Andrii Mironchenko,
Fabian Wirth
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 August, 2017;
originally announced August 2017.
-
Barabanov norms, Lipschitz continuity and monotonicity for the max algebraic joint spectral radius
Authors:
Nicola Guglielmi,
Oliver Mason,
Fabian Wirth
Abstract:
We present several results describing the interplay between the max algebraic joint spectral radius (JSR) for compact sets of matrices and suitably defined matrix norms. In particular, we extend a classical result for the conventional algebra, showing that the JSR can be described in terms of induced norms of the matrices in the set. We also show that for a set generating an irreducible semigroup…
▽ More
We present several results describing the interplay between the max algebraic joint spectral radius (JSR) for compact sets of matrices and suitably defined matrix norms. In particular, we extend a classical result for the conventional algebra, showing that the JSR can be described in terms of induced norms of the matrices in the set. We also show that for a set generating an irreducible semigroup (in a cone-theoretic sense), a monotone Barabanov norm always exists. This fact is then used to show that the max algebraic JSR is locally Lipschitz continuous on the space of compact irreducible sets of matrices with respect to the Hausdorff distance. We then prove that the JSR is Hoelder continuous on the space of compact sets of nonnegative matrices. Finally, we prove a strict monotonicity property for the max algebraic JSR that echoes a fact for the classical JSR.
△ Less
Submitted 4 May, 2017;
originally announced May 2017.
-
On Classical Control and Smart Cities
Authors:
Andre R. Fioravanti,
Jakub Marecek,
Robert N. Shorten,
Matheus Souza,
Fabian R. Wirth
Abstract:
We discuss the applicability of classical control theory to problems in smart grids and smart cities. We use tools from iterated function systems to identify controllers with desirable properties. In particular, controllers are identified that can be used to design not only stable closed-loop systems, but also to regulate large-scale populations of agents in a predictable manner. We also illustrat…
▽ More
We discuss the applicability of classical control theory to problems in smart grids and smart cities. We use tools from iterated function systems to identify controllers with desirable properties. In particular, controllers are identified that can be used to design not only stable closed-loop systems, but also to regulate large-scale populations of agents in a predictable manner. We also illustrate by means of an example and associated theory that many classical controllers are not be suitable for deployment in these applications.
△ Less
Submitted 21 March, 2017;
originally announced March 2017.
-
Characterizations of input-to-state stability for infinite-dimensional systems
Authors:
Andrii Mironchenko,
Fabian Wirth
Abstract:
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 differe…
▽ More
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.
△ Less
Submitted 20 September, 2017; v1 submitted 31 January, 2017;
originally announced January 2017.
-
Non-coercive Lyapunov functions for infinite-dimensional systems
Authors:
Andrii Mironchenko,
Fabian R. Wirth
Abstract:
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 additio…
▽ More
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.
△ Less
Submitted 20 February, 2017; v1 submitted 20 December, 2016;
originally announced December 2016.
-
Non-conservative discrete-time ISS small-gain conditions for closed sets
Authors:
Navid Noroozi,
Roman Geiselhart,
Lars Grüne,
Björn S. Rüffer,
Fabian R. Wirth
Abstract:
This paper presents a unification and a generalization of the small-gain theory subsuming a wide range of existing small-gain theorems. In particular, we introduce small-gain conditions that are necessary and sufficient to ensure input-to-state stability (ISS) with respect to closed sets. Toward this end, we first develop a Lyapunov characterization of $ω$ISS via finite-step $ω$ISS Lyapunov functi…
▽ More
This paper presents a unification and a generalization of the small-gain theory subsuming a wide range of existing small-gain theorems. In particular, we introduce small-gain conditions that are necessary and sufficient to ensure input-to-state stability (ISS) with respect to closed sets. Toward this end, we first develop a Lyapunov characterization of $ω$ISS via finite-step $ω$ISS Lyapunov functions. Then, we provide the small-gain conditions to guarantee $ω$ISS of a network of systems. Finally, applications of our results to partial input-to-state stability, ISS of time-varying systems, synchronization problems, incremental stability, and distributed observers are given.
△ Less
Submitted 21 August, 2017; v1 submitted 12 December, 2016;
originally announced December 2016.
-
On the Design of Campus Parking Systems with QoS guarantees
Authors:
Wynita Griggs,
Jia Yuan Yu,
Fabian Wirth,
Florian Haeusler,
Robert Shorten
Abstract:
Parking spaces are resources that can be pooled together and shared, especially when there are complementary day-time and night-time users. We answer two design questions. First, given a quality of service requirement, how many spaces should be set aside as contingency during day-time for night-time users? Next, how can we replace the first-come-first-served access method by one that aims at optim…
▽ More
Parking spaces are resources that can be pooled together and shared, especially when there are complementary day-time and night-time users. We answer two design questions. First, given a quality of service requirement, how many spaces should be set aside as contingency during day-time for night-time users? Next, how can we replace the first-come-first-served access method by one that aims at optimal efficiency while keeping user preferences private?
△ Less
Submitted 9 June, 2015;
originally announced June 2015.
-
Relaxed ISS Small-Gain Theorems for Discrete-Time Systems
Authors:
Roman Geiselhart,
Fabian R. Wirth
Abstract:
In this paper ISS small-gain theorems for discrete-time systems are stated, which do not require input-to-state stability (ISS) of each subsystem. This approach weakens conservatism in ISS small-gain theory, and for the class of exponentially ISS systems we are able to prove that the proposed relaxed small-gain theorems are non-conservative in a sense to be made precise. The proofs of the small-ga…
▽ More
In this paper ISS small-gain theorems for discrete-time systems are stated, which do not require input-to-state stability (ISS) of each subsystem. This approach weakens conservatism in ISS small-gain theory, and for the class of exponentially ISS systems we are able to prove that the proposed relaxed small-gain theorems are non-conservative in a sense to be made precise. The proofs of the small-gain theorems rely on the construction of a dissipative finite-step ISS Lyapunov function which is introduced in this work. Furthermore, dissipative finite-step ISS Lyapunov functions, as relaxations of ISS Lyapunov functions, are shown to be sufficient and necessary to conclude ISS of the overall system.
△ Less
Submitted 24 November, 2015; v1 submitted 12 June, 2014;
originally announced June 2014.
-
Nonhomogeneous Place-Dependent Markov Chains, Unsynchronised AIMD, and Network Utility Maximization
Authors:
Fabian Wirth,
Sonja Stuedli,
Jia Yuan Yu,
Martin Corless,
Robert Shorten
Abstract:
We present a solution of a class of network utility maximization (NUM) problems using minimal communication. The constraints of the problem are inspired less by TCP-like congestion control but by problems in the area of internet of things and related areas in which the need arises to bring the behavior of a large group of agents to a social optimum. The approach uses only intermittent feedback, no…
▽ More
We present a solution of a class of network utility maximization (NUM) problems using minimal communication. The constraints of the problem are inspired less by TCP-like congestion control but by problems in the area of internet of things and related areas in which the need arises to bring the behavior of a large group of agents to a social optimum. The approach uses only intermittent feedback, no inter-agent communication, and no common clock.
The proposed algorithm is a combination of the classical AIMD algorithm in conjunction with a simple probabilistic rule for the agents to respond to a capacity signal. This leads to a nonhomogeneous Markov chain and we show almost sure convergence of this chain to the social optimum.
△ Less
Submitted 19 March, 2016; v1 submitted 20 April, 2014;
originally announced April 2014.
-
Alleviating a form of electric vehicle range anxiety through On-Demand vehicle access
Authors:
Christopher King,
Wynita Griggs,
Fabian Wirth,
Karl Quinn,
Robert Shorten
Abstract:
On-demand vehicle access is a method that can be used to reduce types of range anxiety problems related to planned travel for electric vehicle owners. Using ideas from elementary queueing theory, basic QoS metrics are defined to dimension a shared fleet to ensure high levels of vehicle access. Using mobility data from Ireland, it is argued that the potential cost of such a system is very low.
On-demand vehicle access is a method that can be used to reduce types of range anxiety problems related to planned travel for electric vehicle owners. Using ideas from elementary queueing theory, basic QoS metrics are defined to dimension a shared fleet to ensure high levels of vehicle access. Using mobility data from Ireland, it is argued that the potential cost of such a system is very low.
△ Less
Submitted 20 December, 2013;
originally announced December 2013.
-
Extremal norms for positive linear inclusions
Authors:
Oliver Mason,
Fabian Wirth
Abstract:
For finite-dimensional linear semigroups which leave a proper cone invariant it is shown that irreducibility with respect to the cone implies the existence of an extremal norm. In case the cone is simplicial a similar statement applies to absolute norms. The semigroups under consideration may be generated by discrete-time systems, continuous-time systems or continuous-time systems with jumps. The…
▽ More
For finite-dimensional linear semigroups which leave a proper cone invariant it is shown that irreducibility with respect to the cone implies the existence of an extremal norm. In case the cone is simplicial a similar statement applies to absolute norms. The semigroups under consideration may be generated by discrete-time systems, continuous-time systems or continuous-time systems with jumps. The existence of extremal norms is used to extend results on the Lipschitz continuity of the joint spectral radius beyond the known case of semigroups that are irreducible in the representation theory interpretation of the word.
△ Less
Submitted 17 June, 2013;
originally announced June 2013.
-
Stability Criteria for SIS Epidemiological Models under Switching Policies
Authors:
Mustapha Ait Rami,
Vahid S. Bokharaie,
Oliver Mason,
Fabian R. Wirth
Abstract:
We study the spread of disease in an SIS model. The model considered is a time-varying, switched model, in which the parameters of the SIS model are subject to abrupt change. We show that the joint spectral radius can be used as a threshold parameter for this model in the spirit of the basic reproduction number for time-invariant models. We also present conditions for persistence and the existence…
▽ More
We study the spread of disease in an SIS model. The model considered is a time-varying, switched model, in which the parameters of the SIS model are subject to abrupt change. We show that the joint spectral radius can be used as a threshold parameter for this model in the spirit of the basic reproduction number for time-invariant models. We also present conditions for persistence and the existence of periodic orbits for the switched model and results for a stochastic switched model.
△ Less
Submitted 17 April, 2014; v1 submitted 1 June, 2013;
originally announced June 2013.
-
On converse Lyapunov theorems for fluid network models
Authors:
Michael Schönlein,
Fabian Wirth
Abstract:
We consider the class of closed generic fluid networks (GFN) models, which provides an abstract framework containing a wide variety of fluid networks. Within this 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 existence of a functional on the set of paths that is decaying along paths. This result f…
▽ More
We consider the class of closed generic fluid networks (GFN) models, which provides an abstract framework containing a wide variety of fluid networks. Within this 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 existence of a functional on the set of paths that is decaying along paths. This result falls short of a converse Lyapunov theorem in that no state dependent Lyapunov function is constructed. In this paper we construct state-dependent Lyapunov functions in contrast to path-wise functionals. We first show by counterexamples that closed GFN models do not provide sufficient information that allow for a converse Lyapunov theorem. To resolve this problem we introduce the class of strict GFN models by forcing the closed GFN model to satisfy a concatenation and a semicontinuity condition of the set of paths in dependence of initial condition. For the class of strict GFN models we define a state-dependent Lyapunov and show that a converse Lyapunov theorem holds. Finally, it is shown that common fluid network models, like general work-conserving and priority fluid network models as well as certain linear Skorokhod problems define strict GFN models.
△ Less
Submitted 8 November, 2011;
originally announced November 2011.
-
Numerical Construction of LISS Lyapunov Functions under a Small Gain Condition
Authors:
Roman Geiselhart,
Fabian R. Wirth
Abstract:
In the stability analysis of large-scale interconnected systems it is frequently desirable to be able to determine a decay point of the gain operator, i.e., a point whose image under the monotone operator is strictly smaller than the point itself. The set of such decay points plays a crucial role in checking, in a semi-global fashion, the local input-to-state stability of an interconnected system…
▽ More
In the stability analysis of large-scale interconnected systems it is frequently desirable to be able to determine a decay point of the gain operator, i.e., a point whose image under the monotone operator is strictly smaller than the point itself. The set of such decay points plays a crucial role in checking, in a semi-global fashion, the local input-to-state stability of an interconnected system and in the numerical construction of a LISS Lyapunov function. We provide a homotopy algorithm that computes a decay point of a monotone op- erator. For this purpose we use a fixed point algorithm and provide a function whose fixed points correspond to decay points of the monotone operator. The advantage to an earlier algorithm is demonstrated. Furthermore an example is given which shows how to analyze a given perturbed interconnected system.
△ Less
Submitted 8 February, 2012; v1 submitted 10 May, 2011;
originally announced May 2011.
-
On a small-gain approach to distributed event-triggered control
Authors:
Claudio De Persis,
Rudolf Sailer,
Fabian Wirth
Abstract:
In this paper the problem of stabilizing large-scale systems by distributed controllers, where the controllers exchange information via a shared limited communication medium is addressed. Event-triggered sampling schemes are proposed, where each system decides when to transmit new information across the network based on the crossing of some error thresholds. Stability of the interconnected large-s…
▽ More
In this paper the problem of stabilizing large-scale systems by distributed controllers, where the controllers exchange information via a shared limited communication medium is addressed. Event-triggered sampling schemes are proposed, where each system decides when to transmit new information across the network based on the crossing of some error thresholds. Stability of the interconnected large-scale system is inferred by applying a generalized small-gain theorem. Two variations of the event-triggered controllers which prevent the occurrence of the Zeno phenomenon are also discussed.
△ Less
Submitted 11 July, 2011; v1 submitted 29 October, 2010;
originally announced October 2010.
-
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.
-
Stability verification for monotone systems using homotopy algorithms
Authors:
Björn S. Rüffer,
Fabian R. Wirth
Abstract:
A monotone self-mapping of the nonnegative orthant induces a monotone discrete-time dynamical system which evolves on the same orthant. If with respect to this system the origin is attractive then there must exists points whose image under the monotone map is strictly smaller than the original point, in the component-wise partial ordering. Here it is shown how s…
▽ More
A monotone self-mapping of the nonnegative orthant induces a monotone discrete-time dynamical system which evolves on the same orthant. If with respect to this system the origin is attractive then there must exists points whose image under the monotone map is strictly smaller than the original point, in the component-wise partial ordering. Here it is shown how such points can be found numerically, leading to a recipe to compute order intervals that are contained in the region of attraction and where the monotone map acts essentially as a contraction. An important application is the numerical verification of so-called generalized small-gain conditions that appear in the stability theory of large-scale systems.
△ Less
Submitted 5 May, 2010;
originally announced May 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.
-
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.
-
Asymptotic stability equals exponential stability, and ISS equals finite energy gain---if you twist your eyes
Authors:
Lars Grüne,
Eduardo D. Sontag,
Fabian R. Wirth
Abstract:
In this paper we show that uniformly global asymptotic stability for a family of ordinary differential equations is equivalent to uniformly global exponential stability under a suitable nonlinear change of variables. The same is shown for input-to-state stability and input-to-state exponential stability, and for input-to-state exponential stability and a nonlinear $H_\infty$ estimate.
In this paper we show that uniformly global asymptotic stability for a family of ordinary differential equations is equivalent to uniformly global exponential stability under a suitable nonlinear change of variables. The same is shown for input-to-state stability and input-to-state exponential stability, and for input-to-state exponential stability and a nonlinear $H_\infty$ estimate.
△ Less
Submitted 19 May, 1999; v1 submitted 23 December, 1998;
originally announced December 1998.
