Showing 1–8 of 8 results for author: Rüffer, B S

A Lyapunov function construction for a non-convex Douglas-Rachford iteration

Authors: Ohad Giladi, Björn S. Rüffer

Abstract: While global convergence of the Douglas-Rachford iteration is often observed in applications, proving it is still limited to convex and a handful of other special cases. Lyapunov functions for difference inclusions provide not only global or local convergence certificates, but also imply robust stability, which means that the convergence is still guaranteed in the presence of persistent disturbanc… ▽ More While global convergence of the Douglas-Rachford iteration is often observed in applications, proving it is still limited to convex and a handful of other special cases. Lyapunov functions for difference inclusions provide not only global or local convergence certificates, but also imply robust stability, which means that the convergence is still guaranteed in the presence of persistent disturbances. In this work, a global Lyapunov function is constructed by combining known local Lyapunov functions for simpler, local sub-problems via an explicit formula that depends on the problem parameters. Specifically, we consider the scenario where one set consists of the union of two lines and the other set is a line, so that the two sets intersect in two distinct points. Locally, near each intersection point, the problem reduces to the intersection of just two lines, but globally the geometry is non-convex and the Douglas-Rachford operator multi-valued. Our approach is intended to be prototypical for addressing the convergence analysis of the Douglas-Rachford iteration in more complex geometries that can be approximated by polygonal sets through the combination of local, simple Lyapunov functions. △ Less

Submitted 15 October, 2018; v1 submitted 29 August, 2017; originally announced August 2017.

Comments: Title and abstract changed, paper revised and reogranized. To appear in Journal of Optimization Theory and Applications

Convergence Properties for Discrete-time Nonlinear Systems

Authors: Duc N. Tran, Björn S. Rüffer, Christopher M. Kellett

Abstract: Three similar convergence notions are considered. Two of them are the long established notions of convergent dynamics and incremental stability. The other is the more recent notion of contraction analysis. All three convergence notions require that all solutions of a system converge to each other. In this paper, we investigate the differences between these convergence properties for discrete-time,… ▽ More Three similar convergence notions are considered. Two of them are the long established notions of convergent dynamics and incremental stability. The other is the more recent notion of contraction analysis. All three convergence notions require that all solutions of a system converge to each other. In this paper, we investigate the differences between these convergence properties for discrete-time, time-varying nonlinear systems by comparing the properties in pairs and using examples. We also demonstrate a time-varying smooth Lyapunov function characterization for each of these convergence notions, and, with appropriate assumptions, we provide several sufficient conditions to establish relationships between these properties in terms of Lyapunov functions. △ Less

Submitted 4 November, 2018; v1 submitted 15 December, 2016; originally announced December 2016.

MSC Class: 93C55 (Primary); 93D05; 93D30; 93C10 (Secondary)

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.

Nonlinear left and right eigenvectors for max-preserving maps

Authors: Björn S. Rüffer

Abstract: It is shown that max-preserving maps (or join-morphisms) on the positive orthant in Euclidean $n$-space endowed with the component-wise partial order give rise to a semiring. This semiring admits a closure operation for maps that generate stable dynamical systems. For these monotone maps, the closure is used to define suitable notions of left and right eigenvectors that are characterized by inequa… ▽ More It is shown that max-preserving maps (or join-morphisms) on the positive orthant in Euclidean $n$-space endowed with the component-wise partial order give rise to a semiring. This semiring admits a closure operation for maps that generate stable dynamical systems. For these monotone maps, the closure is used to define suitable notions of left and right eigenvectors that are characterized by inequalities. Some explicit examples are given and applications in the construction of Lyapunov functions are described. △ Less

Submitted 20 September, 2016; originally announced September 2016.

A Perron-Frobenius type result for integer maps and applications

Authors: Ohad Giladi, Björn S. Rüffer

Abstract: It is shown that for certain maps, including concave maps, on the $d$-dimensional lattice of positive integer points, 'approximate' eigenvectors can be found. Applications in epidemiology as well as distributed resource allocation are discussed as examples. It is shown that for certain maps, including concave maps, on the $d$-dimensional lattice of positive integer points, 'approximate' eigenvectors can be found. Applications in epidemiology as well as distributed resource allocation are discussed as examples. △ Less

Submitted 28 October, 2018; v1 submitted 6 September, 2016; originally announced September 2016.

Comments: Minor changes. To appear in Positivity

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.

MSC Class: 93C55; 47H07; 65H20

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