Stability verification for monotone systems using homotopy algorithms

DOI10.1007/S11075-011-9468-3MaRDI QIDQ652333zbMATH OpenOpenAlexFDO

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

Publication date 14 December 2011

Published in Numerical Algorithms (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1005.0741

zbMATH Keywords

monotone systemsstability theoryhomotopy algorithms

Mathematics Subject Classification ID

Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20) Discrete-time control/observation systems (93C55) Monotone and positive operators on ordered Banach spaces or other ordered topological vector spaces (47H07) Operator-theoretic methods (93B28)

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

Recommendations

• Stability and monotonicity of dynamical systems
• Publication:4724526
• scientific article; zbMATH DE number 5214926
• scientific article; zbMATH DE number 130626
• Stability of positive and monotone systems in a partially ordered space

Cites work

• scientific article; zbMATH DE number 4177956 (Why is no real title available?)
• scientific article; zbMATH DE number 47206 (Why is no real title available?)
• Algorithm 795
• Concave Perron-Frobenius theory and applications.
• Decentralized MPC of nonlinear systems: An input‐to‐state stability approach
• Dynamic interactive stabilization of the switching Kumar-Seidman system
• Extension of the Perron--Frobenius Theorem to Homogeneous Systems
• HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method
• Homotopies for computation of fixed points
• Input-to-state stability for discrete-time nonlinear systems
• Local ISS of large-scale interconnections and estimates for stability regions
• Monotone inequalities, dynamical systems, and paths in the positive orthant of Euclidean \(n\)-space
• Simplicial and Continuation Methods for Approximating Fixed Points and Solutions to Systems of Equations
• Small-Gain Conditions and the Comparison Principle

Cited in

(1)

• Numerical construction of LISS Lyapunov functions under a small-gain condition

Describes a project that uses

Uses Software

• HOM4PS
• PHCpack
• Bertini

This page was built for publication: Stability verification for monotone systems using homotopy algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q652333)