A Compositional Approach to Certifying the Almost Global Asymptotic Stability of Cascade Systems

by   Jake Welde, et al.

In this work, we give sufficient conditions for the almost global asymptotic stability of a cascade in which the inner loop and the unforced outer loop are each almost globally asymptotically stable. Our qualitative approach relies on the absence of chain recurrence for non-equilibrium points of the unforced outer loop, the hyperbolicity of equilibria, and the precompactness of forward trajectories. The result is extended inductively to upper triangular systems with an arbitrary number of subsystems. We show that the required structure of the chain recurrent set can be readily verified, and describe two important classes of systems with this property. We also show that the precompactness requirement can be verified by growth rate conditions on the interconnection term coupling the subsystems. Our results stand in contrast to prior works that require either global asymptotic stability of the subsystems (impossible for smooth systems evolving on general manifolds), time scale separation between the subsystems, or strong disturbance robustness properties of the outer loop. The approach has clear applications in stability certification of cascaded controllers for systems evolving on manifolds.


page 1

page 2

page 3

page 4


Necessary and Sufficient Conditions for Passivity of Velocity-Sourced Impedance Control of Series Elastic Actuators

Series Elastic Actuation (SEA) has become prevalent in applications invo...

Necessary and sufficient conditions for strong stability of explicit Runge-Kutta methods

Strong stability is a property of time integration schemes for ODEs that...

TRPL+K: Thick-Restart Preconditioned Lanczos+K Method for Large Symmetric Eigenvalue Problems

The Lanczos method is one of the standard approaches for computing a few...

On logit dynamics in population games

We study the logit evolutionary dynamics in population games. For genera...

A geometric characterization of unstable blow-up solutions with computer-assisted proof

In this paper, blow-up solutions of autonomous ordinary differential equ...

Fail-Safe Controller Architectures for Quadcopter with Motor Failures

A fail-safe algorithm in case of motor failure was developed, simulated,...

A Hierarchical Deep Reinforcement Learning Framework for 6-DOF UCAV Air-to-Air Combat

Unmanned combat air vehicle (UCAV) combat is a challenging scenario with...

Please sign up or login with your details

Forgot password? Click here to reset